Assumptions:
TeX:
R_F\!\left(0, 1, x\right) = K\!\left(1 - x\right) x \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
CarlsonRF | Carlson symmetric elliptic integral of the first kind | |
EllipticK | Legendre complete elliptic integral of the first kind | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("53d869"), Formula(Equal(CarlsonRF(0, 1, x), EllipticK(Sub(1, x)))), Variables(x), Assumptions(Element(x, CC)))