Assumptions:
TeX:
E\!\left(\phi, 0\right) = \phi
\phi \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IncompleteEllipticE | Legendre incomplete elliptic integral of the second kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("efc7a4"),
Formula(Equal(IncompleteEllipticE(phi, 0), phi)),
Variables(phi),
Assumptions(Element(phi, CC)))