  
  
                                   [1m[4m[31m[1mResClasses[1m[4m[31m[0m
  
  
                [1m[4m[31mSet-Theoretic Computations with Residue Classes[0m
  
  
                                 Version 2.3.5
  
  
                               September 29, 2006
  
  
                                  Stefan Kohl
  
  
  
  Stefan Kohl
      Email:    [34mmailto:kohl@mathematik.uni-stuttgart.de[0m
      Homepage: [34mhttp://www.cip.mathematik.uni-stuttgart.de/~kohlsn[0m
      Address:  Institut für Geometrie und Topologie
                Pfaffenwaldring 57
                Universität Stuttgart
                70550 Stuttgart
                Germany
  
  
  
  -------------------------------------------------------
  [1m[4m[31mAbstract[0m
  [1mResClasses[0m  is  a  package  for  [1mGAP[0m  4, which provides a fully-featured and
  easy-to-use  implementation of residue classes of Z and a few other rings as
  sets.  The  package further provides slightly more specialized functionality
  for  unions of residue classes with distinguished representatives and signed
  moduli. The [1mResClasses[0m package is used in a group theoretical context by the
  [1mRCWA[0m package [K05].
  
  
  -------------------------------------------------------
  [1m[4m[31mCopyright[0m
  (C) 2003 - 2006 by Stefan Kohl
  
  This package is distributed under the GNU General Public License.
  
  
  -------------------------------------------------------
  
  
  [1m[4m[31mContent (ResClasses)[0m
  
  1. Unions of Residue Classes
    1.1 Entering residue classes and unions thereof
      1.1-1 ResidueClass
      1.1-2 ResidueClassUnion
      1.1-3 AllResidueClassesModulo
    1.2 Methods for unions of residue classes
      1.2-1 SplittedClass
      1.2-2 AsUnionOfFewClasses
      1.2-3 Density
      1.2-4 RandomPartitionIntoResidueClasses
    1.3 The categories and families of unions of residue classes
      1.3-1 IsUnionOfResidueClasses
      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 ResidueClassWithFixedRep
      2.1-2 ResidueClassUnionWithFixedReps
      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
  
  
  -------------------------------------------------------
