Index

DCrules 2.4-2
DisplayAsString 2.2-2
DisplayRwsRules 2.1-1
DoubleCosetRewritingSystem 2.2-1
DoubleCosetsAutomaton 3.2-1
example -- free product 2.2
example -- infinite rws 2.4
example -- trefoil group 2.3
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
ReducedForm 2.1-1
RightCosetsAutomaton 3.2-1
trefoil group 2.3
WordAcceptorByKBMag 2.4-1
WordAcceptorByKBMagOfDoubleCosetRws 2.4-1
WordAcceptorOfDoubleCosetRws 2.2-3
WordAcceptorOfPartialDoubleCosetRws 2.3-1
WordAcceptorOfReducedRws 2.2-3
WordToString 2.4-3