Quelle manual.six Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Kan",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Abstract", ".-1", [ 0, 0, 1 ], 26, 2, "abstract", "X7AA6C5737B711C89" ],
  [ "Copyright", ".-2", [ 0, 0, 2 ], 43, 2, "copyright", "X81488B807F2A1CF1" ]
    , [ "Acknowledgements", ".-3", [ 0, 0, 3 ], 53, 2, "acknowledgements",
      "X82A988D47DFAFCFA" ],
  [ "Table of Contents", ".-4", [ 0, 0, 4 ], 62, 3, "table of contents",
      "X8537FEB07AF2BEC8" ],
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
      [ 1, 0, 0 ], 1, 4, "introduction", "X7DFB63A97E67C0A1" ],
  [
      "\033[1X\033[33X\033[0;-2YDouble Coset Rewriting Systems\033[133X\033[101X"
        , "2", [ 2, 0, 0 ], 1, 6, "double coset rewriting systems",
      "X7F197C8D835A6F45" ],
  [ "\033[1X\033[33X\033[0;-2YRewriting Systems\033[133X\033[101X", "2.1",
      [ 2, 1, 0 ], 9, 6, "rewriting systems", "X7CA8FCFD81AA1890" ],
  [
      "\033[1X\033[33X\033[0;-2YExample 2 -- free product of two cyclic groups\\
033[133X\033[101X", "2.2", [ 2, 2, 0 ], 90, 7,
      "example 2 -- free product of two cyclic groups", "X80B18B248603B3D6" ],
  [ "\033[1X\033[33X\033[0;-2YExample 3 -- the trefoil group\033[133X\033[101X\
", "2.3", [ 2, 3, 0 ], 235, 10, "example 3 -- the trefoil group",
      "X82FE46C27FE55A84" ],
  [
      "\033[1X\033[33X\033[0;-2YExample 4 -- an infinite rewriting system\033[133\
X\033[101X", "2.4", [ 2, 4, 0 ], 406, 13,
      "example 4 -- an infinite rewriting system", "X7ED711187E2ECAC7" ],
  [ "\033[1X\033[33X\033[0;-2YDevelopment History\033[133X\033[101X", "3",
      [ 3, 0, 0 ], 1, 17, "development history", "X810C43BC7F63C4B4" ],
  [ "\033[1X\033[33X\033[0;-2YVersions of the package\033[133X\033[101X",
      "3.1", [ 3, 1, 0 ], 4, 17, "versions of the package",
      "X8192EA4C7B7CC5CD" ],
  [ "\033[1X\033[33X\033[0;-2YWhat needs doing next?\033[133X\033[101X",
      "3.2", [ 3, 2, 0 ], 30, 17, "what needs doing next?",
      "X83D1530487593182" ],
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 19, "bibliography",
      "X7A6F98FD85F02BFE" ],
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 19, "references",
      "X7A6F98FD85F02BFE" ],
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 20, "index", "X83A0356F839C696F" ],
  [ "\033[2XKnuthBendixRewritingSystem\033[102X", "2.1-1", [ 2, 1, 1 ], 12,
      6, "knuthbendixrewritingsystem", "X87A3823483E4FF86" ],
  [ "\033[2XReducedConfluentRewritingSystem\033[102X", "2.1-1", [ 2, 1, 1 ],
      12, 6, "reducedconfluentrewritingsystem", "X87A3823483E4FF86" ],
  [ "\033[2XDisplayRwsRules\033[102X", "2.1-1", [ 2, 1, 1 ], 12, 6,
      "displayrwsrules", "X87A3823483E4FF86" ],
  [ "ReducedForm", "2.1-1", [ 2, 1, 1 ], 12, 6, "reducedform",
      "X87A3823483E4FF86" ],
  [ "\033[2XNextWord\033[102X", "2.1-2", [ 2, 1, 2 ], 62, 7, "nextword",
      "X7AF0265982B42E47" ],
  [ "\033[2XNextWords\033[102X", "2.1-2", [ 2, 1, 2 ], 62, 7, "nextwords",
      "X7AF0265982B42E47" ],
  [ "example -- free product", "2.2", [ 2, 2, 0 ], 90, 7,
      "example -- free product", "X80B18B248603B3D6" ],
  [ "\033[2XDoubleCosetRewritingSystem\033[102X", "2.2-1", [ 2, 2, 1 ], 93,
      7, "doublecosetrewritingsystem", "X825D1F4D85DE122D" ],
  [ "\033[2XIsDoubleCosetRewritingSystem\033[102X", "2.2-1", [ 2, 2, 1 ], 93,
      7, "isdoublecosetrewritingsystem", "X825D1F4D85DE122D" ],
  [ "\033[2XDisplayAsString\033[102X", "2.2-2", [ 2, 2, 2 ], 163, 9,
      "displayasstring", "X82E14C4284D89ADF" ],
  [ "\033[2XWordAcceptorOfReducedRws\033[102X", "2.2-3", [ 2, 2, 3 ], 193, 9,
      "wordacceptorofreducedrws", "X83FF05087E7B133A" ],
  [ "\033[2XWordAcceptorOfDoubleCosetRws\033[102X", "2.2-3", [ 2, 2, 3 ],
      193, 9, "wordacceptorofdoublecosetrws", "X83FF05087E7B133A" ],
  [ "\033[2XIsWordAcceptorOfDoubleCosetRws\033[102X", "2.2-3", [ 2, 2, 3 ],
      193, 9, "iswordacceptorofdoublecosetrws", "X83FF05087E7B133A" ],
  [ "example -- trefoil group", "2.3", [ 2, 3, 0 ], 235, 10,
      "example -- trefoil group", "X82FE46C27FE55A84" ],
  [ "trefoil group", "2.3", [ 2, 3, 0 ], 235, 10, "trefoil group",
      "X82FE46C27FE55A84" ],
  [ "\033[2XPartialDoubleCosetRewritingSystem\033[102X", "2.3-1",
      [ 2, 3, 1 ], 238, 10, "partialdoublecosetrewritingsystem",
      "X83DE506B828F4B0D" ],
  [ "\033[2XWordAcceptorOfPartialDoubleCosetRws\033[102X", "2.3-1",
      [ 2, 3, 1 ], 238, 10, "wordacceptorofpartialdoublecosetrws",
      "X83DE506B828F4B0D" ],
  [ "example -- infinite rws", "2.4", [ 2, 4, 0 ], 406, 13,
      "example -- infinite rws", "X7ED711187E2ECAC7" ],
  [ "\033[2XKBMagRewritingSystem\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13,
      "kbmagrewritingsystem", "X8722C57284F51940" ],
  [ "\033[2XKBMagWordAcceptor\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13,
      "kbmagwordacceptor", "X8722C57284F51940" ],
  [ "\033[2XKBMagFSAtoAutomataDFA\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13,
      "kbmagfsatoautomatadfa", "X8722C57284F51940" ],
  [ "\033[2XWordAcceptorByKBMag\033[102X", "2.4-1", [ 2, 4, 1 ], 409, 13,
      "wordacceptorbykbmag", "X8722C57284F51940" ],
  [ "\033[2XWordAcceptorByKBMagOfDoubleCosetRws\033[102X", "2.4-1",
      [ 2, 4, 1 ], 409, 13, "wordacceptorbykbmagofdoublecosetrws",
      "X8722C57284F51940" ],
  [ "\033[2XDCrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "dcrules",
      "X815C08FD87D014B5" ],
  [ "\033[2XHrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "hrules",
      "X815C08FD87D014B5" ],
  [ "\033[2XKrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "krules",
      "X815C08FD87D014B5" ],
  [ "\033[2XHKrules\033[102X", "2.4-2", [ 2, 4, 2 ], 456, 14, "hkrules",
      "X815C08FD87D014B5" ],
  [ "\033[2XWordToString\033[102X", "2.4-3", [ 2, 4, 3 ], 543, 15,
      "wordtostring", "X84B36973833F3B54" ],
  [ "\033[2XIdentityDoubleCoset\033[102X", "2.4-3", [ 2, 4, 3 ], 543, 15,
      "identitydoublecoset", "X84B36973833F3B54" ],
  [ "\033[2XDoubleCosetsAutomaton\033[102X", "3.2-1", [ 3, 2, 1 ], 46, 18,
      "doublecosetsautomaton", "X852CC057809CE3EE" ],
  [ "\033[2XRightCosetsAutomaton\033[102X", "3.2-1", [ 3, 2, 1 ], 46, 18,
      "rightcosetsautomaton", "X852CC057809CE3EE" ] ]
);

Quelle manual.six Sprache: unbekannt

[ Dauer der Verarbeitung: 0.24 Sekunden (vorverarbeitet) ]