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