Specific values of Carlson symmetric elliptic integrals

a839d5

R_C\!\left(\lambda x, \lambda y\right) = {\lambda}^{-1 / 2} R_C\!\left(x, y\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

TeX:

R_C\!\left(\lambda x, \lambda y\right) = {\lambda}^{-1 / 2} R_C\!\left(x, y\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("a839d5"),
    Formula(Equal(CarlsonRC(Mul(lamda, x), Mul(lamda, y)), Mul(Pow(lamda, Neg(Div(1, 2))), CarlsonRC(x, y)))),
    Variables(x, y, lamda),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(lamda, OpenInterval(0, Infinity)))))

5c2b08

R_C\!\left(0, 0\right) = {\tilde \infty}

TeX:

R_C\!\left(0, 0\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("5c2b08"),
    Formula(Equal(CarlsonRC(0, 0), UnsignedInfinity)))

1acb07

R_C\!\left(1, 0\right) = \infty

TeX:

R_C\!\left(1, 0\right) = \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("1acb07"),
    Formula(Equal(CarlsonRC(1, 0), Infinity)))

e464ec

R_C\!\left(0, 1\right) = \frac{\pi}{2}

TeX:

R_C\!\left(0, 1\right) = \frac{\pi}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("e464ec"),
    Formula(Equal(CarlsonRC(0, 1), Div(Pi, 2))))

d38c27

R_C\!\left(1, 1\right) = 1

TeX:

R_C\!\left(1, 1\right) = 1

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind

Source code for this entry:

Entry(ID("d38c27"),
    Formula(Equal(CarlsonRC(1, 1), 1)))

eac389

R_C\!\left(1, 2\right) = \frac{\pi}{4}

TeX:

R_C\!\left(1, 2\right) = \frac{\pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("eac389"),
    Formula(Equal(CarlsonRC(1, 2), Div(Pi, 4))))

a15c03

R_C\!\left(2, 1\right) = \log\!\left(1 + \sqrt{2}\right)

TeX:

R_C\!\left(2, 1\right) = \log\!\left(1 + \sqrt{2}\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Log`	$\log(z)$	Natural logarithm
`Sqrt`	$\sqrt{z}$	Principal square root

Source code for this entry:

Entry(ID("a15c03"),
    Formula(Equal(CarlsonRC(2, 1), Log(Add(1, Sqrt(2))))))

35cb93

R_C\!\left(0, -1\right) = -\frac{\pi i}{2}

TeX:

R_C\!\left(0, -1\right) = -\frac{\pi i}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("35cb93"),
    Formula(Equal(CarlsonRC(0, -1), Neg(Div(Mul(Pi, ConstI), 2)))))

56d1bc

R_C\!\left(-1, 0\right) = -i \infty

TeX:

R_C\!\left(-1, 0\right) = -i \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`ConstI`	$i$	Imaginary unit
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("56d1bc"),
    Formula(Equal(CarlsonRC(-1, 0), Neg(Mul(ConstI, Infinity)))))

25435b

R_C\!\left(1, -1\right) = \frac{\sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{2} - \frac{\pi \sqrt{2}}{4} i

TeX:

R_C\!\left(1, -1\right) = \frac{\sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{2} - \frac{\pi \sqrt{2}}{4} i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("25435b"),
    Formula(Equal(CarlsonRC(1, -1), Sub(Div(Mul(Sqrt(2), Log(Add(1, Sqrt(2)))), 2), Mul(Div(Mul(Pi, Sqrt(2)), 4), ConstI)))))

7ea1ad

R_C\!\left(-1, 1\right) = \frac{\pi \sqrt{2}}{4} - \frac{\sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{2} i

TeX:

R_C\!\left(-1, 1\right) = \frac{\pi \sqrt{2}}{4} - \frac{\sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{2} i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("7ea1ad"),
    Formula(Equal(CarlsonRC(-1, 1), Sub(Div(Mul(Pi, Sqrt(2)), 4), Mul(Div(Mul(Sqrt(2), Log(Add(1, Sqrt(2)))), 2), ConstI)))))

7cbe17

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}

Assumptions:

x \in \mathbb{C}

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`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sign`	$\operatorname{sgn}(z)$	Sign function
`Sqrt`	$\sqrt{z}$	Principal square root
`Infinity`	$\infty$	Positive infinity
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	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)))

ff58cf

R_C\!\left(0, y\right) = \begin{cases} \frac{\pi}{2 \sqrt{y}}, & y \ne 0\\{\tilde \infty}, & y = 0\\ \end{cases}

Assumptions:

y \in \mathbb{C}

TeX:

R_C\!\left(0, y\right) = \begin{cases} \frac{\pi}{2 \sqrt{y}}, & y \ne 0\\{\tilde \infty}, & y = 0\\ \end{cases}

y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("ff58cf"),
    Formula(Equal(CarlsonRC(0, y), Cases(Tuple(Div(Pi, Mul(2, Sqrt(y))), NotEqual(y, 0)), Tuple(UnsignedInfinity, Equal(y, 0))))),
    Variables(y),
    Assumptions(Element(y, CC)))

ad96f4

R_C\!\left(x, x\right) = \frac{1}{\sqrt{x}}

Assumptions:

x \in \mathbb{C}

TeX:

R_C\!\left(x, x\right) = \frac{1}{\sqrt{x}}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("ad96f4"),
    Formula(Equal(CarlsonRC(x, x), Div(1, Sqrt(x)))),
    Variables(x),
    Assumptions(Element(x, CC)))

09a494

R_C\!\left(x, 2 x\right) = \frac{\pi}{4 \sqrt{x}}

Assumptions:

x \in \mathbb{C}

TeX:

R_C\!\left(x, 2 x\right) = \frac{\pi}{4 \sqrt{x}}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	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)))

b136bd

R_C\!\left(2 x, x\right) = \frac{\log\!\left(1 + \sqrt{2}\right)}{\sqrt{x}}

Assumptions:

x \in \mathbb{C}

TeX:

R_C\!\left(2 x, x\right) = \frac{\log\!\left(1 + \sqrt{2}\right)}{\sqrt{x}}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Log`	$\log(z)$	Natural logarithm
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("b136bd"),
    Formula(Equal(CarlsonRC(Mul(2, x), x), Div(Log(Add(1, Sqrt(2))), Sqrt(x)))),
    Variables(x),
    Assumptions(Element(x, CC)))

5ada5f

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{\frac{y}{x} - 1}\right)}{\sqrt{y - x}}, & x < y\\\frac{1}{\sqrt{x}}, & x = y\\\frac{\operatorname{atanh}\!\left(\sqrt{1 - \frac{y}{x}}\right)}{\sqrt{x - y}}, & x > y\\ \end{cases}

Assumptions:

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

TeX:

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{\frac{y}{x} - 1}\right)}{\sqrt{y - x}}, & x < y\\\frac{1}{\sqrt{x}}, & x = y\\\frac{\operatorname{atanh}\!\left(\sqrt{1 - \frac{y}{x}}\right)}{\sqrt{x - y}}, & x > y\\ \end{cases}

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Atan`	$\operatorname{atan}(z)$	Inverse tangent
`Sqrt`	$\sqrt{z}$	Principal square root
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("5ada5f"),
    Formula(Equal(CarlsonRC(x, y), Cases(Tuple(Div(Atan(Sqrt(Sub(Div(y, x), 1))), Sqrt(Sub(y, x))), Less(x, y)), Tuple(Div(1, Sqrt(x)), Equal(x, y)), Tuple(Div(Atanh(Sqrt(Sub(1, Div(y, x)))), Sqrt(Sub(x, y))), Greater(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, OpenInterval(0, Infinity)), Element(y, OpenInterval(0, Infinity)))))

718f3a

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{acos}\!\left(\sqrt{\frac{x}{y}}\right)}{\sqrt{y - x}}, & x < y\\\frac{1}{\sqrt{x}}, & x = y\\\frac{\operatorname{acosh}\!\left(\sqrt{\frac{x}{y}}\right)}{\sqrt{x - y}}, & x > y\\ \end{cases}

Assumptions:

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

TeX:

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{acos}\!\left(\sqrt{\frac{x}{y}}\right)}{\sqrt{y - x}}, & x < y\\\frac{1}{\sqrt{x}}, & x = y\\\frac{\operatorname{acosh}\!\left(\sqrt{\frac{x}{y}}\right)}{\sqrt{x - y}}, & x > y\\ \end{cases}

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("718f3a"),
    Formula(Equal(CarlsonRC(x, y), Cases(Tuple(Div(Acos(Sqrt(Div(x, y))), Sqrt(Sub(y, x))), Less(x, y)), Tuple(Div(1, Sqrt(x)), Equal(x, y)), Tuple(Div(Acosh(Sqrt(Div(x, y))), Sqrt(Sub(x, y))), Greater(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, OpenInterval(0, Infinity)), Element(y, OpenInterval(0, Infinity)))))

de0638

R_C\!\left(-x, -y\right) = -i R_C\!\left(x, y\right)

Assumptions:

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

TeX:

R_C\!\left(-x, -y\right) = -i R_C\!\left(x, y\right)

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`ConstI`	$i$	Imaginary unit
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("de0638"),
    Formula(Equal(CarlsonRC(Neg(x), Neg(y)), Neg(Mul(ConstI, CarlsonRC(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, OpenInterval(0, Infinity)), Element(y, OpenInterval(0, Infinity)))))

00cdb7

R_C\!\left(x, -y\right) = \frac{1}{\sqrt{x + y}} \left(\operatorname{atanh}\!\left(\sqrt{\frac{x}{x + y}}\right) - \frac{\pi i}{2}\right)

Assumptions:

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

TeX:

R_C\!\left(x, -y\right) = \frac{1}{\sqrt{x + y}} \left(\operatorname{atanh}\!\left(\sqrt{\frac{x}{x + y}}\right) - \frac{\pi i}{2}\right)

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("00cdb7"),
    Formula(Equal(CarlsonRC(x, Neg(y)), Mul(Div(1, Sqrt(Add(x, y))), Sub(Atanh(Sqrt(Div(x, Add(x, y)))), Div(Mul(Pi, ConstI), 2))))),
    Variables(x, y),
    Assumptions(And(Element(x, OpenInterval(0, Infinity)), Element(y, OpenInterval(0, Infinity)))))

bc2f88

R_C\!\left(-x, y\right) = \frac{1}{\sqrt{x + y}} \left(\frac{\pi}{2} - \operatorname{atanh}\!\left(\sqrt{\frac{x}{x + y}}\right) i\right)

Assumptions:

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

TeX:

R_C\!\left(-x, y\right) = \frac{1}{\sqrt{x + y}} \left(\frac{\pi}{2} - \operatorname{atanh}\!\left(\sqrt{\frac{x}{x + y}}\right) i\right)

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("bc2f88"),
    Formula(Equal(CarlsonRC(Neg(x), y), Mul(Div(1, Sqrt(Add(x, y))), Sub(Div(Pi, 2), Mul(Atanh(Sqrt(Div(x, Add(x, y)))), ConstI))))),
    Variables(x, y),
    Assumptions(And(Element(x, OpenInterval(0, Infinity)), Element(y, OpenInterval(0, Infinity)))))

4becdd

R_C\!\left(-x, y\right) = \overline{i R_C\!\left(x, -y\right)}

Assumptions:

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

TeX:

R_C\!\left(-x, y\right) = \overline{i R_C\!\left(x, -y\right)}

x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Conjugate`	$\overline{z}$	Complex conjugate
`ConstI`	$i$	Imaginary unit
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("4becdd"),
    Formula(Equal(CarlsonRC(Neg(x), y), Conjugate(Mul(ConstI, CarlsonRC(x, Neg(y)))))),
    Variables(x, y),
    Assumptions(And(Element(x, OpenInterval(0, Infinity)), Element(y, OpenInterval(0, Infinity)))))

7b5755

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{\frac{y}{x} - 1}\right)}{\sqrt{y - x}}, & x \ne y\\\frac{1}{\sqrt{x}}, & x = y\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(x \in \left(0, \infty\right) \;\mathbin{\operatorname{or}}\; \left(y \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; x \notin \left(-\infty, 0\right)\right)\right)

