\indexentry{TransformationByKernelAndImage@\texttt {TransformationByKernelAndImage}|hyperpage}{12} \indexentry{TransformationByKernelAndImageNC@\texttt {TransformationByKernelAndImageNC}|hyperpage}{12} \indexentry{AllTransformationsWithKerAndImg@\texttt {AllTransformationsWithKerAndImg}|hyperpage}{12} \indexentry{AllTransformationsWithKerAndImgNC@\texttt {AllTransformationsWithKerAndImgNC}|hyperpage}{12} \indexentry{IdempotentNC@\texttt {IdempotentNC}|hyperpage}{13} \indexentry{Idempotent@\texttt {Idempotent}|hyperpage}{13} \indexentry{RandomIdempotent@\texttt {RandomIdempotent}|hyperpage}{13} \indexentry{RandomIdempotentNC@\texttt {RandomIdempotentNC}|hyperpage}{13} \indexentry{RandomTransformation@\texttt {RandomTransformation}|hyperpage}{13} \indexentry{RandomTransformationNC@\texttt {RandomTransformationNC}|hyperpage}{13} \indexentry{TransformationActionNC@\texttt {TransformationActionNC}|hyperpage}{14} \indexentry{IsTransversal@\texttt {IsTransversal}|hyperpage}{14} \indexentry{IsKerImgOfTransformation@\texttt {IsKerImgOfTransformation}|hyperpage}{15} \indexentry{KerImgOfTransformation@\texttt {KerImgOfTransformation}|hyperpage}{15} \indexentry{IsRegularTransformation@\texttt {IsRegularTransformation}|hyperpage}{16} \indexentry{IndexPeriodOfTransformation@\texttt {IndexPeriodOfTransformation}|hyperpage}{16} \indexentry{SmallestIdempotentPower@\texttt {SmallestIdempotentPower}|hyperpage}{16} \indexentry{InversesOfTransformation@\texttt {InversesOfTransformation}|hyperpage}{17} \indexentry{InversesOfTransformationNC@\texttt {InversesOfTransformationNC}|hyperpage}{17} \indexentry{AsBooleanMatrix@\texttt {AsBooleanMatrix}|hyperpage}{17} \indexentry{AsPermOfRange@\texttt {AsPermOfRange}|hyperpage}{18} \indexentry{OnTuplesOfSetsAntiAction@\texttt {OnTuplesOfSetsAntiAction}|hyperpage}{19} \indexentry{OnKernelsAntiAction@\texttt {OnKernelsAntiAction}|hyperpage}{19} \indexentry{MonoidOrbit@\texttt {MonoidOrbit}|hyperpage}{20} \indexentry{MonoidOrbits@\texttt {MonoidOrbits}|hyperpage}{20} \indexentry{StrongOrbit@\texttt {StrongOrbit}|hyperpage}{21} \indexentry{StrongOrbits@\texttt {StrongOrbits}|hyperpage}{21} \indexentry{GradedOrbit@\texttt {GradedOrbit}|hyperpage}{22} \indexentry{ShortOrbit@\texttt {ShortOrbit}|hyperpage}{22} \indexentry{GradedStrongOrbit@\texttt {GradedStrongOrbit}|hyperpage}{23} \indexentry{ShortStrongOrbit@\texttt {ShortStrongOrbit}|hyperpage}{23} \indexentry{ImagesOfTransSemigroup@\texttt {ImagesOfTransSemigroup}|hyperpage}{24} \indexentry{GradedImagesOfTransSemigroup@\texttt {GradedImagesOfTransSemigroup}|hyperpage}{25} \indexentry{KernelsOfTransSemigroup@\texttt {KernelsOfTransSemigroup}|hyperpage}{25} \indexentry{GradedKernelsOfTransSemigroup@\texttt {GradedKernelsOfTransSemigroup}|hyperpage}{25} \indexentry{StrongOrbitOfImage@\texttt {StrongOrbitOfImage}|hyperpage}{26} \indexentry{StrongOrbitsOfImages@\texttt {StrongOrbitsOfImages}|hyperpage}{26} \indexentry{GreensData@\texttt {GreensData}|hyperpage}{29} \indexentry{GreensRClassData@\texttt {GreensRClassData}|hyperpage}{29} \indexentry{GreensLClassData@\texttt {GreensLClassData}|hyperpage}{30} \indexentry{GreensHClassData@\texttt {GreensHClassData}|hyperpage}{31} \indexentry{GreensDClassData@\texttt {GreensDClassData}|hyperpage}{31} \indexentry{IsGreensData@\texttt {IsGreensData}|hyperpage}{32} \indexentry{IsGreensRClassData@\texttt {IsGreensRClassData}|hyperpage}{32} \indexentry{IsGreensLClassData@\texttt {IsGreensLClassData}|hyperpage}{32} \indexentry{IsGreensHClassData@\texttt {IsGreensHClassData}|hyperpage}{32} \indexentry{IsGreensDClassData@\texttt {IsGreensDClassData}|hyperpage}{32} \indexentry{RClassData@\texttt {RClassData}|hyperpage}{32} \indexentry{LClassData@\texttt {LClassData}|hyperpage}{32} \indexentry{HClassData@\texttt {HClassData}|hyperpage}{32} \indexentry{DClassData@\texttt {DClassData}|hyperpage}{32} \indexentry{IsGreensRClassDataRep@\texttt {IsGreensRClassDataRep}|hyperpage}{32} \indexentry{IsGreensLClassDataRep@\texttt {IsGreensLClassDataRep}|hyperpage}{32} \indexentry{IsGreensHClassDataRep@\texttt {IsGreensHClassDataRep}|hyperpage}{32} \indexentry{IsGreensDClassDataRep@\texttt {IsGreensDClassDataRep}|hyperpage}{32} \indexentry{IsAssociatedSemigpTransSemigp@\texttt {IsAssociatedSemigpTransSemigp}|hyperpage}{33} \indexentry{SchutzenbergerGroup@\texttt {SchutzenbergerGroup}|hyperpage}{33} \indexentry{Idempotents@\texttt {Idempotents}|hyperpage}{34} \indexentry{PartialOrderOfDClasses@\texttt {PartialOrderOfDClasses}|hyperpage}{34} \indexentry{IsCompletelyRegularSemigroup@\texttt {IsCompletelyRegularSemigroup}|hyperpage}{36} \indexentry{IsSimpleSemigroup@\texttt {IsSimpleSemigroup}|hyperpage}{37} \indexentry{IsCompletelySimpleSemigroup@\texttt {IsCompletelySimpleSemigroup}|hyperpage}{37} \indexentry{IsGroupAsSemigroup@\texttt {IsGroupAsSemigroup}|hyperpage}{37} \indexentry{IsCommutativeSemigroup@\texttt {IsCommutativeSemigroup}|hyperpage}{37} \indexentry{IsRegularSemigroup@\texttt {IsRegularSemigroup}|hyperpage}{38} \indexentry{IsInverseSemigroup@\texttt {IsInverseSemigroup}|hyperpage}{38} \indexentry{IsCliffordSemigroup@\texttt {IsCliffordSemigroup}|hyperpage}{38} \indexentry{IsBand@\texttt {IsBand}|hyperpage}{39} \indexentry{IsRectangularBand@\texttt {IsRectangularBand}|hyperpage}{39} \indexentry{IsSemiBand@\texttt {IsSemiBand}|hyperpage}{39} \indexentry{IsOrthodoxSemigroup@\texttt {IsOrthodoxSemigroup}|hyperpage}{40} \indexentry{IsRightZeroSemigroup@\texttt {IsRightZeroSemigroup}|hyperpage}{40} \indexentry{IsLeftZeroSemigroup@\texttt {IsLeftZeroSemigroup}|hyperpage}{40} \indexentry{IsZeroSemigroup@\texttt {IsZeroSemigroup}|hyperpage}{41} \indexentry{IsZeroGroup@\texttt {IsZeroGroup}|hyperpage}{41} \indexentry{MultiplicativeZero@\texttt {MultiplicativeZero}|hyperpage}{41} \indexentry{SingularSemigroup@\texttt {SingularSemigroup}|hyperpage}{43} \indexentry{OrderPreservingSemigroup@\texttt {OrderPreservingSemigroup}|hyperpage}{43} \indexentry{KiselmanSemigroup@\texttt {KiselmanSemigroup}|hyperpage}{44} \indexentry{ZeroSemigroup@\texttt {ZeroSemigroup}|hyperpage}{45} \indexentry{ZeroSemigroupElt@\texttt {ZeroSemigroupElt}|hyperpage}{45} \indexentry{ZeroGroup@\texttt {ZeroGroup}|hyperpage}{45} \indexentry{ZeroGroupElt@\texttt {ZeroGroupElt}|hyperpage}{46} \indexentry{UnderlyingGroupOfZG@\texttt {UnderlyingGroupOfZG}|hyperpage}{46} \indexentry{UnderlyingGroupEltOfZGElt@\texttt {UnderlyingGroupEltOfZGElt}|hyperpage}{46} \indexentry{RandomMonoid@\texttt {RandomMonoid}|hyperpage}{46} \indexentry{RandomSemigroup@\texttt {RandomSemigroup}|hyperpage}{47} \indexentry{RandomReesMatrixSemigroup@\texttt {RandomReesMatrixSemigroup}|hyperpage}{47} \indexentry{RandomReesZeroMatrixSemigroup@\texttt {RandomReesZeroMatrixSemigroup}|hyperpage}{47} \indexentry{InfoAutos@\texttt {InfoAutos}|hyperpage}{49} \indexentry{SemigroupHomomorphismByFunction@\texttt {SemigroupHomomorphismByFunction}|hyperpage}{49} \indexentry{SemigroupHomomorphismByFunctionNC@\texttt {SemigroupHomomorphismByFunctionNC}|hyperpage}{49} \indexentry{SemigroupHomomorphismByImagesOfGens@\texttt {SemigroupHomomorphismByImagesOfGens}|hyperpage}{50} \indexentry{SemigroupHomomorphismByImagesOfGensNC@\texttt {SemigroupHomomorphismByImagesOfGensNC}|hyperpage}{50} \indexentry{SemigroupHomomorphismByImages@\texttt {SemigroupHomomorphismByImages}|hyperpage}{50} \indexentry{SemigroupHomomorphismByImagesNC@\texttt {SemigroupHomomorphismByImagesNC}|hyperpage}{50} \indexentry{InnerAutomorphismOfSemigroup@\texttt {InnerAutomorphismOfSemigroup}|hyperpage}{51} \indexentry{InnerAutomorphismOfSemigroupNC@\texttt {InnerAutomorphismOfSemigroupNC}|hyperpage}{51} \indexentry{ConjugatorOfInnerAutomorphismOfSemigroup@\texttt {ConjugatorOfInnerAutomorphismOfSemigroup}|hyperpage}{51} \indexentry{IsInnerAutomorphismOfSemigroup@\texttt {IsInnerAutomorphismOfSemigroup}|hyperpage}{51} \indexentry{InnerAutomorphismsOfSemigroup@\texttt {InnerAutomorphismsOfSemigroup}|hyperpage}{52} \indexentry{InnerAutomorphismsOfSemigroupInGroup@\texttt {InnerAutomorphismsOfSemigroupInGroup}|hyperpage}{52} \indexentry{InnerAutomorphismsAutomorphismGroup@\texttt {InnerAutomorphismsAutomorphismGroup}|hyperpage}{53} \indexentry{IsInnerAutomorphismsOfSemigroup@\texttt {IsInnerAutomorphismsOfSemigroup}|hyperpage}{53} \indexentry{IsInnerAutomorphismsOfZeroGroup@\texttt {IsInnerAutomorphismsOfZeroGroup}|hyperpage}{54} \indexentry{AutomorphismGroup@\texttt {AutomorphismGroup}|hyperpage}{54} \indexentry{AutomorphismsSemigroupInGroup@\texttt {AutomorphismsSemigroupInGroup}|hyperpage}{56} \indexentry{IsAutomorphismGroupOfSemigroup@\texttt {IsAutomorphismGroupOfSemigroup}|hyperpage}{58} \indexentry{IsAutomorphismGroupOfSimpleSemigp@\texttt {IsAutomorphismGroupOfSimpleSemigp}|hyperpage}{58} \indexentry{IsAutomorphismGroupOfZeroGroup@\texttt {IsAutomorphismGroupOfZeroGroup}|hyperpage}{58} \indexentry{IsAutomorphismGroupOfZeroSemigroup@\texttt {IsAutomorphismGroupOfZeroSemigroup}|hyperpage}{58} \indexentry{IsAutomorphismGroupOfRMS@\texttt {IsAutomorphismGroupOfRMS}|hyperpage}{58} \indexentry{IsAutomorphismGroupOfRZMS@\texttt {IsAutomorphismGroupOfRZMS}|hyperpage}{59} \indexentry{RMSIsoByTriple@\texttt {RMSIsoByTriple}|hyperpage}{59} \indexentry{RZMSIsoByTriple@\texttt {RZMSIsoByTriple}|hyperpage}{60} \indexentry{IsRMSIsoByTripleRep@\texttt {IsRMSIsoByTripleRep}|hyperpage}{60} \indexentry{IsRZMSIsoByTripleRep@\texttt {IsRZMSIsoByTripleRep}|hyperpage}{61} \indexentry{RMSInducedFunction@\texttt {RMSInducedFunction}|hyperpage}{61} \indexentry{RZMSInducedFunction@\texttt {RZMSInducedFunction}|hyperpage}{61} \indexentry{RZMStoRZMSInducedFunction@\texttt {RZMStoRZMSInducedFunction}|hyperpage}{62} \indexentry{RZMSGraph@\texttt {RZMSGraph}|hyperpage}{63} \indexentry{RightTransStabAutoGroup@\texttt {RightTransStabAutoGroup}|hyperpage}{63} \indexentry{ZeroGroupAutomorphism@\texttt {ZeroGroupAutomorphism}|hyperpage}{64} \indexentry{IsZeroGroupAutomorphismRep@\texttt {IsZeroGroupAutomorphismRep}|hyperpage}{65} \indexentry{UnderlyingGroupAutoOfZeroGroupAuto@\texttt {UnderlyingGroupAutoOfZeroGroupAuto}|hyperpage}{65} \indexentry{IsomorphismAutomorphismGroupOfRMS@\texttt {IsomorphismAutomorphismGroupOfRMS}|hyperpage}{65} \indexentry{IsomorphismPermGroup@\texttt {IsomorphismPermGroup}|hyperpage}{66} \indexentry{IsomorphismFpSemigroup@\texttt {IsomorphismFpSemigroup}|hyperpage}{67} \indexentry{IsomorphismFpMonoid@\texttt {IsomorphismFpMonoid}|hyperpage}{67} \indexentry{IsomorphismSemigroups@\texttt {IsomorphismSemigroups}|hyperpage}{67} \indexentry{IsomorphismReesMatrixSemigroupOfDClass@\texttt {IsomorphismReesMatrixSemigroupOfDClass}|hyperpage}{69} \indexentry{IsomorphismReesMatrixSemigroup@\texttt {IsomorphismReesMatrixSemigroup}|hyperpage}{69}