As was already mentioned in the introduction of this chapter the GAP
object Rationals is the domain of all rationals. All set theoretic
functions, e.g., Intersection and Size, are applicable to this
domain.
gap> Intersection( Rationals, [ E(4)^0, E(4)^1, E(4)^2, E(4)^3 ] );
[ -1, 1 ] # 'E(4)' is the complex square root of -1
gap> Size( Rationals );
"infinity"
This does not seem to be very useful.
GAP 3.4.4