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