  
  [1m[4m[31m5. The Algorithms Implemented in RCWA[0m
  
  Apart  from  the method for factoring residue class-wise affine permutations
  of Z  into  class  transpositions,  class shifts and class reflections, most
  mathematically  interesting  algorithms  implemented  in  this  package  are
  described  in  the author's thesis [K05] in the form of constructive proofs.
  This  chapter  provides  references to the corresponding theorems, and lists
  short  descriptions  of the other algorithms and methods implemented in this
  package.  The word "trivial" as a description means that essentially nothing
  is  done except of storing or recalling one or several values, and "straight
  forward" means that no sophisticated algorithm is used. The descriptions are
  kept very informal and short. They are listed in alphabetical order.
  
  [1m[33m
      [22m[32mActionOnRespectedPartition([22m[34mG[0m)[0m
    [0m
        "Straight  forward"  after  having  computed  a respected partition by
        [22m[32mRespectedPartition[0m.  One  only  needs to know how to compute images of
        residue classes under affine mappings.
  
  [1m[33m
      [22m[32mBall([22m[34mG[0m,[22m[34mg[0m,[22m[34md[0m)[0m
    [0m
        "Straight forward".
  
  [1m[33m
      [22m[32mBall([22m[34mG[0m,[22m[34mp[0m,[22m[34md[0m,[22m[34mact[0m)[0m
    [0m
        "Straight forward".
  
  [1m[33m
      [22m[32mClassReflection([22m[34mr[0m,[22m[34mm[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mClassShift([22m[34mr[0m,[22m[34mm[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mClassTransposition([22m[34mr1[0m,[22m[34mm1[0m,[22m[34mr2[0m,[22m[34mm2[0m)[0m
    [0m
        See Remark 2.9.2 in [K05].
  
  [1m[33m
      [22m[32mCoefficients([22m[34mf[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mCoefficientsOnTrajectory([22m[34mf[0m,[22m[34mn[0m,[22m[34mval[0m,[22m[34mcond[0m,[22m[34mall[0m)[0m
    [0m
        Iterated  application  of  an  rcwa mapping, and composition of affine
        mappings.
  
  [1m[33m
      [22m[32mCommonRightInverse([22m[34ml[0m,[22m[34mr[0m)[0m
    [0m
        "Straight  forward"  if  one  knows  how  to compute images of residue
        classes  under  affine mappings, and how to compute inverses of affine
        mappings.
  
  [1m[33m
      [22m[32mDecreasingOn([22m[34mf[0m)[0m
    [0m
        Form  the  union  of  the  residue classes which are determined by the
        coefficients as indicated.
  
  [1m[33m
      [22m[32mDeterminant([22m[34msigma[0m)[0m
    [0m
        Evaluation  of  the  given  expression.  For  the mathematical meaning
        (epimorphism!), see Theorem 2.11.9 in [K05].
  
  [1m[33m
      [22m[32mDirectProduct([22m[34mG1[0m,[22m[34mG2[0m, ... )[0m
    [0m
        Restrict  the  groups  [22m[34mG1[0m,  [22m[34mG2[0m,  ...  to disjoint residue classes. See
        [22m[32mRestriction[0m and Corollary 2.3.3 in [K05].
  
  [1m[33m
      [22m[32mDisplay([22m[34mf[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mDivisor([22m[34mf[0m)[0m
    [0m
        Lcm of coefficients, as indicated.
  
  [1m[33m
      [22m[32mFactorizationIntoCSCRCT([22m[34mg[0m)[0m
    [0m
        This uses a rather sophisticated method which will likely some time be
        published  elsewhere. At the moment termination is not guaranteed, but
        in  case of termination the result is certain. The strategy is roughly
        first  to  make  the mapping class-wise order-preserving and balanced,
        and  then  to remove all prime factors from multiplier and divisor one
        after  the  other in decreasing order by dividing by appropriate class
        transpositions.  The remaining integral mapping can be factored almost
        similarly easily as a permutation of a finite set can be factored into
        transpositions.
  
  [1m[33m
      [22m[32mFactorizationOnConnectedComponents([22m[34mf[0m,[22m[34mm[0m)[0m
    [0m
        Call  [1mGRAPE[0m  to  get the connected components of the transition graph,
        and  then  compute  a partition of the suitably "blown up" coefficient
        list corresponding to the connected components.
  
  [1m[33m
      [22m[32mFixedPointsOfAffinePartialMappings([22m[34mf[0m)[0m
    [0m
        "Straight forward".
  
  [1m[33m
      [22m[32mGuessedDivergence([22m[34mf[0m)[0m
    [0m
        Numerical  computation  of  the  limit  of some series, which seems to
        converge "often". Caution!!!
  
  [1m[33m
      [22m[32mImage([22m[34mf[0m)[0m, [22m[32mImage([22m[34mf[0m,[22m[34mS[0m)[0m
    [0m
        "Straight  forward" if one can compute images of residue classes under
        affine  mappings  and  unite  and  intersect  residue classes (Chinese
        Remainder Theorem). See Lemma 1.2.1 in [K05].
  
  [1m[33m
      [22m[32mImageDensity([22m[34mf[0m)[0m
    [0m
        Evaluation of the given expression.
  
  [1m[33m
      [22m[32m[22m[34mg[0m in [22m[34mG[0m[0m (membership test)
    [0m
        Test whether the mapping [22m[34mg[0m or its inverse is in the list of generators
        of [22m[34mG[0m. If it is, return [22m[32mtrue[0m. Test whether its prime set is a subset of
        the  prime  set  of [22m[34mG[0m.  If  not, return [22m[32mfalse[0m. Test if [22m[34mG[0m is class-wise
        order-preserving,  and [22m[34mg[0m is not. If so, return [22m[32mfalse[0m. Test whether the
        support of [22m[34mg[0m is a subset of the support of [22m[34mG[0m. If not, return [22m[32mfalse[0m.
  
        If  [22m[34mG[0m  is  not  tame,  try  to  factor  [22m[34mg[0m  into  generators of [22m[34mG[0m using
        [22m[32mPreImagesRepresentative[0m.  If  successful,  return  [22m[32mtrue[0m. If [22m[34mg[0m is in [22m[34mG[0m,
        this  terminates  after  a  finite  number  of steps. Both runtime and
        memory requirements are exponential in the word length. If [22m[34mg[0m is not in
        [22m[34mG[0m, it runs into an infinite loop. If [22m[34mG[0m is tame, proceed as follows:
  
        Test whether the modulus of [22m[34mg[0m divides the modulus of [22m[34mG[0m. If not, return
        [22m[32mfalse[0m.  Test  whether  [22m[34mG[0m  is  finite  and [22m[34mg[0m has infinite order. If so,
        return  [22m[32mfalse[0m. Test whether [22m[34mg[0m is tame. If not, return [22m[32mfalse[0m. Compute a
        respected  partition [22m[32mP[0m of [22m[34mG[0m and the finite permutation group [22m[32mH[0m induced
        by  [22m[34mG[0m  on  it (see [22m[32mRespectedPartition[0m). Check whether [22m[34mg[0m permutes [22m[32mP[0m. If
        not,  return  [22m[32mfalse[0m. Let [22m[32mh[0m be the permutation induced by [22m[34mg[0m on [22m[32mP[0m. Check
        whether [22m[32mh[0m lies in [22m[32mH[0m. If not, return [22m[32mfalse[0m.
  
        If  [22m[34mG[0m  is  class-wise  order-preserving,  do the following: Compute an
        element  [22m[32mg1[0m  of  [22m[34mG[0m  which acts on [22m[32mP[0m like [22m[34mg[0m. For this purpose, factor [22m[34mh[0m
        into  generators  of  [22m[32mH[0m  using  [22m[32mPreImagesRepresentative[0m.  Compute  the
        corresponding product of generators of [22m[34mG[0m. Set [22m[32mk := g/g1[0m. The mapping [22m[32mk[0m
        is  necessarily integral. Compute the kernel [22m[32mK[0m of the action of [22m[34mG[0m on [22m[32mP[0m
        using  [22m[32mKernelOfActionOnRespectedPartition[0m. Check whether [22m[32mk[0m lies in the
        kernel  of  the  action  of  [22m[34mG[0m  on [22m[32mP[0m by using [22m[32mSolutionIntMat[0m to decide
        membership  of the coefficient vector (second entry of each triple) of
        [22m[32mk[0m   in   the   lattice   spanned   by   the   rows   of   the   matrix
        [22m[32mKernelOfActionOnRespectedPartitionHNFMat([22m[34mG[0m)[0m.   If   it  is  contained,
        return [22m[32mtrue[0m.
  
        If  membership  still  has  not been decided yet, try to factor [22m[34mg[0m into
        generators  of [22m[34mG[0m  using [22m[32mPreImagesRepresentative[0m. If successful, return
        [22m[32mtrue[0m.  If  [22m[34mg[0m  is in [22m[34mG[0m, this terminates after a finite number of steps.
        Both  runtime  and  memory  requirements  are  exponential in the word
        length. If [22m[34mg[0m is not in [22m[34mG[0m, the method runs into an infinite loop.
  
  [1m[33m
      [22m[32mIncreasingOn([22m[34mf[0m)[0m
    [0m
        Form  the  union  of  the  residue classes which are determined by the
        coefficients as indicated.
  
  [1m[33m
      [22m[32mIntegralConjugate([22m[34mf[0m)[0m, 
      [22m[32mIntegralConjugate([22m[34mG[0m)[0m
    [0m
        Uses the algorithm described in the proof of Theorem 2.5.14 in [K05].
  
  [1m[33m
      [22m[32mIntegralizingConjugator([22m[34mf[0m)[0m, 
      [22m[32mIntegralizingConjugator([22m[34mG[0m)[0m
    [0m
        Uses the algorithm described in the proof of Theorem 2.5.14 in [K05].
  
  [1m[33m
      [22m[32mInverse([22m[34mf[0m)[0m
    [0m
        Essentially  inversion  of  affine mappings. See Lemma 1.3.1, Part (b)
        in [K05].
  
  [1m[33m
      [22m[32mIsClassWiseOrderPreserving([22m[34mf[0m)[0m
    [0m
        Test whether the first entry of all coefficient triples is positive.
  
  [1m[33m
      [22m[32mIsConjugate(RCWA(Integers),[22m[34mf[0m,[22m[34mg[0m)[0m
    [0m
        Test  whether  [22m[34mf[0m and [22m[34mg[0m have the same order, and whether either both or
        none of them is tame. If not, return [22m[32mfalse[0m.
  
        If  the mappings are wild, use [22m[32mShortCycles[0m to search for finite cycles
        not  belonging  to  an  infinite  series,  until  their  numbers for a
        particular  length  differ.  This may run into an infinite loop. If it
        terminates, return [22m[32mfalse[0m.
  
        If  the  mappings  are  tame, use the method described in the proof of
        Theorem 2.5.14  in [K05]  to construct integral conjugates of [22m[34mf[0m and [22m[34mg[0m.
        Then   essentially  use  the  algorithm  described  in  the  proof  of
        Theorem 2.6.7  in [K05]  to  compute "standard representatives" of the
        conjugacy  classes which the integral conjugates of [22m[34mf[0m and [22m[34mg[0m belong to.
        Finally  compare  these  standard  representatives, and return [22m[32mtrue[0m if
        they are equal and [22m[32mfalse[0m if not.
  
  [1m[33m
      [22m[32mIsInjective([22m[34mf[0m)[0m
    [0m
        See [22m[32mImage[0m.
  
  [1m[33m
      [22m[32mIsIntegral([22m[34mf[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mIsomorphismMatrixGroup([22m[34mG[0m)[0m
    [0m
        Use the algorithm described in the proof of Theorem 2.6.3 in [K05].
  
  [1m[33m
      [22m[32mIsomorphismPermGroup([22m[34mG[0m)[0m
    [0m
        If  [22m[34mG[0m  is  wild  or [22m[32mKernelOfActionOnRespectedPartition[0m is not trivial,
        return [22m[32mfail[0m. Otherwise use [22m[32mActionOnRespectedPartition[0m.
  
  [1m[33m
      [22m[32mIsomorphismRcwaGroup([22m[34mG[0m)[0m
    [0m
        Uses  [22m[32mRcwaMapping[0m,  Part (d).  Currently  this  works  only for finite
        groups.
  
  [1m[33m
      [22m[32mIsSurjective([22m[34mf[0m)[0m
    [0m
        See [22m[32mImage[0m.
  
  [1m[33m
      [22m[32mIsTame([22m[34mG[0m)[0m
    [0m
        Checks whether the modulus of the group is non-zero.
  
  [1m[33m
      [22m[32mIsTame([22m[34mf[0m)[0m
    [0m
        Application  of  the criteria given in Corollary 2.5.10 and 2.5.12 and
        Theorem A.8   and A.11   in [K05].  For  applying  the  last-mentioned
        criterium  (existence of weakly-connected components of the transition
        graph which are not strongly-connected), [1mGRAPE[0m is needed.
  
        In  addition,  some  probabilistic  methods  are  used.  If the result
        depends on one of these, a warning is displayed.
  
  [1m[33m
      [22m[32mIsTransitive([22m[34mG[0m,Integers)[0m
    [0m
        Look for finite orbits, using [22m[32mShortOrbits[0m on a couple of intervals. If
        a  finite  orbit  is found, return [22m[32mfalse[0m. Test if [22m[34mG[0m is finite. If yes,
        return [22m[32mfalse[0m.
  
        Search  for  an  element  [22m[32mg[0m  and  a  residue  class r(m) such that the
        restriction of [22m[32mg[0m to r(m) is given by n -> n + m. Then the cyclic group
        generated  by  [22m[32mg[0m  acts transitively on r(m). The element [22m[32mg[0m is searched
        among  the generators of [22m[34mG[0m, its powers, its commutators, powers of its
        commutators  and  products of few different generators. The search for
        such  an  element  may  run  into  an  infinite  loop,  as there is no
        guarantee that the group has a suitable element.
  
        If suitable [22m[32mg[0m and r(m) are found, proceed as follows:
  
        Set  S  :=  r(m).  Set  S  := S cup S^g for all generators g of [22m[34mG[0m, and
        repeat  this  until  S remains constant. This may run into an infinite
        loop.
  
        If it terminates: If S = Z, return [22m[32mtrue[0m, otherwise return [22m[32mfalse[0m.
  
  [1m[33m
      [22m[32mKernelOfActionOnRespectedPartition([22m[34mG[0m)[0m
    [0m
        Use  a  random  walk  through  the group [22m[34mG[0m. Compute powers of elements
        encountered along the way which fix the respected partition of [22m[34mG[0m which
        has been computed by [22m[32mRespectedPartition[0m. Get vectors from these powers
        by  taking the second entry of each coefficient triple. Form a lattice
        out  of  these  vectors. Stop if for a while all found vectors already
        belong  to  this lattice (this is probabilistic). Bring the lattice to
        Hermite  Normal  Form,  and transform the rows of the resulting matrix
        back to rcwa mappings generating the kernel.
  
  [1m[33m
      [22m[32mKernelOfActionOnRespectedPartitionHNFMat([22m[34mG[0m)[0m
    [0m
        This is a "spin-off" of [22m[32mKernelOfActionOnRespectedPartition[0m.
  
  [1m[33m
      [22m[32mLargestSourcesOfAffineMappings([22m[34mf[0m)[0m
    [0m
        Form  unions  of  residue  classes  modulo the modulus of the mapping,
        whose corresponding coefficient triples are equal.
  
  [1m[33m
      [22m[32mLaTeXObj([22m[34mf[0m)[0m
    [0m
        Collect  residue  classes  those corresponding coefficient triples are
        equal.
  
  [1m[33m
      [22m[32mLikelyContractionCentre([22m[34mf[0m,[22m[34mmaxn[0m,[22m[34mbound[0m)[0m
    [0m
        Compute trajectories with starting values from a given interval, until
        a  cycle  is  reached.  Abort if the trajectory exceeds the prescribed
        bound. Form the union of the detected cycles.
  
  [1m[33m
      [22m[32mLocalizedRcwaMapping([22m[34mf[0m,[22m[34mp[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mmKnot([22m[34mm[0m)[0m
    [0m
        "Straight forward", following the definition given in [K99].
  
  [1m[33m
      [22m[32mModulus([22m[34mG[0m)[0m
    [0m
        Searches  for  a  wild element in the group. If unsuccessful, tries to
        construct a respected partition (see [22m[32mRespectedPartition[0m).
  
  [1m[33m
      [22m[32mModulus([22m[34mf[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mMovedPoints([22m[34mG[0m)[0m
    [0m
        Needs  only  forming  unions  of residue classes and determining fixed
        points of affine mappings.
  
  [1m[33m
      [22m[32mMultiplier([22m[34mf[0m)[0m
    [0m
        Lcm of coefficients, as indicated.
  
  [1m[33m
      [22m[32mMultpk([22m[34mf[0m,[22m[34mp[0m,[22m[34mk[0m)[0m
    [0m
        Form  the  union  of  the  residue  classes  modulo the modulus of the
        mapping,  which  are determined by the given divisibility criteria for
        the coefficients of the corresponding affine mapping.
  
  [1m[33m
      [22m[32mNrConjugacyClassesOfRCWAZOfOrder([22m[34mord[0m)[0m
    [0m
        The class numbers are taken from Corollary 2.7.1 in [K05].
  
  [1m[33m
      [22m[32mOrbitsModulo([22m[34mf[0m,[22m[34mm[0m)[0m
    [0m
        Use [1mGRAPE[0m to compute the connected components of the transition graph.
  
  [1m[33m
      [22m[32mOrbitsModulo([22m[34mG[0m,[22m[34mm[0m)[0m
    [0m
        "Straight forward".
  
  [1m[33m
      [22m[32mOrder([22m[34mf[0m)[0m
    [0m
        Test  for  [22m[32mIsTame[0m.  If  the mapping is not tame, then return [22m[32minfinity[0m.
        Otherwise use Corollary 2.5.10 in [K05].
  
  [1m[33m
      [22m[32mPreImage([22m[34mf[0m,[22m[34mS[0m)[0m
    [0m
        See [22m[32mImage[0m.
  
  [1m[33m
      [22m[32mPreImagesRepresentative([22m[34mphi[0m,[22m[34mg[0m)[0m,
      [22m[32mPreImagesRepresentatives([22m[34mphi[0m,[22m[34mg[0m)[0m
    [0m
        As  indicated  in  the  documentation of these methods. The underlying
        idea  to  successively  compute  two  balls  around 1 and [22m[34mg[0m until they
        intersect non-trivially is standard in computational group theory. For
        rcwa  groups it would mean wasting both memory and runtime to actually
        compute  group  elements.  Thus  only  images  of tuples of points are
        computed and stored.
  
  [1m[33m
      [22m[32mPrimeSet([22m[34mf[0m)[0m,
      [22m[32mPrimeSet([22m[34mG[0m)[0m
    [0m
        "Straight forward".
  
  [1m[33m
      [22m[32mPrimeSwitch([22m[34mp[0m)[0m
    [0m
        Multiplication of rcwa mappings as indicated.
  
  [1m[33m
      [22m[32mPrint([22m[34mf[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32m[22m[34mf[0m*[22m[34mg[0m[0m
    [0m
        Essentially  composition of affine mappings. See Lemma 1.3.1, Part (a)
        in [K05].
  
  [1m[33m
      [22m[32mRandom(RCWA(Integers))[0m
    [0m
        Computes   a   product   of  "randomly"  chosen  class  shifts,  class
        reflections  and  class  transpositions. This seems to be suitable for
        generating reasonably good examples.
  
  [1m[33m
      [22m[32mRankOfKernelOfActionOnRespectedPartition([22m[34mG[0m)[0m
    [0m
        This is a "spin-off" of [22m[32mKernelOfActionOnRespectedPartition[0m.
  
  [1m[33m
      [22m[32mRCWA([22m[34mR[0m)[0m
    [0m
        Attributes   are   set   according  to  Theorem 2.1.1,  Theorem 2.1.2,
        Corollary 2.1.6 and Theorem 2.12.8 in [K05].
  
  [1m[33m
      [22m[32mRcwaGroupByPermGroup([22m[34mG[0m)[0m
    [0m
        Uses [22m[32mRcwaMapping[0m, Part (d).
  
  [1m[33m
      [22m[32mRcwaMapping[0m
    [0m
        (a)-(c):  "trivial", (d): [22m[32mn^perm - n[0m for determining the coefficients,
        (e):  "affine  mappings  by  values at two given points", (f) and (g):
        "trivial", (h) and (i): correspond to Lemma 2.1.4 in [K05].
  
  [1m[33m
      [22m[32mRepresentativeAction([22m[34mG[0m,[22m[34msrc[0m,[22m[34mdest[0m,[22m[34mact[0m)[0m,
      [22m[32mRepresentativeActionPreImage[0m
    [0m
        As  indicated  in  the  documentation of these methods. The underlying
        idea  to successively compute two balls around [22m[34msrc[0m and [22m[34mdest[0m until they
        intersect  non-trivially  is  standard  in computational group theory.
        Words  standing  for  products  of  generators of [22m[34mG[0m are stored for any
        image of [22m[34msrc[0m or [22m[34mdest[0m.
  
  [1m[33m
      [22m[32mRepresentativeAction([22m[34mG[0m,[22m[34mP1[0m,[22m[34mP2[0m)[0m
    [0m
        Arbitrary  mapping:  see Lemma 2.1.4 in [K05]. Tame mapping: see proof
        of  Theorem 2.8.9  in [K05].  The  former is almost trivial, while the
        latter is a bit complicate and takes usually also much more time.
  
  [1m[33m
      [22m[32mRepresentativeAction(RCWA(Integers),[22m[34mf[0m,[22m[34mg[0m)[0m
    [0m
        The  algorithm used by [22m[32mIsConjugate[0m constructs actually also an element
        [22m[32mx[0m such that [22m[32m[22m[34mf[0m^x = [22m[34mg[0m[0m.
  
  [1m[33m
      [22m[32mRespectedPartition([22m[34mf[0m)[0m,
      [22m[32mRespectedPartition([22m[34mG[0m)[0m
    [0m
        Uses the algorithm described in the proof of Theorem 2.5.8 in [K05].
  
  [1m[33m
      [22m[32mRestriction([22m[34mg[0m,[22m[34mf[0m)[0m
    [0m
        Computes  images  [22m[32m(n^[22m[34mg[0m)^[22m[34mf[0m[0m  and  preimages  [22m[32mn^[22m[34mf[0m[0m  for  sufficiently many
        integers  [22m[32mn[0m  under  the  image of [22m[34mg[0m under the restriction monomorphism
        associated   to [22m[34mf[0m.   Then   it   constructs  the  desired  mapping  by
        [22m[32mRcwaMapping([22m[34mm[0m,[22m[34mvalues[0m)[0m.  Finally,  the  result  is  checked by a direct
        verification that the diagram in Definition 2.3.1 in [K05] commutes.
  
  [1m[33m
      [22m[32mRestriction([22m[34mG[0m,[22m[34mf[0m)[0m
    [0m
        Get a set of generators by applying [22m[32mRestriction([22m[34mg[0m,[22m[34mf[0m)[0m to the generators
        [22m[34mg[0m of [22m[34mG[0m.
  
  [1m[33m
      [22m[32mSemilocalizedRcwaMapping([22m[34mf[0m,[22m[34mpi[0m)[0m
    [0m
        "Trivial".
  
  [1m[33m
      [22m[32mShortCycles([22m[34mf[0m,[22m[34mmaxlng[0m)[0m
    [0m
        Look for fixed points of affine partial mappings of powers of [22m[34mf[0m.
  
  [1m[33m
      [22m[32mShortOrbits([22m[34mG[0m,[22m[34mS[0m,[22m[34mmaxlng[0m)[0m
    [0m
        "Straight forward".
  
  [1m[33m
      [22m[32mSetOnWhichMappingIsClassWiseOrderPreserving([22m[34mf[0m)[0m, etc.
    [0m
        Form  the  union  of  the  residue  classes  modulo the modulus of the
        mapping,  in whose corresponding coefficient triple the first entry is
        positive, zero resp. negative.
  
  [1m[33m
      [22m[32mSign([22m[34msigma[0m)[0m
    [0m
        Evaluation  of  the  given  expression.  For  the mathematical meaning
        (epimorphism!), see Theorem 2.12.8 in [K05].
  
  [1m[33m
      [22m[32mSize([22m[34mG[0m)[0m
    [0m
        Test  whether  the group [22m[34mG[0m is tame. If not, return [22m[32minfinity[0m. Otherwise
        use  [22m[32mActionOnRespectedPartition[0m  to  compute  the  permutation group [22m[32mH[0m
        induced     by     [22m[34mG[0m    on    a    respected    partition    [22m[32mP[0m,    and
        [22m[32mKernelOfActionOnRespectedPartition[0m  to  compute  the  kernel  [22m[32mK[0m of the
        action  of  [22m[34mG[0m  on [22m[32mP[0m. The group [22m[32mK[0m is infinite if and only if one of its
        generators  has  infinite  order. Return the product of the order of [22m[32mH[0m
        and the order of [22m[32mK[0m.
  
  [1m[33m
      [22m[32m[22m[34mf[0m+[22m[34mg[0m[0m
    [0m
        Pointwise addition of affine mappings.
  
  [1m[33m
      [22m[32mTrajectory([22m[34mf[0m,[22m[34mn[0m,[22m[34mval[0m,[22m[34mcond[0m)[0m,
      [22m[32mTrajectoryModulo([22m[34mf[0m,[22m[34mn[0m,[22m[34mm[0m,[22m[34mlng[0m)[0m
    [0m
        Iterated application of an rcwa mapping.
  
  [1m[33m
      [22m[32mTransitionGraph([22m[34mf[0m,[22m[34mm[0m)[0m
    [0m
        "Straight forward" -- just check a sufficiently long interval.
  
  [1m[33m
      [22m[32mTransitionMatrix([22m[34mf[0m,[22m[34mm[0m)[0m
    [0m
        Evaluation of the given expression.
  
  [1m[33m
      [22m[32mViewObj([22m[34mf[0m)[0m
    [0m
        "Trivial".
  
