Rings

GAP knows a lot of rings. The ring of integers, $\mathbb{Z}$, and the ring of Gaussian integers, $\mathbb{Z}+i\mathbb{Z}$ are predefined (Integers and GaussianIntegers, resp.), and many others can be easily constructed.

Example 2.13.6   For example, if you type R:= GaussianIntegers;, Sqrt(-1) in R;, and 1 in R; then GAP will return true to the last two commands.

A ring in GAP need not be commutative