TeX:

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{\frac{y}{x} - 1}\right)}{\sqrt{y - x}}, & x \ne y\\\frac{1}{\sqrt{x}}, & x = y\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(x \in \left(0, \infty\right) \;\mathbin{\operatorname{or}}\; \left(y \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; x \notin \left(-\infty, 0\right)\right)\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Atan`	$\operatorname{atan}(z)$	Inverse tangent
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("7b5755"),
    Formula(Equal(CarlsonRC(x, y), Cases(Tuple(Div(Atan(Sqrt(Sub(Div(y, x), 1))), Sqrt(Sub(y, x))), NotEqual(x, y)), Tuple(Div(1, Sqrt(x)), Equal(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC), Or(Element(x, OpenInterval(0, Infinity)), And(Element(y, OpenInterval(0, Infinity)), NotElement(x, OpenInterval(Neg(Infinity), 0)))))))

0cf60d

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{atanh}\!\left(\sqrt{1 - \frac{y}{x}}\right)}{\sqrt{x - y}}, & x \ne y\\\frac{1}{\sqrt{x}}, & x = y\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(x \in \left(0, \infty\right) \;\mathbin{\operatorname{or}}\; \left(y \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; x \notin \left(-\infty, 0\right)\right)\right)

TeX:

R_C\!\left(x, y\right) = \begin{cases} \frac{\operatorname{atanh}\!\left(\sqrt{1 - \frac{y}{x}}\right)}{\sqrt{x - y}}, & x \ne y\\\frac{1}{\sqrt{x}}, & x = y\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(x \in \left(0, \infty\right) \;\mathbin{\operatorname{or}}\; \left(y \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; x \notin \left(-\infty, 0\right)\right)\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("0cf60d"),
    Formula(Equal(CarlsonRC(x, y), Cases(Tuple(Div(Atanh(Sqrt(Sub(1, Div(y, x)))), Sqrt(Sub(x, y))), NotEqual(x, y)), Tuple(Div(1, Sqrt(x)), Equal(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC), Or(Element(x, OpenInterval(0, Infinity)), And(Element(y, OpenInterval(0, Infinity)), NotElement(x, OpenInterval(Neg(Infinity), 0)))))))

8c9ba1

R_C\!\left(x, c x\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{c - 1}\right)}{\sqrt{\left(c - 1\right) x}}, & c > 1\\\frac{1}{\sqrt{x}}, & c = 1\\\frac{\operatorname{atanh}\!\left(\sqrt{1 - c}\right)}{\sqrt{\left(1 - c\right) x}}, & c < 1\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left(0, \infty\right)

TeX:

R_C\!\left(x, c x\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{c - 1}\right)}{\sqrt{\left(c - 1\right) x}}, & c > 1\\\frac{1}{\sqrt{x}}, & c = 1\\\frac{\operatorname{atanh}\!\left(\sqrt{1 - c}\right)}{\sqrt{\left(1 - c\right) x}}, & c < 1\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Atan`	$\operatorname{atan}(z)$	Inverse tangent
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("8c9ba1"),
    Formula(Equal(CarlsonRC(x, Mul(c, x)), Cases(Tuple(Div(Atan(Sqrt(Sub(c, 1))), Sqrt(Mul(Sub(c, 1), x))), Greater(c, 1)), Tuple(Div(1, Sqrt(x)), Equal(c, 1)), Tuple(Div(Atanh(Sqrt(Sub(1, c))), Sqrt(Mul(Sub(1, c), x))), Less(c, 1))))),
    Variables(x, c),
    Assumptions(And(Element(x, CC), Element(c, OpenInterval(0, Infinity)))))

7348e3

R_C\!\left(x, -c x\right) = \frac{1}{\sqrt{\left(c + 1\right) x}} \begin{cases} \operatorname{atanh}\!\left(\sqrt{c + 1}\right), & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\\operatorname{atanh}\!\left(\sqrt{c + 1}\right) + \pi i, & \text{otherwise}\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left(0, \infty\right)

TeX:

R_C\!\left(x, -c x\right) = \frac{1}{\sqrt{\left(c + 1\right) x}} \begin{cases} \operatorname{atanh}\!\left(\sqrt{c + 1}\right), & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\\operatorname{atanh}\!\left(\sqrt{c + 1}\right) + \pi i, & \text{otherwise}\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Im`	$\operatorname{Im}(z)$	Imaginary part
`Re`	$\operatorname{Re}(z)$	Real part
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("7348e3"),
    Formula(Equal(CarlsonRC(x, Neg(Mul(c, x))), Mul(Div(1, Sqrt(Mul(Add(c, 1), x))), Cases(Tuple(Atanh(Sqrt(Add(c, 1))), Or(Less(Im(x), 0), And(Equal(Im(x), 0), GreaterEqual(Re(x), 0)))), Tuple(Add(Atanh(Sqrt(Add(c, 1))), Mul(Pi, ConstI)), Otherwise))))),
    Variables(x, c),
    Assumptions(And(Element(x, CC), Element(c, OpenInterval(0, Infinity)))))

eb1d4f

R_C\!\left(1, 1 + y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{y}\right)}{\sqrt{y}}, & y \ne 0\\1, & y = 0\\ \end{cases}

Assumptions:

y \in \mathbb{C}

TeX:

R_C\!\left(1, 1 + y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{y}\right)}{\sqrt{y}}, & y \ne 0\\1, & y = 0\\ \end{cases}

y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Atan`	$\operatorname{atan}(z)$	Inverse tangent
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("eb1d4f"),
    Formula(Equal(CarlsonRC(1, Add(1, y)), Cases(Tuple(Div(Atan(Sqrt(y)), Sqrt(y)), NotEqual(y, 0)), Tuple(1, Equal(y, 0))))),
    Variables(y),
    Assumptions(Element(y, CC)))

157ebb

R_C\!\left(1, 1 + y\right) = \,{}_2F_1\!\left(1, \frac{1}{2}, \frac{3}{2}, -y\right)

Assumptions:

y \in \mathbb{C}

TeX:

R_C\!\left(1, 1 + y\right) = \,{}_2F_1\!\left(1, \frac{1}{2}, \frac{3}{2}, -y\right)

y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Hypergeometric2F1`	$\,{}_2F_1\!\left(a, b, c, z\right)$	Gauss hypergeometric function
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("157ebb"),
    Formula(Equal(CarlsonRC(1, Add(1, y)), Hypergeometric2F1(1, Div(1, 2), Div(3, 2), Neg(y)))),
    Variables(y),
    Assumptions(Element(y, CC)))

f29729

R_F\!\left(x, y, z\right) = R_F\!\left(x, z, y\right) = R_F\!\left(y, x, z\right) = R_F\!\left(y, z, x\right) = R_F\!\left(z, x, y\right) = R_F\!\left(z, y, x\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}

TeX:

R_F\!\left(x, y, z\right) = R_F\!\left(x, z, y\right) = R_F\!\left(y, x, z\right) = R_F\!\left(y, z, x\right) = R_F\!\left(z, x, y\right) = R_F\!\left(z, y, x\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
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("f29729"),
    Formula(Equal(CarlsonRF(x, y, z), CarlsonRF(x, z, y), CarlsonRF(y, x, z), CarlsonRF(y, z, x), CarlsonRF(z, x, y), CarlsonRF(z, y, x))),
    Variables(x, y, z),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC))))

7a168a

R_F\!\left(\lambda x, \lambda y, \lambda z\right) = {\lambda}^{-1 / 2} R_F\!\left(x, y, z\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

TeX:

R_F\!\left(\lambda x, \lambda y, \lambda z\right) = {\lambda}^{-1 / 2} R_F\!\left(x, y, z\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("7a168a"),
    Formula(Equal(CarlsonRF(Mul(lamda, x), Mul(lamda, y), Mul(lamda, z)), Mul(Pow(lamda, Neg(Div(1, 2))), CarlsonRF(x, y, z)))),
    Variables(x, y, z, lamda),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC), Element(lamda, OpenInterval(0, Infinity)))))

e39456

R_F\!\left(0, 0, 0\right) = {\tilde \infty}

TeX:

R_F\!\left(0, 0, 0\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("e39456"),
    Formula(Equal(CarlsonRF(0, 0, 0), UnsignedInfinity)))

9a95a5

R_F\!\left(0, 0, 1\right) = \infty

TeX:

R_F\!\left(0, 0, 1\right) = \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("9a95a5"),
    Formula(Equal(CarlsonRF(0, 0, 1), Infinity)))

8bb972

R_F\!\left(0, 1, 1\right) = \frac{\pi}{2}

TeX:

R_F\!\left(0, 1, 1\right) = \frac{\pi}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("8bb972"),
    Formula(Equal(CarlsonRF(0, 1, 1), Div(Pi, 2))))

c166ca

R_F\!\left(1, 1, 1\right) = 1

TeX:

R_F\!\left(1, 1, 1\right) = 1

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind

Source code for this entry:

Entry(ID("c166ca"),
    Formula(Equal(CarlsonRF(1, 1, 1), 1)))

4cd504

R_F\!\left(1, 1, 2\right) = \log\!\left(1 + \sqrt{2}\right)

TeX:

R_F\!\left(1, 1, 2\right) = \log\!\left(1 + \sqrt{2}\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Log`	$\log(z)$	Natural logarithm
`Sqrt`	$\sqrt{z}$	Principal square root

Source code for this entry:

Entry(ID("4cd504"),
    Formula(Equal(CarlsonRF(1, 1, 2), Log(Add(1, Sqrt(2))))))

0bf328

R_F\!\left(1, 2, 2\right) = \frac{\pi}{4}

TeX:

R_F\!\left(1, 2, 2\right) = \frac{\pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("0bf328"),
    Formula(Equal(CarlsonRF(1, 2, 2), Div(Pi, 4))))

28237a

R_F\!\left(0, 1, 2\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}}

TeX:

R_F\!\left(0, 1, 2\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("28237a"),
    Formula(Equal(CarlsonRF(0, 1, 2), Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Mul(2, Pi)))))))

f1dd8a

R_F\!\left(0, 1, -1\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}} \left(1 - i\right)

TeX:

R_F\!\left(0, 1, -1\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}} \left(1 - i\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("f1dd8a"),
    Formula(Equal(CarlsonRF(0, 1, -1), Mul(Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Mul(2, Pi)))), Sub(1, ConstI)))))

4c1988

R_F\!\left(0, 2, 4\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{\pi}}

TeX:

R_F\!\left(0, 2, 4\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{\pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("4c1988"),
    Formula(Equal(CarlsonRF(0, 2, 4), Div(Pow(Gamma(Div(1, 4)), 2), Mul(8, Sqrt(Pi))))))

6c4567

R_F\!\left(0, \frac{1}{2}, 1\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{\pi}}

TeX:

R_F\!\left(0, \frac{1}{2}, 1\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{\pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("6c4567"),
    Formula(Equal(CarlsonRF(0, Div(1, 2), 1), Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Pi))))))

90af98

R_F\!\left(0, 0, -1\right) = -i \infty

TeX:

R_F\!\left(0, 0, -1\right) = -i \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`ConstI`	$i$	Imaginary unit
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("90af98"),
    Formula(Equal(CarlsonRF(0, 0, -1), Neg(Mul(ConstI, Infinity)))))

3a84d6

R_F\!\left(0, -1, -1\right) = \frac{-\pi i}{2}

TeX:

R_F\!\left(0, -1, -1\right) = \frac{-\pi i}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("3a84d6"),
    Formula(Equal(CarlsonRF(0, -1, -1), Div(Neg(Mul(Pi, ConstI)), 2))))

6674bb

R_F\!\left(-1, -1, -1\right) = -i

TeX:

R_F\!\left(-1, -1, -1\right) = -i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("6674bb"),
    Formula(Equal(CarlsonRF(-1, -1, -1), Neg(ConstI))))

5c178f

R_F\!\left(0, -1, -2\right) = -\frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}} i

TeX:

R_F\!\left(0, -1, -2\right) = -\frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}} i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("5c178f"),
    Formula(Equal(CarlsonRF(0, -1, -2), Neg(Mul(Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Mul(2, Pi)))), ConstI)))))

e30d7e

R_F\!\left(0, 1, 12 \sqrt{2} - 16\right) = \frac{\left(2 + \sqrt{2}\right) {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}}

TeX:

