  
  
  [1m[4m[31mIndex[0m
  
  [1m[34mDCrules[0m  2.4-2
  [1m[34mDisplayAsString[0m  2.4-3
  [1m[34mDisplayRwsRules[0m  2.1-1
  [1m[34mDoubleCosetRewritingSystem[0m  2.2-1
  [1m[34mDoubleCosetsAutomaton[0m  3.2-1
  example -- free product  2.2
  example -- infinite rws  2.4
  example -- trefoil group  2.3
  [1m[34mHKrules[0m  2.4-2
  [1m[34mHrules[0m  2.4-2
  [1m[34mIdentityDoubleCoset[0m  2.4-3
  [1m[34mIsDoubleCosetRewritingSystem[0m  2.2-1
  [1m[34mIsWordAcceptorOfDoubleCosetRws[0m  2.2-2
  [1m[34mKBMagFSAtoAutomataDFA[0m  2.4-1
  [1m[34mKBMagRewritingSystem[0m  2.4-1
  [1m[34mKBMagWordAcceptor[0m  2.4-1
  [1m[34mKnuthBendixRewritingSystem[0m  2.1-1
  [1m[34mKrules[0m  2.4-2
  [1m[34mNextWord[0m  2.4-3
  [1m[34mPartialDoubleCosetRewritingSystem[0m  2.3-1
  [1m[34mReducedConfluentRewritingSystem[0m  2.1-1
  [1m[34mRightCosetsAutomaton[0m  3.2-1
  [1m[34mSFAtoRatExp[0m  2.2-3
  trefoil group  2.3
  [1m[34mWordAcceptorByKBMag[0m  2.4-1
  [1m[34mWordAcceptorByKBMagOfDoubleCosetRws[0m  2.4-1
  [1m[34mWordAcceptorOfDoubleCosetRws[0m  2.2-2
  [1m[34mWordAcceptorOfPartialDoubleCosetRws[0m  2.3-1
  [1m[34mWordAcceptorOfReducedRws[0m  2.2-2
  [1m[34mWordToString[0m  2.4-3
  
  
  -------------------------------------------------------
