\begin{theindex}

  \item \texttt{*} (for bipartitions), \hyperpage{101}
  \item \texttt  {\texttt  {\char 92\relax }{\textless }}
    \subitem for Green's classes, \hyperpage{42}
  \item \texttt{{\textless}} (for bipartitions), \hyperpage{101}
  \item \texttt{=} (for bipartitions), \hyperpage{102}

  \indexspace

  \item \texttt  {AsBipartition}, \hyperpage{98}
  \item \texttt  {AsBipartitionSemigroup}, \hyperpage{18}
  \item \texttt  {AsBlockBijection}, \hyperpage{100}
  \item \texttt  {AsBlockBijectionSemigroup}, \hyperpage{18}
  \item \texttt  {AsLookupTable}, \hyperpage{124}
  \item \texttt  {AsPartialPerm}
    \subitem for a bipartition, \hyperpage{101}
  \item \texttt  {AsPartialPermSemigroup}, \hyperpage{18}
  \item \texttt  {AsPermutation}
    \subitem for a bipartition, \hyperpage{101}
  \item \texttt  {AsRMSCongruenceByLinkedTriple}, \hyperpage{128}
  \item \texttt  {AsRZMSCongruenceByLinkedTriple}, \hyperpage{128}
  \item \texttt  {AsSemigroup}\discretionary {-}{}{}\texttt  {Congruence}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {Generating}\discretionary {-}{}{}\texttt  {Pairs}, 
		\hyperpage{128}
  \item \texttt  {AsTransformation}
    \subitem for a bipartition, \hyperpage{100}
  \item \texttt  {AsTransformationSemigroup}, \hyperpage{18}

  \indexspace

  \item \texttt  {Bipartition}, \hyperpage{95}
  \item \texttt  {BipartitionByIntRep}, \hyperpage{96}
  \item \texttt  {BipartitionFamily}, \hyperpage{95}
  \item \texttt  {BlocksNC}, \hyperpage{109}
  \item \texttt  {BrauerMonoid}, \hyperpage{21}

  \indexspace

  \item \texttt  {CanonicalForm}
    \subitem for a free inverse semigroup element, \hyperpage{118}
  \item \texttt  {CanonicalRepresentative}, \hyperpage{127}
  \item \texttt  {CharacterTableOfInverseSemigroup}, \hyperpage{90}
  \item \texttt  {ClosureInverseSemigroup}, \hyperpage{13}
  \item \texttt  {ClosureSemigroup}, \hyperpage{14}
  \item \texttt  {ComponentRepsOfPartialPermSemigroup}, \hyperpage{65}
  \item \texttt  {Component}\discretionary {-}{}{}\texttt  {Reps}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Transformation}\discretionary {-}{}{}\texttt  {Semigroup}, 
		\hyperpage{64}
  \item \texttt  {ComponentsOfPartialPermSemigroup}, \hyperpage{65}
  \item \texttt  {ComponentsOfTransformationSemigroup}, \hyperpage{64}
  \item \texttt  {CongruenceClasses}, \hyperpage{123}
  \item \texttt  {CongruenceClassOfElement}, \hyperpage{123}
  \item \texttt  {CongruencesOfSemigroup}, \hyperpage{124}
  \item \texttt  {CyclesOfPartialPerm}, \hyperpage{66}
  \item \texttt  {CyclesOfPartialPermSemigroup}, \hyperpage{66}
  \item \texttt  {CyclesOfTransformationSemigroup}, \hyperpage{64}

  \indexspace

  \item \texttt  {DClass}, \hyperpage{34}
  \item \texttt  {DClasses}, \hyperpage{37}
  \item \texttt  {DClassNC}, \hyperpage{35}
  \item \texttt  {DClassOfHClass}, \hyperpage{33}
  \item \texttt  {DClassOfLClass}, \hyperpage{33}
  \item \texttt  {DClassOfRClass}, \hyperpage{33}
  \item \texttt  {DClassReps}, \hyperpage{41}
  \item \texttt  {DegreeOfBipartition}, \hyperpage{103}
  \item \texttt  {DegreeOfBipartitionCollection}, \hyperpage{103}
  \item \texttt  {DegreeOfBipartitionSemigroup}, \hyperpage{115}
  \item \texttt  {DegreeOfBlocks}, \hyperpage{110}
  \item \texttt  {DotDClasses}, \hyperpage{92}
    \subitem for a semigroup, \hyperpage{92}
  \item \texttt  {DotSemilatticeOfIdempotents}, \hyperpage{93}
  \item \texttt  {DualSymmetricInverseMonoid}, \hyperpage{22}
  \item \texttt  {DualSymmetricInverseSemigroup}, \hyperpage{22}

  \indexspace

  \item \texttt  {EndomorphismsPartition}, \hyperpage{20}
  \item \texttt  {EnumeratePosition}, \hyperpage{133}
  \item \texttt  {EvaluateWord}, \hyperpage{31}
  \item \texttt  {ExtRepOfBipartition}, \hyperpage{104}
  \item \texttt  {ExtRepOfBlocks}, \hyperpage{109}

  \indexspace

  \item \texttt  {Factorisable}\discretionary {-}{}{}\texttt  {Dual}\discretionary {-}{}{}\texttt  {Symmetric}\discretionary {-}{}{}\texttt  {Inverse}\discretionary {-}{}{}\texttt  {Semigroup}, 
		\hyperpage{22}
  \item \texttt  {Factorization}, \hyperpage{32}
  \item \texttt  {FreeBand}
    \subitem for a given rank, \hyperpage{119}
    \subitem for a list of names, \hyperpage{119}
    \subitem for various names, \hyperpage{119}
  \item \texttt  {FreeInverseSemigroup}
    \subitem for a given rank, \hyperpage{117}
    \subitem for a list of names, \hyperpage{117}
    \subitem for various names, \hyperpage{117}
  \item \texttt  {FullMatrixSemigroup}, \hyperpage{23}

  \indexspace

  \item \texttt  {GeneralLinearSemigroup}, \hyperpage{23}
  \item \texttt  {Generators}, \hyperpage{53}
  \item \texttt  {GeneratorsOfSemigroupIdeal}, \hyperpage{29}
  \item \texttt  {GeneratorsSmallest}
    \subitem for a transformation semigroup, \hyperpage{68}
  \item \texttt  {GreensDClasses}, \hyperpage{37}
  \item \texttt  {GreensDClassOfElement}, \hyperpage{34}
    \subitem for a free band and a free band element, \hyperpage{121}
  \item \texttt  {GreensDClassOfElementNC}, \hyperpage{35}
  \item \texttt  {GreensHClasses}, \hyperpage{37}
  \item \texttt  {GreensHClassOfElement}, \hyperpage{34}
    \subitem for a Rees matrix semigroup, \hyperpage{34}
  \item \texttt  {GreensHClassOfElementNC}, \hyperpage{35}
  \item \texttt  {GreensJClasses}, \hyperpage{37}
  \item \texttt  {GreensLClasses}, \hyperpage{37}
  \item \texttt  {GreensLClassOfElement}, \hyperpage{34}
  \item \texttt  {GreensLClassOfElementNC}, \hyperpage{35}
  \item \texttt  {GreensRClasses}, \hyperpage{37}
  \item \texttt  {GreensRClassOfElement}, \hyperpage{34}
  \item \texttt  {GreensRClassOfElementNC}, \hyperpage{35}
  \item \texttt  {GroupHClass}, \hyperpage{36}
  \item \texttt  {GroupOfUnits}, \hyperpage{54}

  \indexspace

  \item \texttt  {HClass}, \hyperpage{34}
    \subitem for a Rees matrix semigroup, \hyperpage{34}
  \item \texttt  {HClasses}, \hyperpage{37}
  \item \texttt  {HClassNC}, \hyperpage{35}
  \item \texttt  {HClassReps}, \hyperpage{41}

  \indexspace

  \item \texttt  {IdempotentGeneratedSubsemigroup}, \hyperpage{56}
  \item \texttt  {Idempotents}, \hyperpage{54}
  \item \texttt  {IdentityBipartition}, \hyperpage{96}
  \item \texttt  {InfoSemigroups}, \hyperpage{9}
  \item \texttt  {InjectionPrincipalFactor}, \hyperpage{43}
  \item \texttt  {InverseLeftBlocks}, \hyperpage{111}
  \item \texttt  {InverseRightBlocks}, \hyperpage{111}
  \item \texttt  {InverseSubsemigroupByProperty}, \hyperpage{15}
  \item \texttt  {IrredundantGeneratingSubset}, \hyperpage{57}
  \item \texttt  {IsAperiodicSemigroup}, \hyperpage{76}
  \item \texttt  {IsBand}, \hyperpage{68}
  \item \texttt  {IsBipartition}, \hyperpage{95}
  \item \texttt  {IsBipartitionCollection}, \hyperpage{95}
  \item \texttt  {IsBipartitionMonoid}, \hyperpage{113}
  \item \texttt  {IsBipartitionSemigroup}, \hyperpage{113}
  \item \texttt  {IsBipartitionSemigroupGreensClass}, \hyperpage{51}
  \item \texttt  {IsBlockBijection}, \hyperpage{108}
  \item \texttt  {IsBlockBijectionMonoid}, \hyperpage{114}
  \item \texttt  {IsBlockBijectionSemigroup}, \hyperpage{114}
  \item \texttt  {IsBlockGroup}, \hyperpage{69}
  \item \texttt  {IsBrandtSemigroup}, \hyperpage{81}
  \item \texttt  {IsCliffordSemigroup}, \hyperpage{81}
  \item \texttt  {IsCombinatorialSemigroup}, \hyperpage{76}
  \item \texttt  {IsCommutativeSemigroup}, \hyperpage{70}
  \item \texttt  {IsCompletelyRegularSemigroup}, \hyperpage{70}
  \item \texttt  {IsCompletelySimpleSemigroup}, \hyperpage{77}
  \item \texttt  {IsCongruenceFreeSemigroup}, \hyperpage{71}
  \item \texttt  {IsDTrivial}, \hyperpage{76}
  \item \texttt  {IsDualTransBipartition}, \hyperpage{107}
  \item \texttt  {IsEUnitaryInverseSemigroup}, \hyperpage{82}
  \item \texttt  {IsFactorisableSemigroup}, \hyperpage{82}
  \item \texttt  {IsFreeBand}
    \subitem for a given semigroup, \hyperpage{120}
  \item \texttt  {IsFreeBandCategory}, \hyperpage{120}
  \item \texttt  {IsFreeBandElement}, \hyperpage{120}
  \item \texttt  {IsFreeBandSubsemigroup}, \hyperpage{120}
  \item \texttt  {IsFreeInverseSemigroup}, \hyperpage{117}
  \item \texttt  {IsFreeInverseSemigroupCategory}, \hyperpage{117}
  \item \texttt  {IsFreeInverseSemigroupElement}, \hyperpage{117}
  \item \texttt  {IsFullMatrixSemigroup}, \hyperpage{23}
  \item \texttt  {IsGeneralLinearSemigroup}, \hyperpage{23}
  \item \texttt  {IsGreensClassNC}, \hyperpage{51}
  \item \texttt  {IsGreensDLeq}, \hyperpage{52}
  \item \texttt  {IsGroupAsSemigroup}, \hyperpage{71}
  \item \texttt  {IsHTrivial}, \hyperpage{76}
  \item \texttt  {IsIdempotentGenerated}, \hyperpage{72}
  \item \texttt  {IsIsomorphicSemigroup}, \hyperpage{131}
  \item \texttt  {IsJoinIrreducible}, \hyperpage{83}
  \item \texttt  {IsLeftSimple}, \hyperpage{72}
  \item \texttt  {IsLeftZeroSemigroup}, \hyperpage{73}
  \item \texttt  {IsLinkedTriple}, \hyperpage{127}
  \item \texttt  {IsLTrivial}, \hyperpage{76}
  \item \texttt  {IsMajorantlyClosed}, \hyperpage{84}
  \item \texttt  {IsMaximalSubsemigroup}, \hyperpage{60}
  \item \texttt  {IsMonogenicInverseSemigroup}, \hyperpage{84}
  \item \texttt  {IsMonogenicSemigroup}, \hyperpage{73}
  \item \texttt  {IsMonoidAsSemigroup}, \hyperpage{74}
  \item \texttt  {IsomorphismBipartitionMonoid}, \hyperpage{19}
  \item \texttt  {IsomorphismBipartitionSemigroup}, \hyperpage{19}
  \item \texttt  {IsomorphismBlockBijectionMonoid}, \hyperpage{20}
  \item \texttt  {IsomorphismBlockBijectionSemigroup}, \hyperpage{20}
  \item \texttt  {IsomorphismPermGroup}, \hyperpage{18}
  \item \texttt  {IsomorphismReesMatrixSemigroup}, \hyperpage{43}
  \item \texttt  {IsomorphismSemigroups}, \hyperpage{132}
  \item \texttt  {IsOrthodoxSemigroup}, \hyperpage{74}
  \item \texttt  {IsPartialPermBipartition}, \hyperpage{107}
  \item \texttt  {IsPartialPermBipartitionMonoid}, \hyperpage{114}
  \item \texttt  {IsPartialPermBipartitionSemigroup}, \hyperpage{114}
  \item \texttt  {IsPartialPermSemigroupGreensClass}, \hyperpage{51}
  \item \texttt  {IsPermBipartition}, \hyperpage{107}
  \item \texttt  {IsPermBipartitionGroup}, \hyperpage{115}
  \item \texttt  {IsRectangularBand}, \hyperpage{75}
  \item \texttt  {IsRegularClass}, \hyperpage{44}
  \item \texttt  {IsRegularSemigroup}, \hyperpage{75}
  \item \texttt  {IsRightSimple}, \hyperpage{72}
  \item \texttt  {IsRightZeroSemigroup}, \hyperpage{76}
  \item \texttt  {IsRMSCongruenceByLinkedTriple}, \hyperpage{125}
  \item \texttt  {IsRTrivial}, \hyperpage{76}
  \item \texttt  {IsRZMSCongruenceByLinkedTriple}, \hyperpage{125}
  \item \texttt  {IsSemiBand}, \hyperpage{72}
  \item \texttt  {IsSemigroupWithCommutingIdempotents}, \hyperpage{69}
  \item \texttt  {IsSemilatticeAsSemigroup}, \hyperpage{77}
  \item \texttt  {IsSimpleSemigroup}, \hyperpage{77}
  \item \texttt  {IsSynchronizingSemigroup}, \hyperpage{78}
  \item \texttt  {IsSynchronizing}\discretionary {-}{}{}\texttt  {Transformation}\discretionary {-}{}{}\texttt  {Collection}, 
		\hyperpage{78}
  \item \texttt  {IsTransBipartition}, \hyperpage{106}
  \item \texttt  {IsTransformation}\discretionary {-}{}{}\texttt  {Semigroup}\discretionary {-}{}{}\texttt  {Greens}\discretionary {-}{}{}\texttt  {Class}, 
		\hyperpage{51}
  \item \texttt  {IsTransitive}
    \subitem for a transformation semigroup and a pos int, 
		\hyperpage{64}
    \subitem for a transformation semigroup and a set, \hyperpage{64}
  \item \texttt  {IsUniformBlockBijection}, \hyperpage{108}
  \item \texttt  {IsUniversalSemigroupCongruence}, \hyperpage{129}
  \item \texttt  {IsZeroGroup}, \hyperpage{78}
  \item \texttt  {IsZeroRectangularBand}, \hyperpage{79}
  \item \texttt  {IsZeroSemigroup}, \hyperpage{79}
  \item \texttt  {IsZeroSimpleSemigroup}, \hyperpage{80}
  \item \texttt  {IteratorFromGeneratorsFile}, \hyperpage{11}
  \item \texttt  {IteratorOfDClasses}, \hyperpage{40}
  \item \texttt  {IteratorOfDClassReps}, \hyperpage{39}
  \item \texttt  {IteratorOfHClasses}, \hyperpage{40}
  \item \texttt  {IteratorOfHClassReps}, \hyperpage{39}
  \item \texttt  {IteratorOfLClasses}, \hyperpage{40}
  \item \texttt  {IteratorOfLClassReps}, \hyperpage{39}
  \item \texttt  {IteratorOfRClasses}, \hyperpage{40}
  \item \texttt  {IteratorOfRClassReps}, \hyperpage{39}

  \indexspace

  \item \texttt  {JClasses}, \hyperpage{37}
  \item \texttt  {JoinIrreducibleDClasses}, \hyperpage{85}
  \item \texttt  {JoinSemigroupCongruences}, \hyperpage{129}
  \item \texttt  {JonesMonoid}, \hyperpage{21}

  \indexspace

  \item \texttt  {LargestElementSemigroup}, \hyperpage{67}
  \item \texttt  {LClass}, \hyperpage{34}
  \item \texttt  {LClasses}, \hyperpage{37}
  \item \texttt  {LClassNC}, \hyperpage{35}
  \item \texttt  {LClassOfHClass}, \hyperpage{33}
  \item \texttt  {LClassReps}, \hyperpage{41}
  \item \texttt  {LeftBlocks}, \hyperpage{105}
  \item \texttt  {LeftOne}
    \subitem for a bipartition, \hyperpage{96}
  \item \texttt  {LeftProjection}, \hyperpage{96}
  \item \texttt  {LookForInOrb}, \hyperpage{133}

  \indexspace

  \item \texttt  {MajorantClosure}, \hyperpage{85}
  \item \texttt  {MaximalDClasses}, \hyperpage{49}
  \item \texttt  {MaximalSubsemigroups}
    \subitem for a Rees (0-)matrix semigroup, and a group, 
		\hyperpage{59}
    \subitem for an acting semigroup, \hyperpage{58}
  \item \texttt  {MeetSemigroupCongruences}, \hyperpage{128}
  \item \texttt  {MinimalDClass}, \hyperpage{49}
  \item \texttt  {MinimalIdeal}, \hyperpage{60}
  \item \texttt  {MinimalIdealGeneratingSet}, \hyperpage{29}
  \item \texttt  {MinimalWord}
    \subitem for free inverse semigroup element, \hyperpage{119}
  \item \texttt  {Minorants}, \hyperpage{86}
  \item \texttt  {MonogenicSemigroup}, \hyperpage{26}
  \item \texttt  {MultiplicativeNeutralElement}
    \subitem for an H-class, \hyperpage{51}
  \item \texttt  {MultiplicativeZero}, \hyperpage{62}
  \item \texttt  {MunnSemigroup}, \hyperpage{24}

  \indexspace

  \item \texttt  {NaturalLeqBlockBijection}, \hyperpage{102}
  \item \texttt  {NaturalLeqPartialPermBipartition}, \hyperpage{102}
  \item \texttt  {Normalizer}
    \subitem for a perm group, semigroup, record, \hyperpage{66}
    \subitem for a semigroup, record, \hyperpage{66}
  \item \texttt  {NrBlocks}
    \subitem for a bipartition, \hyperpage{106}
    \subitem for blocks, \hyperpage{106}
  \item \texttt  {NrCongruenceClasses}, \hyperpage{123}
  \item \texttt  {NrDClasses}, \hyperpage{46}
  \item \texttt  {NrHClasses}, \hyperpage{46}
  \item \texttt  {NrIdempotents}, \hyperpage{56}
  \item \texttt  {NrLClasses}, \hyperpage{46}
  \item \texttt  {NrLeftBlocks}, \hyperpage{105}
  \item \texttt  {NrRClasses}, \hyperpage{46}
  \item \texttt  {NrRegularDClasses}, \hyperpage{45}
  \item \texttt  {NrRightBlocks}, \hyperpage{106}
  \item \texttt  {NrTransverseBlocks}
    \subitem for a bipartition, \hyperpage{104}
    \subitem for blocks, \hyperpage{109}

  \indexspace

  \item \texttt  {OnLeftBlocks}, \hyperpage{110}
  \item \texttt  {OnRightBlocks}, \hyperpage{110}
  \item \texttt  {OnRightBlocksBipartitionByPerm}, \hyperpage{103}
  \item \texttt  {OrbSCC}, \hyperpage{134}
  \item \texttt  {OrbSCCLookup}, \hyperpage{134}
  \item \texttt  {OrbSCCTruthTable}, \hyperpage{134}
  \item \texttt  {OrderEndomorphisms}
    \subitem monoid of order preserving transformations, \hyperpage{24}

  \indexspace

  \item \texttt  {PartialOrderOfDClasses}, \hyperpage{47}
  \item \texttt  {PartialPermLeqBipartition}, \hyperpage{102}
  \item \texttt  {PartialTransformationSemigroup}, \hyperpage{23}
  \item \texttt  {PartitionMonoid}, \hyperpage{21}
  \item \texttt  {PermLeftBlocks}, \hyperpage{111}
  \item \texttt  {PermLeftQuoBipartition}, \hyperpage{103}
  \item \texttt  {PermRightBlocks}, \hyperpage{111}
  \item \texttt  {POI}
    \subitem monoid of order preserving partial perms, \hyperpage{24}
  \item \texttt  {POPI}
    \subitem monoid of orientation preserving partial perms, 
		\hyperpage{24}
  \item \texttt  {PrimitiveIdempotents}, \hyperpage{86}
  \item \texttt  {PrincipalFactor}, \hyperpage{44}

  \indexspace

  \item \texttt  {Random}
    \subitem for a semigroup, \hyperpage{62}
  \item \texttt  {RandomBinaryRelationMonoid}, \hyperpage{13}
  \item \texttt  {RandomBinaryRelationSemigroup}, \hyperpage{13}
  \item \texttt  {RandomBipartition}, \hyperpage{98}
  \item \texttt  {RandomBipartitionMonoid}, \hyperpage{13}
  \item \texttt  {RandomBipartitionSemigroup}, \hyperpage{13}
  \item \texttt  {RandomInverseMonoid}, \hyperpage{12}
  \item \texttt  {RandomInverseSemigroup}, \hyperpage{12}
  \item \texttt  {RandomPartialPermMonoid}, \hyperpage{13}
  \item \texttt  {RandomPartialPermSemigroup}, \hyperpage{13}
  \item \texttt  {RandomTransformationMonoid}, \hyperpage{12}
  \item \texttt  {RandomTransformationSemigroup}, \hyperpage{12}
  \item \texttt  {RankOfBipartition}, \hyperpage{104}
  \item \texttt  {RankOfBlocks}, \hyperpage{109}
  \item \texttt  {RClass}, \hyperpage{34}
  \item \texttt  {RClasses}, \hyperpage{37}
  \item \texttt  {RClassNC}, \hyperpage{35}
  \item \texttt  {RClassOfHClass}, \hyperpage{33}
  \item \texttt  {RClassReps}, \hyperpage{41}
  \item \texttt  {ReadGenerators}, \hyperpage{10}
  \item \texttt  {RectangularBand}, \hyperpage{26}
  \item \texttt  {RegularBinaryRelationSemigroup}, \hyperpage{25}
  \item \texttt  {RegularDClasses}, \hyperpage{45}
  \item \texttt  {RepresentativeOfMinimalDClass}, \hyperpage{61}
  \item \texttt  {RepresentativeOfMinimalIdeal}, \hyperpage{61}
  \item \texttt  {ReverseSchreierTreeOfSCC}, \hyperpage{135}
  \item \texttt  {RightBlocks}, \hyperpage{104}
  \item \texttt  {RightCosetsOfInverseSemigroup}, \hyperpage{87}
  \item \texttt  {RightOne}
    \subitem for a bipartition, \hyperpage{97}
  \item \texttt  {RightProjection}, \hyperpage{97}
  \item \texttt  {RMSCongruenceByLinkedTriple}, \hyperpage{126}
  \item \texttt  {RMSCongruenceClassByLinkedTriple}, \hyperpage{126}
  \item \texttt  {RZMSCongruenceByLinkedTriple}, \hyperpage{126}
  \item \texttt  {RZMSCongruenceClassByLinkedTriple}, \hyperpage{126}

  \indexspace

  \item \texttt  {SameMinorantsSubgroup}, \hyperpage{88}
  \item \texttt  {SchreierTreeOfSCC}, \hyperpage{136}
  \item \texttt  {SchutzenbergerGroup}, \hyperpage{48}
  \item \texttt  {SemigroupCongruence}, \hyperpage{122}
  \item \texttt  {SemigroupIdeal}, \hyperpage{28}
  \item \textsf{Semigroups} package overview, \hyperpage{6}
  \item \texttt  {SemigroupsDir}, \hyperpage{10}
  \item \texttt  {SemigroupsMakeDoc}, \hyperpage{8}
  \item \texttt  {SemigroupsOptionsRec}, \hyperpage{17}
  \item \texttt  {SemigroupsTestAll}, \hyperpage{9}
  \item \texttt  {SemigroupsTestInstall}, \hyperpage{9}
  \item \texttt  {SemigroupsTestManualExamples}, \hyperpage{9}
  \item \texttt  {SingularBrauerMonoid}, \hyperpage{21}
  \item \texttt  {Singular}\discretionary {-}{}{}\texttt  {Dual}\discretionary {-}{}{}\texttt  {Symmetric}\discretionary {-}{}{}\texttt  {Inverse}\discretionary {-}{}{}\texttt  {Semigroup}, 
		\hyperpage{22}
  \item \texttt  {Singular}\discretionary {-}{}{}\texttt  {Factorisable}\discretionary {-}{}{}\texttt  {Dual}\discretionary {-}{}{}\texttt  {Symmetric}\discretionary {-}{}{}\texttt  {Inverse}\discretionary {-}{}{}\texttt  {Semigroup}, 
		\hyperpage{22}
  \item \texttt  {SingularJonesMonoid}, \hyperpage{21}
  \item \texttt  {SingularPartitionMonoid}, \hyperpage{21}
  \item \texttt  {SingularTransformationMonoid}, \hyperpage{25}
  \item \texttt  {SingularTransformationSemigroup}, \hyperpage{25}
  \item \texttt  {Smaller}\discretionary {-}{}{}\texttt  {Degree}\discretionary {-}{}{}\texttt  {Partial}\discretionary {-}{}{}\texttt  {Perm}\discretionary {-}{}{}\texttt  {Representation}, 
		\hyperpage{88}
  \item \texttt  {SmallestElementSemigroup}, \hyperpage{67}
  \item \texttt  {SmallestMultiplicationTable}, \hyperpage{131}
  \item \texttt  {SmallGeneratingSet}, \hyperpage{62}
  \item \texttt  {SmallInverseMonoidGeneratingSet}, \hyperpage{62}
  \item \texttt  {SmallInverseSemigroupGeneratingSet}, \hyperpage{62}
  \item \texttt  {SmallMonoidGeneratingSet}, \hyperpage{62}
  \item \texttt  {SmallSemigroupGeneratingSet}, \hyperpage{62}
  \item \texttt  {Splash}, \hyperpage{91}
  \item \texttt  {Star}, \hyperpage{97}
  \item \texttt  {StarOp}, \hyperpage{97}
  \item \texttt  {StructureDescription}
    \subitem for an H-class, \hyperpage{52}
  \item \texttt  {Structure}\discretionary {-}{}{}\texttt  {Description}\discretionary {-}{}{}\texttt  {Maximal}\discretionary {-}{}{}\texttt  {Subgroups}, 
		\hyperpage{50}
  \item \texttt  {Structure}\discretionary {-}{}{}\texttt  {Description}\discretionary {-}{}{}\texttt  {Schutzenberger}\discretionary {-}{}{}\texttt  {Groups}, 
		\hyperpage{50}
  \item \texttt  {SubsemigroupByProperty}
    \subitem for a semigroup and function, \hyperpage{14}
    \subitem for a semigroup, function, and limit on the size of the subsemigroup, 
		\hyperpage{14}
  \item \texttt  {SupersemigroupOfIdeal}, \hyperpage{30}

  \indexspace

  \item \texttt  {TemperleyLiebMonoid}, \hyperpage{21}
  \item \texttt  {TikzBipartition}, \hyperpage{112}
  \item \texttt  {TikzBlocks}, \hyperpage{113}
  \item \texttt  {TraceSchreierTreeOfSCCBack}, \hyperpage{136}
  \item \texttt  {TraceSchreierTreeOfSCCForward}, \hyperpage{137}

  \indexspace

  \item \texttt  {UniversalSemigroupCongruence}, \hyperpage{130}

  \indexspace

  \item \texttt  {VagnerPrestonRepresentation}, \hyperpage{89}

  \indexspace

  \item \texttt  {WriteGenerators}, \hyperpage{10}

  \indexspace

  \item \texttt  {ZeroSemigroup}, \hyperpage{27}

\end{theindex}
