Assumptions:
TeX:
\Pi\!\left(n, 0\right) = \frac{\pi}{2 \sqrt{1 - n}}
n \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| EllipticPi | Legendre complete elliptic integral of the third kind | |
| Pi | The constant pi (3.14...) | |
| Sqrt | Principal square root | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("5d8804"),
Formula(Equal(EllipticPi(n, 0), Div(Pi, Mul(2, Sqrt(Sub(1, n)))))),
Variables(n),
Assumptions(Element(n, CC)))