Assumptions:
TeX:
R_C\!\left(x, 2 x\right) = \frac{\pi}{4 \sqrt{x}}
x \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRC | Degenerate Carlson symmetric elliptic integral of the first kind | |
| Pi | The constant pi (3.14...) | |
| Sqrt | Principal square root | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("09a494"),
Formula(Equal(CarlsonRC(x, Mul(2, x)), Div(Pi, Mul(4, Sqrt(x))))),
Variables(x),
Assumptions(Element(x, CC)))