DCrules
2.4-2DisplayAsString
2.4-3DisplayRwsRules
2.1-1DoubleCosetRewritingSystem
2.2-1DoubleCosetsAutomaton
3.2-1HKrules
2.4-2Hrules
2.4-2IdentityDoubleCoset
2.4-3IsDoubleCosetRewritingSystem
2.2-1IsWordAcceptorOfDoubleCosetRws
2.2-2KBMagFSAtoAutomataDFA
2.4-1KBMagRewritingSystem
2.4-1KBMagWordAcceptor
2.4-1KnuthBendixRewritingSystem
2.1-1Krules
2.4-2NextWord
2.4-3PartialDoubleCosetRewritingSystem
2.3-1ReducedConfluentRewritingSystem
2.1-1RightCosetsAutomaton
3.2-1WordAcceptorByKBMag
2.4-1WordAcceptorByKBMagOfDoubleCosetRws
2.4-1WordAcceptorOfDoubleCosetRws
2.2-2WordAcceptorOfPartialDoubleCosetRws
2.3-1WordAcceptorOfReducedRws
2.2-2WordToString
2.4-3
generated by GAPDoc2HTML