\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }About the RCWA Package}}{6}{chapter.1}
\contentsline {section}{\numberline {1.1}\leavevmode {\color {Chapter }Motivation}}{6}{section.1.1}
\contentsline {section}{\numberline {1.2}\leavevmode {\color {Chapter }Groups which can be dealt with}}{6}{section.1.2}
\contentsline {section}{\numberline {1.3}\leavevmode {\color {Chapter }Purpose of this package}}{7}{section.1.3}
\contentsline {section}{\numberline {1.4}\leavevmode {\color {Chapter }Scope of this package}}{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 residue class-wise affine mappings}}{9}{section.2.2}
\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color {Chapter }ClassShift (r, m)}}{10}{subsection.2.2.1}
\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color {Chapter }ClassReflection (r, m)}}{10}{subsection.2.2.2}
\contentsline {subsection}{\numberline {2.2.3}\leavevmode {\color {Chapter }ClassTransposition (r1, m1, r2, m2)}}{11}{subsection.2.2.3}
\contentsline {subsection}{\numberline {2.2.4}\leavevmode {\color {Chapter }PrimeSwitch (p)}}{11}{subsection.2.2.4}
\contentsline {subsection}{\numberline {2.2.5}\leavevmode {\color {Chapter }RcwaMapping (R, m, coeffs)}}{12}{subsection.2.2.5}
\contentsline {subsection}{\numberline {2.2.6}\leavevmode {\color {Chapter }LaTeXObj (f)}}{13}{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 }FactorizationIntoCSCRCT (g)}}{16}{subsection.2.4.1}
\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color {Chapter }mKnot (m)}}{17}{subsection.2.4.2}
\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 (g)}}{17}{subsection.2.5.1}
\contentsline {subsection}{\numberline {2.5.2}\leavevmode {\color {Chapter }Sign (g)}}{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 {section}{\numberline {2.7}\leavevmode {\color {Chapter }Functionality related to the affine partial mappings}}{19}{section.2.7}
\contentsline {subsection}{\numberline {2.7.1}\leavevmode {\color {Chapter }LargestSourcesOfAffineMappings (f)}}{19}{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 }FixedPointsOfAffinePartialMappings (f)}}{20}{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)}}{21}{subsection.2.8.3}
\contentsline {subsection}{\numberline {2.8.4}\leavevmode {\color {Chapter }TransitionMatrix (f, m)}}{22}{subsection.2.8.4}
\contentsline {subsection}{\numberline {2.8.5}\leavevmode {\color {Chapter }Sources (f)}}{22}{subsection.2.8.5}
\contentsline {subsection}{\numberline {2.8.6}\leavevmode {\color {Chapter }Sinks (f)}}{22}{subsection.2.8.6}
\contentsline {subsection}{\numberline {2.8.7}\leavevmode {\color {Chapter }Loops (f)}}{23}{subsection.2.8.7}
\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, length)}}{23}{subsection.2.9.1}
\contentsline {subsection}{\numberline {2.9.2}\leavevmode {\color {Chapter }Trajectory (f, n, length, whichcoeffs)}}{23}{subsection.2.9.2}
\contentsline {subsection}{\numberline {2.9.3}\leavevmode {\color {Chapter }IncreasingOn (f)}}{24}{subsection.2.9.3}
\contentsline {subsection}{\numberline {2.9.4}\leavevmode {\color {Chapter }GluckTaylorInvariant (a)}}{24}{subsection.2.9.4}
\contentsline {section}{\numberline {2.10}\leavevmode {\color {Chapter } Localizations of rcwa mappings of the integers }}{25}{section.2.10}
\contentsline {subsection}{\numberline {2.10.1}\leavevmode {\color {Chapter }LocalizedRcwaMapping (f, p)}}{25}{subsection.2.10.1}
\contentsline {section}{\numberline {2.11}\leavevmode {\color {Chapter } Extracting roots of rcwa mappings }}{25}{section.2.11}
\contentsline {subsection}{\numberline {2.11.1}\leavevmode {\color {Chapter }Root (f, k)}}{25}{subsection.2.11.1}
\contentsline {section}{\numberline {2.12}\leavevmode {\color {Chapter } Special functions for non-bijective mappings }}{25}{section.2.12}
\contentsline {subsection}{\numberline {2.12.1}\leavevmode {\color {Chapter }RightInverse (f)}}{25}{subsection.2.12.1}
\contentsline {subsection}{\numberline {2.12.2}\leavevmode {\color {Chapter }CommonRightInverse (l, r)}}{26}{subsection.2.12.2}
\contentsline {subsection}{\numberline {2.12.3}\leavevmode {\color {Chapter }ImageDensity (f)}}{26}{subsection.2.12.3}
\contentsline {section}{\numberline {2.13}\leavevmode {\color {Chapter } Probabilistic guesses on the behaviour of trajectories }}{27}{section.2.13}
\contentsline {subsection}{\numberline {2.13.1}\leavevmode {\color {Chapter }LikelyContractionCentre (f, maxn, bound)}}{27}{subsection.2.13.1}
\contentsline {subsection}{\numberline {2.13.2}\leavevmode {\color {Chapter }GuessedDivergence (f)}}{27}{subsection.2.13.2}
\contentsline {section}{\numberline {2.14}\leavevmode {\color {Chapter }The categories and families of rcwa mappings}}{28}{section.2.14}
\contentsline {subsection}{\numberline {2.14.1}\leavevmode {\color {Chapter }IsRcwaMapping (f)}}{28}{subsection.2.14.1}
\contentsline {subsection}{\numberline {2.14.2}\leavevmode {\color {Chapter }RcwaMappingsFamily (R)}}{28}{subsection.2.14.2}
\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }Residue Class-Wise Affine Groups}}{29}{chapter.3}
\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }Constructing residue class-wise affine groups}}{29}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }RCWA (R)}}{29}{subsection.3.1.1}
\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color {Chapter }IsomorphismRcwaGroupOverZ (G)}}{30}{subsection.3.1.2}
\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color {Chapter }StructureDescription (G)}}{31}{subsection.3.1.3}
\contentsline {section}{\numberline {3.2}\leavevmode {\color {Chapter }Direct products and wreath products}}{31}{section.3.2}
\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color {Chapter }DirectProduct (G1, G2, ...)}}{32}{subsection.3.2.1}
\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color {Chapter }WreathProduct (G, P)}}{32}{subsection.3.2.2}
\contentsline {section}{\numberline {3.3}\leavevmode {\color {Chapter } The membership test }}{33}{section.3.3}
\contentsline {section}{\numberline {3.4}\leavevmode {\color {Chapter }Basic attributes and properties of rcwa groups}}{33}{section.3.4}
\contentsline {section}{\numberline {3.5}\leavevmode {\color {Chapter } Permutation- and matrix representations }}{34}{section.3.5}
\contentsline {subsection}{\numberline {3.5.1}\leavevmode {\color {Chapter }IsomorphismPermGroup (G)}}{34}{subsection.3.5.1}
\contentsline {subsection}{\numberline {3.5.2}\leavevmode {\color {Chapter }IsomorphismMatrixGroup (G)}}{34}{subsection.3.5.2}
\contentsline {section}{\numberline {3.6}\leavevmode {\color {Chapter } Factoring elements into generators }}{35}{section.3.6}
\contentsline {subsection}{\numberline {3.6.1}\leavevmode {\color {Chapter }PreImagesRepresentative (phi, g)}}{35}{subsection.3.6.1}
\contentsline {subsection}{\numberline {3.6.2}\leavevmode {\color {Chapter }PreImagesRepresentatives (phi, g)}}{36}{subsection.3.6.2}
\contentsline {section}{\numberline {3.7}\leavevmode {\color {Chapter }The action of an rcwa group on the underlying ring}}{36}{section.3.7}
\contentsline {subsection}{\numberline {3.7.1}\leavevmode {\color {Chapter }IsTransitive (G, Integers)}}{36}{subsection.3.7.1}
\contentsline {subsection}{\numberline {3.7.2}\leavevmode {\color {Chapter }RepresentativeAction (G, src, dest, act)}}{37}{subsection.3.7.2}
\contentsline {subsection}{\numberline {3.7.3}\leavevmode {\color {Chapter }RepresentativeActionPreImage (G, src, dest, act, F)}}{38}{subsection.3.7.3}
\contentsline {subsection}{\numberline {3.7.4}\leavevmode {\color {Chapter }RepresentativeAction (RCWA( Integers ), P1, P2)}}{38}{subsection.3.7.4}
\contentsline {subsection}{\numberline {3.7.5}\leavevmode {\color {Chapter }ShortOrbits (G, S, maxlng)}}{39}{subsection.3.7.5}
\contentsline {subsection}{\numberline {3.7.6}\leavevmode {\color {Chapter }Projections (G, m)}}{40}{subsection.3.7.6}
\contentsline {subsection}{\numberline {3.7.7}\leavevmode {\color {Chapter }Ball (G, p, d, act)}}{40}{subsection.3.7.7}
\contentsline {section}{\numberline {3.8}\leavevmode {\color {Chapter }Conjugacy in RCWA(Z)}}{40}{section.3.8}
\contentsline {subsection}{\numberline {3.8.1}\leavevmode {\color {Chapter }IsConjugate (RCWA(Integers), f, g)}}{40}{subsection.3.8.1}
\contentsline {subsection}{\numberline {3.8.2}\leavevmode {\color {Chapter }RepresentativeAction (RCWA(Integers), f, g)}}{41}{subsection.3.8.2}
\contentsline {subsection}{\numberline {3.8.3}\leavevmode {\color {Chapter }NrConjugacyClassesOfRCWAZOfOrder (ord)}}{41}{subsection.3.8.3}
\contentsline {section}{\numberline {3.9}\leavevmode {\color {Chapter }Restriction and induction}}{42}{section.3.9}
\contentsline {subsection}{\numberline {3.9.1}\leavevmode {\color {Chapter }Restriction (g, f)}}{42}{subsection.3.9.1}
\contentsline {subsection}{\numberline {3.9.2}\leavevmode {\color {Chapter }Induction (g, f)}}{42}{subsection.3.9.2}
\contentsline {section}{\numberline {3.10}\leavevmode {\color {Chapter }Getting pseudo-random elements of RCWA(Z)}}{43}{section.3.10}
\contentsline {section}{\numberline {3.11}\leavevmode {\color {Chapter }Special attributes for tame rcwa groups}}{44}{section.3.11}
\contentsline {subsection}{\numberline {3.11.1}\leavevmode {\color {Chapter }RespectedPartition (G)}}{44}{subsection.3.11.1}
\contentsline {subsection}{\numberline {3.11.2}\leavevmode {\color {Chapter }ActionOnRespectedPartition (G)}}{44}{subsection.3.11.2}
\contentsline {subsection}{\numberline {3.11.3}\leavevmode {\color {Chapter }KernelOfActionOnRespectedPartition (G)}}{45}{subsection.3.11.3}
\contentsline {subsection}{\numberline {3.11.4}\leavevmode {\color {Chapter }IntegralConjugate (G)}}{45}{subsection.3.11.4}
\contentsline {section}{\numberline {3.12}\leavevmode {\color {Chapter }Some general utility functions}}{46}{section.3.12}
\contentsline {section}{\numberline {3.13}\leavevmode {\color {Chapter }The categories of rcwa groups}}{46}{section.3.13}
\contentsline {subsection}{\numberline {3.13.1}\leavevmode {\color {Chapter }IsRcwaGroup (G)}}{46}{subsection.3.13.1}
\contentsline {chapter}{\numberline {4}\leavevmode {\color {Chapter }Examples}}{47}{chapter.4}
\contentsline {section}{\numberline {4.1}\leavevmode {\color {Chapter } Factoring Collatz' permutation of the integers }}{47}{section.4.1}
\contentsline {section}{\numberline {4.2}\leavevmode {\color {Chapter } An rcwa mapping which seems to be contracting, but very slow }}{49}{section.4.2}
\contentsline {section}{\numberline {4.3}\leavevmode {\color {Chapter }Checking a result by P. Andaloro}}{51}{section.4.3}
\contentsline {section}{\numberline {4.4}\leavevmode {\color {Chapter }Two examples by Matthews and Leigh}}{52}{section.4.4}
\contentsline {section}{\numberline {4.5}\leavevmode {\color {Chapter }Exploring the structure of a wild rcwa group}}{54}{section.4.5}
\contentsline {section}{\numberline {4.6}\leavevmode {\color {Chapter }A wild rcwa mapping which has only finite cycles}}{56}{section.4.6}
\contentsline {section}{\numberline {4.7}\leavevmode {\color {Chapter }An abelian rcwa group over a polynomial ring}}{60}{section.4.7}
\contentsline {section}{\numberline {4.8}\leavevmode {\color {Chapter } A tame group generated by commutators of wild permutations }}{61}{section.4.8}
\contentsline {section}{\numberline {4.9}\leavevmode {\color {Chapter }Checking for solvability}}{64}{section.4.9}
\contentsline {section}{\numberline {4.10}\leavevmode {\color {Chapter }Some examples over (semi)localizations of the integers}}{65}{section.4.10}
\contentsline {section}{\numberline {4.11}\leavevmode {\color {Chapter } Twisting 257-cycles into an rcwa mapping with modulus 32 }}{68}{section.4.11}
\contentsline {section}{\numberline {4.12}\leavevmode {\color {Chapter } The behaviour of the moduli of powers }}{69}{section.4.12}
\contentsline {section}{\numberline {4.13}\leavevmode {\color {Chapter } Images and preimages under the Collatz mapping }}{70}{section.4.13}
\contentsline {section}{\numberline {4.14}\leavevmode {\color {Chapter } A group which acts 4-transitively on the positive integers }}{72}{section.4.14}
\contentsline {section}{\numberline {4.15}\leavevmode {\color {Chapter } A group which acts 3-transitively, but not 4-transitively on Z }}{81}{section.4.15}
\contentsline {section}{\numberline {4.16}\leavevmode {\color {Chapter } Grigorchuk groups }}{84}{section.4.16}
\contentsline {section}{\numberline {4.17}\leavevmode {\color {Chapter } Forward orbits of a monoid with 2 generators }}{86}{section.4.17}
\contentsline {section}{\numberline {4.18}\leavevmode {\color {Chapter } Representations of the free group of rank 2 }}{87}{section.4.18}
\contentsline {section}{\numberline {4.19}\leavevmode {\color {Chapter } Representations of the modular group PSL(2,Z) }}{88}{section.4.19}
\contentsline {chapter}{\numberline {5}\leavevmode {\color {Chapter }The Algorithms Implemented in RCWA}}{90}{chapter.5}
\contentsline {chapter}{\numberline {6}\leavevmode {\color {Chapter }Installation and auxiliary functions}}{97}{chapter.6}
\contentsline {section}{\numberline {6.1}\leavevmode {\color {Chapter }Requirements}}{97}{section.6.1}
\contentsline {section}{\numberline {6.2}\leavevmode {\color {Chapter }Installation}}{97}{section.6.2}
\contentsline {section}{\numberline {6.3}\leavevmode {\color {Chapter }The Info class of the package}}{97}{section.6.3}
\contentsline {subsection}{\numberline {6.3.1}\leavevmode {\color {Chapter }InfoRCWA}}{97}{subsection.6.3.1}
\contentsline {section}{\numberline {6.4}\leavevmode {\color {Chapter }The testing routine}}{97}{section.6.4}
\contentsline {subsection}{\numberline {6.4.1}\leavevmode {\color {Chapter }RCWATest}}{97}{subsection.6.4.1}
\contentsline {section}{\numberline {6.5}\leavevmode {\color {Chapter }Building the manual}}{98}{section.6.5}
\contentsline {subsection}{\numberline {6.5.1}\leavevmode {\color {Chapter }RCWABuildManual}}{98}{subsection.6.5.1}
