Fungrim entry: 7b362f

\operatorname{agm}\!\left(1, \sqrt{2}\right) = \frac{1}{\theta_{4}^{2}\!\left(0, i\right)}

TeX:

\operatorname{agm}\!\left(1, \sqrt{2}\right) = \frac{1}{\theta_{4}^{2}\!\left(0, i\right)}

Definitions:

Fungrim symbol	Notation	Short description
`AGM`	$\operatorname{agm}\!\left(a, b\right)$	Arithmetic-geometric mean
`Sqrt`	$\sqrt{z}$	Principal square root
`Pow`	${a}^{b}$	Power
`JacobiTheta`	$\theta_{j}\!\left(z , \tau\right)$	Jacobi theta function
`ConstI`	$i$	Imaginary unit

Source code for this entry:

Entry(ID("7b362f"),
    Formula(Equal(AGM(1, Sqrt(2)), Div(1, Pow(JacobiTheta(4, 0, ConstI), 2)))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC