Assumptions:
TeX:
K(m) - E(m) = \frac{m}{3} R_D\!\left(0, 1 - m, 1\right)
m \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description | 
|---|---|---|
| EllipticK | Legendre complete elliptic integral of the first kind | |
| EllipticE | Legendre complete elliptic integral of the second kind | |
| CarlsonRD | Degenerate Carlson symmetric elliptic integral of the third kind | |
| CC | Complex numbers | 
Source code for this entry:
Entry(ID("94f646"),
    Formula(Equal(Sub(EllipticK(m), EllipticE(m)), Mul(Div(m, 3), CarlsonRD(0, Sub(1, m), 1)))),
    Variables(m),
    Assumptions(Element(m, CC)))