A simplified algorithmic realization of Galois actions on special values of modular functions

Abstract

We propose an explicit and practical algorithm for computing Galois conjugates and irreducible polynomials for special values of modular functions evaluated at CM points associated with imaginary quadratic orders. Our approach builds upon the theory of extended form class groups developed by Jung et al., offering a refinement of earlier methods by Stevenhagen and Cho, respectively.