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.