\begin{theindex} \item =,+,* for module polynomials, \hyperpage{22} \item =,+,* for monoid polynomials, \hyperpage{18} \indexspace \item \texttt {AddTermModulePoly}, \hyperpage{22} \item \texttt {AddTermMonoidPoly}, \hyperpage{17} \indexspace \item \texttt {Coeffs}, \hyperpage{17} \indexspace \item \texttt {ElementsOfMonoidPresentation}, \hyperpage{11} \indexspace \item \texttt {FreeGroupOfPresentation}, \hyperpage{8} \item \texttt {FreeRelatorGroup}, \hyperpage{7} \item \texttt {FreeRelatorHomomorphism}, \hyperpage{7} \indexspace \item \texttt {GroupRelatorsOfPresentation}, \hyperpage{8} \indexspace \item \texttt {HomomorphismOfPresentation}, \hyperpage{8} \indexspace \item \texttt {IdentitiesAmongRelators}, \hyperpage{22} \item \texttt {IdentityModulePolynomials}, \hyperpage{22} \item \texttt {IdentityYSequences}, \hyperpage{22} \item \texttt {InverseRelatorsOfPresentation}, \hyperpage{8} \indexspace \item \texttt {KnuthBendix}, \hyperpage{10} \indexspace \item \texttt {LeadCoeffMonoidPoly}, \hyperpage{17} \item \texttt {LeadMonoidPoly}, \hyperpage{21} \item \texttt {LeadTerm}, \hyperpage{17}, \hyperpage{21} \item \texttt {Length}, \hyperpage{18}, \hyperpage{21} \item \texttt {LoggedKnuthBendix}, \hyperpage{13} \item \texttt {LoggedOnePassKB}, \hyperpage{12} \item \texttt {LoggedOnePassReduceWord}, \hyperpage{14} \item \texttt {LoggedReduceWordKB}, \hyperpage{14} \item \texttt {LoggedRewriteReduce}, \hyperpage{13} \item \texttt {LoggedRewritingSystemFpGroup}, \hyperpage{15} \indexspace \item \texttt {ModulePoly}, \hyperpage{20} \item \texttt {Monic}, \hyperpage{17} \item \texttt {MonoidPoly}, \hyperpage{16} \item \texttt {MonoidPolyFromCoeffsWords}, \hyperpage{16} \item \texttt {MonoidPresentationFpGroup}, \hyperpage{8} \indexspace \item \texttt {One}, \hyperpage{21} \item \texttt {OnePassKB}, \hyperpage{10} \item \texttt {OnePassReduceWord}, \hyperpage{9} \indexspace \item \texttt {ReduceMonoidPoly}, \hyperpage{19} \item \texttt {ReduceWordKB}, \hyperpage{9} \item \texttt {RewriteReduce}, \hyperpage{10} \item \texttt {RewritingSystemFpGroup}, \hyperpage{9} \item \texttt {RootIdentities}, \hyperpage{23} \indexspace \item \texttt {ShorterLoggedRule}, \hyperpage{14} \item \texttt {ShorterRule}, \hyperpage{10} \indexspace \item \texttt {Terms}, \hyperpage{17}, \hyperpage{21} \indexspace \item \texttt {Words}, \hyperpage{17} \indexspace \item \texttt {ZeroModulePoly}, \hyperpage{20} \item \texttt {ZeroMonoidPoly}, \hyperpage{16} \end{theindex}