Assumptions:
TeX:
\Pi\!\left(0, m\right) = K(m)
m \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| EllipticPi | Legendre complete elliptic integral of the third kind | |
| EllipticK | Legendre complete elliptic integral of the first kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("dd67fb"),
Formula(Equal(EllipticPi(0, m), EllipticK(m))),
Variables(m),
Assumptions(Element(m, CC)))