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