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)))