AddTermModulePoly
5.3-1 AddTermMonoidPoly
4.2-3 ArrangementOfMonoidGenerators
2.1-2 CancelImmediateInversesLogSequence
6.2-5 CancelInversesLogSequence
6.2-5 ChangeStartLogSequence
6.2-3 Coeffs
4.2-1 ConjugateByWordLogSequence
6.2-2 ElementsOfMonoidPresentation
2.3-1 ExpandLogSequence
6.1-4 FreeGroupOfPresentation
2.1-2 FreeRelatorGroup
2.1-1 FreeRelatorHomomorphism
2.1-1 GroupRelatorsOfPresentation
2.1-2 HomomorphismOfPresentation
2.1-2 IdentitiesAmongRelators
6.4-1 IdentityRelatorSequences
6.1-2 IdentityYSequences
6.4-2 InitialLoggedRulesOfPresentation
3.1-1 InitialRulesOfPresentation
2.1-4 InverseLogSequence
6.2-4 InverseRelatorsOfPresentation
2.1-2 KnuthBendix
2.2-5 LeadCoeffMonoidPoly
4.2-1 LeadMonoidPoly
5.2-1 LeadTerm
, for module polynomials 5.2-1 Length
, for module polynomials 5.2-1 LoggedKnuthBendix
3.1-4 LoggedOnePassKB
3.1-2 LoggedOnePassReduceWord
3.2-1 LoggedReduceWordKB
3.2-1 LoggedRewriteReduce
3.1-3 LoggedRewritingSystemFpGroup
3.1-5 LogSequenceLessThan
6.1-3 LogSequenceRewriteRules
6.3-1 ModulePoly
, with input [gen,poly] list 5.1-1 Monic
4.2-2 MonoidPoly
4.1-1 MonoidPolyFromCoeffsWords
4.1-1 MonoidPresentationFpGroup
2.1-2 MonoidPresentationLabels
2.1-2 MoveLeftLogSequence
6.3-3 MoveRightLogSequence
6.3-3 One
5.2-1 OnePassKB
2.2-3 OnePassReduceLogSequence
6.3-2 OnePassReduceWord
2.2-2 PartialElementsOfMonoidRepresentation
6.5-1 PrintLnModulePoly
, input object, [gens,labels] for the group, ditto relators 5.1-2 PrintLnUsingLabels
2.1-3 PrintModulePoly
, input object, [gens,labels] for the group, ditto relators 5.1-2 PrintUsingLabels
2.1-3 ReduceLogSequences
6.2-1 ReduceMonoidPoly
4.4-1 ReduceWordKB
2.2-2 RewriteReduce
2.2-4 RewritingSystemFpGroup
2.2-1 RootIdentities
6.1-1 RootPositions
6.1-1 ShorterLoggedRule
3.2-1 SubstituteLogSubsequence
6.3-4 SwapLogSequence
6.3-3 Terms
, for module polynomials 5.2-1 Words
4.2-1 ZeroModulePoly
5.1-1 ZeroMonoidPoly
4.1-1
generated by GAPDoc2HTML