R_F\!\left(0, 1, 12 \sqrt{2} - 16\right) = \frac{\left(2 + \sqrt{2}\right) {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("e30d7e"),
    Formula(Equal(CarlsonRF(0, 1, Sub(Mul(12, Sqrt(2)), 16)), Div(Mul(Add(2, Sqrt(2)), Pow(Gamma(Div(1, 4)), 2)), Mul(16, Sqrt(Pi))))))

cf5caa

R_F\!\left(0, i, -i\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{\pi}}

TeX:

R_F\!\left(0, i, -i\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{\pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`ConstI`	$i$	Imaginary unit
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("cf5caa"),
    Formula(Equal(CarlsonRF(0, ConstI, Neg(ConstI)), Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Pi))))))

67e015

R_F\!\left(0, \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{16 \pi}, \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{32 \pi}\right) = 1

TeX:

R_F\!\left(0, \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{16 \pi}, \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{32 \pi}\right) = 1

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("67e015"),
    Formula(Equal(CarlsonRF(0, Div(Pow(Gamma(Div(1, 4)), 4), Mul(16, Pi)), Div(Pow(Gamma(Div(1, 4)), 4), Mul(32, Pi))), 1)))

8519dd

R_F\!\left(0, \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{32 \pi}, \frac{-{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{32 \pi}\right) = 1 - i

TeX:

R_F\!\left(0, \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{32 \pi}, \frac{-{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{4}}{32 \pi}\right) = 1 - i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("8519dd"),
    Formula(Equal(CarlsonRF(0, Div(Pow(Gamma(Div(1, 4)), 4), Mul(32, Pi)), Div(Neg(Pow(Gamma(Div(1, 4)), 4)), Mul(32, Pi))), Sub(1, ConstI))))

13a092

R_F\!\left(0, 0, x\right) = \begin{cases} \infty, & x \ne 0\\{\tilde \infty}, & x = 0\\ \end{cases}

Assumptions:

x \in \mathbb{C}

TeX:

R_F\!\left(0, 0, x\right) = \begin{cases} \infty, & x \ne 0\\{\tilde \infty}, & x = 0\\ \end{cases}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Infinity`	$\infty$	Positive infinity
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("13a092"),
    Formula(Equal(CarlsonRF(0, 0, x), Cases(Tuple(Infinity, NotEqual(x, 0)), Tuple(UnsignedInfinity, Equal(x, 0))))),
    Variables(x),
    Assumptions(Element(x, CC)))

53d869

R_F\!\left(0, 1, x\right) = K\!\left(1 - x\right)

Assumptions:

x \in \mathbb{C}

TeX:

R_F\!\left(0, 1, x\right) = K\!\left(1 - x\right)

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("53d869"),
    Formula(Equal(CarlsonRF(0, 1, x), EllipticK(Sub(1, x)))),
    Variables(x),
    Assumptions(Element(x, CC)))

ab5af3

R_F\!\left(0, x, x\right) = \frac{\pi}{2 \sqrt{x}}

Assumptions:

x \in \mathbb{C}

TeX:

R_F\!\left(0, x, x\right) = \frac{\pi}{2 \sqrt{x}}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("ab5af3"),
    Formula(Equal(CarlsonRF(0, x, x), Div(Pi, Mul(2, Sqrt(x))))),
    Variables(x),
    Assumptions(Element(x, CC)))

415ff0

R_F\!\left(0, x, y\right) = \frac{K\!\left(1 - \frac{y}{x}\right)}{\sqrt{x}}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(x) - \arg(y)\right| < \pi

TeX:

R_F\!\left(0, x, y\right) = \frac{K\!\left(1 - \frac{y}{x}\right)}{\sqrt{x}}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(x) - \arg(y)\right| < \pi

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`Abs`	$\left\|z\right\|$	Absolute value
`Arg`	$\arg(z)$	Complex argument
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("415ff0"),
    Formula(Equal(CarlsonRF(0, x, y), Div(EllipticK(Sub(1, Div(y, x))), Sqrt(x)))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC), Less(Abs(Sub(Arg(x), Arg(y))), Pi))))

0ed5e2

R_F\!\left(0, x, 2 x\right) = \frac{1}{\sqrt{x}} \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}}

Assumptions:

x \in \mathbb{C}

TeX:

R_F\!\left(0, x, 2 x\right) = \frac{1}{\sqrt{x}} \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("0ed5e2"),
    Formula(Equal(CarlsonRF(0, x, Mul(2, x)), Mul(Div(1, Sqrt(x)), Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Mul(2, Pi))))))),
    Variables(x),
    Assumptions(Element(x, CC)))

e54e61

R_F\!\left(0, x, -x\right) = \frac{1}{\sqrt{x}} \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}} \begin{cases} 1 - i, & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\1 + i, & \text{otherwise}\\ \end{cases}

Assumptions:

x \in \mathbb{C}

TeX:

R_F\!\left(0, x, -x\right) = \frac{1}{\sqrt{x}} \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{4 \sqrt{2 \pi}} \begin{cases} 1 - i, & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\1 + i, & \text{otherwise}\\ \end{cases}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit
`Im`	$\operatorname{Im}(z)$	Imaginary part
`Re`	$\operatorname{Re}(z)$	Real part
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("e54e61"),
    Formula(Mul(Mul(Equal(CarlsonRF(0, x, Neg(x)), Div(1, Sqrt(x))), Div(Pow(Gamma(Div(1, 4)), 2), Mul(4, Sqrt(Mul(2, Pi))))), Cases(Tuple(Sub(1, ConstI), Or(Less(Im(x), 0), And(Equal(Im(x), 0), GreaterEqual(Re(x), 0)))), Tuple(Add(1, ConstI), Otherwise)))),
    Variables(x),
    Assumptions(Element(x, CC)))

538c8c

R_F\!\left(0, x, c x\right) = \frac{K\!\left(1 - c\right)}{\sqrt{x}}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

TeX:

R_F\!\left(0, x, c x\right) = \frac{K\!\left(1 - c\right)}{\sqrt{x}}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("538c8c"),
    Formula(Equal(CarlsonRF(0, x, Mul(c, x)), Div(EllipticK(Sub(1, c)), Sqrt(x)))),
    Variables(x, c),
    Assumptions(And(Element(x, CC), Element(c, ClosedOpenInterval(0, Infinity)))))

271b73

R_F\!\left(0, x, -c x\right) = \frac{1}{\sqrt{x}} \begin{cases} K\!\left(1 + c\right), & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\K\!\left(1 + c\right) + 2 i K\!\left(-c\right), & \text{otherwise}\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

TeX:

R_F\!\left(0, x, -c x\right) = \frac{1}{\sqrt{x}} \begin{cases} K\!\left(1 + c\right), & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\K\!\left(1 + c\right) + 2 i K\!\left(-c\right), & \text{otherwise}\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`Im`	$\operatorname{Im}(z)$	Imaginary part
`Re`	$\operatorname{Re}(z)$	Real part
`ConstI`	$i$	Imaginary unit
`CC`	$\mathbb{C}$	Complex numbers
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("271b73"),
    Formula(Equal(CarlsonRF(0, x, Neg(Mul(c, x))), Mul(Div(1, Sqrt(x)), Cases(Tuple(EllipticK(Add(1, c)), Or(Less(Im(x), 0), And(Equal(Im(x), 0), GreaterEqual(Re(x), 0)))), Tuple(Add(EllipticK(Add(1, c)), Mul(Mul(2, ConstI), EllipticK(Neg(c)))), Otherwise))))),
    Variables(x, c),
    Assumptions(And(Element(x, CC), Element(c, ClosedOpenInterval(0, Infinity)))))

63d11e

R_F\!\left(x, y, y\right) = R_C\!\left(x, y\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

TeX:

R_F\!\left(x, y, y\right) = R_C\!\left(x, y\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("63d11e"),
    Formula(Equal(CarlsonRF(x, y, y), CarlsonRC(x, y))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC))))

ebaa1a

R_F\!\left(x, x, y\right) = R_C\!\left(y, x\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

TeX:

R_F\!\left(x, x, y\right) = R_C\!\left(y, x\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("ebaa1a"),
    Formula(Equal(CarlsonRF(x, x, y), CarlsonRC(y, x))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC))))

649dc0

R_F\!\left(x, x, y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{\frac{x}{y} - 1}\right)}{\sqrt{x - y}}, & x \ne y\\\frac{1}{\sqrt{x}}, & x = y\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(y \in \left(0, \infty\right) \;\mathbin{\operatorname{or}}\; \left(x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \notin \left(-\infty, 0\right)\right)\right)

TeX:

R_F\!\left(x, x, y\right) = \begin{cases} \frac{\operatorname{atan}\!\left(\sqrt{\frac{x}{y} - 1}\right)}{\sqrt{x - y}}, & x \ne y\\\frac{1}{\sqrt{x}}, & x = y\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(y \in \left(0, \infty\right) \;\mathbin{\operatorname{or}}\; \left(x \in \left(0, \infty\right) \;\mathbin{\operatorname{and}}\; y \notin \left(-\infty, 0\right)\right)\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Atan`	$\operatorname{atan}(z)$	Inverse tangent
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("649dc0"),
    Formula(Equal(CarlsonRF(x, x, y), Cases(Tuple(Div(Atan(Sqrt(Sub(Div(x, y), 1))), Sqrt(Sub(x, y))), NotEqual(x, y)), Tuple(Div(1, Sqrt(x)), Equal(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC), Or(Element(y, OpenInterval(0, Infinity)), And(Element(x, OpenInterval(0, Infinity)), NotElement(y, OpenInterval(Neg(Infinity), 0)))))))

9b0388

R_F\!\left(x, x, x\right) = \frac{1}{\sqrt{x}}

Assumptions:

x \in \mathbb{C}

TeX:

R_F\!\left(x, x, x\right) = \frac{1}{\sqrt{x}}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("9b0388"),
    Formula(Equal(CarlsonRF(x, x, x), Div(1, Sqrt(x)))),
    Variables(x),
    Assumptions(Element(x, CC)))

5ab6bf

R_F\!\left(-x, -y, -z\right) = -i R_F\!\left(x, y, z\right)

Assumptions:

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

TeX:

R_F\!\left(-x, -y, -z\right) = -i R_F\!\left(x, y, z\right)

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`ConstI`	$i$	Imaginary unit
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("5ab6bf"),
    Formula(Equal(CarlsonRF(Neg(x), Neg(y), Neg(z)), Neg(Mul(ConstI, CarlsonRF(x, y, z))))),
    Variables(x, y, z),
    Assumptions(And(Element(x, ClosedOpenInterval(0, Infinity)), Element(y, ClosedOpenInterval(0, Infinity)), Element(z, ClosedOpenInterval(0, Infinity)))))

23e0a7

R_F\!\left(-x, -y, z\right) = \overline{i R_F\!\left(x, y, -z\right)}

Assumptions:

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

TeX:

R_F\!\left(-x, -y, z\right) = \overline{i R_F\!\left(x, y, -z\right)}

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`Conjugate`	$\overline{z}$	Complex conjugate
`ConstI`	$i$	Imaginary unit
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("23e0a7"),
    Formula(Equal(CarlsonRF(Neg(x), Neg(y), z), Conjugate(Mul(ConstI, CarlsonRF(x, y, Neg(z)))))),
    Variables(x, y, z),
    Assumptions(And(Element(x, ClosedOpenInterval(0, Infinity)), Element(y, ClosedOpenInterval(0, Infinity)), Element(z, ClosedOpenInterval(0, Infinity)))))

b478a1

R_G\!\left(x, y, z\right) = R_G\!\left(x, z, y\right) = R_G\!\left(y, x, z\right) = R_G\!\left(y, z, x\right) = R_G\!\left(z, x, y\right) = R_G\!\left(z, y, x\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}

TeX:

R_G\!\left(x, y, z\right) = R_G\!\left(x, z, y\right) = R_G\!\left(y, x, z\right) = R_G\!\left(y, z, x\right) = R_G\!\left(z, x, y\right) = R_G\!\left(z, y, x\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
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("b478a1"),
    Formula(Equal(CarlsonRG(x, y, z), CarlsonRG(x, z, y), CarlsonRG(y, x, z), CarlsonRG(y, z, x), CarlsonRG(z, x, y), CarlsonRG(z, y, x))),
    Variables(x, y, z),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC))))

f9ca94

