#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "RCWA",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Abstract", ".-2", [ 0, 0, 2 ], 24, 2, "abstract", "X7AA6C5737B711C89" ], 
  [ "Copyright", ".-1", [ 0, 0, 1 ], 49, 2, "copyright", "X81488B807F2A1CF1" ]
    , [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 68, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", ".-4", [ 0, 0, 4 ], 81, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YAbout the RCWA Package\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 5, "about the rcwa package", "X83A8C2927FAE2C23" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YResidue-Class-Wise Affine Mappings\033[133X\033[1\
01X", "2", [ 2, 0, 0 ], 1, 7, "residue-class-wise affine mappings", 
      "X7FD73FCB8510050E" ], 
  [ "\033[1X\033[33X\033[0;-2YBasic definitions\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 12, 7, "basic definitions", "X78ED07E37FC2BD46" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEntering residue-class-wise affine mappings\033[1\
33X\033[101X", "2.2", [ 2, 2, 0 ], 56, 8, 
      "entering residue-class-wise affine mappings", "X86BC55648302D643" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRcwaMapping (the general constructor)\033[133X\\
033[101X", "2.2-5", [ 2, 2, 5 ], 304, 12, 
      "rcwamapping the general constructor", "X8799551B83644B37" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBasic arithmetic for residue-class-wise affine ma\
ppings\033[133X\033[101X", "2.3", [ 2, 3, 0 ], 481, 14, 
      "basic arithmetic for residue-class-wise affine mappings", 
      "X78E796B8824C4FC8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAttributes and properties of residue-class-wise a\
ffine mappings\033[133X\033[101X", "2.4", [ 2, 4, 0 ], 605, 16, 
      "attributes and properties of residue-class-wise affine mappings", 
      "X7C16D22C7BD40FDC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFactoring residue-class-wise affine permutations\\
033[133X\033[101X", "2.5", [ 2, 5, 0 ], 814, 20, 
      "factoring residue-class-wise affine permutations", "X8475F844869DD060" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2YExtracting roots of residue-class-wise affine map\
pings\033[133X\033[101X", "2.6", [ 2, 6, 0 ], 954, 22, 
      "extracting roots of residue-class-wise affine mappings", 
      "X8141065381B0942B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpecial functions for non-bijective mappings\033[\
133X\033[101X", "2.7", [ 2, 7, 0 ], 986, 23, 
      "special functions for non-bijective mappings", "X8322C6848305EC4C" ], 
  [ "\033[1X\033[33X\033[0;-2YOn trajectories and cycles of residue-class-wise\
 affine mappings\033[133X\033[101X", "2.8", [ 2, 8, 0 ], 1060, 24, 
      "on trajectories and cycles of residue-class-wise affine mappings", 
      "X7A34724386A2E9F3" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTrajectory (methods for rcwa mappings)\033[133X\\
033[101X", "2.8-1", [ 2, 8, 1 ], 1065, 24, 
      "trajectory methods for rcwa mappings", "X7C72174D7CCB6348" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTrajectory (methods for rcwa mappings -- \033[21X\
accumulated coefficients\033[121X\033[101X\027\033[1X\027)\033[133X\033[101X",
      "2.8-2", [ 2, 8, 2 ], 1099, 24, 
      "trajectory methods for rcwa mappings -- accumulated coefficients\027\
\027", "X795F4B187C77D99C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIncreasingOn & DecreasingOn (for an rcwa mapping)\
\033[133X\033[101X", "2.8-3", [ 2, 8, 3 ], 1128, 25, 
      "increasingon & decreasingon for an rcwa mapping", "X7E0244A386744185" ]
    , 
  [ 
      "\033[1X\033[33X\033[0;-2YSources & Sinks (of an rcwa mapping)\033[133X\\
033[101X", "2.8-8", [ 2, 8, 8 ], 1238, 27, 
      "sources & sinks of an rcwa mapping", "X81DBA2D58526BE7E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSaving memory -- the sparse representation of rcw\
a mappings\033[133X\033[101X", "2.9", [ 2, 9, 0 ], 1358, 29, 
      "saving memory -- the sparse representation of rcwa mappings", 
      "X86F0E0D17E6A9663" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe categories and families of rcwa mappings\033[\
133X\033[101X", "2.10", [ 2, 10, 0 ], 1439, 30, 
      "the categories and families of rcwa mappings", "X83FA71DD842377F0" ], 
  [ "\033[1X\033[33X\033[0;-2YResidue-Class-Wise Affine Groups\033[133X\033[10\
1X", "3", [ 3, 0, 0 ], 1, 31, "residue-class-wise affine groups", 
      "X874A3BB684F0639A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructing residue-class-wise affine groups\\
033[133X\033[101X", "3.1", [ 3, 1, 0 ], 7, 31, 
      "constructing residue-class-wise affine groups", "X81242A6586A604A3" ], 
  [ "\033[1X\033[33X\033[0;-2YWreathProduct (for an rcwa group over Z, with a \
permutation group or (\342\204\244,+))\033[133X\033[101X", "3.1-3", 
      [ 3, 1, 3 ], 86, 32, 
      "wreathproduct for an rcwa group over z with a permutation group or a\
\204\244 +", "X80D13D2A7AD73C2C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRestriction (of an rcwa mapping or -group, by an \
injective rcwa mapping)\033[133X\033[101X", "3.1-6", [ 3, 1, 6 ], 214, 34, 
      "restriction of an rcwa mapping or -group by an injective rcwa mapping",
      "X852EF2C079E4D7FF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInduction (of an rcwa mapping or -group, by an in\
jective rcwa mapping)\033[133X\033[101X", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "induction of an rcwa mapping or -group by an injective rcwa mapping", 
      "X82171D7287CBED95" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBasic routines for investigating residue-class-wi\
se affine groups\033[133X\033[101X", "3.2", [ 3, 2, 0 ], 399, 37, 
      "basic routines for investigating residue-class-wise affine groups", 
      "X80C042BE82EE0F9A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe natural action of an rcwa group on the underl\
ying ring\033[133X\033[101X", "3.3", [ 3, 3, 0 ], 674, 42, 
      "the natural action of an rcwa group on the underlying ring", 
      "X8151BE577FFDCE87" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOrbit (for an rcwa group and either a point or a \
set)\033[133X\033[101X", "3.3-1", [ 3, 3, 1 ], 790, 44, 
      "orbit for an rcwa group and either a point or a set", 
      "X7C046BE97EE53692" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YShortOrbits (for rcwa groups) & ShortCycles (for \
rcwa permutations)\033[133X\033[101X", "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "shortorbits for rcwa groups & shortcycles for rcwa permutations", 
      "X78F145197F63A25D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YShortResidueClassOrbits & ShortResidueClassCycles\
\033[133X\033[101X", "3.3-5", [ 3, 3, 5 ], 971, 47, 
      "shortresidueclassorbits & shortresidueclasscycles", 
      "X80D18D0778A96C16" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBall (for group, element and radius or group, poi\
nt, radius and action)\033[133X\033[101X", "3.3-9", [ 3, 3, 9 ], 1135, 50, 
      "ball for group element and radius or group point radius and action", 
      "X8735855587CC029F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpecial attributes of tame residue-class-wise aff\
ine groups\033[133X\033[101X", "3.4", [ 3, 4, 0 ], 1371, 54, 
      "special attributes of tame residue-class-wise affine groups", 
      "X781CBEFA7F39B58D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRespectedPartition (of a tame rcwa group or -perm\
utation)\033[133X\033[101X", "3.4-1", [ 3, 4, 1 ], 1383, 54, 
      "respectedpartition of a tame rcwa group or -permutation", 
      "X7F523A6B87825AB8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YActionOnRespectedPartition & KernelOfActionOnResp\
ectedPartition\033[133X\033[101X", "3.4-2", [ 3, 4, 2 ], 1417, 54, 
      "actiononrespectedpartition & kernelofactiononrespectedpartition", 
      "X831ADC1584DE6113" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGenerating pseudo-random elements of RCWA(R) and \
CT(R)\033[133X\033[101X", "3.5", [ 3, 5, 0 ], 1479, 55, 
      "generating pseudo-random elements of rcwa r and ct r", 
      "X81941A247942FB99" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe categories of residue-class-wise affine group\
s\033[133X\033[101X", "3.6", [ 3, 6, 0 ], 1527, 56, 
      "the categories of residue-class-wise affine groups", 
      "X86327F6C83D09798" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YResidue-Class-Wise Affine Monoids\033[133X\033[10\
1X", "4", [ 4, 0, 0 ], 1, 58, "residue-class-wise affine monoids", 
      "X81C90F7C7BA25BDF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YConstructing residue-class-wise affine monoids\\
033[133X\033[101X", "4.1", [ 4, 1, 0 ], 8, 58, 
      "constructing residue-class-wise affine monoids", "X83D42E26849D5580" ],
  [ "\033[1X\033[33X\033[0;-2YComputing with residue-class-wise affine monoids\
\033[133X\033[101X", "4.2", [ 4, 2, 0 ], 78, 59, 
      "computing with residue-class-wise affine monoids", "X8759954F7EB1A658" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBall (for monoid, element and radius or monoid, p\
oint, radius and action)\033[133X\033[101X", "4.2-2", [ 4, 2, 2 ], 165, 61, 
      "ball for monoid element and radius or monoid point radius and action", 
      "X787848137DF1C245" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YResidue-Class-Wise Affine Mappings, Groups and Mo\
noids over \033[22X\342\204\244^2\033[122X\033[101X\027\033[1X\027\033[133X\
\033[101X", "5", [ 5, 0, 0 ], 1, 62, 
      "residue-class-wise affine mappings groups and monoids over a\204\244^2\
\027\027", "X7CE20680806DE6AD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe definition of residue-class-wise affine mappi\
ngs of \033[22X\342\204\244^d\033[122X\033[101X\027\033[1X\027\033[133X\033[10\
1X", "5.1", [ 5, 1, 0 ], 22, 62, 
      "the definition of residue-class-wise affine mappings of a\204\244^d\027\
\027", "X7F67C1DF7DADDE34" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEntering residue-class-wise affine mappings of \\
033[22X\342\204\244^2\033[122X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "5.2", [ 5, 2, 0 ], 44, 63, 
      "entering residue-class-wise affine mappings of a\204\244^2\027\027", 
      "X7E9E7B8E7F34EA38" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YRcwaMapping (the general constructor; methods for\
 \033[22X\342\204\244^2\033[122X\033[101X\027\033[1X\027)\033[133X\033[101X", 
      "5.2-1", [ 5, 2, 1 ], 52, 63, 
      "rcwamapping the general constructor methods for a\204\244^2\027\027", 
      "X81D273F17BE0C456" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YClassTransposition (for \033[22X\342\204\244^2\\
033[122X\033[101X\027\033[1X\027)\033[133X\033[101X", "5.2-2", [ 5, 2, 2 ], 
      201, 65, "classtransposition for a\204\244^2\027\027", 
      "X871CF80A7B719D90" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YClassRotation (for \033[22X\342\204\244^2\033[122\
X\033[101X\027\033[1X\027)\033[133X\033[101X", "5.2-3", [ 5, 2, 3 ], 267, 66, 
      "classrotation for a\204\244^2\027\027", "X858A90547E4123B8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YClassShift (for \033[22X\342\204\244^2\033[122X\\
033[101X\027\033[1X\027)\033[133X\033[101X", "5.2-4", [ 5, 2, 4 ], 304, 67, 
      "classshift for a\204\244^2\027\027", "X8123540E82880449" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMethods for residue-class-wise affine mappings of\
 \033[22X\342\204\244^2\033[122X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "5.3", [ 5, 3, 0 ], 342, 67, 
      "methods for residue-class-wise affine mappings of a\204\244^2\027\027",
      "X85ADFECB7B84EAE1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMethods for residue-class-wise affine groups and \
-monoids over \033[22X\342\204\244^2\033[122X\033[101X\027\033[1X\027\033[133X\
\033[101X", "5.4", [ 5, 4, 0 ], 407, 69, 
      "methods for residue-class-wise affine groups and -monoids over a\204\
\244^2\027\027", "X86AFE1E6807AADA6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YIsomorphismRcwaGroup (Embeddings of SL(2,\342\\
204\244) and GL(2,\342\204\244))\033[133X\033[101X", "5.4-1", [ 5, 4, 1 ], 
      424, 69, 
      "isomorphismrcwagroup embeddings of sl 2 a\204\244 and gl 2 a\204\244", 
      "X79A8F9AD7E839862" ], 
  [ "\033[1X\033[33X\033[0;-2YDrawGrid\033[133X\033[101X", "5.4-2", 
      [ 5, 4, 2 ], 469, 70, "drawgrid", "X812135EB87527F01" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDatabases of Residue-Class-Wise Affine Groups and\
 -Mappings\033[133X\033[101X", "6", [ 6, 0, 0 ], 1, 71, 
      "databases of residue-class-wise affine groups and -mappings", 
      "X81BA344979567342" ], 
  [ "\033[1X\033[33X\033[0;-2YThe collection of examples\033[133X\033[101X", 
      "6.1", [ 6, 1, 0 ], 8, 71, "the collection of examples", 
      "X86CCBF017A746F50" ], 
  [ "\033[1X\033[33X\033[0;-2YDatabases of rcwa groups\033[133X\033[101X", 
      "6.2", [ 6, 2, 0 ], 58, 72, "databases of rcwa groups", 
      "X85DD85DF87DE47C9" ], 
  [ "\033[1X\033[33X\033[0;-2YDatabases of rcwa mappings\033[133X\033[101X", 
      "6.3", [ 6, 3, 0 ], 242, 75, "databases of rcwa mappings", 
      "X78A1A8E587C7FFD5" ], 
  [ "\033[1X\033[33X\033[0;-2YExamples\033[133X\033[101X", "7", [ 7, 0, 0 ], 
      1, 77, "examples", "X7A489A5D79DA9E5C" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Higman-Thompson group\033[133X\033[101X", 
      "7.1", [ 7, 1, 0 ], 23, 77, "the higman-thompson group", 
      "X7BEECC727E516639" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFactoring Collatz' permutation of the integers\\
033[133X\033[101X", "7.2", [ 7, 2, 0 ], 201, 80, 
      "factoring collatz permutation of the integers", "X86C2BAE3876985A6" ], 
  [ "\033[1X\033[33X\033[0;-2YThe \033[22X3n+1\033[122X\033[101X\027\033[1X\
\027 group\033[133X\033[101X", "7.3", [ 7, 3, 0 ], 305, 82, 
      "the 3n+1\027\027 group", "X7CC7C41081F2E3E7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YA group with huge finite orbits\033[133X\033[101X\
", "7.4", [ 7, 4, 0 ], 731, 89, "a group with huge finite orbits", 
      "X7DCFDC797FF213C5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YA group which acts 4-transitively on the positive\
 integers\033[133X\033[101X", "7.5", [ 7, 5, 0 ], 943, 93, 
      "a group which acts 4-transitively on the positive integers", 
      "X7968C1DF7EF0BD8E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YA group which acts 3-transitively, but not 4-tran\
sitively on \342\204\244\033[133X\033[101X", "7.6", [ 7, 6, 0 ], 1390, 101, 
      "a group which acts 3-transitively but not 4-transitively on a\204\244",
      "X85C529088050BEA3" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAn rcwa mapping which seems to be contracting, bu\
t very slow\033[133X\033[101X", "7.7", [ 7, 7, 0 ], 1586, 104, 
      "an rcwa mapping which seems to be contracting but very slow", 
      "X878499AF7889FD9E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChecking a result by P. Andaloro\033[133X\033[101\
X", "7.8", [ 7, 8, 0 ], 1677, 106, "checking a result by p. andaloro", 
      "X84A915BA833E0BDE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTwo examples by Matthews and Leigh\033[133X\033[1\
01X", "7.9", [ 7, 9, 0 ], 1723, 106, "two examples by matthews and leigh", 
      "X7E8CD9B67ED78735" ], 
  [ "\033[1X\033[33X\033[0;-2YOrders of commutators\033[133X\033[101X", 
      "7.10", [ 7, 10, 0 ], 1839, 108, "orders of commutators", 
      "X854E9F65817E4F63" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAn infinite subgroup of CT(GF(2)[x]) with many to\
rsion elements\033[133X\033[101X", "7.11", [ 7, 11, 0 ], 1916, 110, 
      "an infinite subgroup of ct gf 2 [x] with many torsion elements", 
      "X7F085B867D799293" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YAn abelian rcwa group over a polynomial ring\033[\
133X\033[101X", "7.12", [ 7, 12, 0 ], 2071, 113, 
      "an abelian rcwa group over a polynomial ring", "X7A8605E680F664BF" ], 
  [ "\033[1X\033[33X\033[0;-2YChecking for solvability\033[133X\033[101X", 
      "7.13", [ 7, 13, 0 ], 2172, 114, "checking for solvability", 
      "X78DFE4B4821E07A6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSome examples over (semi)localizations of the int\
egers\033[133X\033[101X", "7.14", [ 7, 14, 0 ], 2224, 115, 
      "some examples over semi localizations of the integers", 
      "X783D54DC7A646273" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTwisting 257-cycles into an rcwa mapping with mod\
ulus 32\033[133X\033[101X", "7.15", [ 7, 15, 0 ], 2356, 118, 
      "twisting 257-cycles into an rcwa mapping with modulus 32", 
      "X846D7D087861E0AC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe behaviour of the moduli of powers\033[133X\\
033[101X", "7.16", [ 7, 16, 0 ], 2445, 119, 
      "the behaviour of the moduli of powers", "X78D5DC93845CA6A0" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YImages and preimages under the Collatz mapping\\
033[133X\033[101X", "7.17", [ 7, 17, 0 ], 2509, 120, 
      "images and preimages under the collatz mapping", "X855A3CD88459958B" ],
  [ "\033[1X\033[33X\033[0;-2YAn extension of the Collatz mapping T to a permu\
tation of \033[22X\342\204\244^2\033[122X\033[101X\027\033[1X\027\033[133X\033\
[101X", "7.18", [ 7, 18, 0 ], 2616, 122, 
      "an extension of the collatz mapping t to a permutation of a\204\244^2\
\027\027", "X7ABC81A07C5B42AE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFinite quotients of Grigorchuk groups\033[133X\\
033[101X", "7.19", [ 7, 19, 0 ], 2788, 125, 
      "finite quotients of grigorchuk groups", "X81EB8D397898C6B2" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YForward orbits of a monoid with 2 generators\033[\
133X\033[101X", "7.20", [ 7, 20, 0 ], 2873, 127, 
      "forward orbits of a monoid with 2 generators", "X7DD9502F80364631" ], 
  [ "\033[1X\033[33X\033[0;-2YThe free group of rank 2 and the modular group P\
SL(2,\342\204\244)\033[133X\033[101X", "7.21", [ 7, 21, 0 ], 2957, 128, 
      "the free group of rank 2 and the modular group psl 2 a\204\244", 
      "X815800ED820C6ECF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe Algorithms Implemented in RCWA\033[133X\033[1\
01X", "8", [ 8, 0, 0 ], 1, 131, "the algorithms implemented in rcwa", 
      "X79EA0B717B045756" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInstallation and Auxiliary Functions\033[133X\\
033[101X", "9", [ 9, 0, 0 ], 1, 146, "installation and auxiliary functions", 
      "X859F6BF88754E5CC" ], 
  [ "\033[1X\033[33X\033[0;-2YRequirements\033[133X\033[101X", "9.1", 
      [ 9, 1, 0 ], 4, 146, "requirements", "X85A08CF187A6D986" ], 
  [ "\033[1X\033[33X\033[0;-2YInstallation\033[133X\033[101X", "9.2", 
      [ 9, 2, 0 ], 15, 146, "installation", "X8360C04082558A12" ], 
  [ "\033[1X\033[33X\033[0;-2YBuilding the manual\033[133X\033[101X", "9.3", 
      [ 9, 3, 0 ], 23, 146, "building the manual", "X854E65D281B80D3B" ], 
  [ "\033[1X\033[33X\033[0;-2YThe testing routines\033[133X\033[101X", "9.4", 
      [ 9, 4, 0 ], 39, 146, "the testing routines", "X865D6A49826B92EC" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Info class of the package\033[133X\033[101X"
        , "9.5", [ 9, 5, 0 ], 83, 147, "the info class of the package", 
      "X7A31FA44791E93C5" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 148, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 148, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 150, "index", "X83A0356F839C696F" ], 
  [ "Collatz conjecture", "1.", [ 1, 0, 0 ], 1, 5, "collatz conjecture", 
      "X83A8C2927FAE2C23" ], 
  [ "Collatz mapping", "1.", [ 1, 0, 0 ], 1, 5, "collatz mapping", 
      "X83A8C2927FAE2C23" ], 
  [ "rcwa mapping definition", "2.1", [ 2, 1, 0 ], 12, 7, 
      "rcwa mapping definition", "X78ED07E37FC2BD46" ], 
  [ "rcwa group definition", "2.1", [ 2, 1, 0 ], 12, 7, 
      "rcwa group definition", "X78ED07E37FC2BD46" ], 
  [ "modulus definition", "2.1", [ 2, 1, 0 ], 12, 7, "modulus definition", 
      "X78ED07E37FC2BD46" ], 
  [ "rcwa mapping modulus", "2.1", [ 2, 1, 0 ], 12, 7, "rcwa mapping modulus",
      "X78ED07E37FC2BD46" ], 
  [ "multiplier definition", "2.1", [ 2, 1, 0 ], 12, 7, 
      "multiplier definition", "X78ED07E37FC2BD46" ], 
  [ "rcwa mapping multiplier", "2.1", [ 2, 1, 0 ], 12, 7, 
      "rcwa mapping multiplier", "X78ED07E37FC2BD46" ], 
  [ "divisor definition", "2.1", [ 2, 1, 0 ], 12, 7, "divisor definition", 
      "X78ED07E37FC2BD46" ], 
  [ "rcwa mapping divisor", "2.1", [ 2, 1, 0 ], 12, 7, "rcwa mapping divisor",
      "X78ED07E37FC2BD46" ], 
  [ "tame rcwa mapping", "2.1", [ 2, 1, 0 ], 12, 7, "tame rcwa mapping", 
      "X78ED07E37FC2BD46" ], 
  [ "tame rcwa group", "2.1", [ 2, 1, 0 ], 12, 7, "tame rcwa group", 
      "X78ED07E37FC2BD46" ], 
  [ "wild rcwa mapping", "2.1", [ 2, 1, 0 ], 12, 7, "wild rcwa mapping", 
      "X78ED07E37FC2BD46" ], 
  [ "wild rcwa group", "2.1", [ 2, 1, 0 ], 12, 7, "wild rcwa group", 
      "X78ED07E37FC2BD46" ], 
  [ "rcwa mapping tame", "2.1", [ 2, 1, 0 ], 12, 7, "rcwa mapping tame", 
      "X78ED07E37FC2BD46" ], 
  [ "rcwa group tame", "2.1", [ 2, 1, 0 ], 12, 7, "rcwa group tame", 
      "X78ED07E37FC2BD46" ], 
  [ "rcwa mapping wild", "2.1", [ 2, 1, 0 ], 12, 7, "rcwa mapping wild", 
      "X78ED07E37FC2BD46" ], 
  [ "rcwa group wild", "2.1", [ 2, 1, 0 ], 12, 7, "rcwa group wild", 
      "X78ED07E37FC2BD46" ], 
  [ "\033[2XClassShift\033[102X (r, m)", "2.2-1", [ 2, 2, 1 ], 117, 9, 
      "classshift r m", "X86B611BD7EED62A1" ], 
  [ "\033[2XClassShift\033[102X (cl)", "2.2-1", [ 2, 2, 1 ], 117, 9, 
      "classshift cl", "X86B611BD7EED62A1" ], 
  [ "\033[2XClassReflection\033[102X (r, m)", "2.2-2", [ 2, 2, 2 ], 143, 9, 
      "classreflection r m", "X7896C5417E3692B4" ], 
  [ "\033[2XClassReflection\033[102X (cl)", "2.2-2", [ 2, 2, 2 ], 143, 9, 
      "classreflection cl", "X7896C5417E3692B4" ], 
  [ "\033[2XClassTransposition\033[102X (r1, m1, r2, m2)", "2.2-3", 
      [ 2, 2, 3 ], 170, 10, "classtransposition r1 m1 r2 m2", 
      "X8716A75F7DD1C46B" ], 
  [ "\033[2XClassTransposition\033[102X (cl1, cl2)", "2.2-3", [ 2, 2, 3 ], 
      170, 10, "classtransposition cl1 cl2", "X8716A75F7DD1C46B" ], 
  [ "\033[10XTransposedClasses\033[110X of a class transposition", "2.2-3", 
      [ 2, 2, 3 ], 170, 10, "transposedclasses of a class transposition", 
      "X8716A75F7DD1C46B" ], 
  [ "\033[10XClassPairs\033[110X m", "2.2-3", [ 2, 2, 3 ], 170, 10, 
      "classpairs m", "X8716A75F7DD1C46B" ], 
  [ "\033[10XNrClassPairs\033[110X m", "2.2-3", [ 2, 2, 3 ], 170, 10, 
      "nrclasspairs m", "X8716A75F7DD1C46B" ], 
  [ 
      "\033[10XSplittedClassTransposition\033[110X for a class transposition and \
a number of factors", "2.2-3", [ 2, 2, 3 ], 170, 10, 
      "splittedclasstransposition for a class transposition and a number of fa\
ctors", "X8716A75F7DD1C46B" ], 
  [ "\033[2XClassRotation\033[102X (r, m, u)", "2.2-4", [ 2, 2, 4 ], 251, 11, 
      "classrotation r m u", "X87EB8C1C87F78A17" ], 
  [ "\033[2XClassRotation\033[102X (cl, u)", "2.2-4", [ 2, 2, 4 ], 251, 11, 
      "classrotation cl u", "X87EB8C1C87F78A17" ], 
  [ "\033[10XRotationFactor\033[110X of a class rotation", "2.2-4", 
      [ 2, 2, 4 ], 251, 11, "rotationfactor of a class rotation", 
      "X87EB8C1C87F78A17" ], 
  [ "\033[10XIsClassShift\033[110X for an rcwa mapping", "2.2-4", 
      [ 2, 2, 4 ], 251, 11, "isclassshift for an rcwa mapping", 
      "X87EB8C1C87F78A17" ], 
  [ "\033[10XIsClassReflection\033[110X for an rcwa mapping", "2.2-4", 
      [ 2, 2, 4 ], 251, 11, "isclassreflection for an rcwa mapping", 
      "X87EB8C1C87F78A17" ], 
  [ "\033[10XIsClassRotation\033[110X for an rcwa mapping", "2.2-4", 
      [ 2, 2, 4 ], 251, 11, "isclassrotation for an rcwa mapping", 
      "X87EB8C1C87F78A17" ], 
  [ "\033[10XIsClassTransposition\033[110X for an rcwa mapping", "2.2-4", 
      [ 2, 2, 4 ], 251, 11, "isclasstransposition for an rcwa mapping", 
      "X87EB8C1C87F78A17" ], 
  [ "\033[10XIsGeneralizedClassTransposition\033[110X for an rcwa mapping", 
      "2.2-4", [ 2, 2, 4 ], 251, 11, 
      "isgeneralizedclasstransposition for an rcwa mapping", 
      "X87EB8C1C87F78A17" ], 
  [ "\033[2XRcwaMapping\033[102X (by ring, modulus and list of coefficients)",
      "2.2-5", [ 2, 2, 5 ], 304, 12, 
      "rcwamapping by ring modulus and list of coefficients", 
      "X8799551B83644B37" ], 
  [ "\033[2XRcwaMapping\033[102X (by ring and list of coefficients)", 
      "2.2-5", [ 2, 2, 5 ], 304, 12, 
      "rcwamapping by ring and list of coefficients", "X8799551B83644B37" ], 
  [ "\033[2XRcwaMapping\033[102X (by list of coefficients)", "2.2-5", 
      [ 2, 2, 5 ], 304, 12, "rcwamapping by list of coefficients", 
      "X8799551B83644B37" ], 
  [ "\033[2XRcwaMapping\033[102X (by permutation and range)", "2.2-5", 
      [ 2, 2, 5 ], 304, 12, "rcwamapping by permutation and range", 
      "X8799551B83644B37" ], 
  [ "\033[2XRcwaMapping\033[102X (by modulus and list of values)", "2.2-5", 
      [ 2, 2, 5 ], 304, 12, "rcwamapping by modulus and list of values", 
      "X8799551B83644B37" ], 
  [ 
      "\033[2XRcwaMapping\033[102X (by set of non-invertible primes and list of c\
oefficients)", "2.2-5", [ 2, 2, 5 ], 304, 12, 
      "rcwamapping by set of non-invertible primes and list of coefficients", 
      "X8799551B83644B37" ], 
  [ 
      "\033[2XRcwaMapping\033[102X (by finite field size, modulus and list of coe\
fficients)", "2.2-5", [ 2, 2, 5 ], 304, 12, 
      "rcwamapping by finite field size modulus and list of coefficients", 
      "X8799551B83644B37" ], 
  [ 
      "\033[2XRcwaMapping\033[102X (by two partitions of a ring into residue clas\
ses)", "2.2-5", [ 2, 2, 5 ], 304, 12, 
      "rcwamapping by two partitions of a ring into residue classes", 
      "X8799551B83644B37" ], 
  [ "\033[2XRcwaMapping\033[102X (by residue class cycles)", "2.2-5", 
      [ 2, 2, 5 ], 304, 12, "rcwamapping by residue class cycles", 
      "X8799551B83644B37" ], 
  [ "\033[2XRcwaMapping\033[102X (by arithmetical expression)", "2.2-5", 
      [ 2, 2, 5 ], 304, 12, "rcwamapping by arithmetical expression", 
      "X8799551B83644B37" ], 
  [ 
      "\033[2XLocalizedRcwaMapping\033[102X (for an rcwa mapping of Z and a prime\
)", "2.2-6", [ 2, 2, 6 ], 415, 13, 
      "localizedrcwamapping for an rcwa mapping of z and a prime", 
      "X7F1A559387D0226E" ], 
  [ 
      "\033[2XSemilocalizedRcwaMapping\033[102X (for an rcwa mapping of Z and a s\
et of primes)", "2.2-6", [ 2, 2, 6 ], 415, 13, 
      "semilocalizedrcwamapping for an rcwa mapping of z and a set of primes",
      "X7F1A559387D0226E" ], 
  [ "\033[10XView\033[110X for an rcwa mapping", "2.2-6", [ 2, 2, 6 ], 415, 
      13, "view for an rcwa mapping", "X7F1A559387D0226E" ], 
  [ "\033[10XDisplay\033[110X for an rcwa mapping", "2.2-6", [ 2, 2, 6 ], 
      415, 13, "display for an rcwa mapping", "X7F1A559387D0226E" ], 
  [ "\033[10XPrint\033[110X for an rcwa mapping", "2.2-6", [ 2, 2, 6 ], 415, 
      13, "print for an rcwa mapping", "X7F1A559387D0226E" ], 
  [ "\033[10XString\033[110X for an rcwa mapping", "2.2-6", [ 2, 2, 6 ], 415, 
      13, "string for an rcwa mapping", "X7F1A559387D0226E" ], 
  [ "\033[10XLaTeXStringRcwaMapping\033[110X for an rcwa mapping", "2.2-6", 
      [ 2, 2, 6 ], 415, 13, "latexstringrcwamapping for an rcwa mapping", 
      "X7F1A559387D0226E" ], 
  [ "\033[10XLaTeXAndXDVI\033[110X for an rcwa mapping", "2.2-6", 
      [ 2, 2, 6 ], 415, 13, "latexandxdvi for an rcwa mapping", 
      "X7F1A559387D0226E" ], 
  [ "rcwa mapping arithmetic operations", "2.3", [ 2, 3, 0 ], 481, 14, 
      "rcwa mapping arithmetic operations", "X78E796B8824C4FC8" ], 
  [ "\033[10XOrder\033[110X of an rcwa permutation", "2.3", [ 2, 3, 0 ], 481, 
      14, "order of an rcwa permutation", "X78E796B8824C4FC8" ], 
  [ "\033[10XIsTame\033[110X for an rcwa mapping", "2.3", [ 2, 3, 0 ], 481, 
      14, "istame for an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XIsInjective\033[110X for an rcwa mapping", "2.3", [ 2, 3, 0 ], 
      481, 14, "isinjective for an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XIsSurjective\033[110X for an rcwa mapping", "2.3", [ 2, 3, 0 ], 
      481, 14, "issurjective for an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XIsBijective\033[110X for an rcwa mapping", "2.3", [ 2, 3, 0 ], 
      481, 14, "isbijective for an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XImage\033[110X of an rcwa mapping", "2.3", [ 2, 3, 0 ], 481, 14, 
      "image of an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "rcwa mapping images under", "2.3", [ 2, 3, 0 ], 481, 14, 
      "rcwa mapping images under", "X78E796B8824C4FC8" ], 
  [ "\033[10XPreImageElm\033[110X of a ring element under an rcwa mapping", 
      "2.3", [ 2, 3, 0 ], 481, 14, 
      "preimageelm of a ring element under an rcwa mapping", 
      "X78E796B8824C4FC8" ], 
  [ "\033[10XPreImagesElm\033[110X of a ring element under an rcwa mapping", 
      "2.3", [ 2, 3, 0 ], 481, 14, 
      "preimageselm of a ring element under an rcwa mapping", 
      "X78E796B8824C4FC8" ], 
  [ 
      "\033[10XPreImage\033[110X of a set of ring elements under an rcwa mapping"
        , "2.3", [ 2, 3, 0 ], 481, 14, 
      "preimage of a set of ring elements under an rcwa mapping", 
      "X78E796B8824C4FC8" ], 
  [ "\033[10XPreImage\033[110X of a residue class union under an rcwa mapping"
        , "2.3", [ 2, 3, 0 ], 481, 14, 
      "preimage of a residue class union under an rcwa mapping", 
      "X78E796B8824C4FC8" ], 
  [ "\033[10XSupport\033[110X of an rcwa mapping", "2.3", [ 2, 3, 0 ], 481, 
      14, "support of an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XMovedPoints\033[110X of an rcwa mapping", "2.3", [ 2, 3, 0 ], 
      481, 14, "movedpoints of an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ 
      "\033[10XRestrictedPerm\033[110X for an rcwa permutation and a residue clas\
s union", "2.3", [ 2, 3, 0 ], 481, 14, 
      "restrictedperm for an rcwa permutation and a residue class union", 
      "X78E796B8824C4FC8" ], 
  [ "\033[10XDensityOfSupport\033[110X of an rcwa mapping", "2.3", 
      [ 2, 3, 0 ], 481, 14, "densityofsupport of an rcwa mapping", 
      "X78E796B8824C4FC8" ], 
  [ "\033[10XDensityOfSetOfFixedPoints\033[110X of an rcwa mapping", "2.3", 
      [ 2, 3, 0 ], 481, 14, "densityofsetoffixedpoints of an rcwa mapping", 
      "X78E796B8824C4FC8" ], 
  [ "\033[10XModulus\033[110X of an rcwa mapping", "2.3", [ 2, 3, 0 ], 481, 
      14, "modulus of an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XMod\033[110X for an rcwa mapping", "2.3", [ 2, 3, 0 ], 481, 14, 
      "mod for an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "\033[10XCoefficients\033[110X of an rcwa mapping", "2.3", [ 2, 3, 0 ], 
      481, 14, "coefficients of an rcwa mapping", "X78E796B8824C4FC8" ], 
  [ "rcwa mapping coercion", "2.3", [ 2, 3, 0 ], 481, 14, 
      "rcwa mapping coercion", "X78E796B8824C4FC8" ], 
  [ "rcwa group coercion", "2.3", [ 2, 3, 0 ], 481, 14, "rcwa group coercion",
      "X78E796B8824C4FC8" ], 
  [ "class-wise translating definition", "2.4", [ 2, 4, 0 ], 605, 16, 
      "class-wise translating definition", "X7C16D22C7BD40FDC" ], 
  [ "integral definition", "2.4", [ 2, 4, 0 ], 605, 16, "integral definition",
      "X7C16D22C7BD40FDC" ], 
  [ "balanced definition", "2.4", [ 2, 4, 0 ], 605, 16, "balanced definition",
      "X7C16D22C7BD40FDC" ], 
  [ "sign-preserving definition", "2.4", [ 2, 4, 0 ], 605, 16, 
      "sign-preserving definition", "X7C16D22C7BD40FDC" ], 
  [ "maximal shift definition", "2.4", [ 2, 4, 0 ], 605, 16, 
      "maximal shift definition", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping prime set", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping prime set", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping maximal shift", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping maximal shift", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping class-wise translating", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping class-wise translating", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping integral", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping integral", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping balanced", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping balanced", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping class-wise order-preserving", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping class-wise order-preserving", "X7C16D22C7BD40FDC" ], 
  [ "rcwa mapping sign-preserving", "2.4", [ 2, 4, 0 ], 605, 16, 
      "rcwa mapping sign-preserving", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XMultiplier\033[110X of an rcwa mapping", "2.4", [ 2, 4, 0 ], 
      605, 16, "multiplier of an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XMult\033[110X for an rcwa mapping", "2.4", [ 2, 4, 0 ], 605, 16, 
      "mult for an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XDivisor\033[110X of an rcwa mapping", "2.4", [ 2, 4, 0 ], 605, 
      16, "divisor of an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XDiv\033[110X for an rcwa mapping", "2.4", [ 2, 4, 0 ], 605, 16, 
      "div for an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XPrimeSet\033[110X of an rcwa mapping", "2.4", [ 2, 4, 0 ], 605, 
      16, "primeset of an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XMaximalShift\033[110X of an rcwa mapping of Z", "2.4", 
      [ 2, 4, 0 ], 605, 16, "maximalshift of an rcwa mapping of z", 
      "X7C16D22C7BD40FDC" ], 
  [ "\033[10XIsClassWiseTranslating\033[110X for an rcwa mapping", "2.4", 
      [ 2, 4, 0 ], 605, 16, "isclasswisetranslating for an rcwa mapping", 
      "X7C16D22C7BD40FDC" ], 
  [ "\033[10XIsIntegral\033[110X for an rcwa mapping", "2.4", [ 2, 4, 0 ], 
      605, 16, "isintegral for an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XIsBalanced\033[110X for an rcwa mapping", "2.4", [ 2, 4, 0 ], 
      605, 16, "isbalanced for an rcwa mapping", "X7C16D22C7BD40FDC" ], 
  [ "\033[10XIsClassWiseOrderPreserving\033[110X for an rcwa mapping", "2.4", 
      [ 2, 4, 0 ], 605, 16, "isclasswiseorderpreserving for an rcwa mapping", 
      "X7C16D22C7BD40FDC" ], 
  [ "\033[10XIsSignPreserving\033[110X for an rcwa mapping", "2.4", 
      [ 2, 4, 0 ], 605, 16, "issignpreserving for an rcwa mapping", 
      "X7C16D22C7BD40FDC" ], 
  [ "\033[2XLargestSourcesOfAffineMappings\033[102X (for an rcwa mapping)", 
      "2.4-1", [ 2, 4, 1 ], 663, 17, 
      "largestsourcesofaffinemappings for an rcwa mapping", 
      "X7C21406085B69C30" ], 
  [ "\033[2XFixedPointsOfAffinePartialMappings\033[102X (for an rcwa mapping)"
        , "2.4-2", [ 2, 4, 2 ], 686, 18, 
      "fixedpointsofaffinepartialmappings for an rcwa mapping", 
      "X7D6D0F2783AD02F4" ], 
  [ "\033[2XMultpk\033[102X (for an rcwa mapping, a prime and an exponent)", 
      "2.4-3", [ 2, 4, 3 ], 707, 18, 
      "multpk for an rcwa mapping a prime and an exponent", 
      "X7A2E308C860B46E3" ], 
  [ "\033[10XClassWiseOrderPreservingOn\033[110X", "2.4-3", [ 2, 4, 3 ], 707, 
      18, "classwiseorderpreservingon", "X7A2E308C860B46E3" ], 
  [ "\033[10XClassWiseConstantOn\033[110X", "2.4-3", [ 2, 4, 3 ], 707, 18, 
      "classwiseconstanton", "X7A2E308C860B46E3" ], 
  [ "\033[10XClassWiseOrderReversingOn\033[110X", "2.4-3", [ 2, 4, 3 ], 707, 
      18, "classwiseorderreversingon", "X7A2E308C860B46E3" ], 
  [ "\033[10XShiftsUpOn\033[110X", "2.4-3", [ 2, 4, 3 ], 707, 18, 
      "shiftsupon", "X7A2E308C860B46E3" ], 
  [ "\033[10XShiftsDownOn\033[110X", "2.4-3", [ 2, 4, 3 ], 707, 18, 
      "shiftsdownon", "X7A2E308C860B46E3" ], 
  [ "\033[2XDeterminant\033[102X (of an rcwa mapping of Z)", "2.4-4", 
      [ 2, 4, 4 ], 749, 19, "determinant of an rcwa mapping of z", 
      "X7B1E53127D9AE52F" ], 
  [ "\033[2XSign\033[102X (of an rcwa permutation of Z)", "2.4-5", 
      [ 2, 4, 5 ], 783, 19, "sign of an rcwa permutation of z", 
      "X8365EEEB82C946FD" ], 
  [ "\033[2XFactorizationIntoCSCRCT\033[102X (for an rcwa permutation of Z)", 
      "2.5-1", [ 2, 5, 1 ], 823, 20, 
      "factorizationintocscrct for an rcwa permutation of z", 
      "X853885A182EC5104" ], 
  [ "\033[2XFactorization\033[102X (for an rcwa permutation of Z)", "2.5-1", 
      [ 2, 5, 1 ], 823, 20, "factorization for an rcwa permutation of z", 
      "X853885A182EC5104" ], 
  [ "\033[2XPrimeSwitch\033[102X (p)", "2.5-2", [ 2, 5, 2 ], 874, 21, 
      "primeswitch p", "X861C74E97AE5DA3B" ], 
  [ "\033[2XPrimeSwitch\033[102X (p, k)", "2.5-2", [ 2, 5, 2 ], 874, 21, 
      "primeswitch p k", "X861C74E97AE5DA3B" ], 
  [ "\033[10XIsPrimeSwitch\033[110X for an rcwa mapping", "2.5-2", 
      [ 2, 5, 2 ], 874, 21, "isprimeswitch for an rcwa mapping", 
      "X861C74E97AE5DA3B" ], 
  [ "\033[2XmKnot\033[102X (for an odd integer)", "2.5-3", [ 2, 5, 3 ], 928, 
      22, "mknot for an odd integer", "X789CB69C7D97B0C4" ], 
  [ "\033[2XRoot\033[102X (k-th root of an rcwa mapping)", "2.6-1", 
      [ 2, 6, 1 ], 957, 22, "root k-th root of an rcwa mapping", 
      "X873692CE78433859" ], 
  [ "\033[2XRightInverse\033[102X (of an injective rcwa mapping)", "2.7-1", 
      [ 2, 7, 1 ], 989, 23, "rightinverse of an injective rcwa mapping", 
      "X7AEFF16E86533633" ], 
  [ "\033[2XCommonRightInverse\033[102X (of two injective rcwa mappings)", 
      "2.7-2", [ 2, 7, 2 ], 1004, 23, 
      "commonrightinverse of two injective rcwa mappings", 
      "X87C5B9CA7E319233" ], 
  [ "\033[2XImageDensity\033[102X (of an rcwa mapping)", "2.7-3", 
      [ 2, 7, 3 ], 1029, 23, "imagedensity of an rcwa mapping", 
      "X808D9EDF7BA27467" ], 
  [ "\033[10XInjectiveAsMappingFrom\033[110X for an rcwa mapping", "2.7-3", 
      [ 2, 7, 3 ], 1029, 23, "injectiveasmappingfrom for an rcwa mapping", 
      "X808D9EDF7BA27467" ], 
  [ "\033[2XTrajectory\033[102X (for rcwa mapping, starting point, length)", 
      "2.8-1", [ 2, 8, 1 ], 1065, 24, 
      "trajectory for rcwa mapping starting point length", 
      "X7C72174D7CCB6348" ], 
  [ 
      "\033[2XTrajectory\033[102X (for rcwa mapping, starting point, length, modu\
lus)", "2.8-1", [ 2, 8, 1 ], 1065, 24, 
      "trajectory for rcwa mapping starting point length modulus", 
      "X7C72174D7CCB6348" ], 
  [ 
      "\033[2XTrajectory\033[102X (for rcwa mapping, starting point, set of end p\
oints)", "2.8-1", [ 2, 8, 1 ], 1065, 24, 
      "trajectory for rcwa mapping starting point set of end points", 
      "X7C72174D7CCB6348" ], 
  [ 
      "\033[2XTrajectory\033[102X (for rcwa mapping, starting point, set of end p\
oints, modulus)", "2.8-1", [ 2, 8, 1 ], 1065, 24, 
      "trajectory for rcwa mapping starting point set of end points modulus", 
      "X7C72174D7CCB6348" ], 
  [ 
      "\033[2XTrajectory\033[102X (for rcwa mapping, starting point, length, coef\
f.-spec.)", "2.8-2", [ 2, 8, 2 ], 1099, 24, 
      "trajectory for rcwa mapping starting point length coeff.-spec.", 
      "X795F4B187C77D99C" ], 
  [ 
      "\033[2XTrajectory\033[102X (for rcwa mapping, starting point, set of end p\
oints, coeff.-spec.)", "2.8-2", [ 2, 8, 2 ], 1099, 24, 
      "trajectory for rcwa mapping starting point set of end points coeff.-spe\
c.", "X795F4B187C77D99C" ], 
  [ "\033[2XIncreasingOn\033[102X (for an rcwa mapping)", "2.8-3", 
      [ 2, 8, 3 ], 1128, 25, "increasingon for an rcwa mapping", 
      "X7E0244A386744185" ], 
  [ "\033[2XDecreasingOn\033[102X (for an rcwa mapping)", "2.8-3", 
      [ 2, 8, 3 ], 1128, 25, "decreasingon for an rcwa mapping", 
      "X7E0244A386744185" ], 
  [ "\033[2XTransitionGraph\033[102X (for an rcwa mapping and a modulus)", 
      "2.8-4", [ 2, 8, 4 ], 1159, 25, 
      "transitiongraph for an rcwa mapping and a modulus", 
      "X780841E07CAE7543" ], 
  [ "rcwa mapping transition graph", "2.8-4", [ 2, 8, 4 ], 1159, 25, 
      "rcwa mapping transition graph", "X780841E07CAE7543" ], 
  [ "\033[2XOrbitsModulo\033[102X (for an rcwa mapping and a modulus)", 
      "2.8-5", [ 2, 8, 5 ], 1178, 26, 
      "orbitsmodulo for an rcwa mapping and a modulus", "X7F03CC4179424AA9" ],
  [ "\033[2XFactorizationOnConnectedComponents\033[102X (for an rcwa mapping a\
nd a modulus)", "2.8-6", [ 2, 8, 6 ], 1192, 26, 
      "factorizationonconnectedcomponents for an rcwa mapping and a modulus", 
      "X7F11051E866C197F" ], 
  [ "\033[2XTransitionMatrix\033[102X (for an rcwa mapping and a modulus)", 
      "2.8-7", [ 2, 8, 7 ], 1211, 26, 
      "transitionmatrix for an rcwa mapping and a modulus", 
      "X7B6833D67D916EF9" ], 
  [ "\033[2XSources\033[102X (of an rcwa mapping)", "2.8-8", [ 2, 8, 8 ], 
      1238, 27, "sources of an rcwa mapping", "X81DBA2D58526BE7E" ], 
  [ "\033[2XSinks\033[102X (of an rcwa mapping)", "2.8-8", [ 2, 8, 8 ], 1238, 
      27, "sinks of an rcwa mapping", "X81DBA2D58526BE7E" ], 
  [ "\033[2XLoops\033[102X (of an rcwa mapping)", "2.8-9", [ 2, 8, 9 ], 1261, 
      27, "loops of an rcwa mapping", "X80221A4D81AF7453" ], 
  [ "\033[2XGluckTaylorInvariant\033[102X (of a trajectory)", "2.8-10", 
      [ 2, 8, 10 ], 1281, 27, "glucktaylorinvariant of a trajectory", 
      "X8773152E81A30123" ], 
  [ "\033[2XLikelyContractionCentre\033[102X (of an rcwa mapping)", "2.8-11", 
      [ 2, 8, 11 ], 1313, 28, "likelycontractioncentre of an rcwa mapping", 
      "X84F6A29280E2F925" ], 
  [ "\033[2XGuessedDivergence\033[102X (of an rcwa mapping)", "2.8-12", 
      [ 2, 8, 12 ], 1341, 28, "guesseddivergence of an rcwa mapping", 
      "X81E0D8E3817B3D16" ], 
  [ "rcwa mapping sparse representation", "2.9", [ 2, 9, 0 ], 1358, 29, 
      "rcwa mapping sparse representation", "X86F0E0D17E6A9663" ], 
  [ 
      "\033[10XRcwaMapping\033[110X by list of coefficients, sparse representatio\
n", "2.9", [ 2, 9, 0 ], 1358, 29, 
      "rcwamapping by list of coefficients sparse representation", 
      "X86F0E0D17E6A9663" ], 
  [ "\033[2XSparseRepresentation\033[102X (of an rcwa mapping)", "2.9-1", 
      [ 2, 9, 1 ], 1391, 29, "sparserepresentation of an rcwa mapping", 
      "X879451B17AD78B07" ], 
  [ "\033[2XSparseRep\033[102X (of an rcwa mapping)", "2.9-1", [ 2, 9, 1 ], 
      1391, 29, "sparserep of an rcwa mapping", "X879451B17AD78B07" ], 
  [ "\033[2XStandardRepresentation\033[102X (of an rcwa mapping)", "2.9-1", 
      [ 2, 9, 1 ], 1391, 29, "standardrepresentation of an rcwa mapping", 
      "X879451B17AD78B07" ], 
  [ "\033[2XStandardRep\033[102X (of an rcwa mapping)", "2.9-1", [ 2, 9, 1 ], 
      1391, 29, "standardrep of an rcwa mapping", "X879451B17AD78B07" ], 
  [ "\033[2XIsRcwaMapping\033[102X", "2.10-1", [ 2, 10, 1 ], 1442, 30, 
      "isrcwamapping", "X7927C13782729CE9" ], 
  [ "\033[2XIsRcwaMappingOfZ\033[102X", "2.10-1", [ 2, 10, 1 ], 1442, 30, 
      "isrcwamappingofz", "X7927C13782729CE9" ], 
  [ "\033[2XIsRcwaMappingOfZ_pi\033[102X", "2.10-1", [ 2, 10, 1 ], 1442, 30, 
      "isrcwamappingofz_pi", "X7927C13782729CE9" ], 
  [ "\033[2XIsRcwaMappingOfGFqx\033[102X", "2.10-1", [ 2, 10, 1 ], 1442, 30, 
      "isrcwamappingofgfqx", "X7927C13782729CE9" ], 
  [ "\033[10XIsRcwaMappingOfZOrZ_pi\033[110X", "2.10-1", [ 2, 10, 1 ], 1442, 
      30, "isrcwamappingofzorz_pi", "X7927C13782729CE9" ], 
  [ "\033[10XIsRcwaMappingStandardRep\033[110X", "2.10-1", [ 2, 10, 1 ], 
      1442, 30, "isrcwamappingstandardrep", "X7927C13782729CE9" ], 
  [ "\033[10XExtRepOfObj\033[110X", "2.10-1", [ 2, 10, 1 ], 1442, 30, 
      "extrepofobj", "X7927C13782729CE9" ], 
  [ "\033[10XObjByExtRep\033[110X", "2.10-1", [ 2, 10, 1 ], 1442, 30, 
      "objbyextrep", "X7927C13782729CE9" ], 
  [ "\033[2XRcwaMappingsFamily\033[102X (of a ring)", "2.10-2", [ 2, 10, 2 ], 
      1460, 30, "rcwamappingsfamily of a ring", "X825DD365822934AF" ], 
  [ "\033[10XGroup\033[110X", "3.1", [ 3, 1, 0 ], 7, 31, "group", 
      "X81242A6586A604A3" ], 
  [ "\033[10XGroupByGenerators\033[110X", "3.1", [ 3, 1, 0 ], 7, 31, 
      "groupbygenerators", "X81242A6586A604A3" ], 
  [ "\033[10XGroupWithGenerators\033[110X", "3.1", [ 3, 1, 0 ], 7, 31, 
      "groupwithgenerators", "X81242A6586A604A3" ], 
  [ "\033[2XIsomorphismRcwaGroup\033[102X (for a group, over a given ring)", 
      "3.1-1", [ 3, 1, 1 ], 28, 31, 
      "isomorphismrcwagroup for a group over a given ring", 
      "X7EB8A301790290C7" ], 
  [ "\033[2XIsomorphismRcwaGroup\033[102X (for a group)", "3.1-1", 
      [ 3, 1, 1 ], 28, 31, "isomorphismrcwagroup for a group", 
      "X7EB8A301790290C7" ], 
  [ "\033[2XDirectProduct\033[102X (for rcwa groups over Z)", "3.1-2", 
      [ 3, 1, 2 ], 65, 32, "directproduct for rcwa groups over z", 
      "X79CAE48981C11FE8" ], 
  [ 
      "\033[2XWreathProduct\033[102X (for an rcwa group over Z and a permutation \
group)", "3.1-3", [ 3, 1, 3 ], 86, 32, 
      "wreathproduct for an rcwa group over z and a permutation group", 
      "X80D13D2A7AD73C2C" ], 
  [ 
      "\033[2XWreathProduct\033[102X (for an rcwa group over Z and the infinite c\
yclic group)", "3.1-3", [ 3, 1, 3 ], 86, 32, 
      "wreathproduct for an rcwa group over z and the infinite cyclic group", 
      "X80D13D2A7AD73C2C" ], 
  [ "\033[2XMergerExtension\033[102X (for finite permutation groups)", 
      "3.1-4", [ 3, 1, 4 ], 128, 33, 
      "mergerextension for finite permutation groups", "X8794913B878DD5C4" ], 
  [ "\033[2XGroupByResidueClasses\033[102X (the group `permuting a given list \
of residue classes')", "3.1-5", [ 3, 1, 5 ], 180, 34, 
      "groupbyresidueclasses the group permuting a given list of residue class\
es", "X8143AB647801F438" ], 
  [ 
      "\033[2XRestriction\033[102X (of an rcwa mapping, by an injective rcwa mapp\
ing)", "3.1-6", [ 3, 1, 6 ], 214, 34, 
      "restriction of an rcwa mapping by an injective rcwa mapping", 
      "X852EF2C079E4D7FF" ], 
  [ 
      "\033[2XRestriction\033[102X (of an rcwa group, by an injective rcwa mappin\
g)", "3.1-6", [ 3, 1, 6 ], 214, 34, 
      "restriction of an rcwa group by an injective rcwa mapping", 
      "X852EF2C079E4D7FF" ], 
  [ 
      "\033[2XInduction\033[102X (of an rcwa mapping, by an injective rcwa mappin\
g)", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "induction of an rcwa mapping by an injective rcwa mapping", 
      "X82171D7287CBED95" ], 
  [ 
      "\033[2XInduction\033[102X (of an rcwa group, by an injective rcwa mapping)\
", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "induction of an rcwa group by an injective rcwa mapping", 
      "X82171D7287CBED95" ], 
  [ "\033[10XSmallGeneratingSet\033[110X", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "smallgeneratingset", "X82171D7287CBED95" ], 
  [ "\033[10XView\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "view for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XDisplay\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 
      35, "display for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XPrint\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 
      35, "print for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XString\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 
      35, "string for an rcwa group", "X82171D7287CBED95" ], 
  [ "rcwa group modulus", "3.1-7", [ 3, 1, 7 ], 242, 35, "rcwa group modulus",
      "X82171D7287CBED95" ], 
  [ "rcwa group multiplier", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "rcwa group multiplier", "X82171D7287CBED95" ], 
  [ "rcwa group divisor", "3.1-7", [ 3, 1, 7 ], 242, 35, "rcwa group divisor",
      "X82171D7287CBED95" ], 
  [ "rcwa group prime set", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "rcwa group prime set", "X82171D7287CBED95" ], 
  [ "rcwa group class-wise translating", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "rcwa group class-wise translating", "X82171D7287CBED95" ], 
  [ "rcwa group integral", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "rcwa group integral", "X82171D7287CBED95" ], 
  [ "rcwa group class-wise order-preserving", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "rcwa group class-wise order-preserving", "X82171D7287CBED95" ], 
  [ "rcwa group sign-preserving", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "rcwa group sign-preserving", "X82171D7287CBED95" ], 
  [ "\033[10XModulus\033[110X of an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 
      35, "modulus of an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XMod\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "mod for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XModulusOfRcwaMonoid\033[110X for an rcwa group", "3.1-7", 
      [ 3, 1, 7 ], 242, 35, "modulusofrcwamonoid for an rcwa group", 
      "X82171D7287CBED95" ], 
  [ "\033[10XMultiplier\033[110X of an rcwa group", "3.1-7", [ 3, 1, 7 ], 
      242, 35, "multiplier of an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XMult\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "mult for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XDivisor\033[110X of an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 
      35, "divisor of an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XDiv\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 35, 
      "div for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XPrimeSet\033[110X of an rcwa group", "3.1-7", [ 3, 1, 7 ], 242, 
      35, "primeset of an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XIsClassWiseTranslating\033[110X for an rcwa group", "3.1-7", 
      [ 3, 1, 7 ], 242, 35, "isclasswisetranslating for an rcwa group", 
      "X82171D7287CBED95" ], 
  [ "\033[10XIsIntegral\033[110X for an rcwa group", "3.1-7", [ 3, 1, 7 ], 
      242, 35, "isintegral for an rcwa group", "X82171D7287CBED95" ], 
  [ "\033[10XIsClassWiseOrderPreserving\033[110X for an rcwa group", "3.1-7", 
      [ 3, 1, 7 ], 242, 35, "isclasswiseorderpreserving for an rcwa group", 
      "X82171D7287CBED95" ], 
  [ "\033[10XIsSignPreserving\033[110X for an rcwa group", "3.1-7", 
      [ 3, 1, 7 ], 242, 35, "issignpreserving for an rcwa group", 
      "X82171D7287CBED95" ], 
  [ 
      "\033[2XRCWA\033[102X (the group formed by all rcwa permutations of a ring)\
", "3.1-8", [ 3, 1, 8 ], 299, 36, 
      "rcwa the group formed by all rcwa permutations of a ring", 
      "X79450C1C8756FEB3" ], 
  [ "\033[10XNrConjugacyClassesOfRCWAZOfOrder\033[110X", "3.1-8", 
      [ 3, 1, 8 ], 299, 36, "nrconjugacyclassesofrcwazoforder", 
      "X79450C1C8756FEB3" ], 
  [ 
      "\033[2XCT\033[102X (the group generated by all class transpositions of a r\
ing)", "3.1-9", [ 3, 1, 9 ], 329, 36, 
      "ct the group generated by all class transpositions of a ring", 
      "X7BD42D8481300E25" ], 
  [ "\033[2XCT\033[102X (subgroup of CT(Z))", "3.1-9", [ 3, 1, 9 ], 329, 36, 
      "ct subgroup of ct z", "X7BD42D8481300E25" ], 
  [ "\033[10XMirrored\033[110X", "3.1-9", [ 3, 1, 9 ], 329, 36, "mirrored", 
      "X7BD42D8481300E25" ], 
  [ "\033[10XAllElementsOfCTZWithGivenModulus\033[110X", "3.1-9", 
      [ 3, 1, 9 ], 329, 36, "allelementsofctzwithgivenmodulus", 
      "X7BD42D8481300E25" ], 
  [ "\033[10XNrElementsOfCTZWithGivenModulus\033[110X", "3.1-9", [ 3, 1, 9 ], 
      329, 36, "nrelementsofctzwithgivenmodulus", "X7BD42D8481300E25" ], 
  [ "\033[10XNrConjugacyClassesOfCTZOfOrder\033[110X", "3.1-9", [ 3, 1, 9 ], 
      329, 36, "nrconjugacyclassesofctzoforder", "X7BD42D8481300E25" ], 
  [ "\033[2XStructureDescription\033[102X (for an rcwa group)", "3.2-1", 
      [ 3, 2, 1 ], 409, 37, "structuredescription for an rcwa group", 
      "X864A7E3E87F366A8" ], 
  [ "\033[10XSize\033[110X for an rcwa group", "3.2-1", [ 3, 2, 1 ], 409, 37, 
      "size for an rcwa group", "X864A7E3E87F366A8" ], 
  [ "\033[10XIsomorphismPermGroup\033[110X for a finite rcwa group", "3.2-1", 
      [ 3, 2, 1 ], 409, 37, "isomorphismpermgroup for a finite rcwa group", 
      "X864A7E3E87F366A8" ], 
  [ "rcwa group membership test", "3.2-1", [ 3, 2, 1 ], 409, 37, 
      "rcwa group membership test", "X864A7E3E87F366A8" ], 
  [ "\033[10XOrbitLengthBound\033[110X", "3.2-1", [ 3, 2, 1 ], 409, 37, 
      "orbitlengthbound", "X864A7E3E87F366A8" ], 
  [ "rcwa group conjugacy problem", "3.2-1", [ 3, 2, 1 ], 409, 37, 
      "rcwa group conjugacy problem", "X864A7E3E87F366A8" ], 
  [ "\033[10XIsConjugate\033[110X for elements of RCWA(R)", "3.2-1", 
      [ 3, 2, 1 ], 409, 37, "isconjugate for elements of rcwa r", 
      "X864A7E3E87F366A8" ], 
  [ "\033[10XIsConjugate\033[110X for elements of CT(R)", "3.2-1", 
      [ 3, 2, 1 ], 409, 37, "isconjugate for elements of ct r", 
      "X864A7E3E87F366A8" ], 
  [ "\033[10XIsTame\033[110X for an rcwa group", "3.2-1", [ 3, 2, 1 ], 409, 
      37, "istame for an rcwa group", "X864A7E3E87F366A8" ], 
  [ "\033[10XIsSolvable\033[110X for an rcwa group", "3.2-1", [ 3, 2, 1 ], 
      409, 37, "issolvable for an rcwa group", "X864A7E3E87F366A8" ], 
  [ "\033[10XIsPerfect\033[110X for an rcwa group", "3.2-1", [ 3, 2, 1 ], 
      409, 37, "isperfect for an rcwa group", "X864A7E3E87F366A8" ], 
  [ "\033[10XDerivedSubgroup\033[110X of an rcwa group", "3.2-1", 
      [ 3, 2, 1 ], 409, 37, "derivedsubgroup of an rcwa group", 
      "X864A7E3E87F366A8" ], 
  [ "\033[10XIndex\033[110X for rcwa groups", "3.2-1", [ 3, 2, 1 ], 409, 37, 
      "index for rcwa groups", "X864A7E3E87F366A8" ], 
  [ "\033[10XIsomorphismMatrixGroup\033[110X for an rcwa group", "3.2-1", 
      [ 3, 2, 1 ], 409, 37, "isomorphismmatrixgroup for an rcwa group", 
      "X864A7E3E87F366A8" ], 
  [ "\033[10XExponent\033[110X of an rcwa group", "3.2-1", [ 3, 2, 1 ], 409, 
      37, "exponent of an rcwa group", "X864A7E3E87F366A8" ], 
  [ 
      "\033[2XEpimorphismFromFpGroup\033[102X (for an rcwa group and a search rad\
ius)", "3.2-2", [ 3, 2, 2 ], 603, 41, 
      "epimorphismfromfpgroup for an rcwa group and a search radius", 
      "X83527DA37C5CB2C7" ], 
  [ 
      "\033[2XPreImagesRepresentative\033[102X (for an epi. from a free group to \
an rcwa group)", "3.2-3", [ 3, 2, 3 ], 631, 41, 
      "preimagesrepresentative for an epi. from a free group to an rcwa group"
        , "X8463E34286344F06" ], 
  [ 
      "\033[10XPreImagesRepresentatives\033[110X for an epi. from a free group to\
 an rcwa group", "3.2-3", [ 3, 2, 3 ], 631, 41, 
      "preimagesrepresentatives for an epi. from a free group to an rcwa group\
", "X8463E34286344F06" ], 
  [ "\033[10XSupport\033[110X of an rcwa group", "3.3", [ 3, 3, 0 ], 674, 42, 
      "support of an rcwa group", "X8151BE577FFDCE87" ], 
  [ "\033[10XMovedPoints\033[110X of an rcwa group", "3.3", [ 3, 3, 0 ], 674, 
      42, "movedpoints of an rcwa group", "X8151BE577FFDCE87" ], 
  [ "\033[10XIsTransitive\033[110X for an rcwa group, on its underlying ring",
      "3.3", [ 3, 3, 0 ], 674, 42, 
      "istransitive for an rcwa group on its underlying ring", 
      "X8151BE577FFDCE87" ], 
  [ 
      "\033[10XIsTransitiveOnNonnegativeIntegersInSupport\033[110X for an rcwa gr\
oup over Z", "3.3", [ 3, 3, 0 ], 674, 42, 
      "istransitiveonnonnegativeintegersinsupport for an rcwa group over z", 
      "X8151BE577FFDCE87" ], 
  [ 
      "\033[10XTryIsTransitiveOnNonnegativeIntegersInSupport\033[110X for an rcwa\
 group over Z and a search limit", "3.3", [ 3, 3, 0 ], 674, 42, 
      "tryistransitiveonnonnegativeintegersinsupport for an rcwa group over z \
and a search limit", "X8151BE577FFDCE87" ], 
  [ 
      "\033[10XTransitivityCertificate\033[110X for an rcwa group over Z and a se\
arch limit", "3.3", [ 3, 3, 0 ], 674, 42, 
      "transitivitycertificate for an rcwa group over z and a search limit", 
      "X8151BE577FFDCE87" ], 
  [ 
      "\033[10XTryToComputeTransitivityCertificate\033[110X for an rcwa group ove\
r Z and a search limit", "3.3", [ 3, 3, 0 ], 674, 42, 
      "trytocomputetransitivitycertificate for an rcwa group over z and a sear\
ch limit", "X8151BE577FFDCE87" ], 
  [ "\033[2XOrbit\033[102X (for an rcwa group and a point)", "3.3-1", 
      [ 3, 3, 1 ], 790, 44, "orbit for an rcwa group and a point", 
      "X7C046BE97EE53692" ], 
  [ "\033[2XOrbit\033[102X (for an rcwa group and a set)", "3.3-1", 
      [ 3, 3, 1 ], 790, 44, "orbit for an rcwa group and a set", 
      "X7C046BE97EE53692" ], 
  [ 
      "\033[2XGrowthFunctionOfOrbit\033[102X (for an rcwa group, a point and boun\
ds on radius and sphere size)", "3.3-2", [ 3, 3, 2 ], 831, 44, 
      "growthfunctionoforbit for an rcwa group a point and bounds on radius an\
d sphere size", "X7B7A3AF97D195E33" ], 
  [ 
      "\033[2XGrowthFunctionOfOrbit\033[102X (for an rcwa group orbit and bounds \
on radius and sphere size)", "3.3-2", [ 3, 3, 2 ], 831, 44, 
      "growthfunctionoforbit for an rcwa group orbit and bounds on radius and \
sphere size", "X7B7A3AF97D195E33" ], 
  [ "\033[10XDistanceToNextSmallerPointInOrbit\033[110X", "3.3-2", 
      [ 3, 3, 2 ], 831, 44, "distancetonextsmallerpointinorbit", 
      "X7B7A3AF97D195E33" ], 
  [ 
      "\033[2XDrawOrbitPicture\033[102X (G, p0, bound, h, w, colored, palette, fi\
lename)", "3.3-3", [ 3, 3, 3 ], 882, 45, 
      "draworbitpicture g p0 bound h w colored palette filename", 
      "X7D9DFAC97F9F0891" ], 
  [ 
      "\033[2XShortOrbits\033[102X (for rcwa group, set of points and bound on le\
ngth)", "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "shortorbits for rcwa group set of points and bound on length", 
      "X78F145197F63A25D" ], 
  [ 
      "\033[2XShortOrbits\033[102X (for rcwa group, set of points and bounds on l\
ength and points)", "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "shortorbits for rcwa group set of points and bounds on length and point\
s", "X78F145197F63A25D" ], 
  [ 
      "\033[2XShortCycles\033[102X (for rcwa permutation, set of points and bound\
 on length)", "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "shortcycles for rcwa permutation set of points and bound on length", 
      "X78F145197F63A25D" ], 
  [ 
      "\033[2XShortCycles\033[102X (for rcwa permutation, set of points and bound\
s on length and points)", "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "shortcycles for rcwa permutation set of points and bounds on length and\
 points", "X78F145197F63A25D" ], 
  [ "\033[2XShortCycles\033[102X (for rcwa permutation and bound on length)", 
      "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "shortcycles for rcwa permutation and bound on length", 
      "X78F145197F63A25D" ], 
  [ "\033[10XCyclesOnFiniteOrbit\033[110X", "3.3-4", [ 3, 3, 4 ], 916, 46, 
      "cyclesonfiniteorbit", "X78F145197F63A25D" ], 
  [ 
      "\033[2XShortResidueClassOrbits\033[102X (for rcwa group and bounds on modu\
lus and length)", "3.3-5", [ 3, 3, 5 ], 971, 47, 
      "shortresidueclassorbits for rcwa group and bounds on modulus and length\
", "X80D18D0778A96C16" ], 
  [ 
      "\033[2XShortResidueClassCycles\033[102X (for rcwa permutation and bounds o\
n modulus and length)", "3.3-5", [ 3, 3, 5 ], 971, 47, 
      "shortresidueclasscycles for rcwa permutation and bounds on modulus and \
length", "X80D18D0778A96C16" ], 
  [ "\033[2XComputeCycleLength\033[102X (for an rcwa permutation and a point)"
        , "3.3-6", [ 3, 3, 6 ], 1016, 48, 
      "computecyclelength for an rcwa permutation and a point", 
      "X80C080287A355EFF" ], 
  [ 
      "\033[2XCycleRepresentativesAndLengths\033[102X (for rcwa permutation and s\
et of seed points)", "3.3-7", [ 3, 3, 7 ], 1062, 48, 
      "cyclerepresentativesandlengths for rcwa permutation and set of seed poi\
nts", "X7F76B04E86C77B94" ], 
  [ 
      "\033[2XFixedResidueClasses\033[102X (for rcwa mapping and bound on modulus\
)", "3.3-8", [ 3, 3, 8 ], 1112, 49, 
      "fixedresidueclasses for rcwa mapping and bound on modulus", 
      "X8777A62286597D53" ], 
  [ 
      "\033[2XFixedResidueClasses\033[102X (for rcwa group and bound on modulus)"
        , "3.3-8", [ 3, 3, 8 ], 1112, 49, 
      "fixedresidueclasses for rcwa group and bound on modulus", 
      "X8777A62286597D53" ], 
  [ "\033[2XBall\033[102X (for group, element and radius)", "3.3-9", 
      [ 3, 3, 9 ], 1135, 50, "ball for group element and radius", 
      "X8735855587CC029F" ], 
  [ "\033[2XBall\033[102X (for group, point, radius and action)", "3.3-9", 
      [ 3, 3, 9 ], 1135, 50, "ball for group point radius and action", 
      "X8735855587CC029F" ], 
  [ "\033[2XBall\033[102X (for group, point and radius)", "3.3-9", 
      [ 3, 3, 9 ], 1135, 50, "ball for group point and radius", 
      "X8735855587CC029F" ], 
  [ "\033[10XRestrictedBall\033[110X G, g, r, modulusbound", "3.3-9", 
      [ 3, 3, 9 ], 1135, 50, "restrictedball g g r modulusbound", 
      "X8735855587CC029F" ], 
  [ "\033[2XRepresentativeAction\033[102X (G, source, destination, action)", 
      "3.3-10", [ 3, 3, 10 ], 1177, 50, 
      "representativeaction g source destination action", "X87A3462C82FD376E" 
     ], 
  [ 
      "\033[10XRepresentativeActionPreImage\033[110X G, source, destination, acti\
on, F", "3.3-10", [ 3, 3, 10 ], 1177, 50, 
      "representativeactionpreimage g source destination action f", 
      "X87A3462C82FD376E" ], 
  [ 
      "\033[2XProjectionsToInvariantUnionsOfResidueClasses\033[102X (for rcwa gro\
up and modulus)", "3.3-11", [ 3, 3, 11 ], 1253, 52, 
      "projectionstoinvariantunionsofresidueclasses for rcwa group and modulus\
", "X8587246A7F890849" ], 
  [ "\033[10XOrbitsModulo\033[110X for an rcwa group and a modulus", 
      "3.3-11", [ 3, 3, 11 ], 1253, 52, 
      "orbitsmodulo for an rcwa group and a modulus", "X8587246A7F890849" ], 
  [ "\033[2XRepresentativeAction\033[102X (for RCWA(R) and 2 partitions of R i\
nto residue classes)", "3.3-12", [ 3, 3, 12 ], 1279, 52, 
      "representativeaction for rcwa r and 2 partitions of r into residue clas\
ses", "X866843D08213067E" ], 
  [ 
      "\033[2XCollatzLikeMappingByOrbitTree\033[102X (for rcwa group, root point \
and range of radii)", "3.3-13", [ 3, 3, 13 ], 1320, 53, 
      "collatzlikemappingbyorbittree for rcwa group root point and range of ra\
dii", "X82DBAF35788FA239" ], 
  [ "\033[2XRespectedPartition\033[102X (of a tame rcwa group)", "3.4-1", 
      [ 3, 4, 1 ], 1383, 54, "respectedpartition of a tame rcwa group", 
      "X7F523A6B87825AB8" ], 
  [ "\033[2XRespectedPartition\033[102X (of a tame rcwa permutation)", 
      "3.4-1", [ 3, 4, 1 ], 1383, 54, 
      "respectedpartition of a tame rcwa permutation", "X7F523A6B87825AB8" ], 
  [ "\033[10XRespectsPartition\033[110X for an rcwa group", "3.4-1", 
      [ 3, 4, 1 ], 1383, 54, "respectspartition for an rcwa group", 
      "X7F523A6B87825AB8" ], 
  [ "\033[10XRespectsPartition\033[110X for an rcwa permutation", "3.4-1", 
      [ 3, 4, 1 ], 1383, 54, "respectspartition for an rcwa permutation", 
      "X7F523A6B87825AB8" ], 
  [ "\033[10XPermutationOpNC\033[110X g, P, OnPoints", "3.4-1", [ 3, 4, 1 ], 
      1383, 54, "permutationopnc g p onpoints", "X7F523A6B87825AB8" ], 
  [ "\033[2XActionOnRespectedPartition\033[102X (for a tame rcwa group)", 
      "3.4-2", [ 3, 4, 2 ], 1417, 54, 
      "actiononrespectedpartition for a tame rcwa group", "X831ADC1584DE6113" 
     ], 
  [ 
      "\033[2XKernelOfActionOnRespectedPartition\033[102X (for a tame rcwa group)\
", "3.4-2", [ 3, 4, 2 ], 1417, 54, 
      "kernelofactiononrespectedpartition for a tame rcwa group", 
      "X831ADC1584DE6113" ], 
  [ 
      "\033[2XRankOfKernelOfActionOnRespectedPartition\033[102X (for a tame rcwa \
group)", "3.4-2", [ 3, 4, 2 ], 1417, 54, 
      "rankofkernelofactiononrespectedpartition for a tame rcwa group", 
      "X831ADC1584DE6113" ], 
  [ "\033[10XIntegralConjugate\033[110X of a tame rcwa group", "3.4-2", 
      [ 3, 4, 2 ], 1417, 54, "integralconjugate of a tame rcwa group", 
      "X831ADC1584DE6113" ], 
  [ "\033[10XIntegralConjugate\033[110X of a tame rcwa permutation", "3.4-2", 
      [ 3, 4, 2 ], 1417, 54, "integralconjugate of a tame rcwa permutation", 
      "X831ADC1584DE6113" ], 
  [ "\033[10XIntegralizingConjugator\033[110X of a tame rcwa group", "3.4-2", 
      [ 3, 4, 2 ], 1417, 54, "integralizingconjugator of a tame rcwa group", 
      "X831ADC1584DE6113" ], 
  [ "\033[10XIntegralizingConjugator\033[110X of a tame rcwa permutation", 
      "3.4-2", [ 3, 4, 2 ], 1417, 54, 
      "integralizingconjugator of a tame rcwa permutation", 
      "X831ADC1584DE6113" ], 
  [ "\033[10XRandom\033[110X RCWA(R)", "3.5", [ 3, 5, 0 ], 1479, 55, 
      "random rcwa r", "X81941A247942FB99" ], 
  [ "\033[10XRandom\033[110X CT(R)", "3.5", [ 3, 5, 0 ], 1479, 55, 
      "random ct r", "X81941A247942FB99" ], 
  [ "\033[2XIsRcwaGroup\033[102X", "3.6-1", [ 3, 6, 1 ], 1530, 56, 
      "isrcwagroup", "X84AFBB997B694A3D" ], 
  [ "\033[2XIsRcwaGroupOverZ\033[102X", "3.6-1", [ 3, 6, 1 ], 1530, 56, 
      "isrcwagroupoverz", "X84AFBB997B694A3D" ], 
  [ "\033[2XIsRcwaGroupOverZ_pi\033[102X", "3.6-1", [ 3, 6, 1 ], 1530, 56, 
      "isrcwagroupoverz_pi", "X84AFBB997B694A3D" ], 
  [ "\033[2XIsRcwaGroupOverGFqx\033[102X", "3.6-1", [ 3, 6, 1 ], 1530, 56, 
      "isrcwagroupovergfqx", "X84AFBB997B694A3D" ], 
  [ "\033[10XIsRcwaGroupOverZOrZ_pi\033[110X", "3.6-1", [ 3, 6, 1 ], 1530, 
      56, "isrcwagroupoverzorz_pi", "X84AFBB997B694A3D" ], 
  [ "\033[10XIsNaturalRCWA\033[110X", "3.6-1", [ 3, 6, 1 ], 1530, 56, 
      "isnaturalrcwa", "X84AFBB997B694A3D" ], 
  [ "\033[10XIsNaturalCT\033[110X", "3.6-1", [ 3, 6, 1 ], 1530, 56, 
      "isnaturalct", "X84AFBB997B694A3D" ], 
  [ "rcwa monoid definition", "4.", [ 4, 0, 0 ], 1, 58, 
      "rcwa monoid definition", "X81C90F7C7BA25BDF" ], 
  [ "\033[10XMonoid\033[110X", "4.1", [ 4, 1, 0 ], 8, 58, "monoid", 
      "X83D42E26849D5580" ], 
  [ "\033[10XMonoidByGenerators\033[110X", "4.1", [ 4, 1, 0 ], 8, 58, 
      "monoidbygenerators", "X83D42E26849D5580" ], 
  [ "\033[10XView\033[110X for an rcwa monoid", "4.1", [ 4, 1, 0 ], 8, 58, 
      "view for an rcwa monoid", "X83D42E26849D5580" ], 
  [ "\033[10XDisplay\033[110X for an rcwa monoid", "4.1", [ 4, 1, 0 ], 8, 58, 
      "display for an rcwa monoid", "X83D42E26849D5580" ], 
  [ "\033[10XPrint\033[110X for an rcwa monoid", "4.1", [ 4, 1, 0 ], 8, 58, 
      "print for an rcwa monoid", "X83D42E26849D5580" ], 
  [ "\033[10XString\033[110X for an rcwa monoid", "4.1", [ 4, 1, 0 ], 8, 58, 
      "string for an rcwa monoid", "X83D42E26849D5580" ], 
  [ "\033[2XRcwa\033[102X (the monoid formed by all rcwa mappings of a ring)",
      "4.1-1", [ 4, 1, 1 ], 42, 59, 
      "rcwa the monoid formed by all rcwa mappings of a ring", 
      "X7B95FCA279E0D6CC" ], 
  [ 
      "\033[10XRestriction\033[110X for an rcwa monoid, by an injective rcwa mapp\
ing", "4.1-1", [ 4, 1, 1 ], 42, 59, 
      "restriction for an rcwa monoid by an injective rcwa mapping", 
      "X7B95FCA279E0D6CC" ], 
  [ 
      "\033[10XInduction\033[110X for an rcwa monoid, by an injective rcwa mappin\
g", "4.1-1", [ 4, 1, 1 ], 42, 59, 
      "induction for an rcwa monoid by an injective rcwa mapping", 
      "X7B95FCA279E0D6CC" ], 
  [ "\033[10XSize\033[110X for an rcwa monoid", "4.2", [ 4, 2, 0 ], 78, 59, 
      "size for an rcwa monoid", "X8759954F7EB1A658" ], 
  [ "\033[10Xrcwa monoids\033[110X membership test", "4.2", [ 4, 2, 0 ], 78, 
      59, "rcwa monoids membership test", "X8759954F7EB1A658" ], 
  [ "\033[10XIsSubset\033[110X for two rcwa monoids", "4.2", [ 4, 2, 0 ], 78, 
      59, "issubset for two rcwa monoids", "X8759954F7EB1A658" ], 
  [ "\033[10XSupport\033[110X of an rcwa monoid", "4.2", [ 4, 2, 0 ], 78, 59, 
      "support of an rcwa monoid", "X8759954F7EB1A658" ], 
  [ "\033[10XModulus\033[110X of an rcwa monoid", "4.2", [ 4, 2, 0 ], 78, 59, 
      "modulus of an rcwa monoid", "X8759954F7EB1A658" ], 
  [ "\033[10XIsTame\033[110X for an rcwa monoid", "4.2", [ 4, 2, 0 ], 78, 59, 
      "istame for an rcwa monoid", "X8759954F7EB1A658" ], 
  [ "\033[10XPrimeSet\033[110X of an rcwa monoid", "4.2", [ 4, 2, 0 ], 78, 
      59, "primeset of an rcwa monoid", "X8759954F7EB1A658" ], 
  [ "\033[10XIsIntegral\033[110X for an rcwa monoid", "4.2", [ 4, 2, 0 ], 78, 
      59, "isintegral for an rcwa monoid", "X8759954F7EB1A658" ], 
  [ "\033[10XIsClassWiseOrderPreserving\033[110X for an rcwa monoid", "4.2", 
      [ 4, 2, 0 ], 78, 59, "isclasswiseorderpreserving for an rcwa monoid", 
      "X8759954F7EB1A658" ], 
  [ "\033[10XIsSignPreserving\033[110X for an rcwa monoid", "4.2", 
      [ 4, 2, 0 ], 78, 59, "issignpreserving for an rcwa monoid", 
      "X8759954F7EB1A658" ], 
  [ "rcwa monoid modulus", "4.2", [ 4, 2, 0 ], 78, 59, "rcwa monoid modulus", 
      "X8759954F7EB1A658" ], 
  [ "rcwa monoid tame", "4.2", [ 4, 2, 0 ], 78, 59, "rcwa monoid tame", 
      "X8759954F7EB1A658" ], 
  [ "rcwa monoid wild", "4.2", [ 4, 2, 0 ], 78, 59, "rcwa monoid wild", 
      "X8759954F7EB1A658" ], 
  [ "rcwa monoid prime set", "4.2", [ 4, 2, 0 ], 78, 59, 
      "rcwa monoid prime set", "X8759954F7EB1A658" ], 
  [ "rcwa monoid integral", "4.2", [ 4, 2, 0 ], 78, 59, 
      "rcwa monoid integral", "X8759954F7EB1A658" ], 
  [ "rcwa monoid class-wise order-preserving", "4.2", [ 4, 2, 0 ], 78, 59, 
      "rcwa monoid class-wise order-preserving", "X8759954F7EB1A658" ], 
  [ "rcwa monoid sign-preserving", "4.2", [ 4, 2, 0 ], 78, 59, 
      "rcwa monoid sign-preserving", "X8759954F7EB1A658" ], 
  [ 
      "\033[2XShortOrbits\033[102X (for rcwa monoid, set of points and bound on l\
ength)", "4.2-1", [ 4, 2, 1 ], 136, 60, 
      "shortorbits for rcwa monoid set of points and bound on length", 
      "X87DB896687475084" ], 
  [ "\033[2XBall\033[102X (for monoid, element and radius)", "4.2-2", 
      [ 4, 2, 2 ], 165, 61, "ball for monoid element and radius", 
      "X787848137DF1C245" ], 
  [ "\033[2XBall\033[102X (for monoid, point, radius and action)", "4.2-2", 
      [ 4, 2, 2 ], 165, 61, "ball for monoid point radius and action", 
      "X787848137DF1C245" ], 
  [ "rcwa mapping of Z x Z, definition", "5.1", [ 5, 1, 0 ], 22, 62, 
      "rcwa mapping of z x z definition", "X7F67C1DF7DADDE34" ], 
  [ "rcwa mapping modulus", "5.1", [ 5, 1, 0 ], 22, 62, 
      "rcwa mapping modulus", "X7F67C1DF7DADDE34" ], 
  [ "rcwa mapping class-wise translating", "5.1", [ 5, 1, 0 ], 22, 62, 
      "rcwa mapping class-wise translating", "X7F67C1DF7DADDE34" ], 
  [ "class-wise translating definition", "5.1", [ 5, 1, 0 ], 22, 62, 
      "class-wise translating definition", "X7F67C1DF7DADDE34" ], 
  [ "prime set definition", "5.1", [ 5, 1, 0 ], 22, 62, 
      "prime set definition", "X7F67C1DF7DADDE34" ], 
  [ "\033[2XRcwaMapping\033[102X (by ring = Z x Z, modulus and coefficients)",
      "5.2-1", [ 5, 2, 1 ], 52, 63, 
      "rcwamapping by ring = z x z modulus and coefficients", 
      "X81D273F17BE0C456" ], 
  [ 
      "\033[2XRcwaMapping\033[102X (by two partitions of Z x Z into residue class\
es)", "5.2-1", [ 5, 2, 1 ], 52, 63, 
      "rcwamapping by two partitions of z x z into residue classes", 
      "X81D273F17BE0C456" ], 
  [ "\033[2XRcwaMapping\033[102X (of Z x Z, by residue class cycles)", 
      "5.2-1", [ 5, 2, 1 ], 52, 63, 
      "rcwamapping of z x z by residue class cycles", "X81D273F17BE0C456" ], 
  [ "\033[2XRcwaMapping\033[102X (of Z x Z, by projections to coordinates)", 
      "5.2-1", [ 5, 2, 1 ], 52, 63, 
      "rcwamapping of z x z by projections to coordinates", 
      "X81D273F17BE0C456" ], 
  [ "\033[2XClassTransposition\033[102X (r1, L1, r2, L2 (for Z x Z))", 
      "5.2-2", [ 5, 2, 2 ], 201, 65, 
      "classtransposition r1 l1 r2 l2 for z x z", "X871CF80A7B719D90" ], 
  [ "\033[2XClassTransposition\033[102X (cl1, cl2 (for Z x Z))", "5.2-2", 
      [ 5, 2, 2 ], 201, 65, "classtransposition cl1 cl2 for z x z", 
      "X871CF80A7B719D90" ], 
  [ "\033[10XTransposedClasses\033[110X of a class transposition of Z x Z", 
      "5.2-2", [ 5, 2, 2 ], 201, 65, 
      "transposedclasses of a class transposition of z x z", 
      "X871CF80A7B719D90" ], 
  [ 
      "\033[10XSplittedClassTransposition\033[110X for a class transposition of Z\
 x Z", "5.2-2", [ 5, 2, 2 ], 201, 65, 
      "splittedclasstransposition for a class transposition of z x z", 
      "X871CF80A7B719D90" ], 
  [ "\033[2XClassRotation\033[102X (r, L, u; for Z x Z)", "5.2-3", 
      [ 5, 2, 3 ], 267, 66, "classrotation r l u for z x z", 
      "X858A90547E4123B8" ], 
  [ "\033[2XClassRotation\033[102X (cl, u; for Z x Z)", "5.2-3", [ 5, 2, 3 ], 
      267, 66, "classrotation cl u for z x z", "X858A90547E4123B8" ], 
  [ "\033[10XRotationFactor\033[110X of a class rotation of Z x Z", "5.2-3", 
      [ 5, 2, 3 ], 267, 66, "rotationfactor of a class rotation of z x z", 
      "X858A90547E4123B8" ], 
  [ "\033[2XClassShift\033[102X (r, L, k; for Z x Z)", "5.2-4", [ 5, 2, 4 ], 
      304, 67, "classshift r l k for z x z", "X8123540E82880449" ], 
  [ "\033[2XClassShift\033[102X (cl, k; for Z x Z)", "5.2-4", [ 5, 2, 4 ], 
      304, 67, "classshift cl k for z x z", "X8123540E82880449" ], 
  [ "\033[10XIsClassTransposition\033[110X for an rcwa mapping of Z x Z", 
      "5.2-4", [ 5, 2, 4 ], 304, 67, 
      "isclasstransposition for an rcwa mapping of z x z", 
      "X8123540E82880449" ], 
  [ "\033[10XIsClassRotation\033[110X for an rcwa mapping of Z x Z", "5.2-4", 
      [ 5, 2, 4 ], 304, 67, "isclassrotation for an rcwa mapping of z x z", 
      "X8123540E82880449" ], 
  [ "\033[10XIsClassShift\033[110X for an rcwa mapping of Z x Z", "5.2-4", 
      [ 5, 2, 4 ], 304, 67, "isclassshift for an rcwa mapping of z x z", 
      "X8123540E82880449" ], 
  [ "\033[10XView\033[110X for an rcwa mapping of Z x Z", "5.3", [ 5, 3, 0 ], 
      342, 67, "view for an rcwa mapping of z x z", "X85ADFECB7B84EAE1" ], 
  [ "\033[10XDisplay\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "display for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XPrint\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "print for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XString\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "string for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XLaTeXStringRcwaMapping\033[110X for an rcwa mapping of Z x Z", 
      "5.3", [ 5, 3, 0 ], 342, 67, 
      "latexstringrcwamapping for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XLaTeXAndXDVI\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "latexandxdvi for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XModulus\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "modulus of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XCoefficients\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "coefficients of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XSupport\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "support of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XMovedPoints\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "movedpoints of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XOrder\033[110X of an rcwa mapping of Z x Z", "5.3", [ 5, 3, 0 ], 
      342, 67, "order of an rcwa mapping of z x z", "X85ADFECB7B84EAE1" ], 
  [ "\033[10XMultiplier\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "multiplier of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XDivisor\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "divisor of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XPrimeSet\033[110X of an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "primeset of an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XOne\033[110X for an rcwa mapping of Z x Z", "5.3", [ 5, 3, 0 ], 
      342, 67, "one for an rcwa mapping of z x z", "X85ADFECB7B84EAE1" ], 
  [ "\033[10XZero\033[110X for an rcwa mapping of Z x Z", "5.3", [ 5, 3, 0 ], 
      342, 67, "zero for an rcwa mapping of z x z", "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsInjective\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "isinjective for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsSurjective\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "issurjective for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsBijective\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "isbijective for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsTame\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "istame for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsIntegral\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "isintegral for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsBalanced\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "isbalanced for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsClassWiseOrderPreserving\033[110X for an rcwa mapping of Z x Z"
        , "5.3", [ 5, 3, 0 ], 342, 67, 
      "isclasswiseorderpreserving for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsOne\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "isone for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XIsZero\033[110X for an rcwa mapping of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "iszero for an rcwa mapping of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XTrajectory\033[110X for rcwa mappings of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "trajectory for rcwa mappings of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ 
      "\033[10XShortCycles\033[110X for rcwa perm. of Z x Z, set of points and ma\
x. length", "5.3", [ 5, 3, 0 ], 342, 67, 
      "shortcycles for rcwa perm. of z x z set of points and max. length", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XMultpk\033[110X for rcwa mapping of Z x Z, prime and exponent", 
      "5.3", [ 5, 3, 0 ], 342, 67, 
      "multpk for rcwa mapping of z x z prime and exponent", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XClassWiseOrderPreservingOn\033[110X for rcwa mappings of Z x Z", 
      "5.3", [ 5, 3, 0 ], 342, 67, 
      "classwiseorderpreservingon for rcwa mappings of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XClassWiseOrderReversingOn\033[110X for rcwa mappings of Z x Z", 
      "5.3", [ 5, 3, 0 ], 342, 67, 
      "classwiseorderreversingon for rcwa mappings of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[10XClassWiseConstantOn\033[110X for rcwa mappings of Z x Z", "5.3", 
      [ 5, 3, 0 ], 342, 67, "classwiseconstanton for rcwa mappings of z x z", 
      "X85ADFECB7B84EAE1" ], 
  [ "\033[2XProjectionsToCoordinates\033[102X (for an rcwa mapping of Z x Z)",
      "5.3-1", [ 5, 3, 1 ], 376, 68, 
      "projectionstocoordinates for an rcwa mapping of z x z", 
      "X8408B7837C9EED36" ], 
  [ 
      "\033[10XRcwa\033[110X the monoid formed by all rcwa permutations of Z x Z"
        , "5.4", [ 5, 4, 0 ], 407, 69, 
      "rcwa the monoid formed by all rcwa permutations of z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XRCWA\033[110X the group formed by all rcwa permutations of Z x Z"
        , "5.4", [ 5, 4, 0 ], 407, 69, 
      "rcwa the group formed by all rcwa permutations of z x z", 
      "X86AFE1E6807AADA6" ], 
  [ 
      "\033[10XCT\033[110X the group generated by all class transpositions of Z x\
 Z", "5.4", [ 5, 4, 0 ], 407, 69, 
      "ct the group generated by all class transpositions of z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XSize\033[110X for an rcwa group over Z x Z", "5.4", [ 5, 4, 0 ], 
      407, 69, "size for an rcwa group over z x z", "X86AFE1E6807AADA6" ], 
  [ "\033[10XIsIntegral\033[110X for an rcwa group over Z x Z", "5.4", 
      [ 5, 4, 0 ], 407, 69, "isintegral for an rcwa group over z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XIsClassWiseTranslating\033[110X for an rcwa group over Z x Z", 
      "5.4", [ 5, 4, 0 ], 407, 69, 
      "isclasswisetranslating for an rcwa group over z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XIsTame\033[110X for an rcwa group over Z x Z", "5.4", 
      [ 5, 4, 0 ], 407, 69, "istame for an rcwa group over z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XModulus\033[110X of an rcwa group over Z x Z", "5.4", 
      [ 5, 4, 0 ], 407, 69, "modulus of an rcwa group over z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XMultiplier\033[110X of an rcwa group over Z x Z", "5.4", 
      [ 5, 4, 0 ], 407, 69, "multiplier of an rcwa group over z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[10XDivisor\033[110X of an rcwa group over Z x Z", "5.4", 
      [ 5, 4, 0 ], 407, 69, "divisor of an rcwa group over z x z", 
      "X86AFE1E6807AADA6" ], 
  [ "\033[2XIsomorphismRcwaGroup\033[102X (for SL(2,Z) and a residue class)", 
      "5.4-1", [ 5, 4, 1 ], 424, 69, 
      "isomorphismrcwagroup for sl 2 z and a residue class", 
      "X79A8F9AD7E839862" ], 
  [ "\033[2XIsomorphismRcwaGroup\033[102X (for GL(2,Z) and a residue class)", 
      "5.4-1", [ 5, 4, 1 ], 424, 69, 
      "isomorphismrcwagroup for gl 2 z and a residue class", 
      "X79A8F9AD7E839862" ], 
  [ "\033[10XDrawOrbitPicture\033[110X for rcwa groups over Z x Z", "5.4-1", 
      [ 5, 4, 1 ], 424, 69, "draworbitpicture for rcwa groups over z x z", 
      "X79A8F9AD7E839862" ], 
  [ "\033[2XDrawGrid\033[102X (U, yrange, xrange, filename)", "5.4-2", 
      [ 5, 4, 2 ], 469, 70, "drawgrid u yrange xrange filename", 
      "X812135EB87527F01" ], 
  [ "\033[2XDrawGrid\033[102X (P, yrange, xrange, filename)", "5.4-2", 
      [ 5, 4, 2 ], 469, 70, "drawgrid p yrange xrange filename", 
      "X812135EB87527F01" ], 
  [ "\033[2XLoadRCWAExamples\033[102X", "6.1-1", [ 6, 1, 1 ], 11, 71, 
      "loadrcwaexamples", "X8714254784AFD64B" ], 
  [ 
      "\033[2XLoadDatabaseOfGroupsGeneratedBy3ClassTranspositions\033[102X (small\
 database)", "6.2-1", [ 6, 2, 1 ], 61, 72, 
      "loaddatabaseofgroupsgeneratedby3classtranspositions small database", 
      "X793E2C5C7FC935B8" ], 
  [ 
      "\033[2XLoadDatabaseOfGroupsGeneratedBy3ClassTranspositions\033[102X (small\
 or large database)", "6.2-2", [ 6, 2, 2 ], 146, 73, 
      "loaddatabaseofgroupsgeneratedby3classtranspositions small or large data\
base", "X7835875186273932" ], 
  [ "\033[2XLoadDatabaseOfGroupsGeneratedBy4ClassTranspositions\033[102X", 
      "6.2-3", [ 6, 2, 3 ], 164, 74, 
      "loaddatabaseofgroupsgeneratedby4classtranspositions", 
      "X792C90B48692D0D7" ], 
  [ "\033[2XLoadDatabaseOfProductsOf2ClassTranspositions\033[102X", "6.3-1", 
      [ 6, 3, 1 ], 245, 75, "loaddatabaseofproductsof2classtranspositions", 
      "X843E94467A1BB86C" ], 
  [ "\033[2XLoadDatabaseOfNonbalancedProductsOfClassTranspositions\033[102X", 
      "6.3-2", [ 6, 3, 2 ], 284, 76, 
      "loaddatabaseofnonbalancedproductsofclasstranspositions", 
      "X85B492697ACC4A54" ], 
  [ "\033[10XLoadRCWAExamples\033[110X", "7.", [ 7, 0, 0 ], 1, 77, 
      "loadrcwaexamples", "X7A489A5D79DA9E5C" ], 
  [ "\033[10XAssignGlobals\033[110X", "7.", [ 7, 0, 0 ], 1, 77, 
      "assignglobals", "X7A489A5D79DA9E5C" ], 
  [ "\033[2XRCWABuildManual\033[102X", "9.3-1", [ 9, 3, 1 ], 29, 146, 
      "rcwabuildmanual", "X7AA556D17F61A44C" ], 
  [ "\033[2XRCWATestInstall\033[102X", "9.4-1", [ 9, 4, 1 ], 42, 146, 
      "rcwatestinstall", "X8314E1597BF1555B" ], 
  [ "\033[2XRCWATestAll\033[102X", "9.4-2", [ 9, 4, 2 ], 52, 147, 
      "rcwatestall", "X877DDD787E4ABDC2" ], 
  [ "\033[2XRCWATestExamples\033[102X", "9.4-3", [ 9, 4, 3 ], 75, 147, 
      "rcwatestexamples", "X799793987AA3F34C" ], 
  [ "\033[2XInfoRCWA\033[102X", "9.5-1", [ 9, 5, 1 ], 86, 147, "inforcwa", 
      "X7BAF5F4986288983" ], 
  [ "\033[10XRCWAInfo\033[110X", "9.5-1", [ 9, 5, 1 ], 86, 147, "rcwainfo", 
      "X7BAF5F4986288983" ] ]
);
