\begin{theindex}

  \item \texttt  {\texttt  {\char 92\relax }*}, \hyperpage{24}
    \subitem PROD, \hyperpage{39}
  \item \texttt  {\texttt  {\char 92\relax }+}, \hyperpage{23}
  \item \texttt  {\texttt  {\char 92\relax }[\texttt  {\char 92\relax }]}
    \subitem ELMLIST, \hyperpage{39}
  \item \texttt  {\texttt  {\char 92\relax }\texttt  {\char 94\relax }}
    \subitem POW, \hyperpage{38}
  \item \texttt  {\texttt  {\char 92\relax }\texttt  {\char 123\relax }\texttt  {\char 92\relax }\texttt  {\char 125\relax }}
    \subitem ELMSLIST, \hyperpage{39}

  \indexspace

  \item \texttt  {Activities}, \hyperpage{60}
  \item \texttt  {Activity}, \hyperpage{34}
  \item \texttt  {ActivityInt}, \hyperpage{34}
  \item \texttt  {ActivityPerm}, \hyperpage{34}
  \item \texttt  {ActivitySparse}, \hyperpage{59}
  \item \texttt  {ActivityTransformation}, \hyperpage{34}
  \item \texttt  {Add}
    \subitem FIFO, \hyperpage{130}
  \item \texttt  {AddingElement}, \hyperpage{98}
  \item \texttt  {AddingGroup}, \hyperpage{98}
  \item \texttt  {AddingMachine}, \hyperpage{98}
  \item \texttt  {AleshinGroup}, \hyperpage{102}
  \item \texttt  {AleshinGroups}, \hyperpage{102}
  \item \texttt  {AleshinMachine}, \hyperpage{102}
  \item \texttt  {AleshinMachines}, \hyperpage{102}
  \item \texttt  {AlgebraElement}, \hyperpage{57}
  \item \texttt  {AlgebraElementNC}, \hyperpage{57}
  \item \texttt  {AlgebraMachine}, \hyperpage{57}
  \item \texttt  {AlgebraMachineNC}, \hyperpage{57}
  \item \texttt  {AllMealyMachines}, \hyperpage{42}
  \item \texttt  {AlphabetInvolution}, \hyperpage{45}
  \item \texttt  {AlphabetOfFRObject}, \hyperpage{115}
  \item \texttt  {Append}
    \subitem FIFO, \hyperpage{130}
  \item \texttt  {ArtinRepresentation}, \hyperpage{129}
  \item \texttt  {AsAlgebraElement}, \hyperpage{63}
    \subitem Linear machine, \hyperpage{64}
  \item \texttt  {AsAlgebraMachine}, \hyperpage{63}
    \subitem Linear machine, \hyperpage{64}
  \item \texttt  {AsGroupFRElement}, \hyperpage{32}
  \item \texttt  {AsGroupFRMachine}, \hyperpage{19}
  \item \texttt  {AsIntMealyElement}, \hyperpage{51}
  \item \texttt  {AsIntMealyMachine}, \hyperpage{51}
  \item \texttt  {AsLinearElement}, \hyperpage{62}
  \item \texttt  {AsLinearMachine}, \hyperpage{62}
  \item \texttt  {AsLpGroup}, \hyperpage{84}
  \item \texttt  {AsMealyElement}, \hyperpage{51}
  \item \texttt  {AsMealyMachine}
    \subitem FR machine, \hyperpage{50}
    \subitem List, \hyperpage{50}
  \item \texttt  {AsMonoidFRElement}, \hyperpage{32}
  \item \texttt  {AsMonoidFRMachine}, \hyperpage{19}
  \item \texttt  {AsPermutation}
    \subitem FR object, \hyperpage{116}
  \item \texttt  {AsSemigroupFRElement}, \hyperpage{32}
  \item \texttt  {AsSemigroupFRMachine}, \hyperpage{19}
  \item \texttt  {AsSubgroupFpGroup}, \hyperpage{84}
  \item \texttt  {AsTransformation}
    \subitem FR object, \hyperpage{116}
  \item \texttt  {AsVectorElement}, \hyperpage{63}
    \subitem Linear machine, \hyperpage{64}
  \item \texttt  {AsVectorMachine}, \hyperpage{63}
    \subitem Linear machine, \hyperpage{64}

  \indexspace

  \item \texttt  {BabyAleshinGroup}, \hyperpage{103}
  \item \texttt  {BabyAleshinMachine}, \hyperpage{103}
  \item \texttt  {Ball}, \hyperpage{125}
  \item \texttt  {BasilicaGroup}, \hyperpage{98}
  \item \texttt  {BinaryAddingElement}, \hyperpage{99}
  \item \texttt  {BinaryAddingGroup}, \hyperpage{99}
  \item \texttt  {BinaryAddingMachine}, \hyperpage{99}
  \item \texttt  {BinaryKneadingGroup}, \hyperpage{97}
  \item \texttt  {BinaryKneadingMachine}, \hyperpage{97}
  \item \texttt  {BoundedBinaryGroup}, \hyperpage{97}
  \item \texttt  {BranchingIdeal}, \hyperpage{89}
  \item \texttt  {BranchingSubgroup}, \hyperpage{81}
  \item \texttt  {BrunnerSidkiVieiraGroup}, \hyperpage{102}
  \item \texttt  {BrunnerSidkiVieiraMachine}, \hyperpage{102}

  \indexspace

  \item \texttt  {CanonicalQuadraticRational}, \hyperpage{94}
  \item \texttt  {CayleyGroup}, \hyperpage{107}
  \item \texttt  {CayleyMachine}, \hyperpage{107}
  \item \texttt  {ChangeFRMachineBasis}, \hyperpage{20}
  \item \texttt  {CharneyBraidFpGroup}, \hyperpage{128}
  \item \texttt  {CoefficientsInAbelianExtension}, \hyperpage{129}
  \item \texttt  {ComposeElement}
    \subitem elementcoll,perm, \hyperpage{30}
  \item \texttt  {CompressedPeriodicList}, \hyperpage{124}
    \subitem period, looping point, \hyperpage{124}
  \item \texttt  {CompressPeriodicList}, \hyperpage{124}
  \item \texttt  {ConfinalityClass}, \hyperpage{125}
  \item \texttt  {ConfinalityClasses}, \hyperpage{52}
  \item \texttt  {Correspondence}
    \subitem FR machine, \hyperpage{27}
    \subitem FR semigroup, \hyperpage{68}
  \item \texttt  {CriticalValuesQuadraticRational}, \hyperpage{94}

  \indexspace

  \item \texttt  {DahmaniGroup}, \hyperpage{105}
  \item \texttt  {DBRationalIMGGroup}, \hyperpage{93}
  \item \texttt  {DecompositionOfFRElement}, \hyperpage{35}
  \item \texttt  {Degree}
    \subitem FR element, \hyperpage{46}
    \subitem FR semigroup, \hyperpage{79}
  \item \texttt  {DegreeOfFRElement}, \hyperpage{46}
  \item \texttt  {DegreeOfFRMachine}, \hyperpage{46}
  \item \texttt  {DegreeOfFRSemigroup}, \hyperpage{79}
  \item \texttt  {Depth}
    \subitem FR element, \hyperpage{47}
    \subitem FR semigroup, \hyperpage{79}
  \item \texttt  {DepthOfFRElement}, \hyperpage{47}
  \item \texttt  {DepthOfFRMachine}, \hyperpage{47}
  \item \texttt  {DepthOfFRSemigroup}, \hyperpage{79}
  \item \texttt  {DiagonalElement}, \hyperpage{31}
  \item \texttt  {DimensionSeries}, \hyperpage{130}
  \item \texttt  {DirectProductOp}
    \subitem FR Machines, \hyperpage{25}
  \item \texttt  {DirectSum}, \hyperpage{123}
  \item \texttt  {DirectSumOp}
    \subitem FR Machines, \hyperpage{25}
  \item \texttt  {Draw}, \hyperpage{43}
  \item \texttt  {DualMachine}, \hyperpage{44}

  \indexspace

  \item \texttt  {EpimorphismFromFpGroup}, \hyperpage{84}
  \item \texttt  {EpimorphismGermGroup}, \hyperpage{76}
    \subitem EGG0, \hyperpage{76}
  \item \texttt  {EpimorphismMatrixQuotient}, \hyperpage{89}
  \item \texttt  {EpimorphismPcGroup}, \hyperpage{74}
  \item \texttt  {EpimorphismPermGroup}, \hyperpage{73}
  \item \texttt  {EpimorphismTransformationMonoid}, \hyperpage{75}
  \item \texttt  {EpimorphismTransformationSemigroup}, \hyperpage{75}
  \item \texttt  {EpimorphismTransMonoid}, \hyperpage{75}
  \item \texttt  {EpimorphismTransSemigroup}, \hyperpage{75}

  \indexspace

  \item \texttt  {FabrykowskiGuptaGroup}, \hyperpage{104}
  \item \texttt  {FabrykowskiGuptaGroups}, \hyperpage{104}
  \item \texttt  {FindBranchingSubgroup}, \hyperpage{81}
  \item \texttt  {FinitaryBinaryGroup}, \hyperpage{97}
  \item \texttt  {FiniteDepthBinaryGroup}, \hyperpage{97}
  \item \texttt  {FiniteStateBinaryGroup}, \hyperpage{97}
  \item \texttt  {FixedRay}
    \subitem FR element, \hyperpage{49}
  \item \texttt  {FixedStates}, \hyperpage{37}
  \item \texttt  {FRAffineGroup}, \hyperpage{106}
  \item \texttt  {FRAlgebra}, \hyperpage{88}
  \item \texttt  {FRAlgebraWithOne}, \hyperpage{88}
  \item \texttt  {FREFamily}, \hyperpage{115}
  \item \texttt  {FRElement}
    \subitem [list,]list,list,list, \hyperpage{29}
    \subitem machine/element,list, \hyperpage{30}
    \subitem semigroup,list,list,list, \hyperpage{29}
  \item \texttt  {FRElementNC}
    \subitem family,free,listlist,list,assocword, \hyperpage{28}
  \item \texttt  {FRGroup}, \hyperpage{65}
  \item \texttt  {FRGroupByVirtualEndomorphism}, \hyperpage{72}
  \item \texttt  {FRMachine}
    \subitem [list,]list,list, \hyperpage{17}
    \subitem semigroup,list,list, \hyperpage{17}
  \item \texttt  {FRMachineFRGroup}, \hyperpage{69}
  \item \texttt  {FRMachineFRMonoid}, \hyperpage{69}
  \item \texttt  {FRMachineFRSemigroup}, \hyperpage{69}
  \item \texttt  {FRMachineNC}
    \subitem family,free,listlist,list, \hyperpage{17}
  \item \texttt  {FRMachineRWS}, \hyperpage{119}
  \item \texttt  {FRMFamily}, \hyperpage{115}
  \item \texttt  {FRMonoid}, \hyperpage{65}
  \item \texttt  {FR{\textunderscore }SEARCH}, \hyperpage{132}
  \item \texttt  {FRSemigroup}, \hyperpage{65}
  \item \texttt  {FullBinaryGroup}, \hyperpage{97}
  \item \texttt  {FullSCGroup}, \hyperpage{68}
  \item \texttt  {FullSCMonoid}, \hyperpage{68}
  \item \texttt  {FullSCSemigroup}, \hyperpage{68}

  \indexspace

  \item \texttt  {GammaPQGroup}, \hyperpage{104}
  \item \texttt  {GammaPQMachine}, \hyperpage{104}
  \item \texttt  {GeneralizedGuptaSidkiGroups}, \hyperpage{103}
  \item \texttt  {GeneratorsOfFRMachine}, \hyperpage{21}
  \item \texttt  {Germs}, \hyperpage{53}
  \item \texttt  {GrigorchukEvilTwin}, \hyperpage{101}
  \item \texttt  {GrigorchukGroup}, \hyperpage{101}
  \item \texttt  {GrigorchukGroups}, \hyperpage{100}
  \item \texttt  {GrigorchukMachine}, \hyperpage{101}
  \item \texttt  {GrigorchukMachines}, \hyperpage{100}
  \item \texttt  {GrigorchukOverGroup}, \hyperpage{101}
  \item \texttt  {GrigorchukThinnedAlgebra}, \hyperpage{109}
  \item \texttt  {GuessMealyElement}, \hyperpage{54}
  \item \texttt  {GuessVectorElement}, \hyperpage{62}
  \item \texttt  {GuptaSidkiGroup}, \hyperpage{104}
  \item \texttt  {GuptaSidkiGroups}, \hyperpage{103}
  \item \texttt  {GuptaSidkiMachine}, \hyperpage{104}
  \item \texttt  {GuptaSidkiMachines}, \hyperpage{103}
  \item \texttt  {GuptaSidkiThinnedAlgebra}, \hyperpage{109}

  \indexspace

  \item \texttt  {HanoiGroup}, \hyperpage{105}
  \item \texttt  {HasOpenSetConditionFRElement}, \hyperpage{53}
  \item \texttt  {HasOpenSetConditionFRSemigroup}, \hyperpage{80}
  \item \texttt  {HorizontalAction}, \hyperpage{113}

  \indexspace

  \item \texttt  {I2Machine}, \hyperpage{108}
  \item \texttt  {I2Monoid}, \hyperpage{108}
  \item \texttt  {I4Machine}, \hyperpage{108}
  \item \texttt  {I4Monoid}, \hyperpage{108}
  \item \texttt  {IMGFRMachine}
    \subitem FR machine, \hyperpage{91}
    \subitem rational function, \hyperpage{96}
  \item \texttt  {IMGRelator}, \hyperpage{91}
  \item \texttt  {InfoFR}, \hyperpage{131}
  \item \texttt  {InitialState}, \hyperpage{38}
  \item \texttt  {IsAlgebraFRMachineRep}, \hyperpage{117}
  \item \texttt  {IsAmenableGroup}, \hyperpage{86}
  \item \texttt  {IsAntisymmetricFRElement}, \hyperpage{60}
  \item \texttt  {IsBireversible}, \hyperpage{46}
  \item \texttt  {IsBoundedFRElement}, \hyperpage{47}
  \item \texttt  {IsBoundedFRMachine}, \hyperpage{47}
  \item \texttt  {IsBoundedFRSemigroup}, \hyperpage{79}
  \item \texttt  {IsBranched}
    \subitem FR group, \hyperpage{82}
  \item \texttt  {IsBranchingSubgroup}
    \subitem FR semigroup, \hyperpage{82}
  \item \texttt  {IsConfinal}, \hyperpage{125}
  \item \texttt  {IsContracting}, \hyperpage{80}
  \item \texttt  {IsConvergent}, \hyperpage{60}
  \item \texttt  {IsDiagonalFRElement}, \hyperpage{60}
  \item \texttt  {IsFinitaryFRElement}, \hyperpage{47}
  \item \texttt  {IsFinitaryFRMachine}, \hyperpage{47}
  \item \texttt  {IsFinitaryFRSemigroup}, \hyperpage{79}
  \item \texttt  {IsFiniteStateFRElement}, \hyperpage{37}
  \item \texttt  {IsFiniteStateFRMachine}, \hyperpage{37}
  \item \texttt  {IsFiniteStateFRSemigroup}, \hyperpage{79}
  \item \texttt  {IsFRAlgebra}, \hyperpage{119}
  \item \texttt  {IsFRAlgebraWithOne}, \hyperpage{119}
  \item \texttt  {IsFRElement}, \hyperpage{118}
  \item \texttt  {IsFRGroup}, \hyperpage{119}
  \item \texttt  {IsFRMachine}, \hyperpage{118}
  \item \texttt  {IsFRMachineStrRep}, \hyperpage{116}
  \item \texttt  {IsFRMonoid}, \hyperpage{119}
  \item \texttt  {IsFRObject}, \hyperpage{118}
  \item \texttt  {IsFRSemigroup}, \hyperpage{119}
  \item \texttt  {IsGroupFRMachine}, \hyperpage{116}
  \item \texttt  {IsInfinitelyTransitive}, \hyperpage{79}
  \item \texttt  {IsInvertible}, \hyperpage{118}
  \item \texttt  {IsIrreducibleVHGroup}, \hyperpage{113}
  \item \texttt  {IsJustInfinite}, \hyperpage{86}
  \item \texttt  {IsLevelTransitive}
    \subitem FR element, \hyperpage{49}
    \subitem FR group, \hyperpage{78}
  \item \texttt  {IsLinearFRElement}, \hyperpage{118}
  \item \texttt  {IsLinearFRMachine}, \hyperpage{117}
  \item \texttt  {IsLowerTriangularFRElement}, \hyperpage{60}
  \item \texttt  {IsMealyElement}, \hyperpage{117}
  \item \texttt  {IsMealyMachine}, \hyperpage{116}
  \item \texttt  {IsMealyMachineDomainRep}, \hyperpage{117}
  \item \texttt  {IsMealyMachineIntRep}, \hyperpage{117}
  \item \texttt  {IsMinimized}, \hyperpage{45}
  \item \texttt  {IsMonoidFRMachine}, \hyperpage{116}
  \item \texttt  {IsomorphismFRGroup}, \hyperpage{70}
  \item \texttt  {IsomorphismFRMonoid}, \hyperpage{70}
  \item \texttt  {IsomorphismFRSemigroup}, \hyperpage{70}
  \item \texttt  {IsomorphismLpGroup}, \hyperpage{84}
  \item \texttt  {IsomorphismMealyGroup}, \hyperpage{71}
  \item \texttt  {IsomorphismMealyMonoid}, \hyperpage{71}
  \item \texttt  {IsomorphismMealySemigroup}, \hyperpage{71}
  \item \texttt  {IsomorphismSubgroupFpGroup}, \hyperpage{84}
  \item \texttt  {IsPolynomialGrowthFRElement}, \hyperpage{48}
  \item \texttt  {IsPolynomialGrowthFRMachine}, \hyperpage{48}
  \item \texttt  {IsPolynomialGrowthFRSemigroup}, \hyperpage{79}
  \item \texttt  {IsRecurrentFRSemigroup}, \hyperpage{78}
  \item \texttt  {IsResiduallyFinite}, \hyperpage{86}
  \item \texttt  {IsReversible}, \hyperpage{45}
  \item \texttt  {IsSemigroupFRMachine}, \hyperpage{116}
  \item \texttt  {IsSQUniversal}, \hyperpage{86}
  \item \texttt  {IsStateClosedFRSemigroup}, \hyperpage{77}
  \item \texttt  {IsSymmetricFRElement}, \hyperpage{60}
  \item \texttt  {IsTorsionFreeGroup}, \hyperpage{85}
  \item \texttt  {IsTorsionGroup}, \hyperpage{85}
  \item \texttt  {IsUpperTriangularFRElement}, \hyperpage{60}
  \item \texttt  {IsVectorFRMachineRep}, \hyperpage{117}
  \item \texttt  {IsVHGroup}, \hyperpage{113}
  \item \texttt  {IsVirtuallySimpleGroup}, \hyperpage{86}
  \item \texttt  {IsWeaklyFinitaryFRElement}, \hyperpage{52}
  \item \texttt  {IsWeaklyFinitaryFRSemigroup}, \hyperpage{79}

  \indexspace

  \item \texttt  {LamplighterGroup}, \hyperpage{107}
  \item \texttt  {LargestCommonPrefix}, \hyperpage{125}
  \item \texttt  {LDUDecompositionFRElement}, \hyperpage{61}
  \item \texttt  {LevelStabilizer}, \hyperpage{77}
  \item \texttt  {LimitMachine}, \hyperpage{53}
  \item \texttt  {LimitStates}, \hyperpage{37}

  \indexspace

  \item \texttt  {MagmaEndomorphismByImagesNC}, \hyperpage{129}
  \item \texttt  {MagmaHomomorphismByImagesNC}, \hyperpage{129}
  \item \texttt  {MamaghaniGroup}, \hyperpage{105}
  \item \texttt  {Mating}, \hyperpage{92}
  \item \texttt  {MatrixQuotient}, \hyperpage{89}
  \item \texttt  {MaximalSimpleSubgroup}, \hyperpage{114}
  \item \texttt  {maybe}, \hyperpage{123}
  \item \texttt  {MealyElement}
    \subitem [list,]listlist,list,int, \hyperpage{40}
    \subitem domain,domain,function,function,obj, \hyperpage{41}
  \item \texttt  {MealyElementNC}
    \subitem family,listlist,list,int, \hyperpage{42}
  \item \texttt  {MealyMachine}
    \subitem [list,]listlist,list, \hyperpage{40}
    \subitem domain,domain,function,function, \hyperpage{41}
  \item \texttt  {MealyMachineFRGroup}, \hyperpage{69}
  \item \texttt  {MealyMachineFRMonoid}, \hyperpage{69}
  \item \texttt  {MealyMachineFRSemigroup}, \hyperpage{69}
  \item \texttt  {MealyMachineNC}
    \subitem family,listlist,list, \hyperpage{42}
  \item \texttt  {Minimized}
    \subitem FR machine, \hyperpage{27}
    \subitem Mealy machine, \hyperpage{44}
  \item \texttt  {MixerGroup}, \hyperpage{99}
  \item \texttt  {MixerMachine}, \hyperpage{99}

  \indexspace

  \item \texttt  {NestedMatrixCoefficient}, \hyperpage{59}
  \item \texttt  {NestedMatrixState}, \hyperpage{59}
  \item \texttt  {NeumannGroup}, \hyperpage{104}
  \item \texttt  {NeumannMachine}, \hyperpage{104}
  \item \texttt  {NewFIFO}, \hyperpage{130}
  \item \texttt  {Nillity}, \hyperpage{90}
  \item \texttt  {NormOfBoundedFRElement}, \hyperpage{53}
  \item \texttt  {NucleusMachine}
    \subitem FR machine, \hyperpage{54}
    \subitem FR semigroup, \hyperpage{81}
  \item \texttt  {NucleusOfFRSemigroup}, \hyperpage{80}

  \indexspace

  \item \texttt  {OrbitGrowth}, \hyperpage{125}
  \item \texttt  {OtherSpinalGroup}, \hyperpage{104}
  \item \texttt  {Output}
    \subitem FR element, \hyperpage{33}
    \subitem FR machine,state, \hyperpage{22}
    \subitem FR machine,state,letter, \hyperpage{22}

  \indexspace

  \item \texttt  {PcGroup}, \hyperpage{74}
  \item \texttt  {Period}, \hyperpage{124}
  \item \texttt  {PeriodicList}, \hyperpage{124}
    \subitem list, function, \hyperpage{124}
    \subitem period, looping point, \hyperpage{124}
  \item \texttt  {PermGroup}, \hyperpage{73}
  \item \texttt  {PolynomialFRMachine}, \hyperpage{92}
  \item \texttt  {PolynomialGrowthBinaryGroup}, \hyperpage{97}
  \item \texttt  {PolynomialIMGMachine}, \hyperpage{92}
  \item \texttt  {PolynomialMealyMachine}, \hyperpage{92}
  \item \texttt  {Portrait}, \hyperpage{35}
  \item \texttt  {PortraitInt}, \hyperpage{35}
  \item \texttt  {PositionTower}, \hyperpage{129}
  \item \texttt  {PostCriticalMachine}, \hyperpage{95}
  \item \texttt  {PrePeriod}, \hyperpage{124}
  \item \texttt  {ProductBOIIdeal}, \hyperpage{130}
  \item \texttt  {ProductIdeal}, \hyperpage{130}
  \item \texttt  {PSZAlgebra}, \hyperpage{108}
  \item \texttt  {PureSurfaceBraidFpGroup}, \hyperpage{128}

  \indexspace

  \item \texttt  {RationalFunction}, \hyperpage{95}
  \item \texttt  {ReturnMaybe}, \hyperpage{123}

  \indexspace

  \item \texttt  {SCAlgebra}, \hyperpage{89}
  \item \texttt  {SCAlgebraNC}, \hyperpage{89}
  \item \texttt  {SCAlgebraWithOne}, \hyperpage{89}
  \item \texttt  {SCAlgebraWithOneNC}, \hyperpage{89}
  \item \texttt  {SCGroup}, \hyperpage{67}
  \item \texttt  {SCGroupNC}, \hyperpage{67}
  \item \texttt  {SCMonoid}, \hyperpage{67}
  \item \texttt  {SCMonoidNC}, \hyperpage{67}
  \item \texttt  {SCSemigroup}, \hyperpage{67}
  \item \texttt  {SCSemigroupNC}, \hyperpage{67}
  \item \texttt  {ShortGroupRelations}, \hyperpage{127}
  \item \texttt  {ShortGroupWordInSet}, \hyperpage{128}
  \item \texttt  {ShortMonoidRelations}, \hyperpage{127}
  \item \texttt  {ShortMonoidWordInSet}, \hyperpage{128}
  \item \texttt  {ShortSemigroupWordInSet}, \hyperpage{128}
  \item \texttt  {SidkiFreeAlgebra}, \hyperpage{109}
  \item \texttt  {SidkiFreeGroup}, \hyperpage{103}
  \item \texttt  {Signatures}, \hyperpage{48}
  \item \texttt  {Sphere}, \hyperpage{125}
  \item \texttt  {StabilizerImage}, \hyperpage{76}
  \item \texttt  {State}, \hyperpage{36}
  \item \texttt  {StateClosure}, \hyperpage{78}
  \item \texttt  {StateGrowth}, \hyperpage{46}
  \item \texttt  {States}, \hyperpage{36}
  \item \texttt  {StateSet}
    \subitem FR element, \hyperpage{35}
    \subitem FR machine, \hyperpage{21}
  \item \texttt  {StringByInt}, \hyperpage{129}
  \item \texttt  {StructuralGroup}, \hyperpage{23}
  \item \texttt  {StructuralMonoid}, \hyperpage{23}
  \item \texttt  {StructuralSemigroup}, \hyperpage{23}
  \item \texttt  {SubFRMachine}, \hyperpage{26}
  \item \texttt  {SunicGroup}, \hyperpage{100}
  \item \texttt  {Sunicmachine}, \hyperpage{100}
  \item \texttt  {SurfaceBraidFpGroup}, \hyperpage{128}

  \indexspace

  \item \texttt  {TensorProductOp}
    \subitem FR Machines, \hyperpage{24}
  \item \texttt  {TensorProductX}, \hyperpage{123}
  \item \texttt  {TensorSum}, \hyperpage{123}
  \item \texttt  {TensorSumOp}
    \subitem FR Machines, \hyperpage{24}
  \item \texttt  {ThinnedAlgebra}, \hyperpage{90}
  \item \texttt  {ThinnedAlgebraWithOne}, \hyperpage{90}
  \item \texttt  {TopElement}, \hyperpage{52}
  \item \texttt  {TopVertexTransformations}, \hyperpage{82}
  \item \texttt  {Trans}, \hyperpage{131}
  \item \texttt  {TransformationMonoid}, \hyperpage{75}
  \item \texttt  {TransformationSemigroup}, \hyperpage{75}
  \item \texttt  {Transition}
    \subitem FR element,input, \hyperpage{34}
    \subitem FR machine,state,input, \hyperpage{22}
    \subitem Linear machine, \hyperpage{58}
  \item \texttt  {Transitions}, \hyperpage{58}
  \item \texttt  {TransMonoid}, \hyperpage{75}
  \item \texttt  {TransposedFRElement}, \hyperpage{60}
  \item \texttt  {TransSemigroup}, \hyperpage{75}
  \item \texttt  {TreeWreathProduct}
    \subitem FR group, \hyperpage{73}
    \subitem FR machine, \hyperpage{26}

  \indexspace

  \item \texttt  {UnderlyingFRMachine}, \hyperpage{18}

  \indexspace

  \item \texttt  {ValueRational}, \hyperpage{94}
  \item \texttt  {VectorElement}, \hyperpage{56}
  \item \texttt  {VectorElementNC}, \hyperpage{56}
  \item \texttt  {VectorMachine}, \hyperpage{56}
  \item \texttt  {VectorMachineNC}, \hyperpage{56}
  \item \texttt  {VertexElement}, \hyperpage{31}
  \item \texttt  {VertexTransformations}
    \subitem FR semigroup, \hyperpage{83}
  \item \texttt  {VertexTransformationsFRElement}, \hyperpage{49}
  \item \texttt  {VertexTransformationsFRMachine}, \hyperpage{49}
  \item \texttt  {VerticalAction}, \hyperpage{113}
  \item \texttt  {VHGroup}, \hyperpage{113}
  \item \texttt  {VHStructure}, \hyperpage{113}
  \item \texttt  {VirtualEndomorphism}, \hyperpage{83}

  \indexspace

  \item \texttt  {WeaklyBranchedEmbedding}, \hyperpage{73}
  \item \texttt  {WeierstrassGroup}, \hyperpage{105}
  \item \texttt  {WordGrowth}, \hyperpage{125}
  \item \texttt  {WreathRecursion}, \hyperpage{22}

\end{theindex}