R_G\!\left(\lambda x, \lambda y, \lambda z\right) = {\lambda}^{1 / 2} R_G\!\left(x, y, z\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

TeX:

R_G\!\left(\lambda x, \lambda y, \lambda z\right) = {\lambda}^{1 / 2} R_G\!\left(x, y, z\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("f9ca94"),
    Formula(Equal(CarlsonRG(Mul(lamda, x), Mul(lamda, y), Mul(lamda, z)), Mul(Pow(lamda, Div(1, 2)), CarlsonRG(x, y, z)))),
    Variables(x, y, z, lamda),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC), Element(lamda, OpenInterval(0, Infinity)))))

bcc121

R_G\!\left(0, 0, 0\right) = 0

TeX:

R_G\!\left(0, 0, 0\right) = 0

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind

Source code for this entry:

Entry(ID("bcc121"),
    Formula(Equal(CarlsonRG(0, 0, 0), 0)))

d5ff09

R_G\!\left(0, 0, 1\right) = \frac{1}{2}

TeX:

R_G\!\left(0, 0, 1\right) = \frac{1}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind

Source code for this entry:

Entry(ID("d5ff09"),
    Formula(Equal(CarlsonRG(0, 0, 1), Div(1, 2))))

cd55cf

R_G\!\left(0, 1, 1\right) = \frac{\pi}{4}

TeX:

R_G\!\left(0, 1, 1\right) = \frac{\pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("cd55cf"),
    Formula(Equal(CarlsonRG(0, 1, 1), Div(Pi, 4))))

250ff1

R_G\!\left(1, 1, 1\right) = 1

TeX:

R_G\!\left(1, 1, 1\right) = 1

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind

Source code for this entry:

Entry(ID("250ff1"),
    Formula(Equal(CarlsonRG(1, 1, 1), 1)))

4d7098

R_G\!\left(1, 1, 2\right) = \frac{\sqrt{2}}{2} + \frac{\log\!\left(1 + \sqrt{2}\right)}{2}

TeX:

R_G\!\left(1, 1, 2\right) = \frac{\sqrt{2}}{2} + \frac{\log\!\left(1 + \sqrt{2}\right)}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm

Source code for this entry:

Entry(ID("4d7098"),
    Formula(Equal(CarlsonRG(1, 1, 2), Add(Div(Sqrt(2), 2), Div(Log(Add(1, Sqrt(2))), 2)))))

d51efc

R_G\!\left(1, 2, 2\right) = \frac{\pi}{4} + \frac{1}{2}

TeX:

R_G\!\left(1, 2, 2\right) = \frac{\pi}{4} + \frac{1}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("d51efc"),
    Formula(Equal(CarlsonRG(1, 2, 2), Add(Div(Pi, 4), Div(1, 2)))))

84f403

R_G\!\left(0, 1, 2\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} + \frac{{\pi}^{3 / 2}}{\sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

TeX:

R_G\!\left(0, 1, 2\right) = \frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} + \frac{{\pi}^{3 / 2}}{\sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("84f403"),
    Formula(Equal(CarlsonRG(0, 1, 2), Add(Div(Pow(Gamma(Div(1, 4)), 2), Mul(8, Sqrt(Mul(2, Pi)))), Div(Pow(Pi, Div(3, 2)), Mul(Sqrt(2), Pow(Gamma(Div(1, 4)), 2)))))))

9e30e7

R_G\!\left(0, 1, -1\right) = \frac{\sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \left(1 + i\right)

TeX:

R_G\!\left(0, 1, -1\right) = \frac{\sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \left(1 + i\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Pi`	$\pi$	The constant pi (3.14...)
`Gamma`	$\Gamma(z)$	Gamma function
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("9e30e7"),
    Formula(Equal(CarlsonRG(0, 1, -1), Mul(Div(Mul(Sqrt(2), Pow(Pi, Div(3, 2))), Mul(2, Pow(Gamma(Div(1, 4)), 2))), Add(1, ConstI)))))

c5a9cf

R_G\!\left(0, 16, 16\right) = \pi

TeX:

R_G\!\left(0, 16, 16\right) = \pi

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("c5a9cf"),
    Formula(Equal(CarlsonRG(0, 16, 16), Pi)))

d829be

R_G\!\left(0, 0, x\right) = \frac{\sqrt{x}}{2}

Assumptions:

x \in \mathbb{C}

TeX:

R_G\!\left(0, 0, x\right) = \frac{\sqrt{x}}{2}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("d829be"),
    Formula(Equal(CarlsonRG(0, 0, x), Div(Sqrt(x), 2))),
    Variables(x),
    Assumptions(Element(x, CC)))

3f6d40

R_G\!\left(0, 1, x\right) = \frac{E\!\left(1 - x\right)}{2}

Assumptions:

x \in \mathbb{C}

TeX:

R_G\!\left(0, 1, x\right) = \frac{E\!\left(1 - x\right)}{2}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("3f6d40"),
    Formula(Equal(CarlsonRG(0, 1, x), Div(EllipticE(Sub(1, x)), 2))),
    Variables(x),
    Assumptions(Element(x, CC)))

cdb587

R_G\!\left(0, x, x\right) = \frac{\pi \sqrt{x}}{4}

Assumptions:

x \in \mathbb{C}

TeX:

R_G\!\left(0, x, x\right) = \frac{\pi \sqrt{x}}{4}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("cdb587"),
    Formula(Equal(CarlsonRG(0, x, x), Div(Mul(Pi, Sqrt(x)), 4))),
    Variables(x),
    Assumptions(Element(x, CC)))

7cddc6

R_G\!\left(0, x, y\right) = \frac{\sqrt{x} E\!\left(1 - \frac{y}{x}\right)}{2}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(x) - \arg(y)\right| < \pi

TeX:

R_G\!\left(0, x, y\right) = \frac{\sqrt{x} E\!\left(1 - \frac{y}{x}\right)}{2}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(x) - \arg(y)\right| < \pi

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`CC`	$\mathbb{C}$	Complex numbers
`Abs`	$\left\|z\right\|$	Absolute value
`Arg`	$\arg(z)$	Complex argument
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("7cddc6"),
    Formula(Equal(CarlsonRG(0, x, y), Div(Mul(Sqrt(x), EllipticE(Sub(1, Div(y, x)))), 2))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC), Less(Abs(Sub(Arg(x), Arg(y))), Pi))))

3f1547

R_G\!\left(0, x, 2 x\right) = \sqrt{x} \left(\frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} + \frac{{\pi}^{3 / 2}}{\sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}\right)

Assumptions:

x \in \mathbb{C}

TeX:

R_G\!\left(0, x, 2 x\right) = \sqrt{x} \left(\frac{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} + \frac{{\pi}^{3 / 2}}{\sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}\right)

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("3f1547"),
    Formula(Equal(CarlsonRG(0, x, Mul(2, x)), Mul(Sqrt(x), Mul(Add(Div(Pow(Gamma(Div(1, 4)), 2), Mul(8, Sqrt(Mul(2, Pi)))), Div(Pow(Pi, Div(3, 2)), Mul(Sqrt(2), Pow(Gamma(Div(1, 4)), 2)))))))),
    Variables(x),
    Assumptions(Element(x, CC)))

7c50d1

R_G\!\left(0, x, -x\right) = \sqrt{x} \frac{\sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \begin{cases} 1 + i, & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\1 - i, & \text{otherwise}\\ \end{cases}

Assumptions:

x \in \mathbb{C}

TeX:

R_G\!\left(0, x, -x\right) = \sqrt{x} \frac{\sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \begin{cases} 1 + i, & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\1 - i, & \text{otherwise}\\ \end{cases}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Pi`	$\pi$	The constant pi (3.14...)
`Gamma`	$\Gamma(z)$	Gamma function
`ConstI`	$i$	Imaginary unit
`Im`	$\operatorname{Im}(z)$	Imaginary part
`Re`	$\operatorname{Re}(z)$	Real part
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("7c50d1"),
    Formula(Equal(CarlsonRG(0, x, Neg(x)), Mul(Mul(Sqrt(x), Div(Mul(Sqrt(2), Pow(Pi, Div(3, 2))), Mul(2, Pow(Gamma(Div(1, 4)), 2)))), Cases(Tuple(Add(1, ConstI), Or(Less(Im(x), 0), And(Equal(Im(x), 0), GreaterEqual(Re(x), 0)))), Tuple(Sub(1, ConstI), Otherwise))))),
    Variables(x),
    Assumptions(Element(x, CC)))

a2e9dd

R_G\!\left(0, x, c x\right) = \frac{\sqrt{x} E\!\left(1 - c\right)}{2}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

TeX:

R_G\!\left(0, x, c x\right) = \frac{\sqrt{x} E\!\left(1 - c\right)}{2}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`CC`	$\mathbb{C}$	Complex numbers
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("a2e9dd"),
    Formula(Equal(CarlsonRG(0, x, Mul(c, x)), Div(Mul(Sqrt(x), EllipticE(Sub(1, c))), 2))),
    Variables(x, c),
    Assumptions(And(Element(x, CC), Element(c, ClosedOpenInterval(0, Infinity)))))

48333c

R_G\!\left(0, x, -c x\right) = \frac{\sqrt{x}}{2} \begin{cases} E\!\left(1 + c\right), & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\E\!\left(1 + c\right) + 2 i \left(K\!\left(-c\right) - E\!\left(-c\right)\right), & \text{otherwise}\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

TeX:

R_G\!\left(0, x, -c x\right) = \frac{\sqrt{x}}{2} \begin{cases} E\!\left(1 + c\right), & \operatorname{Im}(x) < 0 \;\mathbin{\operatorname{or}}\; \left(\operatorname{Im}(x) = 0 \;\mathbin{\operatorname{and}}\; \operatorname{Re}(x) \ge 0\right)\\E\!\left(1 + c\right) + 2 i \left(K\!\left(-c\right) - E\!\left(-c\right)\right), & \text{otherwise}\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; c \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`Im`	$\operatorname{Im}(z)$	Imaginary part
`Re`	$\operatorname{Re}(z)$	Real part
`ConstI`	$i$	Imaginary unit
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`CC`	$\mathbb{C}$	Complex numbers
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("48333c"),
    Formula(Equal(CarlsonRG(0, x, Neg(Mul(c, x))), Mul(Div(Sqrt(x), 2), Cases(Tuple(EllipticE(Add(1, c)), Or(Less(Im(x), 0), And(Equal(Im(x), 0), GreaterEqual(Re(x), 0)))), Tuple(Add(EllipticE(Add(1, c)), Mul(Mul(2, ConstI), Sub(EllipticK(Neg(c)), EllipticE(Neg(c))))), Otherwise))))),
    Variables(x, c),
    Assumptions(And(Element(x, CC), Element(c, ClosedOpenInterval(0, Infinity)))))

5d0c95

R_G\!\left(x, y, y\right) = \frac{1}{2} \begin{cases} y R_C\!\left(x, y\right) + \sqrt{x}, & y \ne 0\\\sqrt{x}, & y = 0\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

TeX:

R_G\!\left(x, y, y\right) = \frac{1}{2} \begin{cases} y R_C\!\left(x, y\right) + \sqrt{x}, & y \ne 0\\\sqrt{x}, & y = 0\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("5d0c95"),
    Formula(Equal(CarlsonRG(x, y, y), Mul(Div(1, 2), Cases(Tuple(Add(Mul(y, CarlsonRC(x, y)), Sqrt(x)), NotEqual(y, 0)), Tuple(Sqrt(x), Equal(y, 0)))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC))))

120284

R_G\!\left(x, x, y\right) = \frac{1}{2} \begin{cases} x R_C\!\left(y, x\right) + \sqrt{y}, & x \ne 0\\\sqrt{y}, & x = 0\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

TeX:

R_G\!\left(x, x, y\right) = \frac{1}{2} \begin{cases} x R_C\!\left(y, x\right) + \sqrt{y}, & x \ne 0\\\sqrt{y}, & x = 0\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("120284"),
    Formula(Equal(CarlsonRG(x, x, y), Mul(Div(1, 2), Cases(Tuple(Add(Mul(x, CarlsonRC(y, x)), Sqrt(y)), NotEqual(x, 0)), Tuple(Sqrt(y), Equal(x, 0)))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC))))

990145

