  
  
                                   [1X[5XResClasses[0X[0X
  
  
                [1XSet-Theoretic Computations with Residue Classes[0X
  
  
                                 Version 2.5.1
  
  
                                  June 1, 2007
  
  
                                  Stefan Kohl
  
  
  
  Stefan Kohl
      Email:    [7Xmailto:kohl@mathematik.uni-stuttgart.de[0X
      Homepage: [7Xhttp://www.cip.mathematik.uni-stuttgart.de/~kohlsn[0X
      Address:  Institut für Geometrie und Topologie
                Pfaffenwaldring 57
                Universität Stuttgart
                70550 Stuttgart
                Germany
  
  
  
  -------------------------------------------------------
  [1XAbstract[0X
  [5XResClasses[0X  is  a  package  for  [5XGAP[0X  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 [5XResClasses[0X 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  [5XResClasses[0X  package  is used in a group theoretical context by the [5XRCWA[0X
  package [Koh07].
  
  
  -------------------------------------------------------
  [1XCopyright[0X
  © 2003 - 2007 by Stefan Kohl
  
  This package is distributed under the GNU General Public License.
  
  
  -------------------------------------------------------
  
  
  [1XContent (ResClasses)[0X
  
  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
      1.2-1 SplittedClass
      1.2-2 AsUnionOfFewClasses
      1.2-3 PartitionsIntoResidueClasses
      1.2-4 RandomPartitionIntoResidueClasses
      1.2-5 Density
    1.3 The categories and families of residue class unions
      1.3-1 IsResidueClassUnion
      1.3-2 ResidueClassUnionsFamily
  2. Unions of Residue Classes with Fixed Representatives
    2.1 Entering unions of residue classes with fixed representatives
      2.1-1 ResidueClassWithFixedRepresentative
      2.1-2 UnionOfResidueClassesWithFixedReps
      2.1-3 AllResidueClassesWithFixedRepsModulo
    2.2 Methods for unions of residue classes with fixed representatives
      2.2-1 Multiplicity
      2.2-2 Union
      2.2-3 Intersection
      2.2-4 Difference
    2.3 The invariant Delta
      2.3-1 Delta
      2.3-2 RepresentativeStabilizingRefinement
    2.4 The categories of unions of residue classes with fixed rep's
  3. Semilocalizations of the Integers
    3.1 Entering semilocalizations of the integers
      3.1-1 Z_pi
    3.2 Methods for semilocalizations of the integers
  4. Installation and auxiliary functions
    4.1 Requirements
    4.2 Installation
    4.3 The testing routine
      4.3-1 ResClassesTest
    4.4 Building the manual
      4.4-1 ResClassesBuildManual
  
  
  -------------------------------------------------------
