Assumptions:
TeX:
R_D\!\left(x, y, z\right) = R_J\!\left(x, y, z, z\right)
x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRD | Degenerate Carlson symmetric elliptic integral of the third kind | |
| CarlsonRJ | Carlson symmetric elliptic integral of the third kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("409873"),
Formula(Equal(CarlsonRD(x, y, z), CarlsonRJ(x, y, z, z))),
Variables(x, y, z),
Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC))))