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