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