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.
The space of Hilbert modular forms containing f.
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).