60.1-3 GaussianRationals
‣ GaussianRationals( global variable )
‣ IsGaussianRationals( obj )( category )

GaussianRationals is the field ? 4 = ? ( - 1 ) subscript ? 4 ? 1 ?_{4}=?(\sqrt{{-1}}) of Gaussian rationals, as a set of cyclotomic numbers, see Chapter 18 for basic operations. This field can also be obtained as CF(4) (see CyclotomicField (60.1-1)).

The filter IsGaussianRationals returns true for the GAP object GaussianRationals, and false for all other GAP objects.

(For details about the field of rationals, see Chapter Rationals (17.1-1).)

gap> CF(4) = GaussianRationals;
true
gap> Sqrt(-1) in GaussianRationals;
true