#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "ResClasses",
entries :=
[ [ "Title page", "", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], 
  [ "Abstract", "-2", [ 0, 0, 2 ], 31, 2, "abstract", "X7AA6C5737B711C89" ], 
  [ "Copyright", "-1", [ 0, 0, 1 ], 50, 2, "copyright", "X81488B807F2A1CF1" ],
  [ "Table of contents", "-3", [ 0, 0, 3 ], 57, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1XSet-Theoretic Unions of Residue Classes\033[0X", "1.", 
      [ 1, 0, 0 ], 1, 5, "set-theoretic unions of residue classes", 
      "X815A3DDE7C0BC44A" ], 
  [ "\033[1XEntering residue classes and set-theoretic unions thereof\033[0X",
      "1.1", [ 1, 1, 0 ], 4, 5, 
      "entering residue classes and set-theoretic unions thereof", 
      "X7E16A64485A7AB79" ], 
  [ "\033[1XMethods for residue class unions\033[0X", "1.2", [ 1, 2, 0 ], 
      106, 7, "methods for residue class unions", "X7A3FA13187CEADED" ], 
  [ "\033[1XThe categories and families of residue class unions\033[0X", 
      "1.3", [ 1, 3, 0 ], 268, 9, 
      "the categories and families of residue class unions", 
      "X7B26BB1C7C8495A5" ], 
  [ "\033[1XUnions of Residue Classes with Fixed Representatives\033[0X", 
      "2.", [ 2, 0, 0 ], 1, 11, 
      "unions of residue classes with fixed representatives", 
      "X87871B5A86254179" ], 
  [ "\033[1XEntering unions of residue classes with fixed representatives\033[\
0X", "2.1", [ 2, 1, 0 ], 10, 11, 
      "entering unions of residue classes with fixed representatives", 
      "X78BE0FA38691B1B6" ], 
  [ "\033[1XMethods for unions of residue classes with fixed representatives\
\033[0X", "2.2", [ 2, 2, 0 ], 79, 12, 
      "methods for unions of residue classes with fixed representatives", 
      "X7C26C7E682C2FD2E" ], 
  [ "\033[1XThe invariant Delta\033[0X", "2.3", [ 2, 3, 0 ], 221, 15, 
      "the invariant delta", "X7A1CBA1B7E6B93D0" ], 
  [ "\033[1XThe categories of unions of residue classes with fixed rep's\033[0\
X", "2.4", [ 2, 4, 0 ], 276, 15, 
      "the categories of unions of residue classes with fixed reps", 
      "X7BA9DE337DF742E9" ], 
  [ "\033[1XSemilocalizations of the Integers\033[0X", "3.", [ 3, 0, 0 ], 1, 
      16, "semilocalizations of the integers", "X80CB0518869B1818" ], 
  [ "\033[1XEntering semilocalizations of the integers\033[0X", "3.1", 
      [ 3, 1, 0 ], 8, 16, "entering semilocalizations of the integers", 
      "X7B3B22AC7E6247A4" ], 
  [ "\033[1XMethods for semilocalizations of the integers\033[0X", "3.2", 
      [ 3, 2, 0 ], 29, 16, "methods for semilocalizations of the integers", 
      "X7E75C4217DCA45D0" ], 
  [ "\033[1XInstallation and auxiliary functions\033[0X", "4.", [ 4, 0, 0 ], 
      1, 18, "installation and auxiliary functions", "X859F6BF88754E5CC" ], 
  [ "\033[1XRequirements\033[0X", "4.1", [ 4, 1, 0 ], 4, 18, "requirements", 
      "X85A08CF187A6D986" ], 
  [ "\033[1XInstallation\033[0X", "4.2", [ 4, 2, 0 ], 12, 18, "installation", 
      "X8360C04082558A12" ], 
  [ "\033[1XThe testing routine\033[0X", "4.3", [ 4, 3, 0 ], 21, 18, 
      "the testing routine", "X8667D5027AC3DE8E" ], 
  [ "\033[1XBuilding the manual\033[0X", "4.4", [ 4, 4, 0 ], 33, 18, 
      "building the manual", "X854E65D281B80D3B" ], 
  [ "\033[1XSendEmail and EmailLogFile\033[0X", "4.5", [ 4, 5, 0 ], 48, 19, 
      "sendemail and emaillogfile", "X864279AC8500FD3B" ], 
  [ "Bibliography", "bib.", [ "Bib", 0, 0 ], 1, 20, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib.", [ "Bib", 0, 0 ], 1, 20, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind.", [ "Ind", 0, 0 ], 1, 21, "index", "X83A0356F839C696F" ], 
  [ "\033[2XResidueClass\033[0X (by ring, modulus and residue)", "1.1-1", 
      [ 1, 1, 1 ], 7, 5, "residueclass by ring modulus and residue", 
      "X8753CC098447BE0D" ], 
  [ "\033[2XResidueClass\033[0X (by modulus and residue)", "1.1-1", 
      [ 1, 1, 1 ], 7, 5, "residueclass by modulus and residue", 
      "X8753CC098447BE0D" ], 
  [ "\033[2XResidueClass\033[0X (by residue and modulus)", "1.1-1", 
      [ 1, 1, 1 ], 7, 5, "residueclass by residue and modulus", 
      "X8753CC098447BE0D" ], 
  [ "\033[10XIsResidueClass\033[0X", "1.1-1", [ 1, 1, 1 ], 7, 5, 
      "isresidueclass", "X8753CC098447BE0D" ], 
  [ "\033[10XModulus\033[0X of a residue class", "1.1-1", [ 1, 1, 1 ], 7, 5, 
      "modulus of a residue class", "X8753CC098447BE0D" ], 
  [ "\033[10XResidue\033[0X of a residue class", "1.1-1", [ 1, 1, 1 ], 7, 5, 
      "residue of a residue class", "X8753CC098447BE0D" ], 
  [ "\033[2XResidueClassUnion\033[0X (by ring, modulus and residues)", 
      "1.1-2", [ 1, 1, 2 ], 39, 5, 
      "residueclassunion by ring modulus and residues", "X85327C777F32DA8F" ],
  [ "\033[2XResidueClassUnion\033[0X (dito, plus included / excluded elements)\
", "1.1-2", [ 1, 1, 2 ], 39, 5, 
      "residueclassunion dito plus included excluded elements", 
      "X85327C777F32DA8F" ], 
  [ "residue class union definition", "1.1-2", [ 1, 1, 2 ], 39, 5, 
      "residue class union definition", "X85327C777F32DA8F" ], 
  [ "\033[10XModulus\033[0X of a residue class union", "1.1-2", [ 1, 1, 2 ], 
      39, 5, "modulus of a residue class union", "X85327C777F32DA8F" ], 
  [ "\033[10XResidues\033[0X of a residue class union", "1.1-2", [ 1, 1, 2 ], 
      39, 5, "residues of a residue class union", "X85327C777F32DA8F" ], 
  [ "\033[10XIncludedElements\033[0X of a residue class union", "1.1-2", 
      [ 1, 1, 2 ], 39, 5, "includedelements of a residue class union", 
      "X85327C777F32DA8F" ], 
  [ "\033[10XExcludedElements\033[0X of a residue class union", "1.1-2", 
      [ 1, 1, 2 ], 39, 5, "excludedelements of a residue class union", 
      "X85327C777F32DA8F" ], 
  [ "\033[10XResidueClassUnionViewingFormat\033[0X", "1.1-2", [ 1, 1, 2 ], 
      39, 5, "residueclassunionviewingformat", "X85327C777F32DA8F" ], 
  [ "\033[2XAllResidueClassesModulo\033[0X (of a given ring, modulo a given mo\
dulus)", "1.1-3", [ 1, 1, 3 ], 78, 6, 
      "allresidueclassesmodulo of a given ring modulo a given modulus", 
      "X8326D6F285081E0F" ], 
  [ "\033[2XAllResidueClassesModulo\033[0X (by modulus, of the default ring of\
 that modulus)", "1.1-3", [ 1, 1, 3 ], 78, 6, 
      "allresidueclassesmodulo by modulus of the default ring of that modulus"
        , "X8326D6F285081E0F" ], 
  [ "\033[10XAllResidues\033[0X by ring and modulus", "1.1-3", [ 1, 1, 3 ], 
      78, 6, "allresidues by ring and modulus", "X8326D6F285081E0F" ], 
  [ "\033[10XNumberOfResidues\033[0X by ring and modulus", "1.1-3", 
      [ 1, 1, 3 ], 78, 6, "numberofresidues by ring and modulus", 
      "X8326D6F285081E0F" ], 
  [ "\033[10XPrint\033[0X for a residue class union", "1.2", [ 1, 2, 0 ], 
      106, 7, "print for a residue class union", "X813E1AF68665482B" ], 
  [ "\033[10XString\033[0X for a residue class union", "1.2", [ 1, 2, 0 ], 
      106, 7, "string for a residue class union", "X813E1AF68665482B" ], 
  [ "\033[10XDisplay\033[0X for a residue class union", "1.2", [ 1, 2, 0 ], 
      106, 7, "display for a residue class union", "X813E1AF68665482B" ], 
  [ "\033[10XUnion\033[0X for residue class unions", "1.2", [ 1, 2, 0 ], 106, 
      7, "union for residue class unions", "X813E1AF68665482B" ], 
  [ "\033[10XIntersection\033[0X for residue class unions", "1.2", 
      [ 1, 2, 0 ], 106, 7, "intersection for residue class unions", 
      "X813E1AF68665482B" ], 
  [ "\033[10XDifference\033[0X for residue class unions", "1.2", [ 1, 2, 0 ], 
      106, 7, "difference for residue class unions", "X813E1AF68665482B" ], 
  [ "\033[10XIsSubset\033[0X for residue class unions", "1.2", [ 1, 2, 0 ], 
      106, 7, "issubset for residue class unions", "X813E1AF68665482B" ], 
  [ "\033[2XSplittedClass\033[0X (for a residue class and a number of parts)",
      "1.2-1", [ 1, 2, 1 ], 153, 7, 
      "splittedclass for a residue class and a number of parts", 
      "X854315A2877B69A7" ], 
  [ "\033[2XAsUnionOfFewClasses\033[0X (for a residue class union)", "1.2-2", 
      [ 1, 2, 2 ], 172, 8, "asunionoffewclasses for a residue class union", 
      "X87C166FE7FA17325" ], 
  [ "\033[2XPartitionsIntoResidueClasses\033[0X (of a given ring, of given len\
gth)", "1.2-3", [ 1, 2, 3 ], 208, 8, 
      "partitionsintoresidueclasses of a given ring of given length", 
      "X8079E174813646DA" ], 
  [ "\033[2XRandomPartitionIntoResidueClasses\033[0X (of a given ring, of give\
n length)", "1.2-4", [ 1, 2, 4 ], 225, 9, 
      "randompartitionintoresidueclasses of a given ring of given length", 
      "X8653860F7ADA4D38" ], 
  [ "\033[2XDensity\033[0X (of a residue class union)", "1.2-5", [ 1, 2, 5 ], 
      246, 9, "density of a residue class union", "X791C16E77BE97FE3" ], 
  [ "\033[10XIterator\033[0X for a residue class union", "1.2-5", 
      [ 1, 2, 5 ], 246, 9, "iterator for a residue class union", 
      "X791C16E77BE97FE3" ], 
  [ "\033[10XNextIterator\033[0X for an iterator of a residue class union", 
      "1.2-5", [ 1, 2, 5 ], 246, 9, 
      "nextiterator for an iterator of a residue class union", 
      "X791C16E77BE97FE3" ], 
  [ "\033[2XIsResidueClassUnion\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "isresidueclassunion", "X7EA29BBD82552352" ], 
  [ "\033[2XIsResidueClassUnionOfZ\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "isresidueclassunionofz", "X7EA29BBD82552352" ], 
  [ "\033[2XIsResidueClassUnionOfZ_pi\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "isresidueclassunionofz_pi", "X7EA29BBD82552352" ], 
  [ "\033[2XIsResidueClassUnionOfGFqx\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "isresidueclassunionofgfqx", "X7EA29BBD82552352" ], 
  [ "\033[10XIsResidueClassUnionOfZ_pi\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "isresidueclassunionofz_pi", "X7EA29BBD82552352" ], 
  [ "\033[10XIsResidueClassUnionResidueListRep\033[0X", "1.3-1", [ 1, 3, 1 ], 
      271, 9, "isresidueclassunionresiduelistrep", "X7EA29BBD82552352" ], 
  [ "\033[10XExtRepOfObj\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "extrepofobj", "X7EA29BBD82552352" ], 
  [ "\033[10XObjByExtRep\033[0X", "1.3-1", [ 1, 3, 1 ], 271, 9, 
      "objbyextrep", "X7EA29BBD82552352" ], 
  [ "\033[2XResidueClassUnionsFamily\033[0X (of a ring)", "1.3-2", 
      [ 1, 3, 2 ], 290, 10, "residueclassunionsfamily of a ring", 
      "X7F9BCB1A797F8F48" ], 
  [ "\033[2XResidueClassUnionsFamily\033[0X (of a ring, with fixed representat\
ives)", "1.3-2", [ 1, 3, 2 ], 290, 10, 
      "residueclassunionsfamily of a ring with fixed representatives", 
      "X7F9BCB1A797F8F48" ], 
  [ "residue class union coercion", "1.3-2", [ 1, 3, 2 ], 290, 10, 
      "residue class union coercion", "X7F9BCB1A797F8F48" ], 
  [ "\033[2XResidueClassWithFixedRepresentative\033[0X (by ring, modulus and r\
esidue)", "2.1-1", [ 2, 1, 1 ], 13, 11, 
      "residueclasswithfixedrepresentative by ring modulus and residue", 
      "X831C976D876FDAD3" ], 
  [ "\033[2XResidueClassWithFixedRepresentative\033[0X (of Z, by modulus and r\
esidue)", "2.1-1", [ 2, 1, 1 ], 13, 11, 
      "residueclasswithfixedrepresentative of z by modulus and residue", 
      "X831C976D876FDAD3" ], 
  [ "\033[10XIsResidueClassWithFixedRep\033[0X", "2.1-1", [ 2, 1, 1 ], 13, 
      11, "isresidueclasswithfixedrep", "X831C976D876FDAD3" ], 
  [ "\033[2XUnionOfResidueClassesWithFixedReps\033[0X (by ring and list of cla\
sses)", "2.1-2", [ 2, 1, 2 ], 33, 11, 
      "unionofresidueclasseswithfixedreps by ring and list of classes", 
      "X871ED1D17AE52A95" ], 
  [ "\033[2XUnionOfResidueClassesWithFixedReps\033[0X (of Z, by list of classe\
s)", "2.1-2", [ 2, 1, 2 ], 33, 11, 
      "unionofresidueclasseswithfixedreps of z by list of classes", 
      "X871ED1D17AE52A95" ], 
  [ "\033[10XModulus\033[0X of a union of residue classes with fixed rep's", 
      "2.1-2", [ 2, 1, 2 ], 33, 11, 
      "modulus of a union of residue classes with fixed reps", 
      "X871ED1D17AE52A95" ], 
  [ "\033[10XClasses\033[0X of a union of residue classes with fixed rep's", 
      "2.1-2", [ 2, 1, 2 ], 33, 11, 
      "classes of a union of residue classes with fixed reps", 
      "X871ED1D17AE52A95" ], 
  [ "\033[10XAsListOfClasses\033[0X for a union of residue classes with fixed \
rep's", "2.1-2", [ 2, 1, 2 ], 33, 11, 
      "aslistofclasses for a union of residue classes with fixed reps", 
      "X871ED1D17AE52A95" ], 
  [ "\033[2XAllResidueClassesWithFixedRepsModulo\033[0X (by ring and modulus)"
        , "2.1-3", [ 2, 1, 3 ], 60, 12, 
      "allresidueclasseswithfixedrepsmodulo by ring and modulus", 
      "X8198386A809A6B17" ], 
  [ "\033[2XAllResidueClassesWithFixedRepsModulo\033[0X (by modulus, of the de\
fault ring of that modulus)", "2.1-3", [ 2, 1, 3 ], 60, 12, 
      "allresidueclasseswithfixedrepsmodulo by modulus of the default ring of \
that modulus", "X8198386A809A6B17" ], 
  [ "\033[2XMultiplicity\033[0X (of an element in a union of residue classes w\
ith fixed rep's)", "2.2-1", [ 2, 2, 1 ], 89, 12, 
      "multiplicity of an element in a union of residue classes with fixed rep\
s", "X808442EC7F3F5748" ], 
  [ "\033[2XMultiplicity\033[0X (of a residue class in a union of residue clas\
ses with fixed rep's)", "2.2-1", [ 2, 2, 1 ], 89, 12, 
      "multiplicity of a residue class in a union of residue classes with fixe\
d reps", "X808442EC7F3F5748" ], 
  [ "\033[10XDensity\033[0X of a union of residue classes with fixed rep's", 
      "2.2-1", [ 2, 2, 1 ], 89, 12, 
      "density of a union of residue classes with fixed reps", 
      "X808442EC7F3F5748" ], 
  [ "\033[10XIsOverlappingFree\033[0X for a union of residue classes with fixe\
d rep's", "2.2-1", [ 2, 2, 1 ], 89, 12, 
      "isoverlappingfree for a union of residue classes with fixed reps", 
      "X808442EC7F3F5748" ], 
  [ "\033[10XAsOrdinaryUnionOfResidueClasses\033[0X for a union of residue cla\
sses with fixed rep's", "2.2-1", [ 2, 2, 1 ], 89, 12, 
      "asordinaryunionofresidueclasses for a union of residue classes with fix\
ed reps", "X808442EC7F3F5748" ], 
  [ "\033[2XUnion\033[0X (for unions of residue classes with fixed representat\
ives)", "2.2-2", [ 2, 2, 2 ], 162, 14, 
      "union for unions of residue classes with fixed representatives", 
      "X8296A97779FE8B72" ], 
  [ "\033[2XIntersection\033[0X (for unions of residue classes with fixed repr\
esentatives)", "2.2-3", [ 2, 2, 3 ], 180, 14, 
      "intersection for unions of residue classes with fixed representatives",
      "X7FC166A57F1F5601" ], 
  [ "\033[2XDifference\033[0X (for unions of residue classes with fixed repres\
entatives)", "2.2-4", [ 2, 2, 4 ], 199, 14, 
      "difference for unions of residue classes with fixed representatives", 
      "X82A4EE727E67AB98" ], 
  [ "\033[2XDelta\033[0X (for a union of residue classes with fixed representa\
tives)", "2.3-1", [ 2, 3, 1 ], 224, 15, 
      "delta for a union of residue classes with fixed representatives", 
      "X78DCAB2C7C4E37E8" ], 
  [ "\033[10XRho\033[0X for a union of residue classes with fixed rep's", 
      "2.3-1", [ 2, 3, 1 ], 224, 15, 
      "rho for a union of residue classes with fixed reps", 
      "X78DCAB2C7C4E37E8" ], 
  [ "\033[2XRepresentativeStabilizingRefinement\033[0X (of a union of res.-cla\
sses with fixed rep's)", "2.3-2", [ 2, 3, 2 ], 250, 15, 
      "representativestabilizingrefinement of a union of res.-classes with fix\
ed reps", "X7E109A6E81A0465C" ], 
  [ "\033[2XZ_pi\033[0X (by set of noninvertible primes)", "3.1-1", 
      [ 3, 1, 1 ], 11, 16, "z_pi by set of noninvertible primes", 
      "X835483D2834D1F60" ], 
  [ "\033[2XZ_pi\033[0X (by noninvertible prime)", "3.1-1", [ 3, 1, 1 ], 11, 
      16, "z_pi by noninvertible prime", "X835483D2834D1F60" ], 
  [ "\033[10XIsZ_pi\033[0X", "3.1-1", [ 3, 1, 1 ], 11, 16, "isz_pi", 
      "X835483D2834D1F60" ], 
  [ "\033[10XNoninvertiblePrimes\033[0X of a semilocalization of Z", "3.1-1", 
      [ 3, 1, 1 ], 11, 16, "noninvertibleprimes of a semilocalization of z", 
      "X835483D2834D1F60" ], 
  [ "\033[10XStandardAssociate\033[0X of an element of a semilocalization of Z\
", "3.2", [ 3, 2, 0 ], 29, 16, 
      "standardassociate of an element of a semilocalization of z", 
      "X7B76A5528284ACC4" ], 
  [ "\033[10XGcd\033[0X of elements of a semilocalization of Z", "3.2", 
      [ 3, 2, 0 ], 29, 16, "gcd of elements of a semilocalization of z", 
      "X7B76A5528284ACC4" ], 
  [ "\033[10XLcm\033[0X of elements of a semilocalization of Z", "3.2", 
      [ 3, 2, 0 ], 29, 16, "lcm of elements of a semilocalization of z", 
      "X7B76A5528284ACC4" ], 
  [ "\033[10XFactors\033[0X of an element of a semilocalization of Z", "3.2", 
      [ 3, 2, 0 ], 29, 16, "factors of an element of a semilocalization of z",
      "X7B76A5528284ACC4" ], 
  [ "\033[10XIsUnit\033[0X for an element of a semilocalization of Z", "3.2", 
      [ 3, 2, 0 ], 29, 16, "isunit for an element of a semilocalization of z",
      "X7B76A5528284ACC4" ], 
  [ "\033[2XResClassesTest\033[0X", "4.3-1", [ 4, 3, 1 ], 24, 18, 
      "resclassestest", "X8733F00082901C2C" ], 
  [ "\033[2XResClassesBuildManual\033[0X", "4.4-1", [ 4, 4, 1 ], 36, 18, 
      "resclassesbuildmanual", "X7B4E650D828174F7" ], 
  [ "\033[2XSendEmail\033[0X", "4.5-1", [ 4, 5, 1 ], 51, 19, "sendemail", 
      "X7F27919085001EA8" ], 
  [ "\033[2XEmailLogFile\033[0X", "4.5-2", [ 4, 5, 2 ], 64, 19, 
      "emaillogfile", "X8000E5CF7DF4339C" ] ]
);
