14 Gaussians

If we adjoin a square root of -1, usually denoted by i, to the field of rationals we obtain a field that is an extension of degree 2. This field is called the Gaussian rationals and its ring of integers is called the Gaussian integers, because C.F. Gauss was the first to study them.

In GAP Gaussian rationals are written in the form a + b*E(4), where a and b are rationals, because E(4) is GAP's name for i. Because 1 and i form an integral base the Gaussian integers are written in the form a + b*E(4), where a and b are integers.

The first sections in this chapter describe the operations applicable to Operations for Gaussians).

The next sections describe the functions that test whether an object is a Gaussian rational or integer (see IsGaussRat and IsGaussInt).

The GAP object GaussianRationals is the field domain of all Gaussian rationals, and the object GaussianIntegers is the ring domain of all Gaussian integers. All set theoretic functions are applicable to those two domains (see chapter Domains and Set Functions for Gaussians).

The Gaussian rationals form a field so all field functions, e.g., Norm, are applicable to the domain GaussianRationals and its elements (see chapter Fields and Field Functions for Gaussian Rationals).

The Gaussian integers form a Euclidean ring so all ring functions, e.g., Factors, are applicable to GaussianIntegers and its elements (see chapter Rings, Ring Functions for Gaussian Integers, and TwoSquares).

The field of Gaussian rationals is just a special case of cyclotomic fields, so everything that applies to those fields also applies to it (see chapters Cyclotomics and Subfields of Cyclotomic Fields).

All functions are in the library file LIBNAME/"gaussian.g".

Subsections

  1. Comparisons of Gaussians
  2. Operations for Gaussians
  3. IsGaussRat
  4. IsGaussInt
  5. Set Functions for Gaussians
  6. Field Functions for Gaussian Rationals
  7. Ring Functions for Gaussian Integers
  8. TwoSquares
Previous Up Next
Index

GAP 3.4.4
April 1997