Assumptions:
TeX:
E\!\left(\frac{-\pi}{2}, m\right) = -E(m)
m \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IncompleteEllipticE | Legendre incomplete elliptic integral of the second kind | |
| Pi | The constant pi (3.14...) | |
| EllipticE | Legendre complete elliptic integral of the second kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("2ef763"),
Formula(Equal(IncompleteEllipticE(Div(Neg(Pi), 2), m), Neg(EllipticE(m)))),
Variables(m),
Assumptions(Element(m, CC)))