[1XIndex[0X =,+,* for module polynomials 5.3 =,+,* for monoid polynomials 4.3 [2XAddTermModulePoly[0X 5.3-1 [2XAddTermMonoidPoly[0X 4.2-3 [2XCoeffs[0X 4.2-1 [2XElementsOfMonoidPresentation[0X 2.4-1 [2XFreeGroupOfPresentation[0X 2.2-2 [2XFreeRelatorGroup[0X 2.2-1 [2XFreeRelatorHomomorphism[0X 2.2-1 [2XGroupRelatorsOfPresentation[0X 2.2-2 [2XHomomorphismOfPresentation[0X 2.2-2 [2XIdentitiesAmongRelators[0X 5.4-1 [2XIdentityModulePolynomials[0X 5.4-1 [2XIdentityYSequences[0X 5.4-1 [2XInverseRelatorsOfPresentation[0X 2.2-2 [2XKnuthBendix[0X 2.3-3 [2XLeadCoeffMonoidPoly[0X 4.2-1 [2XLeadMonoidPoly[0X 5.2-1 [2XLeadTerm[0X 4.2-1 [2XLeadTerm[0X 5.2-1 [2XLength[0X 4.3-1 [2XLength[0X 5.2-1 [2XLoggedKnuthBendix[0X 3.1-2 [2XLoggedOnePassKB[0X 3.1-1 [2XLoggedOnePassReduceWord[0X 3.2-1 [2XLoggedReduceWordKB[0X 3.2-1 [2XLoggedRewriteReduce[0X 3.1-2 [2XLoggedRewritingSystemFpGroup[0X 3.2-2 [2XModulePoly[0X 5.1-1 [2XModulePoly[0X 5.1-1 [2XMonic[0X 4.2-2 [2XMonoidPoly[0X 4.1-1 [2XMonoidPolyFromCoeffsWords[0X 4.1-1 [2XMonoidPresentationFpGroup[0X 2.2-2 [2XOne[0X 5.2-1 [2XOnePassKB[0X 2.3-3 [2XOnePassReduceWord[0X 2.3-2 [2XReduceMonoidPoly[0X 4.4-1 [2XReduceWordKB[0X 2.3-2 [2XRewriteReduce[0X 2.3-3 [2XRewritingSystemFpGroup[0X 2.3-1 [2XRootIdentities[0X 5.4-2 [2XShorterLoggedRule[0X 3.2-1 [2XShorterRule[0X 2.3-3 [2XTerms[0X 4.2-1 [2XTerms[0X 5.2-1 [2XWords[0X 4.2-1 [2XZeroModulePoly[0X 5.1-1 [2XZeroMonoidPoly[0X 4.1-1 -------------------------------------------------------