ResClasses

Set-Theoretic Computations with Residue Classes

4.7.3

29 July 2022

Abstract

ResClasses is a package for GAP 4 which provides a fully-featured and easy-to-use implementation of set-theoretic unions of residue classes of the integers and of a few other rings.

The class of sets which ResClasses can deal with includes the open and the closed sets in the topology on the respective ring 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.

The package further provides slightly more specialized functionality for unions of residue classes with distinguished representatives and signed moduli.

The ResClasses package is used in a group theoretical context by the RCWA package [Koh16].

ResClasses is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version.

ResClasses is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

For a copy of the GNU General Public License, see the file GPL in the etc directory of the GAP distribution or see https://www.gnu.org/licenses/gpl.html.

1 Set-Theoretic Unions of Residue Classes

1.1 Entering residue classes and set-theoretic unions thereof

  1.1-1 ResidueClass
  1.1-2 ResidueClassUnion
  1.1-3 AllResidueClassesModulo

1.2 Methods for residue class unions