Assumptions:
TeX:
K\!\left(\overline{m}\right) = \overline{K(m)} m \in \mathbb{C} \setminus \left(1, \infty\right)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
EllipticK | Legendre complete elliptic integral of the first kind | |
Conjugate | Complex conjugate | |
CC | Complex numbers | |
OpenInterval | Open interval | |
Infinity | Positive infinity |
Source code for this entry:
Entry(ID("713966"), Formula(Equal(EllipticK(Conjugate(m)), Conjugate(EllipticK(m)))), Variables(m), Assumptions(Element(m, SetMinus(CC, OpenInterval(1, Infinity)))))