R_G\!\left(x, x, x\right) = \sqrt{x}

Assumptions:

x \in \mathbb{C}

TeX:

R_G\!\left(x, x, x\right) = \sqrt{x}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("990145"),
    Formula(Equal(CarlsonRG(x, x, x), Sqrt(x))),
    Variables(x),
    Assumptions(Element(x, CC)))

092716

R_G\!\left(-x, -y, -z\right) = i R_G\!\left(x, y, z\right)

Assumptions:

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

TeX:

R_G\!\left(-x, -y, -z\right) = i R_G\!\left(x, y, z\right)

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`ConstI`	$i$	Imaginary unit
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("092716"),
    Formula(Equal(CarlsonRG(Neg(x), Neg(y), Neg(z)), Mul(ConstI, CarlsonRG(x, y, z)))),
    Variables(x, y, z),
    Assumptions(And(Element(x, ClosedOpenInterval(0, Infinity)), Element(y, ClosedOpenInterval(0, Infinity)), Element(z, ClosedOpenInterval(0, Infinity)))))

4091ad

R_G\!\left(-x, -y, z\right) = -\overline{i R_G\!\left(x, y, -z\right)}

Assumptions:

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

TeX:

R_G\!\left(-x, -y, z\right) = -\overline{i R_G\!\left(x, y, -z\right)}

x \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; y \in \left[0, \infty\right) \;\mathbin{\operatorname{and}}\; z \in \left[0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRG`	$R_G\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the second kind
`Conjugate`	$\overline{z}$	Complex conjugate
`ConstI`	$i$	Imaginary unit
`ClosedOpenInterval`	$\left[a, b\right)$	Closed-open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("4091ad"),
    Formula(Equal(CarlsonRG(Neg(x), Neg(y), z), Neg(Conjugate(Mul(ConstI, CarlsonRG(x, y, Neg(z))))))),
    Variables(x, y, z),
    Assumptions(And(Element(x, ClosedOpenInterval(0, Infinity)), Element(y, ClosedOpenInterval(0, Infinity)), Element(z, ClosedOpenInterval(0, Infinity)))))

1e8061

R_D\!\left(x, y, z\right) = R_D\!\left(y, x, z\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}

TeX:

R_D\!\left(x, y, z\right) = R_D\!\left(y, x, 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`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("1e8061"),
    Formula(Equal(CarlsonRD(x, y, z), CarlsonRD(y, x, z))),
    Variables(x, y, z),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC))))

197a91

R_D\!\left(\lambda x, \lambda y, \lambda z\right) = {\lambda}^{-3 / 2} R_D\!\left(x, y, z\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

TeX:

R_D\!\left(\lambda x, \lambda y, \lambda z\right) = {\lambda}^{-3 / 2} R_D\!\left(x, y, z\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("197a91"),
    Formula(Equal(CarlsonRD(Mul(lamda, x), Mul(lamda, y), Mul(lamda, z)), Mul(Pow(lamda, Neg(Div(3, 2))), CarlsonRD(x, y, z)))),
    Variables(x, y, z, lamda),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC), Element(lamda, OpenInterval(0, Infinity)))))

980014

R_D\!\left(0, 0, 0\right) = {\tilde \infty}

TeX:

R_D\!\left(0, 0, 0\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("980014"),
    Formula(Equal(CarlsonRD(0, 0, 0), UnsignedInfinity)))

dbe634

R_D\!\left(0, 1, 0\right) = {\tilde \infty}

TeX:

R_D\!\left(0, 1, 0\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("dbe634"),
    Formula(Equal(CarlsonRD(0, 1, 0), UnsignedInfinity)))

748131

R_D\!\left(0, 0, 1\right) = \infty

TeX:

R_D\!\left(0, 0, 1\right) = \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("748131"),
    Formula(Equal(CarlsonRD(0, 0, 1), Infinity)))

84ea08

R_D\!\left(0, 1, 1\right) = \frac{3 \pi}{4}

TeX:

R_D\!\left(0, 1, 1\right) = \frac{3 \pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("84ea08"),
    Formula(Equal(CarlsonRD(0, 1, 1), Div(Mul(3, Pi), 4))))

1c0fee

R_D\!\left(1, 1, 1\right) = 1

TeX:

R_D\!\left(1, 1, 1\right) = 1

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind

Source code for this entry:

Entry(ID("1c0fee"),
    Formula(Equal(CarlsonRD(1, 1, 1), 1)))

f47947

R_D\!\left(1, 1, 2\right) = 3 \log\!\left(1 + \sqrt{2}\right) - \frac{3 \sqrt{2}}{2}

TeX:

R_D\!\left(1, 1, 2\right) = 3 \log\!\left(1 + \sqrt{2}\right) - \frac{3 \sqrt{2}}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Log`	$\log(z)$	Natural logarithm
`Sqrt`	$\sqrt{z}$	Principal square root

Source code for this entry:

Entry(ID("f47947"),
    Formula(Equal(CarlsonRD(1, 1, 2), Sub(Mul(3, Log(Add(1, Sqrt(2)))), Div(Mul(3, Sqrt(2)), 2)))))

4d2c10

R_D\!\left(1, 2, 2\right) = \frac{3 \pi}{8} - \frac{3}{4}

TeX:

R_D\!\left(1, 2, 2\right) = \frac{3 \pi}{8} - \frac{3}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("4d2c10"),
    Formula(Equal(CarlsonRD(1, 2, 2), Sub(Div(Mul(3, Pi), 8), Div(3, 4)))))

eda57d

R_D\!\left(2, 2, 1\right) = 3 - \frac{3 \pi}{4}

TeX:

R_D\!\left(2, 2, 1\right) = 3 - \frac{3 \pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("eda57d"),
    Formula(Equal(CarlsonRD(2, 2, 1), Sub(3, Div(Mul(3, Pi), 4)))))

060366

R_D\!\left(0, 1, 2\right) = \frac{3 \sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}} - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

TeX:

R_D\!\left(0, 1, 2\right) = \frac{3 \sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}} - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("060366"),
    Formula(Equal(CarlsonRD(0, 1, 2), Sub(Div(Mul(Mul(3, Sqrt(2)), Pow(Gamma(Div(1, 4)), 2)), Mul(16, Sqrt(Pi))), Div(Mul(Mul(3, Sqrt(2)), Pow(Pi, Div(3, 2))), Mul(2, Pow(Gamma(Div(1, 4)), 2)))))))

63644d

R_D\!\left(0, 2, 1\right) = \frac{3 \sqrt{2} {\pi}^{3 / 2}}{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

TeX:

R_D\!\left(0, 2, 1\right) = \frac{3 \sqrt{2} {\pi}^{3 / 2}}{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Pi`	$\pi$	The constant pi (3.14...)
`Gamma`	$\Gamma(z)$	Gamma function

Source code for this entry:

Entry(ID("63644d"),
    Formula(Equal(CarlsonRD(0, 2, 1), Div(Mul(Mul(3, Sqrt(2)), Pow(Pi, Div(3, 2))), Pow(Gamma(Div(1, 4)), 2)))))

14a365

R_D\!\left(0, 0, -1\right) = i \infty

TeX:

R_D\!\left(0, 0, -1\right) = i \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("14a365"),
    Formula(Equal(CarlsonRD(0, 0, -1), Mul(ConstI, Infinity))))

2dcf0c

R_D\!\left(0, -1, 1\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} \left(1 - i\right) - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \left(1 + i\right)

TeX:

R_D\!\left(0, -1, 1\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} \left(1 - i\right) - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \left(1 + i\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("2dcf0c"),
    Formula(Equal(CarlsonRD(0, -1, 1), Sub(Mul(Div(Mul(3, Pow(Gamma(Div(1, 4)), 2)), Mul(8, Sqrt(Mul(2, Pi)))), Sub(1, ConstI)), Mul(Div(Mul(Mul(3, Sqrt(2)), Pow(Pi, Div(3, 2))), Mul(2, Pow(Gamma(Div(1, 4)), 2))), Add(1, ConstI))))))

d52bda

R_D\!\left(0, -1, -1\right) = \frac{3 \pi}{4} i

TeX:

R_D\!\left(0, -1, -1\right) = \frac{3 \pi}{4} i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("d52bda"),
    Formula(Equal(CarlsonRD(0, -1, -1), Mul(Div(Mul(3, Pi), 4), ConstI))))

545e8b

R_D\!\left(1, 1, -1\right) = -\frac{3 \sqrt{2} \pi}{8} + \left(\frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2}\right) i

TeX:

R_D\!\left(1, 1, -1\right) = -\frac{3 \sqrt{2} \pi}{8} + \left(\frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2}\right) i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`Log`	$\log(z)$	Natural logarithm
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("545e8b"),
    Formula(Equal(CarlsonRD(1, 1, -1), Add(Neg(Div(Mul(Mul(3, Sqrt(2)), Pi), 8)), Mul(Sub(Div(Mul(Mul(3, Sqrt(2)), Log(Add(1, Sqrt(2)))), 4), Div(3, 2)), ConstI)))))

3047b1

R_D\!\left(1, -1, -1\right) = -\frac{3}{4} - \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{8} + \frac{3 \sqrt{2} \pi i}{16}

TeX:

R_D\!\left(1, -1, -1\right) = -\frac{3}{4} - \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{8} + \frac{3 \sqrt{2} \pi i}{16}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("3047b1"),
    Formula(Equal(CarlsonRD(1, -1, -1), Add(Sub(Neg(Div(3, 4)), Div(Mul(Mul(3, Sqrt(2)), Log(Add(1, Sqrt(2)))), 8)), Div(Mul(Mul(Mul(3, Sqrt(2)), Pi), ConstI), 16)))))

4a2403

R_D\!\left(-1, -1, -1\right) = i

TeX:

R_D\!\left(-1, -1, -1\right) = i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("4a2403"),
    Formula(Equal(CarlsonRD(-1, -1, -1), ConstI)))

f07e9d

R_D\!\left(0, 0, z\right) = \begin{cases} \operatorname{sgn}\!\left(\frac{1}{{z}^{3 / 2}}\right) \infty, & z \ne 0\\{\tilde \infty}, & \text{otherwise}\\ \end{cases}

Assumptions:

z \in \mathbb{C}

TeX:

R_D\!\left(0, 0, z\right) = \begin{cases} \operatorname{sgn}\!\left(\frac{1}{{z}^{3 / 2}}\right) \infty, & z \ne 0\\{\tilde \infty}, & \text{otherwise}\\ \end{cases}

