#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "IdRel",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ], 
  [ "Abstract", ".-1", [ 0, 0, 1 ], 32, 2, "abstract", "X7AA6C5737B711C89" ], 
  [ "Copyright", ".-2", [ 0, 0, 2 ], 58, 2, "copyright", "X81488B807F2A1CF1" ], 
  [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 63, 2, "acknowledgements", "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", ".-4", [ 0, 0, 4 ], 90, 3, "table of contents", "X8537FEB07AF2BEC8" ]
    , [ "\033[1XIntroduction\033[0X", "1", [ 1, 0, 0 ], 1, 5, "introduction", 
      "X7DFB63A97E67C0A1" ], 
  [ "\033[1XRewriting Systems\033[0X", "2", [ 2, 0, 0 ], 1, 6, "rewriting systems", 
      "X7CA8FCFD81AA1890" ], 
  [ "\033[1XIdentity Y-sequences\033[0X", "2.1", [ 2, 1, 0 ], 9, 6, "identity y-sequences", 
      "X7C9AE9BC78CCBFAA" ], 
  [ "\033[1XMonoid Presentations of FpGroups\033[0X", "2.2", [ 2, 2, 0 ], 86, 7, 
      "monoid presentations of fpgroups", "X7875619E84157FC1" ], 
  [ "\033[1XRewriting systems for FpGroups\033[0X", "2.3", [ 2, 3, 0 ], 168, 9, 
      "rewriting systems for fpgroups", "X7A1F10597D8FC9A9" ], 
  [ "\033[1XEnumerating elements\033[0X", "2.4", [ 2, 4, 0 ], 322, 11, "enumerating elements",
      "X83CBF2BE8478A728" ], [ "\033[1XLogged Rewriting Systems\033[0X", "3", [ 3, 0, 0 ], 1, 
      12, "logged rewriting systems", "X7B8D727485966AF8" ], 
  [ "\033[1XLogged Knuth-Bendix Completion\033[0X", "3.1", [ 3, 1, 0 ], 15, 12, 
      "logged knuth-bendix completion", "X797732E87F1FE197" ], 
  [ "\033[1XLogged reduction of a word\033[0X", "3.2", [ 3, 2, 0 ], 102, 14, 
      "logged reduction of a word", "X831A93087918AA5D" ], 
  [ "\033[1XMonoid Polynomials\033[0X", "4", [ 4, 0, 0 ], 1, 16, "monoid polynomials", 
      "X83B25026816C87CE" ], 
  [ "\033[1XConstruction of monoid polynomials\033[0X", "4.1", [ 4, 1, 0 ], 9, 16, 
      "construction of monoid polynomials", "X7E8CE44085FE959D" ], 
  [ "\033[1XComponents of a polynomial\033[0X", "4.2", [ 4, 2, 0 ], 46, 17, 
      "components of a polynomial", "X84B1F4CC79983A94" ], 
  [ "\033[1XMonoid Polynomial Operations\033[0X", "4.3", [ 4, 3, 0 ], 114, 18, 
      "monoid polynomial operations", "X832341AB7A04BA45" ], 
  [ "\033[1XReduction of a Monoid Polynomial\033[0X", "4.4", [ 4, 4, 0 ], 178, 19, 
      "reduction of a monoid polynomial", "X7A80EA5C7AEA68B1" ], 
  [ "\033[1XModule Polynomials\033[0X", "5", [ 5, 0, 0 ], 1, 20, "module polynomials", 
      "X7B5CEEDF82747121" ], 
  [ "\033[1XConstruction of module polynomials\033[0X", "5.1", [ 5, 1, 0 ], 19, 20, 
      "construction of module polynomials", "X86625AB980F24AA5" ], 
  [ "\033[1XComponents of a module polynomial\033[0X", "5.2", [ 5, 2, 0 ], 58, 21, 
      "components of a module polynomial", "X83ECC2D5781DE850" ], 
  [ "\033[1XModule Polynomial Operations\033[0X", "5.3", [ 5, 3, 0 ], 102, 22, 
      "module polynomial operations", "X7E57DFF4791C4CAA" ], 
  [ "\033[1XIdentities among relators\033[0X", "5.4", [ 5, 4, 0 ], 141, 22, 
      "identities among relators", "X78038BF07E998E21" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 24, "bibliography", "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 24, "references", "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 25, "index", "X83A0356F839C696F" ], 
  [ "\033[2XFreeRelatorGroup\033[0X", "2.2-1", [ 2, 2, 1 ], 89, 7, "freerelatorgroup", 
      "X868422B878B0C380" ], [ "\033[2XFreeRelatorHomomorphism\033[0X", "2.2-1", [ 2, 2, 1 ], 
      89, 7, "freerelatorhomomorphism", "X868422B878B0C380" ], 
  [ "\033[2XMonoidPresentationFpGroup\033[0X", "2.2-2", [ 2, 2, 2 ], 118, 8, 
      "monoidpresentationfpgroup", "X7CBE13927DFF4446" ], 
  [ "\033[2XFreeGroupOfPresentation\033[0X", "2.2-2", [ 2, 2, 2 ], 118, 8, 
      "freegroupofpresentation", "X7CBE13927DFF4446" ], 
  [ "\033[2XGroupRelatorsOfPresentation\033[0X", "2.2-2", [ 2, 2, 2 ], 118, 8, 
      "grouprelatorsofpresentation", "X7CBE13927DFF4446" ], 
  [ "\033[2XInverseRelatorsOfPresentation\033[0X", "2.2-2", [ 2, 2, 2 ], 118, 8, 
      "inverserelatorsofpresentation", "X7CBE13927DFF4446" ], 
  [ "\033[2XHomomorphismOfPresentation\033[0X", "2.2-2", [ 2, 2, 2 ], 118, 8, 
      "homomorphismofpresentation", "X7CBE13927DFF4446" ], 
  [ "\033[2XRewritingSystemFpGroup\033[0X", "2.3-1", [ 2, 3, 1 ], 177, 9, 
      "rewritingsystemfpgroup", "X858ECE3E807C7363" ], 
  [ "\033[2XOnePassReduceWord\033[0X", "2.3-2", [ 2, 3, 2 ], 206, 9, "onepassreduceword", 
      "X83BD6C0A80D88C2C" ], 
  [ "\033[2XReduceWordKB\033[0X", "2.3-2", [ 2, 3, 2 ], 206, 9, "reducewordkb", 
      "X83BD6C0A80D88C2C" ], 
  [ "\033[2XOnePassKB\033[0X", "2.3-3", [ 2, 3, 3 ], 250, 10, "onepasskb", 
      "X7F0CD1EB7C220D40" ], [ "\033[2XRewriteReduce\033[0X", "2.3-3", [ 2, 3, 3 ], 250, 10, 
      "rewritereduce", "X7F0CD1EB7C220D40" ], 
  [ "\033[2XKnuthBendix\033[0X", "2.3-3", [ 2, 3, 3 ], 250, 10, "knuthbendix", 
      "X7F0CD1EB7C220D40" ], 
  [ "\033[2XShorterRule\033[0X", "2.3-3", [ 2, 3, 3 ], 250, 10, "shorterrule", 
      "X7F0CD1EB7C220D40" ], 
  [ "\033[2XElementsOfMonoidPresentation\033[0X", "2.4-1", [ 2, 4, 1 ], 325, 11, 
      "elementsofmonoidpresentation", "X7EDA50068207339D" ], 
  [ "\033[2XLoggedOnePassKB\033[0X", "3.1-1", [ 3, 1, 1 ], 21, 12, "loggedonepasskb", 
      "X80075D5180A8F1A5" ], 
  [ "\033[2XLoggedKnuthBendix\033[0X", "3.1-2", [ 3, 1, 2 ], 57, 13, "loggedknuthbendix", 
      "X87D1E3A578AAAFCB" ], [ "\033[2XLoggedRewriteReduce\033[0X", "3.1-2", [ 3, 1, 2 ], 57, 
      13, "loggedrewritereduce", "X87D1E3A578AAAFCB" ], 
  [ "\033[2XLoggedReduceWordKB\033[0X", "3.2-1", [ 3, 2, 1 ], 105, 14, "loggedreducewordkb", 
      "X7C5094AF784A8BA7" ], [ "\033[2XLoggedOnePassReduceWord\033[0X", "3.2-1", [ 3, 2, 1 ], 
      105, 14, "loggedonepassreduceword", "X7C5094AF784A8BA7" ], 
  [ "\033[2XShorterLoggedRule\033[0X", "3.2-1", [ 3, 2, 1 ], 105, 14, "shorterloggedrule", 
      "X7C5094AF784A8BA7" ], 
  [ "\033[2XLoggedRewritingSystemFpGroup\033[0X", "3.2-2", [ 3, 2, 2 ], 161, 15, 
      "loggedrewritingsystemfpgroup", "X8652CEEF7802DA46" ], 
  [ "\033[2XMonoidPolyFromCoeffsWords\033[0X", "4.1-1", [ 4, 1, 1 ], 12, 16, 
      "monoidpolyfromcoeffswords", "X7DE231F282DB8660" ], 
  [ "\033[2XMonoidPoly\033[0X", "4.1-1", [ 4, 1, 1 ], 12, 16, "monoidpoly", 
      "X7DE231F282DB8660" ], [ "\033[2XZeroMonoidPoly\033[0X", "4.1-1", [ 4, 1, 1 ], 12, 16, 
      "zeromonoidpoly", "X7DE231F282DB8660" ], 
  [ "\033[2XTerms\033[0X", "4.2-1", [ 4, 2, 1 ], 49, 17, "terms", "X832D20E8813FBE5D" ], 
  [ "\033[2XCoeffs\033[0X", "4.2-1", [ 4, 2, 1 ], 49, 17, "coeffs", "X832D20E8813FBE5D" ], 
  [ "\033[2XWords\033[0X", "4.2-1", [ 4, 2, 1 ], 49, 17, "words", "X832D20E8813FBE5D" ], 
  [ "\033[2XLeadTerm\033[0X", "4.2-1", [ 4, 2, 1 ], 49, 17, "leadterm", "X832D20E8813FBE5D" ],
  [ "\033[2XLeadCoeffMonoidPoly\033[0X", "4.2-1", [ 4, 2, 1 ], 49, 17, "leadcoeffmonoidpoly", 
      "X832D20E8813FBE5D" ], [ "\033[2XMonic\033[0X", "4.2-2", [ 4, 2, 2 ], 80, 17, "monic", 
      "X85C78946877C1FF5" ], 
  [ "\033[2XAddTermMonoidPoly\033[0X", "4.2-3", [ 4, 2, 3 ], 96, 17, "addtermmonoidpoly", 
      "X82E04F1086DAAA43" ], 
  [ "=,+,* for monoid polynomials", "4.3", [ 4, 3, 0 ], 114, 18, "+ for monoid polynomials", 
      "X832341AB7A04BA45" ], 
  [ "\033[2XLength\033[0X", "4.3-1", [ 4, 3, 1 ], 149, 18, "length", "X780769238600AFD1" ], 
  [ "\033[2XReduceMonoidPoly\033[0X", "4.4-1", [ 4, 4, 1 ], 181, 19, "reducemonoidpoly", 
      "X7979DE308676398D" ], 
  [ "\033[2XModulePoly\033[0X", "5.1-1", [ 5, 1, 1 ], 22, 20, "modulepoly", 
      "X7BEE34B27861ACE5" ], 
  [ "\033[2XModulePoly\033[0X", "5.1-1", [ 5, 1, 1 ], 22, 20, "modulepoly", 
      "X7BEE34B27861ACE5" ], [ "\033[2XZeroModulePoly\033[0X", "5.1-1", [ 5, 1, 1 ], 22, 20, 
      "zeromodulepoly", "X7BEE34B27861ACE5" ], 
  [ "\033[2XTerms\033[0X", "5.2-1", [ 5, 2, 1 ], 61, 21, "terms", "X832D20E8813FBE5D" ], 
  [ "\033[2XLeadTerm\033[0X", "5.2-1", [ 5, 2, 1 ], 61, 21, "leadterm", "X832D20E8813FBE5D" ],
  [ "\033[2XLeadMonoidPoly\033[0X", "5.2-1", [ 5, 2, 1 ], 61, 21, "leadmonoidpoly", 
      "X832D20E8813FBE5D" ], 
  [ "\033[2XOne\033[0X", "5.2-1", [ 5, 2, 1 ], 61, 21, "one", "X832D20E8813FBE5D" ], 
  [ "\033[2XLength\033[0X", "5.2-1", [ 5, 2, 1 ], 61, 21, "length", "X832D20E8813FBE5D" ], 
  [ "=,+,* for module polynomials", "5.3", [ 5, 3, 0 ], 102, 22, "+ for module polynomials", 
      "X7E57DFF4791C4CAA" ], [ "\033[2XAddTermModulePoly\033[0X", "5.3-1", [ 5, 3, 1 ], 105, 
      22, "addtermmodulepoly", "X811C7964873E4062" ], 
  [ "\033[2XIdentityYSequences\033[0X", "5.4-1", [ 5, 4, 1 ], 144, 22, "identityysequences", 
      "X78A94CB77B98ACAA" ], 
  [ "\033[2XIdentityModulePolynomials\033[0X", "5.4-1", [ 5, 4, 1 ], 144, 22, 
      "identitymodulepolynomials", "X78A94CB77B98ACAA" ], 
  [ "\033[2XIdentitiesAmongRelators\033[0X", "5.4-1", [ 5, 4, 1 ], 144, 22, 
      "identitiesamongrelators", "X78A94CB77B98ACAA" ], 
  [ "\033[2XRootIdentities\033[0X", "5.4-2", [ 5, 4, 2 ], 191, 23, "rootidentities", 
      "X7BEE0DBB78F9355E" ] ]
);