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)))