\begin{theindex}

  \item \texttt  {ActionOnRespectedPartition}
    \subitem G, \hyperpage{44}
  \item \texttt{AllProducts}
    \subitem l, k, \hyperpage{46}

  \indexspace

  \item \texttt{balanced}
    \subitem definition, \hyperpage{18}
  \item \texttt  {Ball}
    \subitem G, g, d, \hyperpage{40}
    \subitem G, p, d, act, \hyperpage{40}

  \indexspace

  \item \texttt{ClassPairs}
    \subitem m, \hyperpage{43}
  \item \texttt  {ClassReflection}
    \subitem r(m), \hyperpage{10}
    \subitem r, m, \hyperpage{10}
  \item \texttt  {ClassShift}
    \subitem r(m), \hyperpage{10}
    \subitem r, m, \hyperpage{10}
  \item \texttt  {ClassTransposition}
    \subitem r1(m1), r2(m2), \hyperpage{11}
    \subitem r1, m1, r2, m2, \hyperpage{11}
  \item \texttt{Coefficients}
    \subitem f, \hyperpage{16}
  \item Collatz conjecture, \hyperpage{6}
  \item Collatz mapping, \hyperpage{6}
  \item \texttt  {CommonRightInverse}
    \subitem l, r, \hyperpage{26}

  \indexspace

  \item \texttt  {DecreasingOn}
    \subitem f, \hyperpage{24}
  \item \texttt  {Determinant}
    \subitem g, \hyperpage{17}
    \subitem g, S, \hyperpage{17}
  \item \texttt  {DirectProduct}
    \subitem G1, G2, ..., \hyperpage{32}
  \item \texttt{Display}
    \subitem f, \hyperpage{13}
    \subitem G, \hyperpage{29}
  \item \texttt{Div}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item \texttt{Divisor}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item divisor
    \subitem definition, \hyperpage{8}

  \indexspace

  \item \texttt{EpimorphismByGenerators}
    \subitem G, H, \hyperpage{46}

  \indexspace

  \item \texttt  {Factorization}
    \subitem g, \hyperpage{16}
  \item \texttt  {FactorizationIntoCSCRCT}
    \subitem g, \hyperpage{16}
  \item \texttt  {FactorizationOnConnectedComponents}
    \subitem f, m, \hyperpage{21}
  \item \texttt  {FixedPointsOfAffinePartialMappings}
    \subitem f, \hyperpage{20}

  \indexspace

  \item \texttt{GeneratorsAndInverses}
    \subitem G, \hyperpage{46}
  \item \texttt  {GluckTaylorInvariant}
    \subitem a, \hyperpage{24}
  \item \texttt{Group}, \hyperpage{29}
  \item \texttt{GroupByGenerators}, \hyperpage{29}
  \item \texttt{GroupWithGenerators}, \hyperpage{29}
  \item \texttt  {GuessedDivergence}
    \subitem f, \hyperpage{27}

  \indexspace

  \item \texttt{Image}
    \subitem f, \hyperpage{14}
  \item \texttt  {ImageDensity}
    \subitem f, \hyperpage{26}
  \item \texttt  {IncreasingOn}
    \subitem f, \hyperpage{24}
  \item \texttt  {Induction}
    \subitem G, f, \hyperpage{42}
    \subitem g, f, \hyperpage{42}
  \item \texttt  {InfoRCWA}, \hyperpage{97}
  \item \texttt{InjectiveAsMappingFrom}
    \subitem f, \hyperpage{26}
  \item integral
    \subitem definition, \hyperpage{18}
  \item \texttt  {IntegralConjugate}
    \subitem G, \hyperpage{45}
    \subitem g, \hyperpage{45}
  \item \texttt{IntegralizingConjugator}
    \subitem G, \hyperpage{45}
    \subitem g, \hyperpage{45}
  \item \texttt{IsBalanced}
    \subitem f, \hyperpage{18}
  \item \texttt{IsBijective}
    \subitem f, \hyperpage{14}
  \item \texttt{IsClassWiseOrderPreserving}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item \texttt  {IsConjugate}
    \subitem RCWA(Integers), f, g, \hyperpage{40}
  \item \texttt{IsInjective}
    \subitem f, \hyperpage{14}
  \item \texttt{IsIntegral}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item \texttt{IsNaturalRCWA{\textunderscore}GFqx}
    \subitem G, \hyperpage{46}
  \item \texttt{IsNaturalRCWA{\textunderscore}Z}
    \subitem G, \hyperpage{46}
  \item \texttt{IsNaturalRCWA{\textunderscore}Z{\textunderscore}pi}
    \subitem G, \hyperpage{46}
  \item \texttt  {IsomorphismMatrixGroup}
    \subitem G, \hyperpage{34}
  \item \texttt  {IsomorphismPermGroup}
    \subitem G, \hyperpage{34}
  \item \texttt  {IsomorphismRcwaGroup}
    \subitem G, \hyperpage{30}
  \item \texttt  {IsomorphismRcwaGroupOverZ}
    \subitem G, \hyperpage{30}
  \item \texttt  {IsRcwaGroup}
    \subitem G, \hyperpage{46}
  \item \texttt  {IsRcwaGroupOverGFqx}
    \subitem G, \hyperpage{46}
  \item \texttt  {IsRcwaGroupOverZ}
    \subitem G, \hyperpage{46}
  \item \texttt{IsRcwaGroupOverZOrZ{\textunderscore}pi}
    \subitem G, \hyperpage{46}
  \item \texttt  {IsRcwaGroupOverZ\_pi}
    \subitem G, \hyperpage{46}
  \item \texttt  {IsRcwaMapping}
    \subitem f, \hyperpage{28}
  \item \texttt  {IsRcwaMappingOfGFqx}
    \subitem f, \hyperpage{28}
  \item \texttt  {IsRcwaMappingOfZ}
    \subitem f, \hyperpage{28}
  \item \texttt{IsRcwaMappingOfZOrZ{\textunderscore}pi}
    \subitem f, \hyperpage{28}
  \item \texttt  {IsRcwaMappingOfZ\_pi}
    \subitem f, \hyperpage{28}
  \item \texttt{IsRcwaMappingStandardRep}, \hyperpage{28}
  \item \texttt{IsSurjective}
    \subitem f, \hyperpage{14}
  \item \texttt{IsTame}
    \subitem f, \hyperpage{14}
    \subitem G, \hyperpage{33}
  \item \texttt  {IsTransitive}
    \subitem G, Integers, \hyperpage{36}

  \indexspace

  \item \texttt  {KernelOfActionOnRespectedPartition}
    \subitem G, \hyperpage{45}

  \indexspace

  \item \texttt  {LargestSourcesOfAffineMappings}
    \subitem f, \hyperpage{19}
  \item \texttt  {LaTeX}
    \subitem f, \hyperpage{13}
  \item \texttt{LaTeXAndXDVI}
    \subitem f, \hyperpage{14}
  \item \texttt  {LaTeXObj}
    \subitem f, \hyperpage{13}
  \item \texttt  {LikelyContractionCentre}
    \subitem f, maxn, bound, \hyperpage{27}
  \item \texttt  {LocalizedRcwaMapping}
    \subitem f, p, \hyperpage{25}
  \item \texttt  {Loops}
    \subitem f, \hyperpage{23}

  \indexspace

  \item \texttt  {mKnot}
    \subitem m, \hyperpage{17}
  \item \texttt{Mod}
    \subitem f, \hyperpage{16}
    \subitem G, \hyperpage{33}
  \item \texttt{Modulus}
    \subitem f, \hyperpage{16}
    \subitem G, \hyperpage{33}
  \item modulus
    \subitem definition, \hyperpage{8}
  \item \texttt{ModulusOfRcwaGroup}
    \subitem G, \hyperpage{33}
  \item \texttt{MovedPoints}
    \subitem G, \hyperpage{36}
    \subitem g, \hyperpage{15}
  \item \texttt{Mult}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item \texttt{Multiplier}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item multiplier
    \subitem definition, \hyperpage{8}
  \item \texttt  {Multpk}
    \subitem f, p, k, \hyperpage{20}

  \indexspace

  \item \texttt  {NrConjugacyClassesOfRCWAZOfOrder}
    \subitem ord, \hyperpage{41}

  \indexspace

  \item \texttt  {OrbitsModulo}
    \subitem f, m, \hyperpage{21}
  \item \texttt{OrbitsModulo}
    \subitem G, m, \hyperpage{40}
  \item \texttt{Order}
    \subitem g, \hyperpage{14}

  \indexspace

  \item \texttt{PermutationOpNC}
    \subitem g, P, OnPoints, \hyperpage{44}
  \item \texttt{PreImage}
    \subitem f, \hyperpage{15}
  \item \texttt{PreImageElm}
    \subitem f, \hyperpage{15}
  \item \texttt{PreImagesElm}
    \subitem f, \hyperpage{15}
  \item \texttt  {PreImagesRepresentative}
    \subitem phi, g, \hyperpage{35}
  \item \texttt  {PreImagesRepresentatives}
    \subitem phi, g, \hyperpage{36}
  \item \texttt{PrimeSet}
    \subitem f, \hyperpage{18}
    \subitem G, \hyperpage{33}
  \item \texttt  {PrimeSwitch}
    \subitem p, \hyperpage{11}
    \subitem p, k, \hyperpage{11}
  \item \texttt{Print}
    \subitem f, \hyperpage{13}
    \subitem G, \hyperpage{29}
  \item \texttt  {Projections}
    \subitem G, m, \hyperpage{40}

  \indexspace

  \item \texttt{Random}
    \subitem RCWA(Z), \hyperpage{43}
  \item \texttt  {RankOfKernelOfActionOnRespectedPartition}
    \subitem G, \hyperpage{45}
  \item \texttt  {RCWA}
    \subitem R, \hyperpage{29}
  \item rcwa group
    \subitem class-wise order-preserving, \hyperpage{33}
    \subitem definition, \hyperpage{8}
    \subitem divisor, \hyperpage{33}
    \subitem integral, \hyperpage{33}
    \subitem membership test, \hyperpage{33}
    \subitem modulus, \hyperpage{33}
    \subitem multiplier, \hyperpage{33}
    \subitem prime set, \hyperpage{33}
    \subitem tame, \hyperpage{8}
    \subitem wild, \hyperpage{8}
  \item rcwa mapping
    \subitem arithmetic operations, \hyperpage{14}
    \subitem balanced, \hyperpage{18}
    \subitem class-wise order-preserving, \hyperpage{18}
    \subitem definition, \hyperpage{8}
    \subitem divisor, \hyperpage{8}
    \subitem images under, \hyperpage{15}
    \subitem integral, \hyperpage{18}
    \subitem modulus, \hyperpage{8}
    \subitem multiplier, \hyperpage{8}
    \subitem tame, \hyperpage{8}
    \subitem transition graph, \hyperpage{21}
    \subitem wild, \hyperpage{8}
  \item \texttt  {RCWABuildManual}, \hyperpage{98}
  \item \texttt{RcwaGroupByPermGroup}
    \subitem G, \hyperpage{30}
  \item \texttt{RCWAInfo}, \hyperpage{97}
  \item \texttt  {RcwaMapping}
    \subitem coeffs, \hyperpage{12}
    \subitem cycles, \hyperpage{12}
    \subitem m, values, \hyperpage{12}
    \subitem P1, P2, \hyperpage{12}
    \subitem perm, range, \hyperpage{12}
    \subitem pi, coeffs, \hyperpage{12}
    \subitem q, m, coeffs, \hyperpage{12}
    \subitem R, coeffs, \hyperpage{12}
    \subitem R, m, coeffs, \hyperpage{12}
  \item \texttt  {RcwaMappingsFamily}
    \subitem R, \hyperpage{28}
  \item \texttt  {RCWATest}, \hyperpage{97}
  \item \texttt  {RepresentativeAction}
    \subitem G, src, dest, act, \hyperpage{37}
    \subitem RCWA( Integers ), P1, P2, \hyperpage{38}
    \subitem RCWA(Integers), f, g, \hyperpage{41}
  \item \texttt  {RepresentativeActionPreImage}
    \subitem G, src, dest, act, F, \hyperpage{38}
  \item \texttt  {RespectedPartition}
    \subitem G, \hyperpage{44}
    \subitem g, \hyperpage{44}
  \item \texttt{RespectedPartitionLong}
    \subitem G, \hyperpage{44}
    \subitem g, \hyperpage{44}
  \item \texttt{RespectedPartitionShort}
    \subitem G, \hyperpage{44}
    \subitem g, \hyperpage{44}
  \item \texttt{RespectsPartition}
    \subitem G, \hyperpage{44}
    \subitem g, \hyperpage{44}
  \item \texttt{RestrictedPerm}
    \subitem g, \hyperpage{15}
  \item \texttt  {Restriction}
    \subitem G, f, \hyperpage{42}
    \subitem g, f, \hyperpage{42}
  \item \texttt  {RightInverse}
    \subitem f, \hyperpage{25}
  \item \texttt  {Root}
    \subitem f, k, \hyperpage{25}

  \indexspace

  \item \texttt  {SemilocalizedRcwaMapping}
    \subitem f, pi, \hyperpage{25}
  \item \texttt{SetOnWhichMappingIsClassWise}
    \subitem Constant, \hyperpage{20}
    \subitem OrderPreserving, \hyperpage{20}
    \subitem OrderReversing, \hyperpage{20}
  \item \texttt  {ShortCycles}
    \subitem G, S, maxlng, \hyperpage{39}
  \item \texttt{ShortCycles}
    \subitem f, maxlng, \hyperpage{41}
  \item \texttt  {ShortOrbits}
    \subitem G, S, maxlng, \hyperpage{39}
  \item \texttt  {Sign}
    \subitem g, \hyperpage{18}
  \item \texttt  {Sinks}
    \subitem f, \hyperpage{22}
  \item \texttt{Size}
    \subitem G, \hyperpage{33}
  \item \texttt  {Sources}
    \subitem f, \hyperpage{22}
  \item \texttt{SplittedClassTransposition}
    \subitem G, \hyperpage{16}
  \item \texttt{String}
    \subitem f, \hyperpage{13}
    \subitem G, \hyperpage{29}
  \item \texttt  {StructureDescription}
    \subitem G, \hyperpage{31}
  \item \texttt{Support}
    \subitem G, \hyperpage{36}
    \subitem g, \hyperpage{15}

  \indexspace

  \item tame
    \subitem rcwa group, \hyperpage{8}
    \subitem rcwa mapping, \hyperpage{8}
  \item \texttt  {Trajectory}
    \subitem f, n, length, \hyperpage{23}
    \subitem f, n, length, m, \hyperpage{23}
    \subitem f, n, length, whichcoeffs, \hyperpage{23}
    \subitem f, n, terminal, \hyperpage{23}
    \subitem f, n, terminal, m, \hyperpage{23}
    \subitem f, n, terminal, whichcoeffs, \hyperpage{23}
  \item \texttt  {TransitionGraph}
    \subitem f, m, \hyperpage{21}
  \item \texttt  {TransitionMatrix}
    \subitem f, m, \hyperpage{22}

  \indexspace

  \item \texttt{View}
    \subitem f, \hyperpage{13}
    \subitem G, \hyperpage{29}

  \indexspace

  \item wild
    \subitem rcwa group, \hyperpage{8}
    \subitem rcwa mapping, \hyperpage{8}
  \item \texttt  {WreathProduct}
    \subitem G, P, \hyperpage{32}
    \subitem G, Z, \hyperpage{32}

\end{theindex}
