As was already mentioned in the introduction of this chapter the GAP
object Rationals is the field of all rationals. All field functions,
e.g., Norm and MinPol are applicable to this domain and its elements.
However, since the field of rationals is the prime field, all those
functions are trivial. Therefore, Conjugates( Rationals, q ) returns
[ q ], Norm( Rationals, q ) and Trace( Rationals, q ) return
q, and CharPol( Rationals, q ) and MinPol( Rationals, q ) both
return [ -q, 1 ].
GAP 3.4.4