Index
  
  \*  3.5-3
  \* (PROD)  4.2-14
  \+  3.5-2
  \[\] (ELMLIST)  4.2-15
  \^ (POW)  4.2-13
  \{\} (ELMSLIST)  4.2-15
  Activities  6.1-7
  Activity  4.2-2
  ActivityInt  4.2-2
  ActivityPerm  4.2-2
  ActivitySparse  6.1-6
  ActivityTransformation  4.2-2
  Add (FIFO)  12.1-22
  AddingElement  10.1-4
  AddingGroup  10.1-4
  AddingMachine  10.1-4
  AleshinGroup  10.1-14
  AleshinGroups  10.1-13
  AleshinMachine  10.1-14
  AleshinMachines  10.1-13
  AlgebraElement  6.1-2
  AlgebraElementNC  6.1-2
  AlgebraMachine  6.1-2
  AlgebraMachineNC  6.1-2
  AllMealyMachines  5.1-4
  AlphabetInvolution  5.2-6
  AlphabetOfFRObject  11.1-3
  Append (FIFO)  12.1-22
  ArtinRepresentation  12.1-16
  AsAlgebraElement  6.1-14
  AsAlgebraElement (Linear machine)  6.1-16
  AsAlgebraMachine  6.1-14
  AsAlgebraMachine (Linear machine)  6.1-16
  AsGroupFRElement  4.1-7
  AsGroupFRMachine  3.3-4
  AsIntMealyElement  5.2-21
  AsIntMealyMachine  5.2-21
  AsLinearElement  6.1-12
  AsLinearMachine  6.1-12
  AsLpGroup  7.2-27
  AsMealyElement  5.2-20
  AsMealyMachine (FR machine)  5.2-18
  AsMealyMachine (List)  5.2-19
  AsMonoidFRElement  4.1-7
  AsMonoidFRMachine  3.3-4
  AsPermutation (FR object)  11.1-4
  AsSemigroupFRElement  4.1-7
  AsSemigroupFRMachine  3.3-4
  AsSubgroupFpGroup  7.2-27
  AsTransformation (FR object)  11.1-5
  AsVectorElement  6.1-13
  AsVectorElement (Linear machine)  6.1-15
  AsVectorMachine  6.1-13
  AsVectorMachine (Linear machine)  6.1-15
  BabyAleshinGroup  10.1-15
  BabyAleshinMachine  10.1-15
  Ball  12.1-11
  BasilicaGroup  10.1-3
  BinaryAddingElement  10.1-5
  BinaryAddingGroup  10.1-5
  BinaryAddingMachine  10.1-5
  BinaryKneadingGroup  10.1-2
  BinaryKneadingMachine  10.1-2
  BoundedBinaryGroup  10.1-1
  BranchingIdeal  8.1-3
  BranchingSubgroup  7.2-19
  BrunnerSidkiVieiraGroup  10.1-12
  BrunnerSidkiVieiraMachine  10.1-12
  CanonicalQuadraticRational  9.1-8
  CayleyGroup  10.1-28
  CayleyMachine  10.1-28
  ChangeFRMachineBasis  3.3-5
  CharneyBraidFpGroup  12.1-15
  CoefficientsInAbelianExtension  12.1-19
  ComposeElement (elementcoll,perm)  4.1-4
  CompressedPeriodicList  12.1-6
  CompressedPeriodicList (period, looping point)  12.1-6
  CompressPeriodicList  12.1-7
  ConfinalityClass  12.1-9
  ConfinalityClasses  5.2-23
  Correspondence (FR machine)  3.5-11
  Correspondence (FR semigroup)  7.1-3
  CriticalValuesQuadraticRational  9.1-7
  DahmaniGroup  10.1-24
  DBRationalIMGGroup  9.1-5
  DecompositionOfFRElement  4.2-5
  Degree (FR element)  5.2-9
  Degree (FR semigroup)  7.2-14
  DegreeOfFRElement  5.2-9
  DegreeOfFRMachine  5.2-9
  DegreeOfFRSemigroup  7.2-14
  Depth (FR element)  5.2-11
  Depth (FR semigroup)  7.2-14
  DepthOfFRElement  5.2-11
  DepthOfFRMachine  5.2-11
  DepthOfFRSemigroup  7.2-14
  DiagonalElement  4.1-6
  DimensionSeries  12.1-24
  DirectProductOp (FR Machines)  3.5-7
  DirectSum  12.1-5
  DirectSumOp (FR Machines)  3.5-6
  Draw  5.2-1
  DualMachine  5.2-3
  EpimorphismFromFpGroup  7.2-26
  EpimorphismGermGroup  7.2-5
  EpimorphismGermGroup (EGG0)  7.2-5
  EpimorphismMatrixQuotient  8.2-1
  EpimorphismPcGroup  7.2-2
  EpimorphismPermGroup  7.2-1
  EpimorphismTransformationMonoid  7.2-3
  EpimorphismTransformationSemigroup  7.2-4
  EpimorphismTransMonoid  7.2-3
  EpimorphismTransSemigroup  7.2-4
  FabrykowskiGuptaGroup  10.1-20
  FabrykowskiGuptaGroups  10.1-20
  FindBranchingSubgroup  7.2-20
  FinitaryBinaryGroup  10.1-1
  FiniteDepthBinaryGroup  10.1-1
  FiniteStateBinaryGroup  10.1-1
  FixedRay (FR element)  5.2-16
  FixedStates  4.2-9
  FR_SEARCH  12.2-2
  FRAffineGroup  10.1-27
  FRAlgebra  8.1-1
  FRAlgebraWithOne  8.1-1
  FREFamily  11.1-2
  FRElement ([list,]list,list,list)  4.1-2
  FRElement (semigroup,list,list,list)  4.1-2
  FRElement (machine/element,list)  4.1-3
  FRElementNC (family,free,listlist,list,assocword)  4.1-1
  FRGroup  7.1-1
  FRGroupByVirtualEndomorphism  7.1-8
  FRMachine ([list,]list,list)  3.3-2
  FRMachine (semigroup,list,list)  3.3-2
  FRMachineFRGroup  7.1-5
  FRMachineFRMonoid  7.1-5
  FRMachineFRSemigroup  7.1-5
  FRMachineNC (family,free,listlist,list)  3.3-1
  FRMachineRWS  11.3-1
  FRMFamily  11.1-1
  FRMonoid  7.1-1
  FRSemigroup  7.1-1
  FullBinaryGroup  10.1-1
  FullSCGroup  7.1-4
  FullSCMonoid  7.1-4
  FullSCSemigroup  7.1-4
  GammaPQGroup  10.1-22
  GammaPQMachine  10.1-22
  GeneralizedGuptaSidkiGroups  10.1-17
  GeneratorsOfFRMachine  3.4-2
  Germs  5.2-24
  GrigorchukEvilTwin  10.1-11
  GrigorchukGroup  10.1-9
  GrigorchukGroups  10.1-8
  GrigorchukMachine  10.1-9
  GrigorchukMachines  10.1-8
  GrigorchukOverGroup  10.1-10
  GrigorchukThinnedAlgebra  10.3-2
  GuessMealyElement  5.2-28
  GuessVectorElement  6.1-11
  GuptaSidkiGroup  10.1-18
  GuptaSidkiGroups  10.1-17
  GuptaSidkiMachine  10.1-18
  GuptaSidkiMachines  10.1-17
  GuptaSidkiThinnedAlgebra  10.3-3
  HanoiGroup  10.1-23
  HasOpenSetConditionFRElement  5.2-25
  HasOpenSetConditionFRSemigroup  7.2-15
  HorizontalAction  10.5-2
  I2Machine  10.2-1
  I2Monoid  10.2-1
  I4Machine  10.2-2
  I4Monoid  10.2-2
  IMGFRMachine (FR machine)  9.1-1
  IMGFRMachine (rational function)  9.2-2
  IMGRelator  9.1-2
  InfoFR  12.2-1
  InitialState  4.2-12
  IsAlgebraFRMachineRep  11.2-8
  IsAmenableGroup  7.3-3
  IsAntisymmetricFRElement  6.1-9
  IsBireversible  5.2-7
  IsBoundedFRElement  5.2-12
  IsBoundedFRMachine  5.2-12
  IsBoundedFRSemigroup  7.2-13
  IsBranched (FR group)  7.2-21
  IsBranchingSubgroup (FR semigroup)  7.2-22
  IsConfinal  12.1-8
  IsContracting  7.2-16
  IsConvergent  6.1-8
  IsDiagonalFRElement  6.1-9
  IsFinitaryFRElement  5.2-10
  IsFinitaryFRMachine  5.2-10
  IsFinitaryFRSemigroup  7.2-13
  IsFiniteStateFRElement  4.2-11
  IsFiniteStateFRMachine  4.2-11
  IsFiniteStateFRSemigroup  7.2-13
  IsFRAlgebra  11.2-16
  IsFRAlgebraWithOne  11.2-16
  IsFRElement  11.2-11
  IsFRGroup  11.2-15
  IsFRMachine  11.2-13
  IsFRMachineStrRep  11.2-2
  IsFRMonoid  11.2-15
  IsFRObject  11.2-12
  IsFRSemigroup  11.2-15
  IsGroupFRMachine  11.2-1
  IsInfinitelyTransitive  7.2-12
  IsInvertible  11.2-14
  IsIrreducibleVHGroup  10.5-4
  IsJustInfinite  7.3-7
  IsLevelTransitive (FR element)  5.2-17
  IsLevelTransitive (FR group)  7.2-11
  IsLinearFRElement  11.2-10
  IsLinearFRMachine  11.2-9
  IsLowerTriangularFRElement  6.1-9
  IsMealyElement  11.2-4
  IsMealyMachine  11.2-3
  IsMealyMachineDomainRep  11.2-6
  IsMealyMachineIntRep  11.2-5
  IsMinimized  5.2-5
  IsMonoidFRMachine  11.2-1
  IsomorphismFRGroup  7.1-6
  IsomorphismFRMonoid  7.1-6
  IsomorphismFRSemigroup  7.1-6
  IsomorphismLpGroup  7.2-27
  IsomorphismMealyGroup  7.1-7
  IsomorphismMealyMonoid  7.1-7
  IsomorphismMealySemigroup  7.1-7
  IsomorphismSubgroupFpGroup  7.2-27
  IsPolynomialGrowthFRElement  5.2-13
  IsPolynomialGrowthFRMachine  5.2-13
  IsPolynomialGrowthFRSemigroup  7.2-13
  IsRecurrentFRSemigroup  7.2-10
  IsResiduallyFinite  7.3-5
  IsReversible  5.2-4
  IsSemigroupFRMachine  11.2-1
  IsSQUniversal  7.3-6
  IsStateClosedFRSemigroup  7.2-8
  IsSymmetricFRElement  6.1-9
  IsTorsionFreeGroup  7.3-2
  IsTorsionGroup  7.3-1
  IsUpperTriangularFRElement  6.1-9
  IsVectorFRMachineRep  11.2-7
  IsVHGroup  10.5-1
  IsVirtuallySimpleGroup  7.3-4
  IsWeaklyFinitaryFRElement  5.2-23
  IsWeaklyFinitaryFRSemigroup  7.2-13
  LamplighterGroup  10.1-28
  LargestCommonPrefix  12.1-10
  LDUDecompositionFRElement  6.1-10
  LevelStabilizer  7.2-7
  LimitMachine  5.2-26
  LimitStates  4.2-10
  MagmaEndomorphismByImagesNC  12.1-20
  MagmaHomomorphismByImagesNC  12.1-21
  MamaghaniGroup  10.1-25
  Mating  9.1-3
  MatrixQuotient  8.2-1
  MaximalSimpleSubgroup  10.5-5
  maybe  12.1-1
  MealyElement ([list,]listlist,list,int)  5.1-1
  MealyElement (domain,domain,function,function,obj)  5.1-2
  MealyElementNC (family,listlist,list,int)  5.1-3
  MealyMachine ([list,]listlist,list)  5.1-1
  MealyMachine (domain,domain,function,function)  5.1-2
  MealyMachineFRGroup  7.1-5
  MealyMachineFRMonoid  7.1-5
  MealyMachineFRSemigroup  7.1-5
  MealyMachineNC (family,listlist,list)  5.1-3
  Minimized (FR machine)  3.5-10
  Minimized (Mealy machine)  5.2-2
  MixerGroup  10.1-6
  MixerMachine  10.1-6
  NestedMatrixCoefficient  6.1-5
  NestedMatrixState  6.1-5
  NeumannGroup  10.1-19
  NeumannMachine  10.1-19
  NewFIFO  12.1-22
  Nillity  8.2-3
  NormOfBoundedFRElement  5.2-24
  NucleusMachine (FR machine)  5.2-27
  NucleusMachine (FR semigroup)  7.2-18
  NucleusOfFRSemigroup  7.2-17
  OrbitGrowth  12.1-11
  OtherSpinalGroup  10.1-21
  Output (FR machine,state)  3.4-3
  Output (FR machine,state,letter)  3.4-3
  Output (FR element)  4.2-1
  PcGroup  7.2-2
  Period  12.1-6
  PeriodicList  12.1-6
  PeriodicList (list, function)  12.1-6
  PeriodicList (period, looping point)  12.1-6
  PermGroup  7.2-1
  PolynomialFRMachine  9.1-4
  PolynomialGrowthBinaryGroup  10.1-1
  PolynomialIMGMachine  9.1-4
  PolynomialMealyMachine  9.1-4
  Portrait  4.2-4
  PortraitInt  4.2-4
  PositionTower  12.1-18
  PostCriticalMachine  9.1-9
  PrePeriod  12.1-6
  ProductBOIIdeal  12.1-23
  ProductIdeal  12.1-23
  PSZAlgebra  10.3-1
  PureSurfaceBraidFpGroup  12.1-14
  RationalFunction  9.2-1
  ReturnMaybe  12.1-2
  SCAlgebra  8.1-2
  SCAlgebraNC  8.1-2
  SCAlgebraWithOne  8.1-2
  SCAlgebraWithOneNC  8.1-2
  SCGroup  7.1-2
  SCGroupNC  7.1-2
  SCMonoid  7.1-2
  SCMonoidNC  7.1-2
  SCSemigroup  7.1-2
  SCSemigroupNC  7.1-2
  ShortGroupRelations  12.1-12
  ShortGroupWordInSet  12.1-13
  ShortMonoidRelations  12.1-12
  ShortMonoidWordInSet  12.1-13
  ShortSemigroupWordInSet  12.1-13
  SidkiFreeAlgebra  10.3-4
  SidkiFreeGroup  10.1-16
  Signatures  5.2-14
  Sphere  12.1-11
  StabilizerImage  7.2-6
  State  4.2-7
  StateClosure  7.2-9
  StateGrowth  5.2-8
  States  4.2-8
  StateSet (FR machine)  3.4-1
  StateSet (FR element)  4.2-6
  StringByInt  12.1-17
  StructuralGroup  3.5-1
  StructuralMonoid  3.5-1
  StructuralSemigroup  3.5-1
  SubFRMachine  3.5-9
  SunicGroup  10.1-7
  Sunicmachine  10.1-7
  SurfaceBraidFpGroup  12.1-14
  TensorProductOp (FR Machines)  3.5-5
  TensorProductX  12.1-4
  TensorSum  12.1-3
  TensorSumOp (FR Machines)  3.5-4
  ThinnedAlgebra  8.2-2
  ThinnedAlgebraWithOne  8.2-2
  TopElement  5.2-22
  TopVertexTransformations  7.2-23
  Trans  12.1-25
  TransformationMonoid  7.2-3
  TransformationSemigroup  7.2-4
  Transition (FR machine,state,input)  3.4-4
  Transition (FR element,input)  4.2-3
  Transition (Linear machine)  6.1-3
  Transitions  6.1-4
  TransMonoid  7.2-3
  TransposedFRElement  6.1-9
  TransSemigroup  7.2-4
  TreeWreathProduct (FR machine)  3.5-8
  TreeWreathProduct (FR group)  7.1-9
  UnderlyingFRMachine  3.3-3
  ValueRational  9.1-6
  VectorElement  6.1-1
  VectorElementNC  6.1-1
  VectorMachine  6.1-1
  VectorMachineNC  6.1-1
  VertexElement  4.1-5
  VertexTransformations (FR semigroup)  7.2-24
  VertexTransformationsFRElement  5.2-15
  VertexTransformationsFRMachine  5.2-15
  VerticalAction  10.5-2
  VHGroup  10.5-3
  VHStructure  10.5-1
  VirtualEndomorphism  7.2-25
  WeaklyBranchedEmbedding  7.1-10
  WeierstrassGroup  10.1-26
  WordGrowth  12.1-11
  WreathRecursion  3.4-5
  
  
  -------------------------------------------------------