63.1.7 Residue Class Rings

Residue classes are a special form of partitioning the class of rational integers into finitely many classes of congruent elements. They are based on GMP-MPZ which must be available therefore.

Like pseudocomplex or pseudogaussian numbers residue class rings are gratis whenever GMP-MPZ is provided on a system. The classes themselves are represented additively and canonicalised, that is ‘c+mZ’, where ‘c’ and ‘m’ are both rational integers, and canonically ‘c’ is in [0..m).