Assumptions:
TeX:
R_C\!\left(1, 1 + y\right) = \,{}_2F_1\!\left(1, \frac{1}{2}, \frac{3}{2}, -y\right) y \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
CarlsonRC | Degenerate Carlson symmetric elliptic integral of the first kind | |
Hypergeometric2F1 | Gauss hypergeometric function | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("157ebb"), Formula(Equal(CarlsonRC(1, Add(1, y)), Hypergeometric2F1(1, Div(1, 2), Div(3, 2), Neg(y)))), Variables(y), Assumptions(Element(y, CC)))