Assumptions:
TeX:
R_C\!\left(x, 0\right) = \begin{cases} \operatorname{sgn}\!\left(\frac{1}{\sqrt{x}}\right) \infty, & x \ne 0\\{\tilde \infty}, & x = 0\\ \end{cases}
x \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRC | Degenerate Carlson symmetric elliptic integral of the first kind | |
| Sign | Sign function | |
| Sqrt | Principal square root | |
| Infinity | Positive infinity | |
| UnsignedInfinity | Unsigned infinity | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("7cbe17"),
Formula(Equal(CarlsonRC(x, 0), Cases(Tuple(Mul(Sign(Div(1, Sqrt(x))), Infinity), NotEqual(x, 0)), Tuple(UnsignedInfinity, Equal(x, 0))))),
Variables(x),
Assumptions(Element(x, CC)))