Generating class fields using Shimura reciprocity (Q3840187)

It is classical (Weber) that the Hilbert class field of an imaginary quadratic field is given by the modular invariant \(j(z)\) for \(z=\theta\), where \(\theta\) is a surd with the field discriminant \(D\). It is also classical that certain auxiliary functions \(\sqrt n\eta(nz)/ \eta(z)\), particularly for \(n=2\) (or \(n= 3)\), lead to modular invariants of more manageable size than \(j(z)\). [Compare \textit{N. Yui} and \textit{D. Zagier}, Math. Comput. 66, 1645-1662 (1997; Zbl 0892.11022)]. It is necessary to select the suitable conjugate of the auxiliary function and a factor from the 48th (or 72nd) roots of unity. This is done by using Shimura reciprocity to test for invariance over the class field [\textit{G. Shimura}, Introduction to the arithmetic theory of automorphic functions, Iwanami Shoten and Princeton University Press (1971; Zbl 0221.10029), Chapter 6]. The authors use the illustrations for \(D=-71,-580,-471,-803\) for \(n=2\) and also \(D=-71\) for \(n=3\). For the entire collection see [Zbl 0891.00022].