Generating class fields using Shimura reciprocity

The abelian extensions of an imaginary quadratic field can theoretically be generated by the values of the modular j-function, but these values are too large to be useful in practice. We show how Shimura's reciprocity law can be applied to find small generators for these extensions, and to compute the corresponding irreducible polynomials.