\begin{theindex}

  \item \texttt  {ActionOnRespectedPartition}
    \subitem for a tame rcwa group, \hyperpage{56}
  \item \texttt{AllElementsOfCTZWithGivenModulus}, \hyperpage{38}
  \item \texttt{AssignGlobals}, \hyperpage{81}

  \indexspace

  \item balanced
    \subitem definition, \hyperpage{16}
  \item \texttt  {Ball}
    \subitem for group, element and radius, \hyperpage{51}
    \subitem for group, point and radius, \hyperpage{51}
    \subitem for group, point, radius and action, \hyperpage{51}
    \subitem for monoid, element and radius, \hyperpage{62}
    \subitem for monoid, point, radius and action, \hyperpage{62}

  \indexspace

  \item class-wise translating
    \subitem definition, \hyperpage{16}, \hyperpage{63}
  \item \texttt{ClassPairs}
    \subitem m, \hyperpage{10}
  \item \texttt  {ClassReflection}
    \subitem cl, \hyperpage{9}
    \subitem r, m, \hyperpage{9}
  \item \texttt  {ClassRotation}
    \subitem cl, u, \hyperpage{11}
    \subitem cl, u; for Z x Z, \hyperpage{67}
    \subitem r, L, u; for Z x Z, \hyperpage{67}
    \subitem r, m, u, \hyperpage{11}
  \item \texttt  {ClassShift}
    \subitem cl, \hyperpage{9}
    \subitem cl, k; for Z x Z, \hyperpage{68}
    \subitem r, L, k; for Z x Z, \hyperpage{68}
    \subitem r, m, \hyperpage{9}
  \item \texttt  {ClassTransposition}
    \subitem cl1, cl2, \hyperpage{10}
    \subitem cl1, cl2 (for Z x Z), \hyperpage{66}
    \subitem r1, L1, r2, L2 (for Z x Z), \hyperpage{66}
    \subitem r1, m1, r2, m2, \hyperpage{10}
  \item \texttt{ClassWiseConstantOn}, \hyperpage{19}
    \subitem for rcwa mappings of Z x Z, \hyperpage{68}
  \item \texttt{ClassWiseOrderPreservingOn}, \hyperpage{19}
    \subitem for rcwa mappings of Z x Z, \hyperpage{68}
  \item \texttt{ClassWiseOrderReversingOn}, \hyperpage{19}
    \subitem for rcwa mappings of Z x Z, \hyperpage{68}
  \item \texttt{Coefficients}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
  \item Collatz conjecture, \hyperpage{5}
  \item Collatz mapping, \hyperpage{5}
  \item \texttt  {CollatzLikeMappingByOrbitTree}
    \subitem for rcwa group, root point and range of radii, 
		\hyperpage{54}
  \item \texttt  {CommonRightInverse}
    \subitem of two injective rcwa mappings, \hyperpage{23}
  \item \texttt  {ComputeCycleLength}
    \subitem for an rcwa permutation and a point, \hyperpage{49}
  \item \texttt  {CT}
    \subitem subgroup of CT(Z), \hyperpage{37}
    \subitem the group generated by all class transpositions of a ring, 
		\hyperpage{37}
  \item \texttt{CT}
    \subitem the group generated by all class transpositions of Z x Z, 
		\hyperpage{70}
  \item \texttt  {CycleRepresentativesAndLengths}
    \subitem for rcwa permutation and set of seed points, 
		\hyperpage{50}
  \item \texttt{CyclesOnFiniteOrbit}, \hyperpage{47}

  \indexspace

  \item \texttt  {DecreasingOn}
    \subitem for an rcwa mapping, \hyperpage{25}
  \item \texttt{DensityOfSetOfFixedPoints}
    \subitem of an rcwa mapping, \hyperpage{16}
  \item \texttt{DensityOfSupport}
    \subitem of an rcwa mapping, \hyperpage{16}
  \item \texttt{DerivedSubgroup}
    \subitem of an rcwa group, \hyperpage{41}
  \item \texttt  {Determinant}
    \subitem of an rcwa mapping of Z, \hyperpage{19}
  \item \texttt  {DirectProduct}
    \subitem for rcwa groups over Z, \hyperpage{33}
  \item \texttt{Display}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{59}
  \item \texttt{DistanceToNextSmallerPointInOrbit}, \hyperpage{46}
  \item \texttt{Div}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{16}
  \item \texttt{Divisor}
    \subitem of an rcwa group, \hyperpage{36}
    \subitem of an rcwa group over Z x Z, \hyperpage{70}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
  \item divisor
    \subitem definition, \hyperpage{7}
  \item \texttt  {DrawGrid}
    \subitem P, yrange, xrange, filename, \hyperpage{71}
    \subitem U, yrange, xrange, filename, \hyperpage{71}
  \item \texttt  {DrawOrbitPicture}
    \subitem G, p0, bound, h, w, colored, palette, filename, 
		\hyperpage{47}
  \item \texttt{DrawOrbitPicture}
    \subitem for rcwa groups over Z x Z, \hyperpage{70}

  \indexspace

  \item \texttt  {EpimorphismFromFpGroup}
    \subitem for an rcwa group and a search radius, \hyperpage{42}
    \subitem for rcwa group, search radius and bound on number of affine parts, 
		\hyperpage{42}
  \item \texttt{Exponent}
    \subitem of an rcwa group, \hyperpage{41}
  \item \texttt{ExtRepOfObj}, \hyperpage{31}
    \subitem for a class transposition, \hyperpage{10}

  \indexspace

  \item \texttt  {Factorization}
    \subitem for an rcwa permutation of Z, \hyperpage{20}
  \item \texttt  {FactorizationIntoCSCRCT}
    \subitem for an rcwa permutation of Z, \hyperpage{20}
  \item \texttt  {FactorizationOnConnectedComponents}
    \subitem for an rcwa mapping and a modulus, \hyperpage{26}
  \item \texttt  {FixedPointsOfAffinePartialMappings}
    \subitem for an rcwa mapping, \hyperpage{18}
  \item \texttt  {FixedResidueClasses}
    \subitem for rcwa group and bound on modulus, \hyperpage{50}
    \subitem for rcwa mapping and bound on modulus, \hyperpage{50}

  \indexspace

  \item \texttt  {GluckTaylorInvariant}
    \subitem of a trajectory, \hyperpage{28}
  \item \texttt{Group}, \hyperpage{32}
  \item \texttt{GroupByGenerators}, \hyperpage{32}
  \item \texttt  {GroupByResidueClasses}
    \subitem the group `permuting a given list of residue classes', 
		\hyperpage{35}
  \item \texttt{GroupWithGenerators}, \hyperpage{32}
  \item \texttt  {GrowthFunctionOfOrbit}
    \subitem for an rcwa group orbit and bounds on radius and sphere size, 
		\hyperpage{46}
    \subitem for an rcwa group, a point and bounds on radius and sphere size, 
		\hyperpage{46}
  \item \texttt  {GuessedDivergence}
    \subitem of an rcwa mapping, \hyperpage{29}

  \indexspace

  \item \texttt{Image}
    \subitem of an rcwa mapping, \hyperpage{15}
  \item \texttt  {ImageDensity}
    \subitem of an rcwa mapping, \hyperpage{24}
  \item \texttt  {IncreasingOn}
    \subitem for an rcwa mapping, \hyperpage{25}
  \item \texttt{Index}
    \subitem for rcwa groups, \hyperpage{41}
  \item \texttt  {Induction}
    \subitem of an rcwa group, by an injective rcwa mapping, 
		\hyperpage{36}
    \subitem of an rcwa mapping, by an injective rcwa mapping, 
		\hyperpage{36}
  \item \texttt{Induction}
    \subitem for an rcwa monoid, by an injective rcwa mapping, 
		\hyperpage{60}
  \item \texttt  {InfoRCWA}, \hyperpage{151}
  \item \texttt{InjectiveAsMappingFrom}
    \subitem for an rcwa mapping, \hyperpage{24}
  \item integral
    \subitem definition, \hyperpage{16}
  \item \texttt{IntegralConjugate}
    \subitem of a tame rcwa group, \hyperpage{56}
    \subitem of a tame rcwa permutation, \hyperpage{56}
  \item \texttt{IntegralizingConjugator}
    \subitem of a tame rcwa group, \hyperpage{56}
    \subitem of a tame rcwa permutation, \hyperpage{56}
  \item \texttt{IsBalanced}
    \subitem for an rcwa mapping, \hyperpage{16}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsBijective}
    \subitem for an rcwa mapping, \hyperpage{15}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsClassReflection}
    \subitem for an rcwa mapping, \hyperpage{11}
  \item \texttt{IsClassRotation}
    \subitem for an rcwa mapping, \hyperpage{11}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsClassShift}
    \subitem for an rcwa mapping, \hyperpage{11}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsClassTransposition}
    \subitem for an rcwa mapping, \hyperpage{11}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsClassWiseOrderPreserving}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{16}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{60}
  \item \texttt{IsClassWiseTranslating}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa group over Z x Z, \hyperpage{70}
    \subitem for an rcwa mapping, \hyperpage{16}
  \item \texttt{IsConjugate}
    \subitem for elements of CT(R), \hyperpage{40}
    \subitem for elements of RCWA(R), \hyperpage{40}
  \item \texttt{IsGeneralizedClassTransposition}
    \subitem for an rcwa mapping, \hyperpage{11}
  \item \texttt{IsInjective}
    \subitem for an rcwa mapping, \hyperpage{15}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsIntegral}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa group over Z x Z, \hyperpage{70}
    \subitem for an rcwa mapping, \hyperpage{16}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{60}
  \item \texttt{IsNaturalCT}, \hyperpage{58}
  \item \texttt{IsNaturalRCWA}, \hyperpage{58}
  \item \texttt{IsomorphismMatrixGroup}
    \subitem for an rcwa group, \hyperpage{41}
  \item \texttt{IsomorphismPermGroup}
    \subitem for a finite rcwa group, \hyperpage{39}
  \item \texttt  {IsomorphismRcwaGroup}
    \subitem for a group, \hyperpage{32}
    \subitem for a group, over a given ring, \hyperpage{32}
    \subitem for GL(2,Z) and a residue class, \hyperpage{70}
    \subitem for SL(2,Z) and a residue class, \hyperpage{70}
  \item \texttt{IsOne}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsPerfect}
    \subitem for an rcwa group, \hyperpage{41}
  \item \texttt{IsPrimeSwitch}
    \subitem for an rcwa mapping, \hyperpage{21}
  \item \texttt  {IsRcwaGroup}, \hyperpage{58}
  \item \texttt  {IsRcwaGroupOverGFqx}, \hyperpage{58}
  \item \texttt  {IsRcwaGroupOverZ}, \hyperpage{58}
  \item \texttt{IsRcwaGroupOverZOrZ{\textunderscore}pi}, \hyperpage{58}
  \item \texttt  {IsRcwaGroupOverZ{\textunderscore }pi}, \hyperpage{58}
  \item \texttt  {IsRcwaMapping}, \hyperpage{31}
  \item \texttt  {IsRcwaMappingOfGFqx}, \hyperpage{31}
  \item \texttt  {IsRcwaMappingOfZ}, \hyperpage{31}
  \item \texttt{IsRcwaMappingOfZOrZ{\textunderscore}pi}, \hyperpage{31}
  \item \texttt  {IsRcwaMappingOfZ{\textunderscore }pi}, \hyperpage{31}
  \item \texttt{IsRcwaMappingStandardRep}, \hyperpage{31}
  \item \texttt{IsSignPreserving}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{16}
    \subitem for an rcwa monoid, \hyperpage{60}
  \item \texttt{IsSolvable}
    \subitem for an rcwa group, \hyperpage{41}
  \item \texttt{IsSubset}
    \subitem for two rcwa monoids, \hyperpage{60}
  \item \texttt{IsSurjective}
    \subitem for an rcwa mapping, \hyperpage{15}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{IsTame}
    \subitem for an rcwa group, \hyperpage{40}
    \subitem for an rcwa group over Z x Z, \hyperpage{70}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{60}
  \item \texttt{IsTransitive}
    \subitem for an rcwa group, on its underlying ring, \hyperpage{43}
  \item \texttt{IsTransitiveOnNonnegativeIntegersIn- Support}
    \subitem for an rcwa group over Z, \hyperpage{43}
  \item \texttt{IsZero}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}

  \indexspace

  \item \texttt  {KernelOfActionOnRespectedPartition}
    \subitem for a tame rcwa group, \hyperpage{56}

  \indexspace

  \item \texttt  {LargestSourcesOfAffineMappings}
    \subitem for an rcwa mapping, \hyperpage{17}
  \item \texttt{LaTeXAndXDVI}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{LaTeXStringRcwaMapping}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt  {LikelyContractionCentre}
    \subitem of an rcwa mapping, \hyperpage{28}
  \item \texttt  {Load}\discretionary {-}{}{}\texttt  {Database}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Groups}\discretionary {-}{}{}\texttt  {Generated}\discretionary {-}{}{}\texttt  {By3}\discretionary {-}{}{}\texttt  {Class}\discretionary {-}{}{}\texttt  {Transpositions}
    \subitem both databases, \hyperpage{76}
    \subitem small database, \hyperpage{73}
  \item \texttt  {Load}\discretionary {-}{}{}\texttt  {Database}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Groups}\discretionary {-}{}{}\texttt  {Generated}\discretionary {-}{}{}\texttt  {By4}\discretionary {-}{}{}\texttt  {Class}\discretionary {-}{}{}\texttt  {Transpositions}, 
		\hyperpage{77}
  \item \texttt  {Load}\discretionary {-}{}{}\texttt  {Database}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Nonbalanced}\discretionary {-}{}{}\texttt  {Products}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Class}\discretionary {-}{}{}\texttt  {Transpositions}, 
		\hyperpage{79}
  \item \texttt  {Load}\discretionary {-}{}{}\texttt  {Database}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Products}\discretionary {-}{}{}\texttt  {Of2}\discretionary {-}{}{}\texttt  {Class}\discretionary {-}{}{}\texttt  {Transpositions}, 
		\hyperpage{79}
  \item \texttt  {LoadRCWAExamples}, \hyperpage{72}
  \item \texttt{LoadRCWAExamples}, \hyperpage{81}
  \item \texttt  {LocalizedRcwaMapping}
    \subitem for an rcwa mapping of Z and a prime, \hyperpage{13}
  \item \texttt  {Loops}
    \subitem of an rcwa mapping, \hyperpage{28}

  \indexspace

  \item maximal shift
    \subitem definition, \hyperpage{16}
  \item \texttt{MaximalShift}
    \subitem of an rcwa mapping of Z, \hyperpage{16}
  \item \texttt  {MergerExtension}
    \subitem for finite permutation groups, \hyperpage{34}
  \item \texttt{Mirrored}, \hyperpage{38}
  \item \texttt  {mKnot}
    \subitem for an odd integer, \hyperpage{22}
  \item \texttt{Mod}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{16}
  \item \texttt{Modulus}
    \subitem of an rcwa group, \hyperpage{36}
    \subitem of an rcwa group over Z x Z, \hyperpage{70}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem of an rcwa monoid, \hyperpage{60}
  \item modulus
    \subitem definition, \hyperpage{7}
  \item \texttt{ModulusOfRcwaMonoid}
    \subitem for an rcwa group, \hyperpage{36}
  \item \texttt{Monoid}, \hyperpage{59}
  \item \texttt{MonoidByGenerators}, \hyperpage{59}
  \item \texttt{MovedPoints}
    \subitem of an rcwa group, \hyperpage{43}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt{Mult}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{16}
  \item \texttt{Multiplier}
    \subitem of an rcwa group, \hyperpage{36}
    \subitem of an rcwa group over Z x Z, \hyperpage{70}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
  \item multiplier
    \subitem definition, \hyperpage{7}
  \item \texttt  {Multpk}
    \subitem for an rcwa mapping, a prime and an exponent, 
		\hyperpage{18}
  \item \texttt{Multpk}
    \subitem for rcwa mapping of Z x Z, prime and exponent, 
		\hyperpage{68}

  \indexspace

  \item \texttt{NrClassPairs}
    \subitem m, \hyperpage{10}
  \item \texttt{NrConjugacyClassesOfCTZOfOrder}, \hyperpage{38}
  \item \texttt{NrConjugacyClassesOfRCWAZOfOrder}, \hyperpage{37}
  \item \texttt{NrElementsOfCTZWithGivenModulus}, \hyperpage{38}

  \indexspace

  \item \texttt{ObjByExtRep}, \hyperpage{31}
  \item \texttt{One}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
  \item \texttt  {Orbit}
    \subitem for an rcwa group and a point, \hyperpage{45}
    \subitem for an rcwa group and a set, \hyperpage{45}
  \item \texttt{OrbitLengthBound}, \hyperpage{40}
  \item \texttt  {OrbitsModulo}
    \subitem for an rcwa mapping and a modulus, \hyperpage{26}
  \item \texttt{OrbitsModulo}
    \subitem for an rcwa group and a modulus, \hyperpage{53}
  \item \texttt{Order}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem of an rcwa permutation, \hyperpage{14}

  \indexspace

  \item \texttt{PermutationOpNC}
    \subitem g, P, OnPoints, \hyperpage{55}
  \item \texttt{PreImage}
    \subitem of a residue class union under an rcwa mapping, 
		\hyperpage{15}
    \subitem of a set of ring elements under an rcwa mapping, 
		\hyperpage{15}
  \item \texttt{PreImageElm}
    \subitem of a ring element under an rcwa mapping, \hyperpage{15}
  \item \texttt{PreImagesElm}
    \subitem of a ring element under an rcwa mapping, \hyperpage{15}
  \item \texttt  {PreImagesRepresentative}
    \subitem for an epi. from a free group to an rcwa group, 
		\hyperpage{42}
  \item \texttt{PreImagesRepresentatives}
    \subitem for an epi. from a free group to an rcwa group, 
		\hyperpage{42}
  \item prime set
    \subitem definition, \hyperpage{63}
  \item \texttt{PrimeSet}
    \subitem of an rcwa group, \hyperpage{36}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem of an rcwa monoid, \hyperpage{60}
  \item \texttt  {PrimeSwitch}
    \subitem p, \hyperpage{21}
    \subitem p, cl, \hyperpage{21}
    \subitem p, k, \hyperpage{21}
    \subitem p, r, m, \hyperpage{21}
  \item \texttt{Print}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{59}
  \item \texttt  {ProjectionsToCoordinates}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{69}
  \item \texttt  {Projections}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {Invariant}\discretionary {-}{}{}\texttt  {Unions}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Residue}\discretionary {-}{}{}\texttt  {Classes}
    \subitem for rcwa group and modulus, \hyperpage{53}

  \indexspace

  \item \texttt{Random}
    \subitem CT(R), \hyperpage{57}
    \subitem RCWA(R), \hyperpage{57}
  \item \texttt  {Rank}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Kernel}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Action}\discretionary {-}{}{}\texttt  {On}\discretionary {-}{}{}\texttt  {Respected}\discretionary {-}{}{}\texttt  {Partition}
    \subitem for a tame rcwa group, \hyperpage{56}
  \item \texttt  {RCWA}
    \subitem the group formed by all rcwa permutations of a ring, 
		\hyperpage{37}
  \item \texttt{RCWA}
    \subitem the group formed by all rcwa permutations of Z x Z, 
		\hyperpage{70}
  \item \texttt  {Rcwa}
    \subitem the monoid formed by all rcwa mappings of a ring, 
		\hyperpage{60}
  \item \texttt{Rcwa}
    \subitem the monoid formed by all rcwa permutations of Z x Z, 
		\hyperpage{70}
  \item rcwa group
    \subitem class-wise order-preserving, \hyperpage{36}
    \subitem class-wise translating, \hyperpage{36}
    \subitem coercion, \hyperpage{16}
    \subitem conjugacy problem, \hyperpage{40}
    \subitem definition, \hyperpage{7}
    \subitem divisor, \hyperpage{36}
    \subitem integral, \hyperpage{36}
    \subitem membership test, \hyperpage{40}
    \subitem modulus, \hyperpage{36}
    \subitem multiplier, \hyperpage{36}
    \subitem prime set, \hyperpage{36}
    \subitem sign-preserving, \hyperpage{36}
    \subitem tame, \hyperpage{7}
    \subitem wild, \hyperpage{7}
  \item rcwa mapping
    \subitem arithmetic operations, \hyperpage{14}
    \subitem balanced, \hyperpage{16}
    \subitem class-wise order-preserving, \hyperpage{16}
    \subitem class-wise translating, \hyperpage{16}, \hyperpage{63}
    \subitem coercion, \hyperpage{16}
    \subitem definition, \hyperpage{7}
    \subitem divisor, \hyperpage{7}
    \subitem images under, \hyperpage{15}
    \subitem integral, \hyperpage{16}
    \subitem maximal shift, \hyperpage{16}
    \subitem modulus, \hyperpage{7}, \hyperpage{63}
    \subitem multiplier, \hyperpage{7}
    \subitem of Z x Z, definition, \hyperpage{63}
    \subitem prime set, \hyperpage{16}
    \subitem sign-preserving, \hyperpage{16}
    \subitem sparse representation, \hyperpage{29}
    \subitem tame, \hyperpage{7}
    \subitem transition graph, \hyperpage{26}
    \subitem wild, \hyperpage{7}
  \item rcwa monoid
    \subitem class-wise order-preserving, \hyperpage{60}
    \subitem definition, \hyperpage{59}
    \subitem integral, \hyperpage{60}
    \subitem modulus, \hyperpage{60}
    \subitem prime set, \hyperpage{60}
    \subitem sign-preserving, \hyperpage{60}
    \subitem tame, \hyperpage{60}
    \subitem wild, \hyperpage{60}
  \item \texttt{rcwa monoids}
    \subitem membership test, \hyperpage{60}
  \item \texttt  {RCWABuildManual}, \hyperpage{150}
  \item \texttt{RCWAInfo}, \hyperpage{151}
  \item \texttt  {RcwaMapping}
    \subitem by arithmetical expression, \hyperpage{12}
    \subitem by finite field size, modulus and list of coefficients, 
		\hyperpage{12}
    \subitem by list of coefficients, \hyperpage{12}
    \subitem by modulus and list of values, \hyperpage{12}
    \subitem by permutation and range, \hyperpage{12}
    \subitem by residue class cycles, \hyperpage{12}
    \subitem by ring = Z x Z, modulus and coefficients, \hyperpage{64}
    \subitem by ring and list of coefficients, \hyperpage{12}
    \subitem by ring, modulus and list of coefficients, \hyperpage{12}
    \subitem by set of non-invertible primes and list of coefficients, 
		\hyperpage{12}
    \subitem by two partitions of a ring into residue classes, 
		\hyperpage{12}
    \subitem by two partitions of Z x Z into residue classes, 
		\hyperpage{64}
    \subitem of Z x Z, by projections to coordinates, \hyperpage{64}
    \subitem of Z x Z, by residue class cycles, \hyperpage{64}
  \item \texttt{RcwaMapping}
    \subitem by list of coefficients, sparse representation, 
		\hyperpage{29}
  \item \texttt  {RcwaMappingsFamily}
    \subitem of a ring, \hyperpage{31}
  \item \texttt  {RCWATestAll}, \hyperpage{151}
  \item \texttt  {RCWATestExamples}, \hyperpage{151}
  \item \texttt  {RCWATestInstall}, \hyperpage{150}
  \item \texttt  {RepresentativeAction}
    \subitem for RCWA(R) and 2 partitions of R into residue classes, 
		\hyperpage{53}
    \subitem G, source, destination, action, \hyperpage{52}
  \item \texttt{RepresentativeActionPreImage}
    \subitem G, source, destination, action, F, \hyperpage{52}
  \item \texttt  {RespectedPartition}
    \subitem of a tame rcwa group, \hyperpage{55}
    \subitem of a tame rcwa permutation, \hyperpage{55}
  \item \texttt{RespectsPartition}
    \subitem for an rcwa group, \hyperpage{55}
    \subitem for an rcwa permutation, \hyperpage{55}
  \item \texttt{RestrictedBall}
    \subitem G, g, r, modulusbound, \hyperpage{51}
  \item \texttt{RestrictedPerm}
    \subitem for an rcwa permutation and a residue class union, 
		\hyperpage{16}
  \item \texttt  {Restriction}
    \subitem of an rcwa group, by an injective rcwa mapping, 
		\hyperpage{35}
    \subitem of an rcwa mapping, by an injective rcwa mapping, 
		\hyperpage{35}
  \item \texttt{Restriction}
    \subitem for an rcwa monoid, by an injective rcwa mapping, 
		\hyperpage{60}
  \item \texttt  {RightInverse}
    \subitem of an injective rcwa mapping, \hyperpage{23}
  \item \texttt  {Root}
    \subitem k-th root of an rcwa mapping, \hyperpage{23}
  \item \texttt{RotationFactor}
    \subitem of a class rotation, \hyperpage{11}
    \subitem of a class rotation of Z x Z, \hyperpage{67}

  \indexspace

  \item \texttt  {SemilocalizedRcwaMapping}
    \subitem for an rcwa mapping of Z and a set of primes, 
		\hyperpage{13}
  \item \texttt{ShiftsDownOn}, \hyperpage{19}
  \item \texttt{ShiftsUpOn}, \hyperpage{19}
  \item \texttt  {ShortCycles}
    \subitem for rcwa permutation and bound on length, \hyperpage{47}
    \subitem for rcwa permutation, set of points and bound on length, 
		\hyperpage{47}
    \subitem for rcwa permutation, set of points and bounds on length and points, 
		\hyperpage{47}
  \item \texttt{ShortCycles}
    \subitem for rcwa perm. of Z x Z, set of points and max. length, 
		\hyperpage{68}
  \item \texttt  {ShortOrbits}
    \subitem for rcwa group, set of points and bound on length, 
		\hyperpage{47}
    \subitem for rcwa group, set of points and bounds on length and points, 
		\hyperpage{47}
    \subitem for rcwa monoid, set of points and bound on length, 
		\hyperpage{61}
  \item \texttt  {ShortResidueClassCycles}
    \subitem for rcwa permutation and bounds on modulus and length, 
		\hyperpage{48}
  \item \texttt  {ShortResidueClassOrbits}
    \subitem for rcwa group and bounds on modulus and length, 
		\hyperpage{48}
  \item \texttt  {Sign}
    \subitem of an rcwa permutation of Z, \hyperpage{19}
  \item sign-preserving
    \subitem definition, \hyperpage{16}
  \item \texttt{SimplifiedCertificate}
    \subitem for a transitivity certificate of an rcwa groups over Z, 
		\hyperpage{43}
  \item \texttt  {Sinks}
    \subitem of an rcwa mapping, \hyperpage{27}
  \item \texttt{Size}
    \subitem for an rcwa group, \hyperpage{39}
    \subitem for an rcwa group over Z x Z, \hyperpage{70}
    \subitem for an rcwa monoid, \hyperpage{60}
  \item \texttt{SmallGeneratingSet}, \hyperpage{36}
  \item \texttt  {Sources}
    \subitem of an rcwa mapping, \hyperpage{27}
  \item \texttt  {SparseRep}
    \subitem of an rcwa mapping, \hyperpage{30}
  \item \texttt  {SparseRepresentation}
    \subitem of an rcwa mapping, \hyperpage{30}
  \item \texttt{SplittedClassTransposition}
    \subitem for a class transposition and a number of factors, 
		\hyperpage{10}
    \subitem for a class transposition of Z x Z, \hyperpage{66}
  \item \texttt  {StandardRep}
    \subitem of an rcwa mapping, \hyperpage{30}
  \item \texttt  {StandardRepresentation}
    \subitem of an rcwa mapping, \hyperpage{30}
  \item \texttt{String}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{59}
  \item \texttt  {StructureDescription}
    \subitem for an rcwa group, \hyperpage{38}
  \item \texttt{Support}
    \subitem of an rcwa group, \hyperpage{43}
    \subitem of an rcwa mapping, \hyperpage{16}
    \subitem of an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem of an rcwa monoid, \hyperpage{60}

  \indexspace

  \item tame
    \subitem rcwa group, \hyperpage{7}
    \subitem rcwa mapping, \hyperpage{7}
  \item \texttt  {Trajectory}
    \subitem for rcwa mapping, starting point, length, \hyperpage{24}
    \subitem for rcwa mapping, starting point, length, coeff.-spec., 
		\hyperpage{25}
    \subitem for rcwa mapping, starting point, length, modulus, 
		\hyperpage{24}
    \subitem for rcwa mapping, starting point, set of end points, 
		\hyperpage{24}
    \subitem for rcwa mapping, starting point, set of end points, coeff.-spec., 
		\hyperpage{25}
    \subitem for rcwa mapping, starting point, set of end points, modulus, 
		\hyperpage{24}
  \item \texttt{Trajectory}
    \subitem for rcwa mappings of Z x Z, \hyperpage{68}
  \item \texttt  {TransitionGraph}
    \subitem for an rcwa mapping and a modulus, \hyperpage{26}
  \item \texttt  {TransitionMatrix}
    \subitem for an rcwa mapping and a modulus, \hyperpage{27}
  \item \texttt{TransitivityCertificate}
    \subitem for an rcwa group over Z and a search limit, 
		\hyperpage{43}
  \item \texttt{TransposedClasses}
    \subitem of a class transposition, \hyperpage{10}
    \subitem of a class transposition of Z x Z, \hyperpage{66}
  \item \texttt{TryIsTransitiveOnNonnegativeIntegers- InSupport}
    \subitem for an rcwa group over Z and a search limit, 
		\hyperpage{43}
  \item \texttt{TryToComputeTransitivityCertificate}
    \subitem for an rcwa group over Z and a search limit, 
		\hyperpage{43}

  \indexspace

  \item \texttt{View}
    \subitem for an rcwa group, \hyperpage{36}
    \subitem for an rcwa mapping, \hyperpage{14}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}
    \subitem for an rcwa monoid, \hyperpage{59}

  \indexspace

  \item wild
    \subitem rcwa group, \hyperpage{7}
    \subitem rcwa mapping, \hyperpage{7}
  \item \texttt  {WreathProduct}
    \subitem for an rcwa group over Z and a permutation group, 
		\hyperpage{33}
    \subitem for an rcwa group over Z and the infinite cyclic group, 
		\hyperpage{33}

  \indexspace

  \item \texttt{Zero}
    \subitem for an rcwa mapping of Z x Z, \hyperpage{68}

\end{theindex}
