GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
\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}