Index
  
  DCrules  2.4-2
  DisplayAsString  2.4-3
  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-2
  KBMagFSAtoAutomataDFA  2.4-1
  KBMagRewritingSystem  2.4-1
  KBMagWordAcceptor  2.4-1
  KnuthBendixRewritingSystem  2.1-1
  Krules  2.4-2
  NextWord  2.4-3
  PartialDoubleCosetRewritingSystem  2.3-1
  ReducedConfluentRewritingSystem  2.1-1
  RightCosetsAutomaton  3.2-1
  trefoil group  2.3
  WordAcceptorByKBMag  2.4-1
  WordAcceptorByKBMagOfDoubleCosetRws  2.4-1
  WordAcceptorOfDoubleCosetRws  2.2-2
  WordAcceptorOfPartialDoubleCosetRws  2.3-1
  WordAcceptorOfReducedRws  2.2-2
  WordToString  2.4-3
  
  
  -------------------------------------------------------