\indexentry {IsFpSgpAndMonoid@`IsFpSgpAndMonoid'}{5} \indexentry {Brandt!semigroup}{5} \indexentry {Brandt!monoid}{5} \indexentry {b21}{5} \indexentry {HasCommutingIdempotents@`HasCommutingIdempotents'}{5} \indexentry {IsInverseSemigroup@`IsInverseSemigroup'}{5} \indexentry {DClassDistribution@`DClassDistribution'}{6} \indexentry {SOne@`SOne'}{6} \indexentry {RightCayleyGraph@`RightCayleyGraph'}{6} \indexentry {AutCayley@`AutCayley'}{6} \indexentry {poi4}{6} \indexentry {popi4}{6} \indexentry {weak conjugate pair}{8} \indexentry {WeakConjugatesList@`WeakConjugatesList'}{8} \indexentry {WeakConjugates@`WeakConjugates'}{8} \indexentry {NWeakConjugates@`NWeakConjugates'}{8} \indexentry {ClosureWeakConjugation@`ClosureWeakConjugation'}{8} \indexentry {GroupKernel@`GroupKernel'}{8} \indexentry {GroupKernelWithDClassInfo@`GroupKernelWithDClassInfo'}{9} \indexentry {AbelianKernel@`AbelianKernel'}{9} \indexentry {AbelianKernelWithDClassInfo@`AbelianKernelWithDClassInfo'}{10} \indexentry {Implicit operations@Implicit operations|indexit}{11} \indexentry {ImplicitOperationOnnLetters@`ImplicitOperationOnnLetters'}{11} \indexentry {ProductIOp@`ProductIOp'}{11} \indexentry {PoweIOp@`PoweIOp'}{11} \indexentry {OmegaPoweIOp@`OmegaPoweIOp'}{11} \indexentry {Checking pseudoidentities@Checking pseudoidentities|indexit}{12} \indexentry {ToOmegaK@`ToOmegaK'}{12} \indexentry {CheckPseudoIdentity@`CheckPseudoIdentity'}{12} \indexentry {IsAperiodic@`IsAperiodic'}{12} \indexentry {CheckIdentity@`CheckIdentity'}{12}