z \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Sign`	$\operatorname{sgn}(z)$	Sign function
`Pow`	${a}^{b}$	Power
`Infinity`	$\infty$	Positive infinity
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("f07e9d"),
    Formula(Equal(CarlsonRD(0, 0, z), Cases(Tuple(Mul(Sign(Div(1, Pow(z, Div(3, 2)))), Infinity), NotEqual(z, 0)), Tuple(UnsignedInfinity, Otherwise)))),
    Variables(z),
    Assumptions(Element(z, CC)))

3e05c6

R_D\!\left(0, y, 1\right) = \begin{cases} \frac{3 \left(K\!\left(1 - y\right) - E\!\left(1 - y\right)\right)}{1 - y}, & y \ne 1\\\frac{3 \pi}{4}, & y = 1\\ \end{cases}

Assumptions:

y \in \mathbb{C}

TeX:

R_D\!\left(0, y, 1\right) = \begin{cases} \frac{3 \left(K\!\left(1 - y\right) - E\!\left(1 - y\right)\right)}{1 - y}, & y \ne 1\\\frac{3 \pi}{4}, & y = 1\\ \end{cases}

y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`Pi`	$\pi$	The constant pi (3.14...)
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("3e05c6"),
    Formula(Equal(CarlsonRD(0, y, 1), Cases(Tuple(Div(Mul(3, Sub(EllipticK(Sub(1, y)), EllipticE(Sub(1, y)))), Sub(1, y)), NotEqual(y, 1)), Tuple(Div(Mul(3, Pi), 4), Equal(y, 1))))),
    Variables(y),
    Assumptions(Element(y, CC)))

61c002

R_D\!\left(0, 1, z\right) = \begin{cases} \frac{3 \left(E\!\left(1 - z\right) - z K\!\left(1 - z\right)\right)}{z \left(1 - z\right)}, & z \ne 0 \;\mathbin{\operatorname{and}}\; z \ne 1\\\frac{3 \pi}{4}, & z = 1\\{\tilde \infty}, & z = 0\\ \end{cases}

Assumptions:

z \in \mathbb{C}

TeX:

R_D\!\left(0, 1, z\right) = \begin{cases} \frac{3 \left(E\!\left(1 - z\right) - z K\!\left(1 - z\right)\right)}{z \left(1 - z\right)}, & z \ne 0 \;\mathbin{\operatorname{and}}\; z \ne 1\\\frac{3 \pi}{4}, & z = 1\\{\tilde \infty}, & z = 0\\ \end{cases}

z \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("61c002"),
    Formula(Equal(CarlsonRD(0, 1, z), Cases(Tuple(Div(Mul(3, Sub(EllipticE(Sub(1, z)), Mul(z, EllipticK(Sub(1, z))))), Mul(z, Sub(1, z))), And(NotEqual(z, 0), NotEqual(z, 1))), Tuple(Div(Mul(3, Pi), 4), Equal(z, 1)), Tuple(UnsignedInfinity, Equal(z, 0))))),
    Variables(z),
    Assumptions(Element(z, CC)))

4e4380

R_D\!\left(0, y, z\right) = {y}^{-3 / 2} \begin{cases} \frac{3 \left(E\!\left(1 - \frac{z}{y}\right) - \frac{z}{y} K\!\left(1 - \frac{z}{y}\right)\right)}{\frac{z}{y} \left(1 - \frac{z}{y}\right)}, & z \ne 0 \;\mathbin{\operatorname{and}}\; z \ne y\\\frac{3 \pi}{4}, & z = y\\{\tilde \infty}, & z = 0\\ \end{cases}

Assumptions:

y \in \mathbb{C} \setminus \left\{0\right\} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(y) - \arg(z)\right| < \pi

TeX:

R_D\!\left(0, y, z\right) = {y}^{-3 / 2} \begin{cases} \frac{3 \left(E\!\left(1 - \frac{z}{y}\right) - \frac{z}{y} K\!\left(1 - \frac{z}{y}\right)\right)}{\frac{z}{y} \left(1 - \frac{z}{y}\right)}, & z \ne 0 \;\mathbin{\operatorname{and}}\; z \ne y\\\frac{3 \pi}{4}, & z = y\\{\tilde \infty}, & z = 0\\ \end{cases}

y \in \mathbb{C} \setminus \left\{0\right\} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(y) - \arg(z)\right| < \pi

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`Pi`	$\pi$	The constant pi (3.14...)
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	Complex numbers
`Abs`	$\left\|z\right\|$	Absolute value
`Arg`	$\arg(z)$	Complex argument

Source code for this entry:

Entry(ID("4e4380"),
    Formula(Equal(CarlsonRD(0, y, z), Mul(Pow(y, Neg(Div(3, 2))), Cases(Tuple(Div(Mul(3, Sub(EllipticE(Sub(1, Div(z, y))), Mul(Div(z, y), EllipticK(Sub(1, Div(z, y)))))), Mul(Div(z, y), Sub(1, Div(z, y)))), And(NotEqual(z, 0), NotEqual(z, y))), Tuple(Div(Mul(3, Pi), 4), Equal(z, y)), Tuple(UnsignedInfinity, Equal(z, 0)))))),
    Variables(y, z),
    Assumptions(And(Element(y, SetMinus(CC, Set(0))), Element(z, CC), Less(Abs(Sub(Arg(y), Arg(z))), Pi))))

8d0629

R_D\!\left(0, y, z\right) = {z}^{-3 / 2} \begin{cases} \frac{3 \left(K\!\left(1 - \frac{y}{z}\right) - E\!\left(1 - \frac{y}{z}\right)\right)}{1 - \frac{y}{z}}, & y \ne z\\\frac{3 \pi}{4}, & y = z\\ \end{cases}

Assumptions:

z \in \mathbb{C} \setminus \left\{0\right\} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(y) - \arg(z)\right| < \pi

TeX:

R_D\!\left(0, y, z\right) = {z}^{-3 / 2} \begin{cases} \frac{3 \left(K\!\left(1 - \frac{y}{z}\right) - E\!\left(1 - \frac{y}{z}\right)\right)}{1 - \frac{y}{z}}, & y \ne z\\\frac{3 \pi}{4}, & y = z\\ \end{cases}

z \in \mathbb{C} \setminus \left\{0\right\} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left|\arg(y) - \arg(z)\right| < \pi

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`EllipticK`	$K(m)$	Legendre complete elliptic integral of the first kind
`EllipticE`	$E(m)$	Legendre complete elliptic integral of the second kind
`Pi`	$\pi$	The constant pi (3.14...)
`CC`	$\mathbb{C}$	Complex numbers
`Abs`	$\left\|z\right\|$	Absolute value
`Arg`	$\arg(z)$	Complex argument

Source code for this entry:

Entry(ID("8d0629"),
    Formula(Equal(CarlsonRD(0, y, z), Mul(Pow(z, Neg(Div(3, 2))), Cases(Tuple(Div(Mul(3, Sub(EllipticK(Sub(1, Div(y, z))), EllipticE(Sub(1, Div(y, z))))), Sub(1, Div(y, z))), NotEqual(y, z)), Tuple(Div(Mul(3, Pi), 4), Equal(y, z)))))),
    Variables(y, z),
    Assumptions(And(Element(z, SetMinus(CC, Set(0))), Element(y, CC), Less(Abs(Sub(Arg(y), Arg(z))), Pi))))

c85c2f

R_D\!\left(x, y, y\right) = \begin{cases} \frac{3}{2 \left(y - x\right)} \left(R_C\!\left(x, y\right) - \frac{\sqrt{x}}{y}\right), & x \ne y\\{x}^{-3 / 2}, & x = y\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

TeX:

R_D\!\left(x, y, y\right) = \begin{cases} \frac{3}{2 \left(y - x\right)} \left(R_C\!\left(x, y\right) - \frac{\sqrt{x}}{y}\right), & x \ne y\\{x}^{-3 / 2}, & x = y\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("c85c2f"),
    Formula(Equal(CarlsonRD(x, y, y), Cases(Tuple(Mul(Div(3, Mul(2, Sub(y, x))), Sub(CarlsonRC(x, y), Div(Sqrt(x), y))), NotEqual(x, y)), Tuple(Pow(x, Neg(Div(3, 2))), Equal(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC))))

771801

R_D\!\left(x, x, y\right) = \begin{cases} \frac{3}{y - x} \left(R_C\!\left(y, x\right) - \frac{1}{\sqrt{y}}\right), & x \ne y\\{x}^{-3 / 2}, & x = y\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

TeX:

R_D\!\left(x, x, y\right) = \begin{cases} \frac{3}{y - x} \left(R_C\!\left(y, x\right) - \frac{1}{\sqrt{y}}\right), & x \ne y\\{x}^{-3 / 2}, & x = y\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("771801"),
    Formula(Equal(CarlsonRD(x, x, y), Cases(Tuple(Mul(Div(3, Sub(y, x)), Sub(CarlsonRC(y, x), Div(1, Sqrt(y)))), NotEqual(x, y)), Tuple(Pow(x, Neg(Div(3, 2))), Equal(x, y))))),
    Variables(x, y),
    Assumptions(And(Element(x, CC), Element(y, CC))))

ccb4d1

R_D\!\left(x, x, x\right) = {x}^{-3 / 2}

Assumptions:

x \in \mathbb{C}

TeX:

R_D\!\left(x, x, x\right) = {x}^{-3 / 2}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("ccb4d1"),
    Formula(Equal(CarlsonRD(x, x, x), Pow(x, Neg(Div(3, 2))))),
    Variables(x),
    Assumptions(Element(x, CC)))

f68409

R_D\!\left(-x, -y, -z\right) = i R_D\!\left(x, y, z\right)

Assumptions:

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right]

TeX:

R_D\!\left(-x, -y, -z\right) = i R_D\!\left(x, y, z\right)

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right]

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit
`OpenClosedInterval`	$\left(a, b\right]$	Open-closed interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("f68409"),
    Formula(Equal(CarlsonRD(Neg(x), Neg(y), Neg(z)), Mul(ConstI, CarlsonRD(x, y, z)))),
    Variables(x, y, z),
    Assumptions(And(Element(x, OpenClosedInterval(0, Infinity)), Element(y, OpenClosedInterval(0, Infinity)), Element(z, OpenClosedInterval(0, Infinity)))))

12b1d0

R_D\!\left(-x, -y, z\right) = -\overline{i R_D\!\left(x, y, -z\right)}

Assumptions:

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right]

TeX:

R_D\!\left(-x, -y, z\right) = -\overline{i R_D\!\left(x, y, -z\right)}

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right]

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`Conjugate`	$\overline{z}$	Complex conjugate
`ConstI`	$i$	Imaginary unit
`OpenClosedInterval`	$\left(a, b\right]$	Open-closed interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("12b1d0"),
    Formula(Equal(CarlsonRD(Neg(x), Neg(y), z), Neg(Conjugate(Mul(ConstI, CarlsonRD(x, y, Neg(z))))))),
    Variables(x, y, z),
    Assumptions(And(Element(x, OpenClosedInterval(0, Infinity)), Element(y, OpenClosedInterval(0, Infinity)), Element(z, OpenClosedInterval(0, Infinity)))))

655a2b

R_J\!\left(x, y, z, w\right) = R_J\!\left(x, z, y, w\right) = R_J\!\left(y, x, z, w\right) = R_J\!\left(y, z, x, w\right) = R_J\!\left(z, x, y, w\right) = R_J\!\left(z, y, x, w\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

TeX:

R_J\!\left(x, y, z, w\right) = R_J\!\left(x, z, y, w\right) = R_J\!\left(y, x, z, w\right) = R_J\!\left(y, z, x, w\right) = R_J\!\left(z, x, y, w\right) = R_J\!\left(z, y, x, w\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("655a2b"),
    Formula(Equal(CarlsonRJ(x, y, z, w), CarlsonRJ(x, z, y, w), CarlsonRJ(y, x, z, w), CarlsonRJ(y, z, x, w), CarlsonRJ(z, x, y, w), CarlsonRJ(z, y, x, w))),
    Variables(x, y, z, w),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC), Element(w, CC))))

4e21c7

R_J\!\left(\lambda x, \lambda y, \lambda z, \lambda w\right) = {\lambda}^{-3 / 2} R_J\!\left(x, y, z, w\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

TeX:

R_J\!\left(\lambda x, \lambda y, \lambda z, \lambda w\right) = {\lambda}^{-3 / 2} R_J\!\left(x, y, z, w\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \lambda \in \left(0, \infty\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("4e21c7"),
    Formula(Equal(CarlsonRJ(Mul(lamda, x), Mul(lamda, y), Mul(lamda, z), Mul(lamda, w)), Mul(Pow(lamda, Neg(Div(3, 2))), CarlsonRJ(x, y, z, w)))),
    Variables(x, y, z, w, lamda),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC), Element(w, CC), Element(lamda, OpenInterval(0, Infinity)))))

55cd70

R_J\!\left(0, 0, 0, 0\right) = {\tilde \infty}

TeX:

R_J\!\left(0, 0, 0, 0\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("55cd70"),
    Formula(Equal(CarlsonRJ(0, 0, 0, 0), UnsignedInfinity)))

f1fd51

R_J\!\left(0, 0, 0, 1\right) = {\tilde \infty}

TeX:

R_J\!\left(0, 0, 0, 1\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("f1fd51"),
    Formula(Equal(CarlsonRJ(0, 0, 0, 1), UnsignedInfinity)))

b891d1

R_J\!\left(0, 0, 1, 1\right) = \infty

TeX:

R_J\!\left(0, 0, 1, 1\right) = \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("b891d1"),
    Formula(Equal(CarlsonRJ(0, 0, 1, 1), Infinity)))

64a808

R_J\!\left(0, 1, 1, 1\right) = \frac{3 \pi}{4}

TeX:

R_J\!\left(0, 1, 1, 1\right) = \frac{3 \pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("64a808"),
    Formula(Equal(CarlsonRJ(0, 1, 1, 1), Div(Mul(3, Pi), 4))))

e9d5a9

R_J\!\left(1, 1, 1, 1\right) = 1

TeX:

R_J\!\left(1, 1, 1, 1\right) = 1

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind

Source code for this entry:

Entry(ID("e9d5a9"),
    Formula(Equal(CarlsonRJ(1, 1, 1, 1), 1)))

b07652

R_J\!\left(1, 1, 1, 0\right) = \infty

TeX:

R_J\!\left(1, 1, 1, 0\right) = \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("b07652"),
    Formula(Equal(CarlsonRJ(1, 1, 1, 0), Infinity)))

e60205

R_J\!\left(0, 1, 1, 0\right) = {\tilde \infty}

TeX:

R_J\!\left(0, 1, 1, 0\right) = {\tilde \infty}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity

Source code for this entry:

Entry(ID("e60205"),
    Formula(Equal(CarlsonRJ(0, 1, 1, 0), UnsignedInfinity)))

522f54

R_J\!\left(0, 1, 1, 2\right) = \frac{3 \pi}{4 + 2 \sqrt{2}}

TeX:

R_J\!\left(0, 1, 1, 2\right) = \frac{3 \pi}{4 + 2 \sqrt{2}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root

Source code for this entry:

Entry(ID("522f54"),
    Formula(Equal(CarlsonRJ(0, 1, 1, 2), Div(Mul(3, Pi), Add(4, Mul(2, Sqrt(2)))))))

b1c84e

R_J\!\left(1, 1, 1, 2\right) = 3 - \frac{3 \pi}{4}

TeX:

R_J\!\left(1, 1, 1, 2\right) = 3 - \frac{3 \pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("b1c84e"),
    Formula(Equal(CarlsonRJ(1, 1, 1, 2), Sub(3, Div(Mul(3, Pi), 4)))))

a9f190

R_J\!\left(1, 1, 2, 2\right) = 3 \log\!\left(1 + \sqrt{2}\right) - \frac{3 \sqrt{2}}{2}

TeX:

R_J\!\left(1, 1, 2, 2\right) = 3 \log\!\left(1 + \sqrt{2}\right) - \frac{3 \sqrt{2}}{2}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Log`	$\log(z)$	Natural logarithm
`Sqrt`	$\sqrt{z}$	Principal square root

