Assumptions:
TeX:
\,{}_2F_1\!\left(1, 1, 2, z\right) = -\frac{\log\!\left(1 - z\right)}{z}
z \in \mathbb{C} \setminus \left\{0, 1\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Hypergeometric2F1 | Gauss hypergeometric function | |
| Log | Natural logarithm | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("a85994"),
Formula(Equal(Hypergeometric2F1(1, 1, 2, z), Neg(Div(Log(Sub(1, z)), z)))),
Variables(z),
Assumptions(Element(z, SetMinus(CC, Set(0, 1)))))