Let , and as in (5.13). Then where represents the full derivative of with respect to . In particular, is algebraic for rational arguments.
We know that is related via to and we know that is related via differentiation to K. (See (5.7) and (5.13).) Note that corresponds to . Thus from (7.17) some relation like that of the above theorem must exist. The actual derivation requires some careful algebraic manipulation. (See [11]), where it has also been made entirely explicit for and 7, and where numerous algebraic values are determined for Examples .) In the case we can specialize with some considerable knowledge of quintic modular equations to get:
Let . ThenThis couples with Ramanujan's quintic modular equation to provide a derivation of Algorithm 2.
Algorithm 2 results from specializing Theorem 3 with and coupling it with a quartic modular equation. The quartic equation in question is just two steps of the corresponding quadratic equation which is Legendre's form of the arithmetic geometric mean iteration , namely:
An algebraic p-th order algorithm for is derived from coupling Theorem 3 with a pth-order modular equation. The substantial details which are skirted here are available in [11].