Assumptions:
TeX:
\Pi\!\left(n, -\phi, m\right) = -\Pi\!\left(n, \phi, m\right)
n \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \phi \in \mathbb{C} \;\mathbin{\operatorname{and}}\; m \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IncompleteEllipticPi | Legendre incomplete elliptic integral of the third kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("255d81"),
Formula(Equal(IncompleteEllipticPi(n, Neg(phi), m), Neg(IncompleteEllipticPi(n, phi, m)))),
Variables(n, phi, m),
Assumptions(And(Element(n, CC), Element(phi, CC), Element(m, CC))))