Source code for this entry:

Entry(ID("a9f190"),
    Formula(Equal(CarlsonRJ(1, 1, 2, 2), Sub(Mul(3, Log(Add(1, Sqrt(2)))), Div(Mul(3, Sqrt(2)), 2)))))

397051

R_J\!\left(1, 2, 2, 2\right) = \frac{3 \pi}{8} - \frac{3}{4}

TeX:

R_J\!\left(1, 2, 2, 2\right) = \frac{3 \pi}{8} - \frac{3}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("397051"),
    Formula(Equal(CarlsonRJ(1, 2, 2, 2), Sub(Div(Mul(3, Pi), 8), Div(3, 4)))))

6e9544

R_J\!\left(1, 1, 2, 4\right) = \log\!\left(1 + \sqrt{2}\right) - \frac{\sqrt{2} \pi}{8}

TeX:

R_J\!\left(1, 1, 2, 4\right) = \log\!\left(1 + \sqrt{2}\right) - \frac{\sqrt{2} \pi}{8}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Log`	$\log(z)$	Natural logarithm
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("6e9544"),
    Formula(Equal(CarlsonRJ(1, 1, 2, 4), Sub(Log(Add(1, Sqrt(2))), Div(Mul(Sqrt(2), Pi), 8)))))

a1414f

R_J\!\left(1, 2, 2, 1\right) = 3 - \frac{3 \pi}{4}

TeX:

R_J\!\left(1, 2, 2, 1\right) = 3 - \frac{3 \pi}{4}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("a1414f"),
    Formula(Equal(CarlsonRJ(1, 2, 2, 1), Sub(3, Div(Mul(3, Pi), 4)))))

9f2b18

R_J\!\left(0, 1, 2, 1\right) = \frac{3 \sqrt{2} {\pi}^{3 / 2}}{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

TeX:

R_J\!\left(0, 1, 2, 1\right) = \frac{3 \sqrt{2} {\pi}^{3 / 2}}{{\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Pi`	$\pi$	The constant pi (3.14...)
`Gamma`	$\Gamma(z)$	Gamma function

Source code for this entry:

Entry(ID("9f2b18"),
    Formula(Equal(CarlsonRJ(0, 1, 2, 1), Div(Mul(Mul(3, Sqrt(2)), Pow(Pi, Div(3, 2))), Pow(Gamma(Div(1, 4)), 2)))))

c05ed8

R_J\!\left(0, 1, 2, 2\right) = \frac{3 \sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}} - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

TeX:

R_J\!\left(0, 1, 2, 2\right) = \frac{3 \sqrt{2} {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}} - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("c05ed8"),
    Formula(Equal(CarlsonRJ(0, 1, 2, 2), Sub(Div(Mul(Mul(3, Sqrt(2)), Pow(Gamma(Div(1, 4)), 2)), Mul(16, Sqrt(Pi))), Div(Mul(Mul(3, Sqrt(2)), Pow(Pi, Div(3, 2))), Mul(2, Pow(Gamma(Div(1, 4)), 2)))))))

7f8a58

R_J\!\left(0, 1, 2, \sqrt{2}\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}}

TeX:

R_J\!\left(0, 1, 2, \sqrt{2}\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{16 \sqrt{\pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("7f8a58"),
    Formula(Equal(CarlsonRJ(0, 1, 2, Sqrt(2)), Div(Mul(3, Pow(Gamma(Div(1, 4)), 2)), Mul(16, Sqrt(Pi))))))

44d300

R_J\!\left(1, 2, 2, 4\right) = \frac{\left(9 - 4 \sqrt{3}\right) \pi}{24}

TeX:

R_J\!\left(1, 2, 2, 4\right) = \frac{\left(9 - 4 \sqrt{3}\right) \pi}{24}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("44d300"),
    Formula(Equal(CarlsonRJ(1, 2, 2, 4), Div(Mul(Sub(9, Mul(4, Sqrt(3))), Pi), 24))))

1b6362

R_J\!\left(0, 0, 1, -1\right) = -\infty

TeX:

R_J\!\left(0, 0, 1, -1\right) = -\infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("1b6362"),
    Formula(Equal(CarlsonRJ(0, 0, 1, -1), Neg(Infinity))))

fd3017

R_J\!\left(0, 0, -1, 1\right) = -i \infty

TeX:

R_J\!\left(0, 0, -1, 1\right) = -i \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("fd3017"),
    Formula(Equal(CarlsonRJ(0, 0, -1, 1), Neg(Mul(ConstI, Infinity)))))

3567c5

R_J\!\left(0, 0, -1, -1\right) = i \infty

TeX:

R_J\!\left(0, 0, -1, -1\right) = i \infty

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("3567c5"),
    Formula(Equal(CarlsonRJ(0, 0, -1, -1), Mul(ConstI, Infinity))))

62b0c4

R_J\!\left(0, -1, 1, 1\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} \left(1 - i\right) - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \left(1 + i\right)

TeX:

R_J\!\left(0, -1, 1, 1\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{2 \pi}} \left(1 - i\right) - \frac{3 \sqrt{2} {\pi}^{3 / 2}}{2 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}} \left(1 + i\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("62b0c4"),
    Formula(Equal(CarlsonRJ(0, -1, 1, 1), Sub(Mul(Div(Mul(3, Pow(Gamma(Div(1, 4)), 2)), Mul(8, Sqrt(Mul(2, Pi)))), Sub(1, ConstI)), Mul(Div(Mul(Mul(3, Sqrt(2)), Pow(Pi, Div(3, 2))), Mul(2, Pow(Gamma(Div(1, 4)), 2))), Add(1, ConstI))))))

b468f3

R_J\!\left(0, 1, 1, -1\right) = -\frac{3 \pi}{4} \left(1 + i\right)

TeX:

R_J\!\left(0, 1, 1, -1\right) = -\frac{3 \pi}{4} \left(1 + i\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("b468f3"),
    Formula(Equal(CarlsonRJ(0, 1, 1, -1), Neg(Mul(Div(Mul(3, Pi), 4), Add(1, ConstI))))))

78131f

R_J\!\left(0, -1, -1, 1\right) = -\frac{3 \pi}{4} \left(1 + i\right)

TeX:

R_J\!\left(0, -1, -1, 1\right) = -\frac{3 \pi}{4} \left(1 + i\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("78131f"),
    Formula(Equal(CarlsonRJ(0, -1, -1, 1), Neg(Mul(Div(Mul(3, Pi), 4), Add(1, ConstI))))))

cdee01

R_J\!\left(0, -1, -1, -1\right) = \frac{3 \pi}{4} i

TeX:

R_J\!\left(0, -1, -1, -1\right) = \frac{3 \pi}{4} i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("cdee01"),
    Formula(Equal(CarlsonRJ(0, -1, -1, -1), Mul(Div(Mul(3, Pi), 4), ConstI))))

e04867

R_J\!\left(1, 1, 1, -1\right) = \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2} - \frac{3 \sqrt{2} \pi i}{8}

TeX:

R_J\!\left(1, 1, 1, -1\right) = \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2} - \frac{3 \sqrt{2} \pi i}{8}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("e04867"),
    Formula(Equal(CarlsonRJ(1, 1, 1, -1), Sub(Sub(Div(Mul(Mul(3, Sqrt(2)), Log(Add(1, Sqrt(2)))), 4), Div(3, 2)), Div(Mul(Mul(Mul(3, Sqrt(2)), Pi), ConstI), 8)))))

534335

R_J\!\left(1, 1, -1, -1\right) = -\frac{3 \sqrt{2} \pi}{8} + \left(\frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2}\right) i

TeX:

R_J\!\left(1, 1, -1, -1\right) = -\frac{3 \sqrt{2} \pi}{8} + \left(\frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2}\right) i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)
`Log`	$\log(z)$	Natural logarithm
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("534335"),
    Formula(Equal(CarlsonRJ(1, 1, -1, -1), Add(Neg(Div(Mul(Mul(3, Sqrt(2)), Pi), 8)), Mul(Sub(Div(Mul(Mul(3, Sqrt(2)), Log(Add(1, Sqrt(2)))), 4), Div(3, 2)), ConstI)))))

303827

R_J\!\left(1, -1, -1, -1\right) = -\frac{3}{4} - \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{8} + \frac{3 \sqrt{2} \pi i}{16}

TeX:

R_J\!\left(1, -1, -1, -1\right) = -\frac{3}{4} - \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{8} + \frac{3 \sqrt{2} \pi i}{16}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("303827"),
    Formula(Equal(CarlsonRJ(1, -1, -1, -1), Add(Sub(Neg(Div(3, 4)), Div(Mul(Mul(3, Sqrt(2)), Log(Add(1, Sqrt(2)))), 8)), Div(Mul(Mul(Mul(3, Sqrt(2)), Pi), ConstI), 16)))))

a091d1

R_J\!\left(-1, -1, -1, -1\right) = i

TeX:

R_J\!\left(-1, -1, -1, -1\right) = i

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("a091d1"),
    Formula(Equal(CarlsonRJ(-1, -1, -1, -1), ConstI)))

4c1db8

R_J\!\left(1, -1, -1, 1\right) = \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2} - \frac{3 \sqrt{2} \pi i}{8}

TeX:

