\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }Preface}}{6}{chapter.1}
\contentsline {section}{\numberline {1.1}\leavevmode {\color {Chapter }Motivation}}{6}{section.1.1}
\contentsline {section}{\numberline {1.2}\leavevmode {\color {Chapter }Purpose of this package}}{7}{section.1.2}
\contentsline {section}{\numberline {1.3}\leavevmode {\color {Chapter }Scope of this package}}{7}{section.1.3}
\contentsline {section}{\numberline {1.4}\leavevmode {\color {Chapter }Acknowledgements}}{7}{section.1.4}
\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }Residue Class-Wise Affine Mappings}}{8}{chapter.2}
\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Basic definitions}}{8}{section.2.1}
\contentsline {section}{\numberline {2.2}\leavevmode {\color {Chapter }Entering rcwa mappings}}{9}{section.2.2}
\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color {Chapter }RcwaMapping (R, m, coeffs)}}{10}{subsection.2.2.1}
\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color {Chapter }ClassShift (r, m)}}{12}{subsection.2.2.2}
\contentsline {subsection}{\numberline {2.2.3}\leavevmode {\color {Chapter }ClassReflection (r, m)}}{12}{subsection.2.2.3}
\contentsline {subsection}{\numberline {2.2.4}\leavevmode {\color {Chapter }ClassTransposition (r1, m1, r2, m2)}}{13}{subsection.2.2.4}
\contentsline {subsection}{\numberline {2.2.5}\leavevmode {\color {Chapter }PrimeSwitch (p)}}{13}{subsection.2.2.5}
\contentsline {subsection}{\numberline {2.2.6}\leavevmode {\color {Chapter }LaTeXObj (f)}}{14}{subsection.2.2.6}
\contentsline {section}{\numberline {2.3}\leavevmode {\color {Chapter }Basic functionality for rcwa mappings}}{14}{section.2.3}
\contentsline {section}{\numberline {2.4}\leavevmode {\color {Chapter }Factoring rcwa mappings}}{16}{section.2.4}
\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color {Chapter }FactorizationIntoGenerators (g)}}{16}{subsection.2.4.1}
\contentsline {section}{\numberline {2.5}\leavevmode {\color {Chapter }Determinant and sign}}{17}{section.2.5}
\contentsline {subsection}{\numberline {2.5.1}\leavevmode {\color {Chapter }Determinant (sigma)}}{17}{subsection.2.5.1}
\contentsline {subsection}{\numberline {2.5.2}\leavevmode {\color {Chapter }Sign (sigma)}}{18}{subsection.2.5.2}
\contentsline {section}{\numberline {2.6}\leavevmode {\color {Chapter }Attributes and properties derived from the coefficients}}{18}{section.2.6}
\contentsline {subsection}{\numberline {2.6.1}\leavevmode {\color {Chapter }Multiplier (f)}}{18}{subsection.2.6.1}
\contentsline {subsection}{\numberline {2.6.2}\leavevmode {\color {Chapter }Divisor (f)}}{18}{subsection.2.6.2}
\contentsline {subsection}{\numberline {2.6.3}\leavevmode {\color {Chapter }PrimeSet (f)}}{19}{subsection.2.6.3}
\contentsline {subsection}{\numberline {2.6.4}\leavevmode {\color {Chapter }IsIntegral (f)}}{19}{subsection.2.6.4}
\contentsline {subsection}{\numberline {2.6.5}\leavevmode {\color {Chapter }IsClassWiseOrderPreserving (f)}}{19}{subsection.2.6.5}
\contentsline {section}{\numberline {2.7}\leavevmode {\color {Chapter }Functionality related to the affine partial mappings}}{20}{section.2.7}
\contentsline {subsection}{\numberline {2.7.1}\leavevmode {\color {Chapter }LargestSourcesOfAffineMappings (f)}}{20}{subsection.2.7.1}
\contentsline {subsection}{\numberline {2.7.2}\leavevmode {\color {Chapter }Multpk (f, p, k)}}{20}{subsection.2.7.2}
\contentsline {subsection}{\numberline {2.7.3}\leavevmode {\color {Chapter }SetOnWhichMappingIsClassWiseOrderPreserving (f)}}{21}{subsection.2.7.3}
\contentsline {section}{\numberline {2.8}\leavevmode {\color {Chapter }Transition graphs and transition matrices}}{21}{section.2.8}
\contentsline {subsection}{\numberline {2.8.1}\leavevmode {\color {Chapter }TransitionGraph (f, m)}}{21}{subsection.2.8.1}
\contentsline {subsection}{\numberline {2.8.2}\leavevmode {\color {Chapter }OrbitsModulo (f, m)}}{21}{subsection.2.8.2}
\contentsline {subsection}{\numberline {2.8.3}\leavevmode {\color {Chapter }FactorizationOnConnectedComponents (f, m)}}{22}{subsection.2.8.3}
\contentsline {subsection}{\numberline {2.8.4}\leavevmode {\color {Chapter }TransitionMatrix (f, m)}}{22}{subsection.2.8.4}
\contentsline {section}{\numberline {2.9}\leavevmode {\color {Chapter }Trajectories}}{23}{section.2.9}
\contentsline {subsection}{\numberline {2.9.1}\leavevmode {\color {Chapter }Trajectory (f, n, val, cond)}}{23}{subsection.2.9.1}
\contentsline {subsection}{\numberline {2.9.2}\leavevmode {\color {Chapter }TrajectoryModulo (f, n, m, lng)}}{24}{subsection.2.9.2}
\contentsline {subsection}{\numberline {2.9.3}\leavevmode {\color {Chapter }CoefficientsOnTrajectory (f, n, val, cond, all)}}{24}{subsection.2.9.3}
\contentsline {subsection}{\numberline {2.9.4}\leavevmode {\color {Chapter }IncreasingOn (f)}}{25}{subsection.2.9.4}
\contentsline {section}{\numberline {2.10}\leavevmode {\color {Chapter } Special functions for non-bijective mappings and miscellanea }}{25}{section.2.10}
\contentsline {subsection}{\numberline {2.10.1}\leavevmode {\color {Chapter }LikelyContractionCentre (f, maxn, bound)}}{25}{subsection.2.10.1}
\contentsline {subsection}{\numberline {2.10.2}\leavevmode {\color {Chapter }GuessedDivergence (f)}}{26}{subsection.2.10.2}
\contentsline {subsection}{\numberline {2.10.3}\leavevmode {\color {Chapter }ImageDensity (f)}}{26}{subsection.2.10.3}
\contentsline {subsection}{\numberline {2.10.4}\leavevmode {\color {Chapter }RightInverse (f)}}{26}{subsection.2.10.4}
\contentsline {subsection}{\numberline {2.10.5}\leavevmode {\color {Chapter }CommonRightInverse (l, r)}}{27}{subsection.2.10.5}
\contentsline {section}{\numberline {2.11}\leavevmode {\color {Chapter }The categories and families of rcwa mappings}}{27}{section.2.11}
\contentsline {subsection}{\numberline {2.11.1}\leavevmode {\color {Chapter }IsRcwaMapping (f)}}{27}{subsection.2.11.1}
\contentsline {subsection}{\numberline {2.11.2}\leavevmode {\color {Chapter }RcwaMappingsFamily (R)}}{27}{subsection.2.11.2}
\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }Residue Class-Wise Affine Groups}}{28}{chapter.3}
\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }Constructing residue class-wise affine groups}}{28}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }RCWA (R)}}{28}{subsection.3.1.1}
\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color {Chapter }Random (RCWA( Integers ))}}{29}{subsection.3.1.2}
\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color {Chapter }IsomorphismRcwaGroup (G)}}{31}{subsection.3.1.3}
\contentsline {section}{\numberline {3.2}\leavevmode {\color {Chapter }Attributes and properties of rcwa groups}}{31}{section.3.2}
\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color {Chapter }Modulus (G)}}{31}{subsection.3.2.1}
\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color {Chapter }IsTame (G)}}{32}{subsection.3.2.2}
\contentsline {subsection}{\numberline {3.2.3}\leavevmode {\color {Chapter }PrimeSet (G)}}{32}{subsection.3.2.3}
\contentsline {section}{\numberline {3.3}\leavevmode {\color {Chapter } Membership testing, order computation, permutation- / matrix representations }}{33}{section.3.3}
\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color {Chapter }\texttt {\char 92\relax }in (g, G)}}{33}{subsection.3.3.1}
\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color {Chapter }Size (G)}}{33}{subsection.3.3.2}
\contentsline {subsection}{\numberline {3.3.3}\leavevmode {\color {Chapter }IsomorphismPermGroup (G)}}{33}{subsection.3.3.3}
\contentsline {subsection}{\numberline {3.3.4}\leavevmode {\color {Chapter }IsomorphismMatrixGroup (G)}}{34}{subsection.3.3.4}
\contentsline {section}{\numberline {3.4}\leavevmode {\color {Chapter } Factoring elements into generators }}{35}{section.3.4}
\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color {Chapter }PreImagesRepresentative (phi, g)}}{35}{subsection.3.4.1}
\contentsline {subsection}{\numberline {3.4.2}\leavevmode {\color {Chapter }PreImagesRepresentatives (phi, g)}}{36}{subsection.3.4.2}
\contentsline {section}{\numberline {3.5}\leavevmode {\color {Chapter }The action of an rcwa group on the underlying ring R}}{37}{section.3.5}
\contentsline {subsection}{\numberline {3.5.1}\leavevmode {\color {Chapter }IsTransitive (G, Integers)}}{37}{subsection.3.5.1}
\contentsline {subsection}{\numberline {3.5.2}\leavevmode {\color {Chapter }RepresentativeAction (G, src, dest, act)}}{38}{subsection.3.5.2}
\contentsline {subsection}{\numberline {3.5.3}\leavevmode {\color {Chapter }RepresentativeActionPreImage (G, src, dest, act, F)}}{39}{subsection.3.5.3}
\contentsline {subsection}{\numberline {3.5.4}\leavevmode {\color {Chapter }RepresentativeAction (RCWA( Integers ), P1, P2)}}{39}{subsection.3.5.4}
\contentsline {subsection}{\numberline {3.5.5}\leavevmode {\color {Chapter }ShortOrbits (G, S, maxlng)}}{40}{subsection.3.5.5}
\contentsline {subsection}{\numberline {3.5.6}\leavevmode {\color {Chapter }OrbitsModulo (G, m)}}{41}{subsection.3.5.6}
\contentsline {section}{\numberline {3.6}\leavevmode {\color {Chapter }Conjugacy in RCWA(R)}}{41}{section.3.6}
\contentsline {subsection}{\numberline {3.6.1}\leavevmode {\color {Chapter }IsConjugate (RCWA( Integers ), f, g)}}{41}{subsection.3.6.1}
\contentsline {subsection}{\numberline {3.6.2}\leavevmode {\color {Chapter }RepresentativeAction (RCWA( Integers ), f, g)}}{42}{subsection.3.6.2}
\contentsline {subsection}{\numberline {3.6.3}\leavevmode {\color {Chapter }ShortCycles (f, maxlng)}}{42}{subsection.3.6.3}
\contentsline {subsection}{\numberline {3.6.4}\leavevmode {\color {Chapter }NrConjugacyClassesOfRCWAZOfOrder (ord)}}{43}{subsection.3.6.4}
\contentsline {section}{\numberline {3.7}\leavevmode {\color {Chapter }Restriction and induction}}{43}{section.3.7}
\contentsline {subsection}{\numberline {3.7.1}\leavevmode {\color {Chapter }Restriction (g, f)}}{43}{subsection.3.7.1}
\contentsline {subsection}{\numberline {3.7.2}\leavevmode {\color {Chapter }Restriction (G, f)}}{44}{subsection.3.7.2}
\contentsline {subsection}{\numberline {3.7.3}\leavevmode {\color {Chapter }Induction (g, f)}}{44}{subsection.3.7.3}
\contentsline {subsection}{\numberline {3.7.4}\leavevmode {\color {Chapter }DirectProduct (G1, G2, ...)}}{44}{subsection.3.7.4}
\contentsline {section}{\numberline {3.8}\leavevmode {\color {Chapter }Special attributes for tame rcwa groups}}{45}{section.3.8}
\contentsline {subsection}{\numberline {3.8.1}\leavevmode {\color {Chapter }RespectedPartition (G)}}{45}{subsection.3.8.1}
\contentsline {subsection}{\numberline {3.8.2}\leavevmode {\color {Chapter }ActionOnRespectedPartition (G)}}{45}{subsection.3.8.2}
\contentsline {subsection}{\numberline {3.8.3}\leavevmode {\color {Chapter }IntegralConjugate (G)}}{46}{subsection.3.8.3}
\contentsline {subsection}{\numberline {3.8.4}\leavevmode {\color {Chapter }IntegralizingConjugator (G)}}{46}{subsection.3.8.4}
\contentsline {section}{\numberline {3.9}\leavevmode {\color {Chapter }The categories and families of rcwa groups}}{47}{section.3.9}
\contentsline {subsection}{\numberline {3.9.1}\leavevmode {\color {Chapter }IsRcwaGroup (G)}}{47}{subsection.3.9.1}
\contentsline {subsection}{\numberline {3.9.2}\leavevmode {\color {Chapter }IntegralRcwaGroupsFamily}}{47}{subsection.3.9.2}
\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }Examples}}{48}{chapter.4}
\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter } Factoring Collatz' permutation of the integers }}{48}{section.4.1}
\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter } An rcwa mapping which seems to be contracting, but very slow }}{55}{section.4.2}
\contentsline {section}{\numberline {4.3}\leavevmode {\color {Chapter }Checking a result by P. Andaloro}}{57}{section.4.3}
\contentsline {section}{\numberline {4.4}\leavevmode {\color {Chapter }Two examples by Matthews and Leigh}}{58}{section.4.4}
\contentsline {section}{\numberline {4.5}\leavevmode {\color {Chapter }Exploring the structure of a wild rcwa group}}{60}{section.4.5}
\contentsline {section}{\numberline {4.6}\leavevmode {\color {Chapter }A wild rcwa mapping which has only finite cycles}}{62}{section.4.6}
\contentsline {section}{\numberline {4.7}\leavevmode {\color {Chapter }An abelian rcwa group over a polynomial ring}}{66}{section.4.7}
\contentsline {section}{\numberline {4.8}\leavevmode {\color {Chapter }An rcwa representation of a small group}}{67}{section.4.8}
\contentsline {section}{\numberline {4.9}\leavevmode {\color {Chapter } An rcwa representation of the symmetric group on 10 points }}{68}{section.4.9}
\contentsline {section}{\numberline {4.10}\leavevmode {\color {Chapter }Checking for solvability}}{71}{section.4.10}
\contentsline {section}{\numberline {4.11}\leavevmode {\color {Chapter }Some examples over (semi)localizations of the integers}}{72}{section.4.11}
\contentsline {section}{\numberline {4.12}\leavevmode {\color {Chapter } Twisting 257-cycles into an rcwa mapping with modulus 32 }}{75}{section.4.12}
\contentsline {section}{\numberline {4.13}\leavevmode {\color {Chapter } The behaviour of the moduli of powers }}{76}{section.4.13}
\contentsline {section}{\numberline {4.14}\leavevmode {\color {Chapter } Images and preimages under the Collatz mapping }}{77}{section.4.14}
\contentsline {section}{\numberline {4.15}\leavevmode {\color {Chapter } A group which acts 4-transitively on the positive integers }}{79}{section.4.15}
\contentsline {section}{\numberline {4.16}\leavevmode {\color {Chapter } A group which acts 3-transitively, but not 4-transitively on Z }}{88}{section.4.16}
\contentsline {section}{\numberline {4.17}\leavevmode {\color {Chapter } Grigorchuk groups }}{91}{section.4.17}
\contentsline {chapter}{\numberline {5}\leavevmode {\color {Chapter }The Algorithms Implemented in RCWA}}{93}{chapter.5}
\contentsline {chapter}{\numberline {6}\leavevmode {\color {Chapter }Installation and auxiliary functions}}{99}{chapter.6}
\contentsline {section}{\numberline {6.1}\leavevmode {\color {Chapter }Requirements}}{99}{section.6.1}
\contentsline {section}{\numberline {6.2}\leavevmode {\color {Chapter }Installation}}{99}{section.6.2}
\contentsline {section}{\numberline {6.3}\leavevmode {\color {Chapter }Building the manual}}{99}{section.6.3}
\contentsline {subsection}{\numberline {6.3.1}\leavevmode {\color {Chapter }RCWABuildManual}}{99}{subsection.6.3.1}
\contentsline {section}{\numberline {6.4}\leavevmode {\color {Chapter }The Info class of the package}}{100}{section.6.4}
\contentsline {subsection}{\numberline {6.4.1}\leavevmode {\color {Chapter }InfoRCWA}}{100}{subsection.6.4.1}
\contentsline {section}{\numberline {6.5}\leavevmode {\color {Chapter }The testing routine}}{100}{section.6.5}
\contentsline {subsection}{\numberline {6.5.1}\leavevmode {\color {Chapter }RCWATest}}{100}{subsection.6.5.1}
