Spracherkennung für: .six vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "IBNP",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Abstract", "0.0-1", [ 0, 0, 1 ], 34, 2, "abstract", "X7AA6C5737B711C89" ]
,
[ "Copyright", "0.0-2", [ 0, 0, 2 ], 50, 2, "copyright",
"X81488B807F2A1CF1" ],
[ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 60, 2, "acknowledgements",
"X82A988D47DFAFCFA" ],
[ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 69, 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;-2YHistory\033[133X\033[101X", "1.1", [ 1, 1, 0 ],
48, 4, "history", "X811375BC7CA25F51" ],
[
"\033[1X\033[33X\033[0;-2YUsing the packages \033[5XGBNP\033[105X\033[101X\\
027\033[1X\027 and \033[5XNMO\033[105X\033[101X\027\033[1X\027\033[133X\033[10\
1X", "2", [ 2, 0, 0 ], 1, 6, "using the packages gbnp and nmo",
"X86057870803DCA93" ],
[
"\033[1X\033[33X\033[0;-2YNoncommutative polynomials (NPs)\033[133X\033[101\
X", "2.1", [ 2, 1, 0 ], 10, 6, "noncommutative polynomials nps",
"X783C6EC87988B533" ],
[ "\033[1X\033[33X\033[0;-2YGr\303\266bner Bases\033[133X\033[101X", "2.2",
[ 2, 2, 0 ], 69, 7, "gra\266bner bases", "X7E4277497D877661" ],
[ "\033[1X\033[33X\033[0;-2YOrderings for monomials\033[133X\033[101X",
"2.3", [ 2, 3, 0 ], 91, 7, "orderings for monomials",
"X7F82A3608248CD31" ],
[ "\033[1X\033[33X\033[0;-2YCommutative Involutive Bases\033[133X\033[101X",
"3", [ 3, 0, 0 ], 1, 9, "commutative involutive bases",
"X780AAD6F8095AE49" ],
[ "\033[1X\033[33X\033[0;-2YReduction Paths\033[133X\033[101X", "3.1",
[ 3, 1, 0 ], 9, 9, "reduction paths", "X7BBDABD3799443BB" ],
[ "\033[1X\033[33X\033[0;-2YAn Example\033[133X\033[101X", "3.1-1",
[ 3, 1, 1 ], 12, 9, "an example", "X7B5623E3821CC0D0" ],
[
"\033[1X\033[33X\033[0;-2YCommutative Involutive Divisions\033[133X\033[101\
X", "3.2", [ 3, 2, 0 ], 39, 10, "commutative involutive divisions",
"X7E43F2087BC8B4F9" ],
[ "\033[1X\033[33X\033[0;-2YExample\033[133X\033[101X", "3.2-1",
[ 3, 2, 1 ], 50, 10, "example", "X85861B017AEEC50B" ],
[ "\033[1X\033[33X\033[0;-2YSelecting a Division\033[133X\033[101X",
"3.2-2", [ 3, 2, 2 ], 63, 10, "selecting a division",
"X83A3B3F77C712DA1" ],
[ "\033[1X\033[33X\033[0;-2YSelecting an Ordering\033[133X\033[101X",
"3.2-3", [ 3, 2, 3 ], 77, 10, "selecting an ordering",
"X785D706A86DD7343" ],
[
"\033[1X\033[33X\033[0;-2YComputing a Commutative Involutive Basis\033[133X\
\033[101X", "3.3", [ 3, 3, 0 ], 377, 15,
"computing a commutative involutive basis", "X864907F987701716" ],
[
"\033[1X\033[33X\033[0;-2YProlongations and Autoreduction\033[133X\033[101X\
", "3.3-1", [ 3, 3, 1 ], 383, 15, "prolongations and autoreduction",
"X7ACAA0847CC0DBCC" ],
[ "\033[1X\033[33X\033[0;-2YA more detailed example\033[133X\033[101X",
"3.3-3", [ 3, 3, 3 ], 546, 17, "a more detailed example",
"X831D45437DE37177" ],
[ "\033[1X\033[33X\033[0;-2YUsing homogeneous polynomials\033[133X\033[101X"
, "3.3-4", [ 3, 3, 4 ], 652, 19, "using homogeneous polynomials",
"X791740DF84B742A2" ],
[
"\033[1X\033[33X\033[0;-2YFunctions for Noncommutative Monomials\033[133X\\
033[101X", "4", [ 4, 0, 0 ], 1, 20, "functions for noncommutative monomials",
"X872783907DFA29B7" ],
[ "\033[1X\033[33X\033[0;-2YBasic functions for monomials\033[133X\033[101X"
, "4.1", [ 4, 1, 0 ], 14, 20, "basic functions for monomials",
"X846C3B0F79265278" ],
[ "\033[1X\033[33X\033[0;-2YPredefined algebras\033[133X\033[101X",
"4.1-1", [ 4, 1, 1 ], 17, 20, "predefined algebras",
"X84F106BB8093FCAE" ],
[
"\033[1X\033[33X\033[0;-2YFunctions for Noncommutative Polynomials\033[133X\
\033[101X", "5", [ 5, 0, 0 ], 1, 25,
"functions for noncommutative polynomials", "X7BD27C5585EF8629" ],
[
"\033[1X\033[33X\033[0;-2YBasic functions for polynomials\033[133X\033[101X\
", "5.1", [ 5, 1, 0 ], 4, 25, "basic functions for polynomials",
"X80FC94957D03EEA6" ],
[
"\033[1X\033[33X\033[0;-2YNoncommutative Involutive Bases\033[133X\033[101X\
", "6", [ 6, 0, 0 ], 1, 28, "noncommutative involutive bases",
"X797E483A84214975" ],
[
"\033[1X\033[33X\033[0;-2YNoncommutative Involutive Divisions\033[133X\033[\
101X", "6.1", [ 6, 1, 0 ], 13, 28, "noncommutative involutive divisions",
"X7A86C2437F6EB83D" ],
[ "\033[1X\033[33X\033[0;-2YSelecting a Division\033[133X\033[101X",
"6.1-5", [ 6, 1, 5 ], 166, 30, "selecting a division",
"X83A3B3F77C712DA1" ],
[
"\033[1X\033[33X\033[0;-2YComputing a Noncommutative Involutive Basis\033[1\
33X\033[101X", "6.2", [ 6, 2, 0 ], 341, 33,
"computing a noncommutative involutive basis", "X80C3BE018688AFB7" ],
[ "\033[1X\033[33X\033[0;-2YThe Disjoint Cones Conditions\033[133X\033[101X"
, "6.3", [ 6, 3, 0 ], 422, 35, "the disjoint cones conditions",
"X7DB2608C86CA3B04" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 38, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 38, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 40, "index", "X83A0356F839C696F" ],
[ "GitHub repository", "1.0", [ 1, 0, 0 ], 1, 4, "github repository",
"X7DFB63A97E67C0A1" ],
[ "NP2GP", "2.1", [ 2, 1, 0 ], 10, 6, "np2gp", "X783C6EC87988B533" ],
[ "GP2NP", "2.1", [ 2, 1, 0 ], 10, 6, "gp2np", "X783C6EC87988B533" ],
[ "conventional divisor", "3.2", [ 3, 2, 0 ], 39, 10,
"conventional divisor", "X7E43F2087BC8B4F9" ],
[ "involutive divisor", "3.2", [ 3, 2, 0 ], 39, 10, "involutive divisor",
"X7E43F2087BC8B4F9" ],
[ "CommutativeDivision", "3.2-2", [ 3, 2, 2 ], 63, 10,
"commutativedivision", "X83A3B3F77C712DA1" ],
[ "orderings", "3.2-3", [ 3, 2, 3 ], 77, 10, "orderings",
"X785D706A86DD7343" ],
[ "\033[2XPommaretDivision\033[102X", "3.2-4", [ 3, 2, 4 ], 98, 10,
"pommaretdivision", "X82712BA57EBE9170" ],
[ "\033[2XThomasDivision\033[102X", "3.2-5", [ 3, 2, 5 ], 124, 11,
"thomasdivision", "X8756720A86A6B125" ],
[ "\033[2XJanetDivision\033[102X", "3.2-6", [ 3, 2, 6 ], 146, 11,
"janetdivision", "X7E214DDF794BB14D" ],
[ "\033[2XDivisionRecord\033[102X", "3.2-7", [ 3, 2, 7 ], 187, 12,
"divisionrecord", "X8781FDB7865FA48B" ],
[ "\033[2XDivisionRecordCP\033[102X", "3.2-7", [ 3, 2, 7 ], 187, 12,
"divisionrecordcp", "X8781FDB7865FA48B" ],
[ "\033[2XIPolyReduce\033[102X", "3.2-8", [ 3, 2, 8 ], 278, 13,
"ipolyreduce", "X79F5892C80AE2667" ],
[ "\033[2XIPolyReduceCP\033[102X", "3.2-8", [ 3, 2, 8 ], 278, 13,
"ipolyreducecp", "X79F5892C80AE2667" ],
[ "\033[2XLoggedIPolyReduce\033[102X", "3.2-9", [ 3, 2, 9 ], 307, 14,
"loggedipolyreduce", "X7A36AE827C4012FF" ],
[ "\033[2XLoggedIPolyReduceCP\033[102X", "3.2-9", [ 3, 2, 9 ], 307, 14,
"loggedipolyreducecp", "X7A36AE827C4012FF" ],
[ "\033[2XIAutoreduce\033[102X", "3.2-10", [ 3, 2, 10 ], 345, 14,
"iautoreduce", "X7C58A339832877E9" ],
[ "\033[2XIAutoreduceCP\033[102X", "3.2-10", [ 3, 2, 10 ], 345, 14,
"iautoreducecp", "X7C58A339832877E9" ],
[ "\033[2XInvolutiveBasis\033[102X", "3.3-2", [ 3, 3, 2 ], 449, 16,
"involutivebasis", "X7B60A306820D4ED2" ],
[ "\033[2XInvolutiveBasisCP\033[102X", "3.3-2", [ 3, 3, 2 ], 449, 16,
"involutivebasiscp", "X7B60A306820D4ED2" ],
[ "homogeneous polynomials", "3.3-4", [ 3, 3, 4 ], 652, 19,
"homogeneous polynomials", "X791740DF84B742A2" ],
[ "AlgebraIBNP", "4.1-1", [ 4, 1, 1 ], 17, 20, "algebraibnp",
"X84F106BB8093FCAE" ],
[ "\033[2XPrintNM\033[102X", "4.1-2", [ 4, 1, 2 ], 35, 20, "printnm",
"X7D53D8657AEDFEB2" ],
[ "\033[2XPrintNMList\033[102X", "4.1-2", [ 4, 1, 2 ], 35, 20,
"printnmlist", "X7D53D8657AEDFEB2" ],
[ "\033[2XNM2GM\033[102X", "4.1-3", [ 4, 1, 3 ], 59, 21, "nm2gm",
"X7AD4CF167E6B7D2E" ],
[ "\033[2XNM2GMList\033[102X", "4.1-3", [ 4, 1, 3 ], 59, 21, "nm2gmlist",
"X7AD4CF167E6B7D2E" ],
[ "\033[2XGM2NM\033[102X", "4.1-4", [ 4, 1, 4 ], 78, 21, "gm2nm",
"X8719E2857E26325C" ],
[ "\033[2XGM2NMList\033[102X", "4.1-4", [ 4, 1, 4 ], 78, 21, "gm2nmlist",
"X8719E2857E26325C" ],
[ "\033[2XPrefixNM\033[102X", "4.1-5", [ 4, 1, 5 ], 100, 22, "prefixnm",
"X7F72641C8441204E" ],
[ "\033[2XSubwordNM\033[102X", "4.1-5", [ 4, 1, 5 ], 100, 22, "subwordnm",
"X7F72641C8441204E" ],
[ "\033[2XSuffixNM\033[102X", "4.1-5", [ 4, 1, 5 ], 100, 22, "suffixnm",
"X7F72641C8441204E" ],
[ "\033[2XSuffixPrefixPosNM\033[102X", "4.1-6", [ 4, 1, 6 ], 120, 22,
"suffixprefixposnm", "X8046DF397ACA0E5E" ],
[ "\033[2XSubwordPosNM\033[102X", "4.1-7", [ 4, 1, 7 ], 148, 22,
"subwordposnm", "X82916CB37D346978" ],
[ "\033[2XIsSubwordNM\033[102X", "4.1-7", [ 4, 1, 7 ], 148, 22,
"issubwordnm", "X82916CB37D346978" ],
[ "\033[2XLeadVarNM\033[102X", "4.1-8", [ 4, 1, 8 ], 176, 23, "leadvarnm",
"X83CF80DD7CD5F166" ],
[ "\033[2XLeadExpNM\033[102X", "4.1-8", [ 4, 1, 8 ], 176, 23, "leadexpnm",
"X83CF80DD7CD5F166" ],
[ "\033[2XTailNM\033[102X", "4.1-8", [ 4, 1, 8 ], 176, 23, "tailnm",
"X83CF80DD7CD5F166" ],
[ "\033[2XDivNM\033[102X", "4.1-9", [ 4, 1, 9 ], 198, 23, "divnm",
"X7CECFE0C86895946" ],
[ "\033[2XMaxDegreeNP\033[102X", "5.1-1", [ 5, 1, 1 ], 7, 25,
"maxdegreenp", "X7A1E54F279CCCF65" ],
[ "\033[2XScalarMulNP\033[102X", "5.1-2", [ 5, 1, 2 ], 34, 25,
"scalarmulnp", "X7903A443865A3471" ],
[ "\033[2XLtNPoly\033[102X", "5.1-3", [ 5, 1, 3 ], 58, 26, "ltnpoly",
"X7996395279064998" ],
[ "\033[2XGtNPoly\033[102X", "5.1-3", [ 5, 1, 3 ], 58, 26, "gtnpoly",
"X7996395279064998" ],
[ "\033[2XLowestLeadMonomialPosNP\033[102X", "5.1-4", [ 5, 1, 4 ], 89, 26,
"lowestleadmonomialposnp", "X79B2E02082C8799E" ],
[ "\033[2XLeftDivision\033[102X", "6.1-1", [ 6, 1, 1 ], 58, 29,
"leftdivision", "X8593BCDB8402C46C" ],
[ "\033[2XRightDivision\033[102X", "6.1-2", [ 6, 1, 2 ], 80, 29,
"rightdivision", "X784AF6B87B2B5E5D" ],
[ "\033[2XLeftOverlapDivision\033[102X", "6.1-3", [ 6, 1, 3 ], 95, 29,
"leftoverlapdivision", "X7A979BF38311024C" ],
[ "\033[2XRightOverlapDivision\033[102X", "6.1-4", [ 6, 1, 4 ], 146, 30,
"rightoverlapdivision", "X83CE05CF7CB18611" ],
[ "NoncommutativeDivision", "6.1-5", [ 6, 1, 5 ], 166, 30,
"noncommutativedivision", "X83A3B3F77C712DA1" ],
[ "\033[2XDivisionRecordNP\033[102X", "6.1-6", [ 6, 1, 6 ], 183, 31,
"divisionrecordnp", "X86FAAD527E20A573" ],
[ "\033[2XIPolyReduceNP\033[102X", "6.1-7", [ 6, 1, 7 ], 215, 31,
"ipolyreducenp", "X828DA2AE844847E9" ],
[ "\033[2XLoggedIPolyReduceNP\033[102X", "6.1-8", [ 6, 1, 8 ], 248, 32,
"loggedipolyreducenp", "X78935EBD85A02F3F" ],
[ "\033[2XVerifyLoggedRecordNP\033[102X", "6.1-9", [ 6, 1, 9 ], 295, 32,
"verifyloggedrecordnp", "X7EBFCE307BE928BA" ],
[ "\033[2XIAutoreduceNP\033[102X", "6.1-10", [ 6, 1, 10 ], 310, 33,
"iautoreducenp", "X8189DEDD87CE1667" ],
[ "\033[2XInvolutiveBasisNP\033[102X", "6.2-1", [ 6, 2, 1 ], 347, 33,
"involutivebasisnp", "X7A71E4CD7B43726B" ],
[ "disjoint cones", "6.3", [ 6, 3, 0 ], 422, 35, "disjoint cones",
"X7DB2608C86CA3B04" ],
[ "\033[2XStrongLeftOverlapDivision\033[102X", "6.3-1", [ 6, 3, 1 ], 430,
35, "strongleftoverlapdivision", "X7D87860878548EF2" ],
[ "\033[2XStrongRightOverlapDivision\033[102X", "6.3-2", [ 6, 3, 2 ], 514,
36, "strongrightoverlapdivision", "X819FE8F87ACDB19C" ] ]
);
