Quelle manual.six
Sprache: unbekannt
|
|
Untersuchungsergebnis.six Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
#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" ] ]
);
[ Dauer der Verarbeitung: 0.91 Sekunden
]
|
2026-03-28
|
