As was already mentioned in the introduction of this chapter the GAP
Rationals is the field of all rationals. All field functions,
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
CharPol( Rationals, q ) and
MinPol( Rationals, q ) both
[ -q, 1 ].
Previous Up Top