R_J\!\left(1, -1, -1, 1\right) = \frac{3 \sqrt{2} \log\!\left(1 + \sqrt{2}\right)}{4} - \frac{3}{2} - \frac{3 \sqrt{2} \pi i}{8}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Log`	$\log(z)$	Natural logarithm
`Pi`	$\pi$	The constant pi (3.14...)
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("4c1db8"),
    Formula(Equal(CarlsonRJ(1, -1, -1, 1), Sub(Sub(Div(Mul(Mul(3, Sqrt(2)), Log(Add(1, Sqrt(2)))), 4), Div(3, 2)), Div(Mul(Mul(Mul(3, Sqrt(2)), Pi), ConstI), 8)))))

1eaaed

R_J\!\left(0, i, -i, 1\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{\pi}}

TeX:

R_J\!\left(0, i, -i, 1\right) = \frac{3 {\left(\Gamma\!\left(\frac{1}{4}\right)\right)}^{2}}{8 \sqrt{\pi}}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit
`Pow`	${a}^{b}$	Power
`Gamma`	$\Gamma(z)$	Gamma function
`Sqrt`	$\sqrt{z}$	Principal square root
`Pi`	$\pi$	The constant pi (3.14...)

Source code for this entry:

Entry(ID("1eaaed"),
    Formula(Equal(CarlsonRJ(0, ConstI, Neg(ConstI), 1), Div(Mul(3, Pow(Gamma(Div(1, 4)), 2)), Mul(8, Sqrt(Pi))))))

e1a3cb

R_J\!\left(0, 0, z, w\right) = \begin{cases} \operatorname{sgn}\!\left(\frac{1}{\sqrt{z} w}\right) \infty, & z \ne 0 \;\mathbin{\operatorname{and}}\; w \ne 0\\{\tilde \infty}, & \text{otherwise}\\ \end{cases}

Assumptions:

z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

TeX:

R_J\!\left(0, 0, z, w\right) = \begin{cases} \operatorname{sgn}\!\left(\frac{1}{\sqrt{z} w}\right) \infty, & z \ne 0 \;\mathbin{\operatorname{and}}\; w \ne 0\\{\tilde \infty}, & \text{otherwise}\\ \end{cases}

z \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sign`	$\operatorname{sgn}(z)$	Sign function
`Sqrt`	$\sqrt{z}$	Principal square root
`Infinity`	$\infty$	Positive infinity
`UnsignedInfinity`	${\tilde \infty}$	Unsigned infinity
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("e1a3cb"),
    Formula(Equal(CarlsonRJ(0, 0, z, w), Cases(Tuple(Mul(Sign(Div(1, Mul(Sqrt(z), w))), Infinity), And(NotEqual(z, 0), NotEqual(w, 0))), Tuple(UnsignedInfinity, Otherwise)))),
    Variables(z, w),
    Assumptions(And(Element(z, CC), Element(w, CC))))

3dd30a

R_J\!\left(x, y, z, z\right) = R_D\!\left(x, y, z\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}

TeX:

R_J\!\left(x, y, z, z\right) = R_D\!\left(x, y, 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
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("3dd30a"),
    Formula(Equal(CarlsonRJ(x, y, z, z), CarlsonRD(x, y, z))),
    Variables(x, y, z),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(z, CC))))

5c6f10

R_J\!\left(x, x, x, w\right) = R_D\!\left(w, w, x\right)

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

TeX:

R_J\!\left(x, x, x, w\right) = R_D\!\left(w, w, x\right)

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`CarlsonRD`	$R_D\!\left(x, y, z\right)$	Degenerate Carlson symmetric elliptic integral of the third kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("5c6f10"),
    Formula(Equal(CarlsonRJ(x, x, x, w), CarlsonRD(w, w, x))),
    Variables(x, w),
    Assumptions(And(Element(x, CC), Element(w, CC))))

d4b12e

R_J\!\left(x, y, y, w\right) = \begin{cases} \frac{3}{w - y} \left(R_C\!\left(x, y\right) - R_C\!\left(x, w\right)\right), & y \ne w\\\frac{3}{2 \left(y - x\right)} \left(R_C\!\left(x, y\right) - \frac{\sqrt{x}}{y}\right), & y = w \;\mathbin{\operatorname{and}}\; x \ne y\\{x}^{-3 / 2}, & x = y = w\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

TeX:

R_J\!\left(x, y, y, w\right) = \begin{cases} \frac{3}{w - y} \left(R_C\!\left(x, y\right) - R_C\!\left(x, w\right)\right), & y \ne w\\\frac{3}{2 \left(y - x\right)} \left(R_C\!\left(x, y\right) - \frac{\sqrt{x}}{y}\right), & y = w \;\mathbin{\operatorname{and}}\; x \ne y\\{x}^{-3 / 2}, & x = y = w\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("d4b12e"),
    Formula(Equal(CarlsonRJ(x, y, y, w), Cases(Tuple(Mul(Div(3, Sub(w, y)), Sub(CarlsonRC(x, y), CarlsonRC(x, w))), NotEqual(y, w)), Tuple(Mul(Div(3, Mul(2, Sub(y, x))), Sub(CarlsonRC(x, y), Div(Sqrt(x), y))), And(Equal(y, w), NotEqual(x, y))), Tuple(Pow(x, Neg(Div(3, 2))), Equal(x, y, w))))),
    Variables(x, y, w),
    Assumptions(And(Element(x, CC), Element(y, CC), Element(w, CC))))

1faf7a

R_J\!\left(x, x, x, w\right) = \begin{cases} \frac{3}{x - w} \left(R_C\!\left(x, w\right) - \frac{1}{\sqrt{x}}\right), & x \ne w\\{w}^{-3 / 2}, & x = w\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

TeX:

R_J\!\left(x, x, x, w\right) = \begin{cases} \frac{3}{x - w} \left(R_C\!\left(x, w\right) - \frac{1}{\sqrt{x}}\right), & x \ne w\\{w}^{-3 / 2}, & x = w\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("1faf7a"),
    Formula(Equal(CarlsonRJ(x, x, x, w), Cases(Tuple(Mul(Div(3, Sub(x, w)), Sub(CarlsonRC(x, w), Div(1, Sqrt(x)))), NotEqual(x, w)), Tuple(Pow(w, Neg(Div(3, 2))), Equal(x, w))))),
    Variables(x, w),
    Assumptions(And(Element(x, CC), Element(w, CC))))

0aa9ac

R_J\!\left(x, w, w, w\right) = \begin{cases} \frac{3}{2 \left(w - x\right)} \left(R_C\!\left(x, w\right) - \frac{\sqrt{x}}{w}\right), & x \ne w\\{x}^{-3 / 2}, & x = w\\ \end{cases}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

TeX:

R_J\!\left(x, w, w, w\right) = \begin{cases} \frac{3}{2 \left(w - x\right)} \left(R_C\!\left(x, w\right) - \frac{\sqrt{x}}{w}\right), & x \ne w\\{x}^{-3 / 2}, & x = w\\ \end{cases}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`CarlsonRC`	$R_C\!\left(x, y\right)$	Degenerate Carlson symmetric elliptic integral of the first kind
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("0aa9ac"),
    Formula(Equal(CarlsonRJ(x, w, w, w), Cases(Tuple(Mul(Div(3, Mul(2, Sub(w, x))), Sub(CarlsonRC(x, w), Div(Sqrt(x), w))), NotEqual(x, w)), Tuple(Pow(x, Neg(Div(3, 2))), Equal(x, w))))),
    Variables(x, w),
    Assumptions(And(Element(x, CC), Element(w, CC))))

f6b4a2

R_J\!\left(0, x, x, w\right) = \frac{3 \pi}{2 \left(x \sqrt{w} + w \sqrt{x}\right)}

Assumptions:

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(x \notin \left(-\infty, 0\right) \;\mathbin{\operatorname{or}}\; \operatorname{Im}(w) \ge 0\right)

TeX:

R_J\!\left(0, x, x, w\right) = \frac{3 \pi}{2 \left(x \sqrt{w} + w \sqrt{x}\right)}

x \in \mathbb{C} \;\mathbin{\operatorname{and}}\; w \in \mathbb{C} \;\mathbin{\operatorname{and}}\; \left(x \notin \left(-\infty, 0\right) \;\mathbin{\operatorname{or}}\; \operatorname{Im}(w) \ge 0\right)

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`CC`	$\mathbb{C}$	Complex numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity
`Im`	$\operatorname{Im}(z)$	Imaginary part

Source code for this entry:

Entry(ID("f6b4a2"),
    Formula(Equal(CarlsonRJ(0, x, x, w), Div(Mul(3, Pi), Mul(2, Add(Mul(x, Sqrt(w)), Mul(w, Sqrt(x))))))),
    Variables(x, w),
    Assumptions(And(Element(x, CC), Element(w, CC), Or(NotElement(x, OpenInterval(Neg(Infinity), 0)), GreaterEqual(Im(w), 0)))))

3b6175

R_J\!\left(0, y, z, \sqrt{y} \sqrt{z}\right) = \frac{3}{2 \sqrt{y} \sqrt{z}} R_F\!\left(0, y, z\right)

Assumptions:

y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}

TeX:

R_J\!\left(0, y, z, \sqrt{y} \sqrt{z}\right) = \frac{3}{2 \sqrt{y} \sqrt{z}} R_F\!\left(0, y, z\right)

y \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Sqrt`	$\sqrt{z}$	Principal square root
`CarlsonRF`	$R_F\!\left(x, y, z\right)$	Carlson symmetric elliptic integral of the first kind
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("3b6175"),
    Formula(Equal(CarlsonRJ(0, y, z, Mul(Sqrt(y), Sqrt(z))), Mul(Div(3, Mul(2, Mul(Sqrt(y), Sqrt(z)))), CarlsonRF(0, y, z)))),
    Variables(y, z),
    Assumptions(And(Element(y, CC), Element(z, CC))))

4c882a

R_J\!\left(x, x, x, x\right) = {x}^{-3 / 2}

Assumptions:

x \in \mathbb{C}

TeX:

R_J\!\left(x, x, x, x\right) = {x}^{-3 / 2}

x \in \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Pow`	${a}^{b}$	Power
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("4c882a"),
    Formula(Equal(CarlsonRJ(x, x, x, x), Pow(x, Neg(Div(3, 2))))),
    Variables(x),
    Assumptions(Element(x, CC)))

64d87a

R_J\!\left(-x, -y, -z, -w\right) = i R_J\!\left(x, y, z, w\right)

Assumptions:

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; w \in \left(0, \infty\right]

TeX:

R_J\!\left(-x, -y, -z, -w\right) = i R_J\!\left(x, y, z, w\right)

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; w \in \left(0, \infty\right]

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`ConstI`	$i$	Imaginary unit
`OpenClosedInterval`	$\left(a, b\right]$	Open-closed interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("64d87a"),
    Formula(Equal(CarlsonRJ(Neg(x), Neg(y), Neg(z), Neg(w)), Mul(ConstI, CarlsonRJ(x, y, z, w)))),
    Variables(x, y, z, w),
    Assumptions(And(Element(x, OpenClosedInterval(0, Infinity)), Element(y, OpenClosedInterval(0, Infinity)), Element(z, OpenClosedInterval(0, Infinity)), Element(w, OpenClosedInterval(0, Infinity)))))

849751

R_J\!\left(-x, -y, -z, w\right) = -\overline{i R_J\!\left(x, y, z, -w\right)}

Assumptions:

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; w \in \left(0, \infty\right]

TeX:

R_J\!\left(-x, -y, -z, w\right) = -\overline{i R_J\!\left(x, y, z, -w\right)}

x \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; y \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; z \in \left(0, \infty\right] \;\mathbin{\operatorname{and}}\; w \in \left(0, \infty\right]

Definitions:

Fungrim symbol	Notation	Short description
`CarlsonRJ`	$R_J\!\left(x, y, z, w\right)$	Carlson symmetric elliptic integral of the third kind
`Conjugate`	$\overline{z}$	Complex conjugate
`ConstI`	$i$	Imaginary unit
`OpenClosedInterval`	$\left(a, b\right]$	Open-closed interval
`Infinity`	$\infty$	Positive infinity

Source code for this entry:

Entry(ID("849751"),
    Formula(Equal(CarlsonRJ(Neg(x), Neg(y), Neg(z), w), Neg(Conjugate(Mul(ConstI, CarlsonRJ(x, y, z, Neg(w))))))),
    Variables(x, y, z, w),
    Assumptions(And(Element(x, OpenClosedInterval(0, Infinity)), Element(y, OpenClosedInterval(0, Infinity)), Element(z, OpenClosedInterval(0, Infinity)), Element(w, OpenClosedInterval(0, Infinity)))))

The elementary integral RC

Scale invariance

Particular constant values

Specialized values

General formulas for real variables

General formulas for one or more complex variables

The integral of the first kind RF

Symmetry and scale invariance

Particular constant values

Special parametric cases

The integral of the second kind RG

Symmetry and scale invariance

Particular constant values

Special parametric cases

The degenerate integral of the third kind RD

Symmetry and scale invariance

Particular constant values

Special parametric cases

The integral of the third kind RJ

Symmetry and scale invariance

Particular constant values

Special parametric cases