Elements

The current implementation does not provide functionality for manipulating elements in spaces of algebraic modular forms. Note that, unlike classical modular forms in Magma, algebraic modular forms are allowed to be defined over extensions of the coefficient field of their parent space.

Parent(f) : ModFrmAlgElt -> ModFrmAlg
The space of algebraic modular forms containing f.
BaseField(f) : ModFrmAlgElt -> Fld
BaseRing(f) : ModFrmAlgElt -> Rng
The field over which the algebraic modular form f is defined. This is either equal to, or an extension of, the coefficient field of Parent(f).
IsCuspidal(f) : ModFrmAlgElt -> BoolElt
true if f is a cusp form.
IsEisenstein(f) : ModFrmAlgElt -> BoolElt
true if f is an Eisenstein form.
V2.29, 21 October 2025