This package for &GAP; 4 (at least version 4.4) implements set-theoretic unions of residue classes of the ring \mathbb{Z} of the integers, of its semilocalisations \Z_{(\pi)} at some finite set of primes \pi and of the polynomial rings GF(q)[x] for some prime power q as &GAP; domains.

It provides basic functionality for computing with these sets, like forming intersections, unions and differences. Any of this is also supported in the case that one of the operands is a finite set of elements. The package also implements the mentioned rings \Z_{(\pi)} as &GAP; domains.