Assumptions:
TeX:
\operatorname{agm}(z) = \operatorname{agm}\!\left(1, z\right) = \operatorname{agm}\!\left(z, 1\right)
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| AGM | Arithmetic-geometric mean | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("21f412"),
Formula(Equal(AGM(z), AGM(1, z), AGM(z, 1))),
Variables(z),
Assumptions(Element(z, CC)))