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