Evaluating modular equations for abelian surfaces
Evaluating modular equations for abelian surfaces
We design algorithms to efficiently evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields using complex approximations. Their output can be made provably correct if an explicit description of the associated graded ring of modular forms over Z is known; this includes the Siegel case, …