Assumptions:
TeX:
R_F\!\left(x, x, x\right) = \frac{1}{\sqrt{x}}
x \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRF | Carlson symmetric elliptic integral of the first kind | |
| Sqrt | Principal square root | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("9b0388"),
Formula(Equal(CarlsonRF(x, x, x), Div(1, Sqrt(x)))),
Variables(x),
Assumptions(Element(x, CC)))