Assumptions:
TeX:
R_G\!\left(0, 1, x\right) = \frac{E\!\left(1 - x\right)}{2}
x \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRG | Carlson symmetric elliptic integral of the second kind | |
| EllipticE | Legendre complete elliptic integral of the second kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("3f6d40"),
Formula(Equal(CarlsonRG(0, 1, x), Div(EllipticE(Sub(1, x)), 2))),
Variables(x),
Assumptions(Element(x, CC)))