Defining polynomial (reviewed)

The coefficient field of a modular form is a number field. A defining polynomial for this number field is explicitly recorded, because some of the data associated to the modular form will be expressed in terms of roots of this polynomial.