\indexentry{Semigroups@\textsf{Semigroups} package overview|hyperpage}{6}
\indexentry{SemigroupsMakeDoc@\texttt  {SemigroupsMakeDoc}|hyperpage}{8}
\indexentry{SemigroupsTestInstall@\texttt  {SemigroupsTestInstall}|hyperpage}{9}
\indexentry{SemigroupsTestManualExamples@\texttt  {SemigroupsTestManualExamples}|hyperpage}{9}
\indexentry{SemigroupsTestAll@\texttt  {SemigroupsTestAll}|hyperpage}{9}
\indexentry{InfoSemigroups@\texttt  {InfoSemigroups}|hyperpage}{9}
\indexentry{SemigroupsDir@\texttt  {SemigroupsDir}|hyperpage}{10}
\indexentry{ReadGenerators@\texttt  {ReadGenerators}|hyperpage}{10}
\indexentry{WriteGenerators@\texttt  {WriteGenerators}|hyperpage}{10}
\indexentry{IteratorFromGeneratorsFile@\texttt  {IteratorFromGeneratorsFile}|hyperpage}{11}
\indexentry{RandomInverseMonoid@\texttt  {RandomInverseMonoid}|hyperpage}{12}
\indexentry{RandomInverseSemigroup@\texttt  {RandomInverseSemigroup}|hyperpage}{12}
\indexentry{RandomTransformationMonoid@\texttt  {RandomTransformationMonoid}|hyperpage}{12}
\indexentry{RandomTransformationSemigroup@\texttt  {RandomTransformationSemigroup}|hyperpage}{12}
\indexentry{RandomPartialPermMonoid@\texttt  {RandomPartialPermMonoid}|hyperpage}{13}
\indexentry{RandomPartialPermSemigroup@\texttt  {RandomPartialPermSemigroup}|hyperpage}{13}
\indexentry{RandomBinaryRelationMonoid@\texttt  {RandomBinaryRelationMonoid}|hyperpage}{13}
\indexentry{RandomBinaryRelationSemigroup@\texttt  {RandomBinaryRelationSemigroup}|hyperpage}{13}
\indexentry{RandomBipartitionSemigroup@\texttt  {RandomBipartitionSemigroup}|hyperpage}{13}
\indexentry{RandomBipartitionMonoid@\texttt  {RandomBipartitionMonoid}|hyperpage}{13}
\indexentry{ClosureInverseSemigroup@\texttt  {ClosureInverseSemigroup}|hyperpage}{13}
\indexentry{ClosureSemigroup@\texttt  {ClosureSemigroup}|hyperpage}{14}
\indexentry{SubsemigroupByProperty@\texttt  {SubsemigroupByProperty}!for a semigroup and function|hyperpage}{14}
\indexentry{SubsemigroupByProperty@\texttt  {SubsemigroupByProperty}!for a semigroup, function, and limit on the size of the subsemigroup|hyperpage}{14}
\indexentry{InverseSubsemigroupByProperty@\texttt  {InverseSubsemigroupByProperty}|hyperpage}{15}
\indexentry{SemigroupsOptionsRec@\texttt  {SemigroupsOptionsRec}|hyperpage}{17}
\indexentry{AsTransformationSemigroup@\texttt  {AsTransformationSemigroup}|hyperpage}{18}
\indexentry{AsPartialPermSemigroup@\texttt  {AsPartialPermSemigroup}|hyperpage}{18}
\indexentry{AsBipartitionSemigroup@\texttt  {AsBipartitionSemigroup}|hyperpage}{18}
\indexentry{AsBlockBijectionSemigroup@\texttt  {AsBlockBijectionSemigroup}|hyperpage}{18}
\indexentry{IsomorphismPermGroup@\texttt  {IsomorphismPermGroup}|hyperpage}{18}
\indexentry{IsomorphismBipartitionSemigroup@\texttt  {IsomorphismBipartitionSemigroup}|hyperpage}{19}
\indexentry{IsomorphismBipartitionMonoid@\texttt  {IsomorphismBipartitionMonoid}|hyperpage}{19}
\indexentry{IsomorphismBlockBijectionSemigroup@\texttt  {IsomorphismBlockBijectionSemigroup}|hyperpage}{20}
\indexentry{IsomorphismBlockBijectionMonoid@\texttt  {IsomorphismBlockBijectionMonoid}|hyperpage}{20}
\indexentry{EndomorphismsPartition@\texttt  {EndomorphismsPartition}|hyperpage}{20}
\indexentry{PartitionMonoid@\texttt  {PartitionMonoid}|hyperpage}{21}
\indexentry{SingularPartitionMonoid@\texttt  {SingularPartitionMonoid}|hyperpage}{21}
\indexentry{BrauerMonoid@\texttt  {BrauerMonoid}|hyperpage}{21}
\indexentry{SingularBrauerMonoid@\texttt  {SingularBrauerMonoid}|hyperpage}{21}
\indexentry{JonesMonoid@\texttt  {JonesMonoid}|hyperpage}{21}
\indexentry{TemperleyLiebMonoid@\texttt  {TemperleyLiebMonoid}|hyperpage}{21}
\indexentry{SingularJonesMonoid@\texttt  {SingularJonesMonoid}|hyperpage}{21}
\indexentry{FactorisableDualSymmetricInverseSemigroup@\texttt  {Factorisable}\discretionary {-}{}{}\texttt  {Dual}\discretionary {-}{}{}\texttt  {Symmetric}\discretionary {-}{}{}\texttt  {Inverse}\discretionary {-}{}{}\texttt  {Semigroup}|hyperpage}{22}
\indexentry{SingularFactorisableDualSymmetricInverseSemigroup@\texttt  {Singular}\discretionary {-}{}{}\texttt  {Factorisable}\discretionary {-}{}{}\texttt  {Dual}\discretionary {-}{}{}\texttt  {Symmetric}\discretionary {-}{}{}\texttt  {Inverse}\discretionary {-}{}{}\texttt  {Semigroup}|hyperpage}{22}
\indexentry{DualSymmetricInverseSemigroup@\texttt  {DualSymmetricInverseSemigroup}|hyperpage}{22}
\indexentry{DualSymmetricInverseMonoid@\texttt  {DualSymmetricInverseMonoid}|hyperpage}{22}
\indexentry{SingularDualSymmetricInverseSemigroup@\texttt  {Singular}\discretionary {-}{}{}\texttt  {Dual}\discretionary {-}{}{}\texttt  {Symmetric}\discretionary {-}{}{}\texttt  {Inverse}\discretionary {-}{}{}\texttt  {Semigroup}|hyperpage}{22}
\indexentry{PartialTransformationSemigroup@\texttt  {PartialTransformationSemigroup}|hyperpage}{23}
\indexentry{FullMatrixSemigroup@\texttt  {FullMatrixSemigroup}|hyperpage}{23}
\indexentry{GeneralLinearSemigroup@\texttt  {GeneralLinearSemigroup}|hyperpage}{23}
\indexentry{IsFullMatrixSemigroup@\texttt  {IsFullMatrixSemigroup}|hyperpage}{23}
\indexentry{IsGeneralLinearSemigroup@\texttt  {IsGeneralLinearSemigroup}|hyperpage}{23}
\indexentry{MunnSemigroup@\texttt  {MunnSemigroup}|hyperpage}{24}
\indexentry{OrderEndomorphisms@\texttt  {OrderEndomorphisms}!monoid of order preserving transformations|hyperpage}{24}
\indexentry{POI@\texttt  {POI}!monoid of order preserving partial perms|hyperpage}{24}
\indexentry{POPI@\texttt  {POPI}!monoid of orientation preserving partial perms|hyperpage}{24}
\indexentry{SingularTransformationSemigroup@\texttt  {SingularTransformationSemigroup}|hyperpage}{25}
\indexentry{SingularTransformationMonoid@\texttt  {SingularTransformationMonoid}|hyperpage}{25}
\indexentry{RegularBinaryRelationSemigroup@\texttt  {RegularBinaryRelationSemigroup}|hyperpage}{25}
\indexentry{MonogenicSemigroup@\texttt  {MonogenicSemigroup}|hyperpage}{26}
\indexentry{RectangularBand@\texttt  {RectangularBand}|hyperpage}{26}
\indexentry{ZeroSemigroup@\texttt  {ZeroSemigroup}|hyperpage}{27}
\indexentry{SemigroupIdeal@\texttt  {SemigroupIdeal}|hyperpage}{28}
\indexentry{GeneratorsOfSemigroupIdeal@\texttt  {GeneratorsOfSemigroupIdeal}|hyperpage}{29}
\indexentry{MinimalIdealGeneratingSet@\texttt  {MinimalIdealGeneratingSet}|hyperpage}{29}
\indexentry{SupersemigroupOfIdeal@\texttt  {SupersemigroupOfIdeal}|hyperpage}{30}
\indexentry{EvaluateWord@\texttt  {EvaluateWord}|hyperpage}{31}
\indexentry{Factorization@\texttt  {Factorization}|hyperpage}{32}
\indexentry{DClassOfHClass@\texttt  {DClassOfHClass}|hyperpage}{33}
\indexentry{DClassOfLClass@\texttt  {DClassOfLClass}|hyperpage}{33}
\indexentry{DClassOfRClass@\texttt  {DClassOfRClass}|hyperpage}{33}
\indexentry{LClassOfHClass@\texttt  {LClassOfHClass}|hyperpage}{33}
\indexentry{RClassOfHClass@\texttt  {RClassOfHClass}|hyperpage}{33}
\indexentry{GreensDClassOfElement@\texttt  {GreensDClassOfElement}|hyperpage}{34}
\indexentry{DClass@\texttt  {DClass}|hyperpage}{34}
\indexentry{GreensHClassOfElement@\texttt  {GreensHClassOfElement}|hyperpage}{34}
\indexentry{GreensHClassOfElement@\texttt  {GreensHClassOfElement}!for a Rees matrix semigroup|hyperpage}{34}
\indexentry{HClass@\texttt  {HClass}|hyperpage}{34}
\indexentry{HClass@\texttt  {HClass}!for a Rees matrix semigroup|hyperpage}{34}
\indexentry{GreensLClassOfElement@\texttt  {GreensLClassOfElement}|hyperpage}{34}
\indexentry{LClass@\texttt  {LClass}|hyperpage}{34}
\indexentry{GreensRClassOfElement@\texttt  {GreensRClassOfElement}|hyperpage}{34}
\indexentry{RClass@\texttt  {RClass}|hyperpage}{34}
\indexentry{GreensDClassOfElementNC@\texttt  {GreensDClassOfElementNC}|hyperpage}{35}
\indexentry{DClassNC@\texttt  {DClassNC}|hyperpage}{35}
\indexentry{GreensHClassOfElementNC@\texttt  {GreensHClassOfElementNC}|hyperpage}{35}
\indexentry{HClassNC@\texttt  {HClassNC}|hyperpage}{35}
\indexentry{GreensLClassOfElementNC@\texttt  {GreensLClassOfElementNC}|hyperpage}{35}
\indexentry{LClassNC@\texttt  {LClassNC}|hyperpage}{35}
\indexentry{GreensRClassOfElementNC@\texttt  {GreensRClassOfElementNC}|hyperpage}{35}
\indexentry{RClassNC@\texttt  {RClassNC}|hyperpage}{35}
\indexentry{GroupHClass@\texttt  {GroupHClass}|hyperpage}{36}
\indexentry{GreensDClasses@\texttt  {GreensDClasses}|hyperpage}{37}
\indexentry{DClasses@\texttt  {DClasses}|hyperpage}{37}
\indexentry{GreensHClasses@\texttt  {GreensHClasses}|hyperpage}{37}
\indexentry{HClasses@\texttt  {HClasses}|hyperpage}{37}
\indexentry{GreensJClasses@\texttt  {GreensJClasses}|hyperpage}{37}
\indexentry{JClasses@\texttt  {JClasses}|hyperpage}{37}
\indexentry{GreensLClasses@\texttt  {GreensLClasses}|hyperpage}{37}
\indexentry{LClasses@\texttt  {LClasses}|hyperpage}{37}
\indexentry{GreensRClasses@\texttt  {GreensRClasses}|hyperpage}{37}
\indexentry{RClasses@\texttt  {RClasses}|hyperpage}{37}
\indexentry{IteratorOfDClassReps@\texttt  {IteratorOfDClassReps}|hyperpage}{39}
\indexentry{IteratorOfHClassReps@\texttt  {IteratorOfHClassReps}|hyperpage}{39}
\indexentry{IteratorOfLClassReps@\texttt  {IteratorOfLClassReps}|hyperpage}{39}
\indexentry{IteratorOfRClassReps@\texttt  {IteratorOfRClassReps}|hyperpage}{39}
\indexentry{IteratorOfDClasses@\texttt  {IteratorOfDClasses}|hyperpage}{40}
\indexentry{IteratorOfHClasses@\texttt  {IteratorOfHClasses}|hyperpage}{40}
\indexentry{IteratorOfLClasses@\texttt  {IteratorOfLClasses}|hyperpage}{40}
\indexentry{IteratorOfRClasses@\texttt  {IteratorOfRClasses}|hyperpage}{40}
\indexentry{DClassReps@\texttt  {DClassReps}|hyperpage}{41}
\indexentry{HClassReps@\texttt  {HClassReps}|hyperpage}{41}
\indexentry{LClassReps@\texttt  {LClassReps}|hyperpage}{41}
\indexentry{RClassReps@\texttt  {RClassReps}|hyperpage}{41}
\indexentry{<@\texttt  {\texttt  {\char 92\relax }{\textless }}!for Green's classes|hyperpage}{42}
\indexentry{InjectionPrincipalFactor@\texttt  {InjectionPrincipalFactor}|hyperpage}{43}
\indexentry{IsomorphismReesMatrixSemigroup@\texttt  {IsomorphismReesMatrixSemigroup}|hyperpage}{43}
\indexentry{PrincipalFactor@\texttt  {PrincipalFactor}|hyperpage}{44}
\indexentry{IsRegularClass@\texttt  {IsRegularClass}|hyperpage}{44}
\indexentry{NrRegularDClasses@\texttt  {NrRegularDClasses}|hyperpage}{45}
\indexentry{RegularDClasses@\texttt  {RegularDClasses}|hyperpage}{45}
\indexentry{NrDClasses@\texttt  {NrDClasses}|hyperpage}{46}
\indexentry{NrHClasses@\texttt  {NrHClasses}|hyperpage}{46}
\indexentry{NrLClasses@\texttt  {NrLClasses}|hyperpage}{46}
\indexentry{NrRClasses@\texttt  {NrRClasses}|hyperpage}{46}
\indexentry{PartialOrderOfDClasses@\texttt  {PartialOrderOfDClasses}|hyperpage}{47}
\indexentry{SchutzenbergerGroup@\texttt  {SchutzenbergerGroup}|hyperpage}{48}
\indexentry{MinimalDClass@\texttt  {MinimalDClass}|hyperpage}{49}
\indexentry{MaximalDClasses@\texttt  {MaximalDClasses}|hyperpage}{49}
\indexentry{StructureDescriptionSchutzenbergerGroups@\texttt  {Structure}\discretionary {-}{}{}\texttt  {Description}\discretionary {-}{}{}\texttt  {Schutzenberger}\discretionary {-}{}{}\texttt  {Groups}|hyperpage}{50}
\indexentry{StructureDescriptionMaximalSubgroups@\texttt  {Structure}\discretionary {-}{}{}\texttt  {Description}\discretionary {-}{}{}\texttt  {Maximal}\discretionary {-}{}{}\texttt  {Subgroups}|hyperpage}{50}
\indexentry{MultiplicativeNeutralElement@\texttt  {MultiplicativeNeutralElement}!for an H-class|hyperpage}{51}
\indexentry{IsGreensClassNC@\texttt  {IsGreensClassNC}|hyperpage}{51}
\indexentry{IsTransformationSemigroupGreensClass@\texttt  {IsTransformation}\discretionary {-}{}{}\texttt  {Semigroup}\discretionary {-}{}{}\texttt  {Greens}\discretionary {-}{}{}\texttt  {Class}|hyperpage}{51}
\indexentry{IsBipartitionSemigroupGreensClass@\texttt  {IsBipartitionSemigroupGreensClass}|hyperpage}{51}
\indexentry{IsPartialPermSemigroupGreensClass@\texttt  {IsPartialPermSemigroupGreensClass}|hyperpage}{51}
\indexentry{StructureDescription@\texttt  {StructureDescription}!for an H-class|hyperpage}{52}
\indexentry{IsGreensDLeq@\texttt  {IsGreensDLeq}|hyperpage}{52}
\indexentry{Generators@\texttt  {Generators}|hyperpage}{53}
\indexentry{GroupOfUnits@\texttt  {GroupOfUnits}|hyperpage}{54}
\indexentry{Idempotents@\texttt  {Idempotents}|hyperpage}{54}
\indexentry{NrIdempotents@\texttt  {NrIdempotents}|hyperpage}{56}
\indexentry{IdempotentGeneratedSubsemigroup@\texttt  {IdempotentGeneratedSubsemigroup}|hyperpage}{56}
\indexentry{IrredundantGeneratingSubset@\texttt  {IrredundantGeneratingSubset}|hyperpage}{57}
\indexentry{MaximalSubsemigroups@\texttt  {MaximalSubsemigroups}!for an acting semigroup|hyperpage}{58}
\indexentry{MaximalSubsemigroups@\texttt  {MaximalSubsemigroups}!for a Rees (0-)matrix semigroup, and a group|hyperpage}{59}
\indexentry{IsMaximalSubsemigroup@\texttt  {IsMaximalSubsemigroup}|hyperpage}{60}
\indexentry{MinimalIdeal@\texttt  {MinimalIdeal}|hyperpage}{60}
\indexentry{RepresentativeOfMinimalIdeal@\texttt  {RepresentativeOfMinimalIdeal}|hyperpage}{61}
\indexentry{RepresentativeOfMinimalDClass@\texttt  {RepresentativeOfMinimalDClass}|hyperpage}{61}
\indexentry{MultiplicativeZero@\texttt  {MultiplicativeZero}|hyperpage}{62}
\indexentry{Random@\texttt  {Random}!for a semigroup|hyperpage}{62}
\indexentry{SmallGeneratingSet@\texttt  {SmallGeneratingSet}|hyperpage}{62}
\indexentry{SmallSemigroupGeneratingSet@\texttt  {SmallSemigroupGeneratingSet}|hyperpage}{62}
\indexentry{SmallMonoidGeneratingSet@\texttt  {SmallMonoidGeneratingSet}|hyperpage}{62}
\indexentry{SmallInverseSemigroupGeneratingSet@\texttt  {SmallInverseSemigroupGeneratingSet}|hyperpage}{62}
\indexentry{SmallInverseMonoidGeneratingSet@\texttt  {SmallInverseMonoidGeneratingSet}|hyperpage}{62}
\indexentry{ComponentRepsOfTransformationSemigroup@\texttt  {Component}\discretionary {-}{}{}\texttt  {Reps}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Transformation}\discretionary {-}{}{}\texttt  {Semigroup}|hyperpage}{64}
\indexentry{ComponentsOfTransformationSemigroup@\texttt  {ComponentsOfTransformationSemigroup}|hyperpage}{64}
\indexentry{CyclesOfTransformationSemigroup@\texttt  {CyclesOfTransformationSemigroup}|hyperpage}{64}
\indexentry{IsTransitive@\texttt  {IsTransitive}!for a transformation semigroup and a set|hyperpage}{64}
\indexentry{IsTransitive@\texttt  {IsTransitive}!for a transformation semigroup and a pos int|hyperpage}{64}
\indexentry{ComponentRepsOfPartialPermSemigroup@\texttt  {ComponentRepsOfPartialPermSemigroup}|hyperpage}{65}
\indexentry{ComponentsOfPartialPermSemigroup@\texttt  {ComponentsOfPartialPermSemigroup}|hyperpage}{65}
\indexentry{CyclesOfPartialPerm@\texttt  {CyclesOfPartialPerm}|hyperpage}{66}
\indexentry{CyclesOfPartialPermSemigroup@\texttt  {CyclesOfPartialPermSemigroup}|hyperpage}{66}
\indexentry{Normalizer@\texttt  {Normalizer}!for a perm group, semigroup, record|hyperpage}{66}
\indexentry{Normalizer@\texttt  {Normalizer}!for a semigroup, record|hyperpage}{66}
\indexentry{SmallestElementSemigroup@\texttt  {SmallestElementSemigroup}|hyperpage}{67}
\indexentry{LargestElementSemigroup@\texttt  {LargestElementSemigroup}|hyperpage}{67}
\indexentry{GeneratorsSmallest@\texttt  {GeneratorsSmallest}!for a transformation semigroup|hyperpage}{68}
\indexentry{IsBand@\texttt  {IsBand}|hyperpage}{68}
\indexentry{IsBlockGroup@\texttt  {IsBlockGroup}|hyperpage}{69}
\indexentry{IsSemigroupWithCommutingIdempotents@\texttt  {IsSemigroupWithCommutingIdempotents}|hyperpage}{69}
\indexentry{IsCommutativeSemigroup@\texttt  {IsCommutativeSemigroup}|hyperpage}{70}
\indexentry{IsCompletelyRegularSemigroup@\texttt  {IsCompletelyRegularSemigroup}|hyperpage}{70}
\indexentry{IsCongruenceFreeSemigroup@\texttt  {IsCongruenceFreeSemigroup}|hyperpage}{71}
\indexentry{IsGroupAsSemigroup@\texttt  {IsGroupAsSemigroup}|hyperpage}{71}
\indexentry{IsIdempotentGenerated@\texttt  {IsIdempotentGenerated}|hyperpage}{72}
\indexentry{IsSemiBand@\texttt  {IsSemiBand}|hyperpage}{72}
\indexentry{IsLeftSimple@\texttt  {IsLeftSimple}|hyperpage}{72}
\indexentry{IsRightSimple@\texttt  {IsRightSimple}|hyperpage}{72}
\indexentry{IsLeftZeroSemigroup@\texttt  {IsLeftZeroSemigroup}|hyperpage}{73}
\indexentry{IsMonogenicSemigroup@\texttt  {IsMonogenicSemigroup}|hyperpage}{73}
\indexentry{IsMonoidAsSemigroup@\texttt  {IsMonoidAsSemigroup}|hyperpage}{74}
\indexentry{IsOrthodoxSemigroup@\texttt  {IsOrthodoxSemigroup}|hyperpage}{74}
\indexentry{IsRectangularBand@\texttt  {IsRectangularBand}|hyperpage}{75}
\indexentry{IsRegularSemigroup@\texttt  {IsRegularSemigroup}|hyperpage}{75}
\indexentry{IsRightZeroSemigroup@\texttt  {IsRightZeroSemigroup}|hyperpage}{76}
\indexentry{IsRTrivial@\texttt  {IsRTrivial}|hyperpage}{76}
\indexentry{IsLTrivial@\texttt  {IsLTrivial}|hyperpage}{76}
\indexentry{IsHTrivial@\texttt  {IsHTrivial}|hyperpage}{76}
\indexentry{IsDTrivial@\texttt  {IsDTrivial}|hyperpage}{76}
\indexentry{IsAperiodicSemigroup@\texttt  {IsAperiodicSemigroup}|hyperpage}{76}
\indexentry{IsCombinatorialSemigroup@\texttt  {IsCombinatorialSemigroup}|hyperpage}{76}
\indexentry{IsSemilatticeAsSemigroup@\texttt  {IsSemilatticeAsSemigroup}|hyperpage}{77}
\indexentry{IsSimpleSemigroup@\texttt  {IsSimpleSemigroup}|hyperpage}{77}
\indexentry{IsCompletelySimpleSemigroup@\texttt  {IsCompletelySimpleSemigroup}|hyperpage}{77}
\indexentry{IsSynchronizingSemigroup@\texttt  {IsSynchronizingSemigroup}|hyperpage}{78}
\indexentry{IsSynchronizingTransformationCollection@\texttt  {IsSynchronizing}\discretionary {-}{}{}\texttt  {Transformation}\discretionary {-}{}{}\texttt  {Collection}|hyperpage}{78}
\indexentry{IsZeroGroup@\texttt  {IsZeroGroup}|hyperpage}{78}
\indexentry{IsZeroRectangularBand@\texttt  {IsZeroRectangularBand}|hyperpage}{79}
\indexentry{IsZeroSemigroup@\texttt  {IsZeroSemigroup}|hyperpage}{79}
\indexentry{IsZeroSimpleSemigroup@\texttt  {IsZeroSimpleSemigroup}|hyperpage}{80}
\indexentry{IsCliffordSemigroup@\texttt  {IsCliffordSemigroup}|hyperpage}{81}
\indexentry{IsBrandtSemigroup@\texttt  {IsBrandtSemigroup}|hyperpage}{81}
\indexentry{IsEUnitaryInverseSemigroup@\texttt  {IsEUnitaryInverseSemigroup}|hyperpage}{82}
\indexentry{IsFactorisableSemigroup@\texttt  {IsFactorisableSemigroup}|hyperpage}{82}
\indexentry{IsJoinIrreducible@\texttt  {IsJoinIrreducible}|hyperpage}{83}
\indexentry{IsMajorantlyClosed@\texttt  {IsMajorantlyClosed}|hyperpage}{84}
\indexentry{IsMonogenicInverseSemigroup@\texttt  {IsMonogenicInverseSemigroup}|hyperpage}{84}
\indexentry{JoinIrreducibleDClasses@\texttt  {JoinIrreducibleDClasses}|hyperpage}{85}
\indexentry{MajorantClosure@\texttt  {MajorantClosure}|hyperpage}{85}
\indexentry{Minorants@\texttt  {Minorants}|hyperpage}{86}
\indexentry{PrimitiveIdempotents@\texttt  {PrimitiveIdempotents}|hyperpage}{86}
\indexentry{RightCosetsOfInverseSemigroup@\texttt  {RightCosetsOfInverseSemigroup}|hyperpage}{87}
\indexentry{SameMinorantsSubgroup@\texttt  {SameMinorantsSubgroup}|hyperpage}{88}
\indexentry{SmallerDegreePartialPermRepresentation@\texttt  {Smaller}\discretionary {-}{}{}\texttt  {Degree}\discretionary {-}{}{}\texttt  {Partial}\discretionary {-}{}{}\texttt  {Perm}\discretionary {-}{}{}\texttt  {Representation}|hyperpage}{88}
\indexentry{VagnerPrestonRepresentation@\texttt  {VagnerPrestonRepresentation}|hyperpage}{89}
\indexentry{CharacterTableOfInverseSemigroup@\texttt  {CharacterTableOfInverseSemigroup}|hyperpage}{90}
\indexentry{Splash@\texttt  {Splash}|hyperpage}{91}
\indexentry{DotDClasses@\texttt  {DotDClasses}!for a semigroup|hyperpage}{92}
\indexentry{DotDClasses@\texttt  {DotDClasses}|hyperpage}{92}
\indexentry{DotSemilatticeOfIdempotents@\texttt  {DotSemilatticeOfIdempotents}|hyperpage}{93}
\indexentry{IsBipartition@\texttt  {IsBipartition}|hyperpage}{95}
\indexentry{IsBipartitionCollection@\texttt  {IsBipartitionCollection}|hyperpage}{95}
\indexentry{BipartitionFamily@\texttt  {BipartitionFamily}|hyperpage}{95}
\indexentry{Bipartition@\texttt  {Bipartition}|hyperpage}{95}
\indexentry{BipartitionByIntRep@\texttt  {BipartitionByIntRep}|hyperpage}{96}
\indexentry{IdentityBipartition@\texttt  {IdentityBipartition}|hyperpage}{96}
\indexentry{LeftOne@\texttt  {LeftOne}!for a bipartition|hyperpage}{96}
\indexentry{LeftProjection@\texttt  {LeftProjection}|hyperpage}{96}
\indexentry{RightOne@\texttt  {RightOne}!for a bipartition|hyperpage}{97}
\indexentry{RightProjection@\texttt  {RightProjection}|hyperpage}{97}
\indexentry{StarOp@\texttt  {StarOp}|hyperpage}{97}
\indexentry{Star@\texttt  {Star}|hyperpage}{97}
\indexentry{RandomBipartition@\texttt  {RandomBipartition}|hyperpage}{98}
\indexentry{AsBipartition@\texttt  {AsBipartition}|hyperpage}{98}
\indexentry{AsBlockBijection@\texttt  {AsBlockBijection}|hyperpage}{100}
\indexentry{AsTransformation@\texttt  {AsTransformation}!for a bipartition|hyperpage}{100}
\indexentry{AsPartialPerm@\texttt  {AsPartialPerm}!for a bipartition|hyperpage}{101}
\indexentry{AsPermutation@\texttt  {AsPermutation}!for a bipartition|hyperpage}{101}
\indexentry{*@\texttt{*} (for bipartitions)|hyperpage}{101}
\indexentry{<@\texttt{{\textless}} (for bipartitions)|hyperpage}{101}
\indexentry{=@\texttt{=} (for bipartitions)|hyperpage}{102}
\indexentry{PartialPermLeqBipartition@\texttt  {PartialPermLeqBipartition}|hyperpage}{102}
\indexentry{NaturalLeqPartialPermBipartition@\texttt  {NaturalLeqPartialPermBipartition}|hyperpage}{102}
\indexentry{NaturalLeqBlockBijection@\texttt  {NaturalLeqBlockBijection}|hyperpage}{102}
\indexentry{PermLeftQuoBipartition@\texttt  {PermLeftQuoBipartition}|hyperpage}{103}
\indexentry{OnRightBlocksBipartitionByPerm@\texttt  {OnRightBlocksBipartitionByPerm}|hyperpage}{103}
\indexentry{DegreeOfBipartition@\texttt  {DegreeOfBipartition}|hyperpage}{103}
\indexentry{DegreeOfBipartitionCollection@\texttt  {DegreeOfBipartitionCollection}|hyperpage}{103}
\indexentry{RankOfBipartition@\texttt  {RankOfBipartition}|hyperpage}{104}
\indexentry{NrTransverseBlocks@\texttt  {NrTransverseBlocks}!for a bipartition|hyperpage}{104}
\indexentry{ExtRepOfBipartition@\texttt  {ExtRepOfBipartition}|hyperpage}{104}
\indexentry{RightBlocks@\texttt  {RightBlocks}|hyperpage}{104}
\indexentry{LeftBlocks@\texttt  {LeftBlocks}|hyperpage}{105}
\indexentry{NrLeftBlocks@\texttt  {NrLeftBlocks}|hyperpage}{105}
\indexentry{NrRightBlocks@\texttt  {NrRightBlocks}|hyperpage}{106}
\indexentry{NrBlocks@\texttt  {NrBlocks}!for blocks|hyperpage}{106}
\indexentry{NrBlocks@\texttt  {NrBlocks}!for a bipartition|hyperpage}{106}
\indexentry{IsTransBipartition@\texttt  {IsTransBipartition}|hyperpage}{106}
\indexentry{IsDualTransBipartition@\texttt  {IsDualTransBipartition}|hyperpage}{107}
\indexentry{IsPermBipartition@\texttt  {IsPermBipartition}|hyperpage}{107}
\indexentry{IsPartialPermBipartition@\texttt  {IsPartialPermBipartition}|hyperpage}{107}
\indexentry{IsBlockBijection@\texttt  {IsBlockBijection}|hyperpage}{108}
\indexentry{IsUniformBlockBijection@\texttt  {IsUniformBlockBijection}|hyperpage}{108}
\indexentry{BlocksNC@\texttt  {BlocksNC}|hyperpage}{109}
\indexentry{ExtRepOfBlocks@\texttt  {ExtRepOfBlocks}|hyperpage}{109}
\indexentry{RankOfBlocks@\texttt  {RankOfBlocks}|hyperpage}{109}
\indexentry{NrTransverseBlocks@\texttt  {NrTransverseBlocks}!for blocks|hyperpage}{109}
\indexentry{DegreeOfBlocks@\texttt  {DegreeOfBlocks}|hyperpage}{110}
\indexentry{OnRightBlocks@\texttt  {OnRightBlocks}|hyperpage}{110}
\indexentry{OnLeftBlocks@\texttt  {OnLeftBlocks}|hyperpage}{110}
\indexentry{PermRightBlocks@\texttt  {PermRightBlocks}|hyperpage}{111}
\indexentry{PermLeftBlocks@\texttt  {PermLeftBlocks}|hyperpage}{111}
\indexentry{InverseRightBlocks@\texttt  {InverseRightBlocks}|hyperpage}{111}
\indexentry{InverseLeftBlocks@\texttt  {InverseLeftBlocks}|hyperpage}{111}
\indexentry{TikzBipartition@\texttt  {TikzBipartition}|hyperpage}{112}
\indexentry{TikzBlocks@\texttt  {TikzBlocks}|hyperpage}{113}
\indexentry{IsBipartitionSemigroup@\texttt  {IsBipartitionSemigroup}|hyperpage}{113}
\indexentry{IsBipartitionMonoid@\texttt  {IsBipartitionMonoid}|hyperpage}{113}
\indexentry{IsBlockBijectionSemigroup@\texttt  {IsBlockBijectionSemigroup}|hyperpage}{114}
\indexentry{IsBlockBijectionMonoid@\texttt  {IsBlockBijectionMonoid}|hyperpage}{114}
\indexentry{IsPartialPermBipartitionSemigroup@\texttt  {IsPartialPermBipartitionSemigroup}|hyperpage}{114}
\indexentry{IsPartialPermBipartitionMonoid@\texttt  {IsPartialPermBipartitionMonoid}|hyperpage}{114}
\indexentry{IsPermBipartitionGroup@\texttt  {IsPermBipartitionGroup}|hyperpage}{115}
\indexentry{DegreeOfBipartitionSemigroup@\texttt  {DegreeOfBipartitionSemigroup}|hyperpage}{115}
\indexentry{FreeInverseSemigroup@\texttt  {FreeInverseSemigroup}!for a given rank|hyperpage}{117}
\indexentry{FreeInverseSemigroup@\texttt  {FreeInverseSemigroup}!for a list of names|hyperpage}{117}
\indexentry{FreeInverseSemigroup@\texttt  {FreeInverseSemigroup}!for various names|hyperpage}{117}
\indexentry{IsFreeInverseSemigroupCategory@\texttt  {IsFreeInverseSemigroupCategory}|hyperpage}{117}
\indexentry{IsFreeInverseSemigroup@\texttt  {IsFreeInverseSemigroup}|hyperpage}{117}
\indexentry{IsFreeInverseSemigroupElement@\texttt  {IsFreeInverseSemigroupElement}|hyperpage}{117}
\indexentry{CanonicalForm@\texttt  {CanonicalForm}!for a free inverse semigroup element|hyperpage}{118}
\indexentry{MinimalWord@\texttt  {MinimalWord}!for free inverse semigroup element|hyperpage}{119}
\indexentry{FreeBand@\texttt  {FreeBand}!for a given rank|hyperpage}{119}
\indexentry{FreeBand@\texttt  {FreeBand}!for a list of names|hyperpage}{119}
\indexentry{FreeBand@\texttt  {FreeBand}!for various names|hyperpage}{119}
\indexentry{IsFreeBandCategory@\texttt  {IsFreeBandCategory}|hyperpage}{120}
\indexentry{IsFreeBand@\texttt  {IsFreeBand}!for a given semigroup|hyperpage}{120}
\indexentry{IsFreeBandElement@\texttt  {IsFreeBandElement}|hyperpage}{120}
\indexentry{IsFreeBandSubsemigroup@\texttt  {IsFreeBandSubsemigroup}|hyperpage}{120}
\indexentry{GreensDClassOfElement@\texttt  {GreensDClassOfElement}!for a free band and a free band element|hyperpage}{121}
\indexentry{SemigroupCongruence@\texttt  {SemigroupCongruence}|hyperpage}{122}
\indexentry{CongruenceClassOfElement@\texttt  {CongruenceClassOfElement}|hyperpage}{123}
\indexentry{CongruenceClasses@\texttt  {CongruenceClasses}|hyperpage}{123}
\indexentry{NrCongruenceClasses@\texttt  {NrCongruenceClasses}|hyperpage}{123}
\indexentry{CongruencesOfSemigroup@\texttt  {CongruencesOfSemigroup}|hyperpage}{124}
\indexentry{AsLookupTable@\texttt  {AsLookupTable}|hyperpage}{124}
\indexentry{IsRMSCongruenceByLinkedTriple@\texttt  {IsRMSCongruenceByLinkedTriple}|hyperpage}{125}
\indexentry{IsRZMSCongruenceByLinkedTriple@\texttt  {IsRZMSCongruenceByLinkedTriple}|hyperpage}{125}
\indexentry{RMSCongruenceByLinkedTriple@\texttt  {RMSCongruenceByLinkedTriple}|hyperpage}{126}
\indexentry{RZMSCongruenceByLinkedTriple@\texttt  {RZMSCongruenceByLinkedTriple}|hyperpage}{126}
\indexentry{RMSCongruenceClassByLinkedTriple@\texttt  {RMSCongruenceClassByLinkedTriple}|hyperpage}{126}
\indexentry{RZMSCongruenceClassByLinkedTriple@\texttt  {RZMSCongruenceClassByLinkedTriple}|hyperpage}{126}
\indexentry{IsLinkedTriple@\texttt  {IsLinkedTriple}|hyperpage}{127}
\indexentry{CanonicalRepresentative@\texttt  {CanonicalRepresentative}|hyperpage}{127}
\indexentry{AsSemigroupCongruenceByGeneratingPairs@\texttt  {AsSemigroup}\discretionary {-}{}{}\texttt  {Congruence}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {Generating}\discretionary {-}{}{}\texttt  {Pairs}|hyperpage}{128}
\indexentry{AsRMSCongruenceByLinkedTriple@\texttt  {AsRMSCongruenceByLinkedTriple}|hyperpage}{128}
\indexentry{AsRZMSCongruenceByLinkedTriple@\texttt  {AsRZMSCongruenceByLinkedTriple}|hyperpage}{128}
\indexentry{MeetSemigroupCongruences@\texttt  {MeetSemigroupCongruences}|hyperpage}{128}
\indexentry{JoinSemigroupCongruences@\texttt  {JoinSemigroupCongruences}|hyperpage}{129}
\indexentry{IsUniversalSemigroupCongruence@\texttt  {IsUniversalSemigroupCongruence}|hyperpage}{129}
\indexentry{UniversalSemigroupCongruence@\texttt  {UniversalSemigroupCongruence}|hyperpage}{130}
\indexentry{IsIsomorphicSemigroup@\texttt  {IsIsomorphicSemigroup}|hyperpage}{131}
\indexentry{SmallestMultiplicationTable@\texttt  {SmallestMultiplicationTable}|hyperpage}{131}
\indexentry{IsomorphismSemigroups@\texttt  {IsomorphismSemigroups}|hyperpage}{132}
\indexentry{EnumeratePosition@\texttt  {EnumeratePosition}|hyperpage}{133}
\indexentry{LookForInOrb@\texttt  {LookForInOrb}|hyperpage}{133}
\indexentry{OrbSCC@\texttt  {OrbSCC}|hyperpage}{134}
\indexentry{OrbSCCLookup@\texttt  {OrbSCCLookup}|hyperpage}{134}
\indexentry{OrbSCCTruthTable@\texttt  {OrbSCCTruthTable}|hyperpage}{134}
\indexentry{ReverseSchreierTreeOfSCC@\texttt  {ReverseSchreierTreeOfSCC}|hyperpage}{135}
\indexentry{SchreierTreeOfSCC@\texttt  {SchreierTreeOfSCC}|hyperpage}{136}
\indexentry{TraceSchreierTreeOfSCCBack@\texttt  {TraceSchreierTreeOfSCCBack}|hyperpage}{136}
\indexentry{TraceSchreierTreeOfSCCForward@\texttt  {TraceSchreierTreeOfSCCForward}|hyperpage}{137}
