Assumptions:
TeX:
R_G\!\left(0, x, 1\right) = \frac{\pi}{4} \,{}_2F_1\!\left(-\frac{1}{2}, \frac{1}{2}, 1, 1 - x\right) x \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
CarlsonRG | Carlson symmetric elliptic integral of the second kind | |
Pi | The constant pi (3.14...) | |
Hypergeometric2F1 | Gauss hypergeometric function | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("e98dd0"), Formula(Equal(CarlsonRG(0, x, 1), Mul(Div(Pi, 4), Hypergeometric2F1(Neg(Div(1, 2)), Div(1, 2), 1, Sub(1, x))))), Variables(x), Assumptions(Element(x, CC)))