Description: |
GAP package ResClasses. ResClasses is a little GAP 4 package for computing with set-theoretic unions of residue classes of the ring of integers. The class of sets which ResClasses can deal with includes the open and the closed sets in the topology on the integers which is induced by taking the set of all residue classes as a basis, as far as the usual restrictions imposed by the finiteness of computing resources permit this. Similar functionality as for the ring of integers is provided for its (semi-)localizations at one or several prime ideals as well as for polynomial rings in one variable over a finite field. Special methods are available for unions of residue classes with distinguished (‘fixed’) representatives. The functionality of this package is used in a group theoretical context by the RCWA package. |