Assumptions:
TeX:
\Pi\!\left(n, m\right) = R_F\!\left(0, 1 - m, 1\right) + \frac{n}{3} R_J\!\left(0, 1 - m, 1, 1 - n\right)
n \in \mathbb{C} \;\mathbin{\operatorname{and}}\; m \in \mathbb{C} \;\mathbin{\operatorname{and}}\; m \ne 1Definitions:
| Fungrim symbol | Notation | Short description | 
|---|---|---|
| EllipticPi | Legendre complete elliptic integral of the third kind | |
| CarlsonRF | Carlson symmetric elliptic integral of the first kind | |
| CarlsonRJ | Carlson symmetric elliptic integral of the third kind | |
| CC | Complex numbers | 
Source code for this entry:
Entry(ID("9ccaef"),
    Formula(Equal(EllipticPi(n, m), Add(CarlsonRF(0, Sub(1, m), 1), Mul(Div(n, 3), CarlsonRJ(0, Sub(1, m), 1, Sub(1, n)))))),
    Variables(n, m),
    Assumptions(And(Element(n, CC), Element(m, CC), NotEqual(m, 1))))