\begin{theindex}

  \item \texttt  {DrawCayleyGraph}, \hyperpage{10}
  \item \texttt  {DrawDClasses}, \hyperpage{9}
  \item \texttt  {DrawDClassOfElement}, \hyperpage{9}
  \item \texttt  {DrawRightCayleyGraph}, \hyperpage{10}
  \item \texttt  {DrawSchutzenbergerGraphs}, \hyperpage{10}

  \indexspace

  \item \texttt  {GrahamBlocks}, \hyperpage{7}

  \indexspace

  \item \texttt  {HasCommutingIdempotents}, \hyperpage{6}

  \indexspace

  \item \texttt  {IsInverseSemigroup}, \hyperpage{6}

  \indexspace

  \item \texttt  {PartialTransformation}, \hyperpage{6}

  \indexspace

  \item \texttt  {ReduceNumberOfGenerators}, \hyperpage{6}
  \item \texttt  {RightCayleyGraphAsAutomaton}, \hyperpage{8}
  \item \texttt  {RightCayleyGraphMonoidAsAutomaton}, \hyperpage{8}

  \indexspace

  \item \texttt  {SemigroupFactorization}, \hyperpage{7}

  \indexspace

  \item \texttt  {XAutomaton}, \hyperpage{11}
  \item \texttt  {XSemigroup}, \hyperpage{12}

\end{theindex}
