\letter A `AbelianKernel', 9 `AbelianKernelWithDClassInfo', 10 `AutCayley', 6 \letter B b21, 5 brandt, monoid, 5 \sub semigroup, 5 \letter C `CheckIdentity', 12 Checking pseudoidentities, \indexit{12} `CheckPseudoIdentity', 12 `ClosureWeakConjugation', 8 \letter D `DClassDistribution', 6 \letter G `GroupKernel', 8 `GroupKernelWithDClassInfo', 9 \letter H `HasCommutingIdemptents', 5 \letter I `ImplicitOperationOnnLetters', 11 Implicit operations, \indexit{11} `IsAperiodic', 12 `IsFpSgpAndMonoid', 5 `IsInverseSemigroup', 5 \letter N `NWeakConjugates', 8 \letter O `omegapower', 11 \letter P poi4, 6 popi4, 6 `power', 11 `product', 11 \letter R `RightCayleyGraph', 6 \letter S `SOne', 6 \letter T `ToOmegaK', 12 \letter W weak conjugate pair, 8 `WeakConjugates', 8 `WeakConjugatesList', 8