Assumptions:
TeX:
F\!\left(\frac{-\pi}{2}, m\right) = -K(m) m \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
IncompleteEllipticF | Legendre incomplete elliptic integral of the first kind | |
Pi | The constant pi (3.14...) | |
EllipticK | Legendre complete elliptic integral of the first kind | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("81f7db"), Formula(Equal(IncompleteEllipticF(Div(Neg(Pi), 2), m), Neg(EllipticK(m)))), Variables(m), Assumptions(Element(m, CC)))