Elements

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

Parent(f): ModFrmHilElt -> ModFrmHil

The space of Hilbert modular forms containing \(f\).

BaseField(f): ModFrmHilElt -> Fld

The field over which the Hilbert modular form \(f\) is defined. This is either equal to, or an extension of, the base field of Parent(f).