|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Modules",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Copyright", "0.0-1", [ 0, 0, 1 ], 89, 2, "copyright",
"X81488B807F2A1CF1" ],
[ "Acknowledgements", "0.0-2", [ 0, 0, 2 ], 96, 2, "acknowledgements",
"X82A988D47DFAFCFA" ],
[ "Table of Contents", "0.0-3", [ 0, 0, 3 ], 101, 3, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 6, "introduction", "X7DFB63A97E67C0A1" ],
[
"\033[1X\033[33X\033[0;-2YWhat is the role of the \033[5XModules\033[105X\\
033[101X\027\033[1X\027 package in the \033[5Xhomalg\033[105X\033[101X\027\033\
[1X\027 project?\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 4, 6,
"what is the role of the modules package in the homalg project?",
"X7932D55D786D645A" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XModules\033[105X\033[101X\027\033[1X\027 p\
rovides ...\033[133X\033[101X", "1.1-1", [ 1, 1, 1 ], 7, 6,
"modules provides ...", "X81F4D4C47828A818" ],
[
"\033[1X\033[33X\033[0;-2YRings supported in a sufficient way\033[133X\033[\
101X", "1.1-2", [ 1, 1, 2 ], 39, 6, "rings supported in a sufficient way",
"X84913827857A1F7B" ],
[ "\033[1X\033[33X\033[0;-2YPrincipal limitation\033[133X\033[101X",
"1.1-3", [ 1, 1, 3 ], 47, 7, "principal limitation",
"X7C31B1FE786E596E" ],
[ "\033[1X\033[33X\033[0;-2YRing dictionaries (technical)\033[133X\033[101X"
, "1.1-4", [ 1, 1, 4 ], 64, 7, "ring dictionaries technical",
"X8583D47D7E570356" ],
[
"\033[1X\033[33X\033[0;-2YThe advantages of the outsourcing concept\033[133\
X\033[101X", "1.1-5", [ 1, 1, 5 ], 88, 7,
"the advantages of the outsourcing concept", "X7D7570837C21607A" ],
[
"\033[1X\033[33X\033[0;-2YDoes this mean that \033[5Xhomalg\033[105X\033[10\
1X\027\033[1X\027 has only algorithms for the generic case?\033[133X\033[101X"
, "1.1-6", [ 1, 1, 6 ], 103, 7,
"does this mean that homalg has only algorithms for the generic case?",
"X85C5BCDF797B7954" ],
[
"\033[1X\033[33X\033[0;-2YThe principle of least communication (technical)\\
033[133X\033[101X", "1.1-7", [ 1, 1, 7 ], 116, 8,
"the principle of least communication technical", "X79DFCAF17BD3DDC6" ],
[ "\033[1X\033[33X\033[0;-2YFrequently asked questions\033[133X\033[101X",
"1.1-8", [ 1, 1, 8 ], 150, 8, "frequently asked questions",
"X7D51BC7A80D43EA0" ],
[ "\033[1X\033[33X\033[0;-2YThis manual\033[133X\033[101X", "1.2",
[ 1, 2, 0 ], 175, 9, "this manual", "X78DD800B83ABC621" ],
[
"\033[1X\033[33X\033[0;-2YInstallation of the \033[5XModules\033[105X\033[1\
01X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 10,
"installation of the modules package", "X812F1BC77954DFD3" ],
[ "\033[1X\033[33X\033[0;-2YQuick Start\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 11, "quick start", "X7EB860EC84DFC71E" ],
[
"\033[1X\033[33X\033[0;-2YWhy are all examples in this manual over \342\\
204\244 or \033[22X\342\204\244/m\342\204\244\033[122X\033[101X\027\033[1X\027\
?\033[133X\033[101X", "3.1", [ 3, 1, 0 ], 7, 11,
"why are all examples in this manual over a\204\244 or a\204\244/ma\204\
\244?", "X8527706586389E29" ],
[
"\033[1X\033[33X\033[0;-2Y\033[10Xgap> ExamplesForHomalg();\033[110X\033[10\
1X\027\033[1X\027\033[133X\033[101X", "3.2", [ 3, 2, 0 ], 24, 11,
"gap> examplesforhomalg", "X85872612814D30B4" ],
[ "\033[1X\033[33X\033[0;-2YA typical example\033[133X\033[101X", "3.3",
[ 3, 3, 0 ], 35, 11, "a typical example", "X7BBB3E988435A713" ],
[ "\033[1X\033[33X\033[0;-2YHomHom\033[133X\033[101X", "3.3-1",
[ 3, 3, 1 ], 38, 11, "homhom", "X791E21F47805048A" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps\033[133X\033[101X", "4", [ 4, 0, 0 ],
1, 17, "ring maps", "X7B222197819984A6" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps: Attributes\033[133X\033[101X",
"4.1", [ 4, 1, 0 ], 4, 17, "ring maps: attributes", "X7EBF1DD67BD0758F"
],
[
"\033[1X\033[33X\033[0;-2YRing Maps: Operations and Functions\033[133X\033[\
101X", "4.2", [ 4, 2, 0 ], 22, 17, "ring maps: operations and functions",
"X7C7401BA7E2221CB" ],
[ "\033[1X\033[33X\033[0;-2YRelations\033[133X\033[101X", "5", [ 5, 0, 0 ],
1, 18, "relations", "X838651287FCCEFD8" ],
[
"\033[1X\033[33X\033[0;-2YRelations: Categories and Representations\033[133\
X\033[101X", "5.1", [ 5, 1, 0 ], 18, 18,
"relations: categories and representations", "X87DADB7B7CB126DC" ],
[ "\033[1X\033[33X\033[0;-2YRelations: Constructors\033[133X\033[101X",
"5.2", [ 5, 2, 0 ], 56, 19, "relations: constructors",
"X7CF74FB785F90889" ],
[ "\033[1X\033[33X\033[0;-2YRelations: Properties\033[133X\033[101X",
"5.3", [ 5, 3, 0 ], 59, 19, "relations: properties",
"X859231317954D702" ],
[ "\033[1X\033[33X\033[0;-2YRelations: Attributes\033[133X\033[101X",
"5.4", [ 5, 4, 0 ], 78, 19, "relations: attributes",
"X7EF7BBCA85851EF1" ],
[
"\033[1X\033[33X\033[0;-2YRelations: Operations and Functions\033[133X\033[\
101X", "5.5", [ 5, 5, 0 ], 81, 19, "relations: operations and functions",
"X7890B5EA80774AB5" ],
[ "\033[1X\033[33X\033[0;-2YGenerators\033[133X\033[101X", "6",
[ 6, 0, 0 ], 1, 20, "generators", "X7BD5B55C802805B4" ],
[
"\033[1X\033[33X\033[0;-2YGenerators: Categories and Representations\033[13\
3X\033[101X", "6.1", [ 6, 1, 0 ], 20, 20,
"generators: categories and representations", "X827B67D27E3B91FC" ],
[ "\033[1X\033[33X\033[0;-2YGenerators: Constructors\033[133X\033[101X",
"6.2", [ 6, 2, 0 ], 80, 21, "generators: constructors",
"X8289206C81622597" ],
[ "\033[1X\033[33X\033[0;-2YGenerators: Properties\033[133X\033[101X",
"6.3", [ 6, 3, 0 ], 83, 21, "generators: properties",
"X8576E1368448066B" ],
[ "\033[1X\033[33X\033[0;-2YGenerators: Attributes\033[133X\033[101X",
"6.4", [ 6, 4, 0 ], 94, 21, "generators: attributes",
"X7E136BCD7F22B571" ],
[
"\033[1X\033[33X\033[0;-2YGenerators: Operations and Functions\033[133X\\
033[101X", "6.5", [ 6, 5, 0 ], 106, 21, "generators: operations and functions"
, "X7AC876EC8137AEA4" ],
[ "\033[1X\033[33X\033[0;-2YModules\033[133X\033[101X", "7", [ 7, 0, 0 ],
1, 22, "modules", "X8183A6857B0C3633" ],
[
"\033[1X\033[33X\033[0;-2YModules: Category and Representations\033[133X\\
033[101X", "7.1", [ 7, 1, 0 ], 29, 22, "modules: category and representations"
, "X7C7EBD2383B99C43" ],
[ "\033[1X\033[33X\033[0;-2YModules: Constructors\033[133X\033[101X",
"7.2", [ 7, 2, 0 ], 112, 24, "modules: constructors",
"X7DB16C4B87DD115F" ],
[ "\033[1X\033[33X\033[0;-2YModules: Properties\033[133X\033[101X", "7.3",
[ 7, 3, 0 ], 443, 29, "modules: properties", "X83CC1D6079AA2286" ],
[ "\033[1X\033[33X\033[0;-2YModules: Attributes\033[133X\033[101X", "7.4",
[ 7, 4, 0 ], 486, 30, "modules: attributes", "X78A9979B862BD51D" ],
[
"\033[1X\033[33X\033[0;-2YModules: Operations and Functions\033[133X\033[10\
1X", "7.5", [ 7, 5, 0 ], 638, 33, "modules: operations and functions",
"X7DDA6B237C17BDBA" ],
[ "\033[1X\033[33X\033[0;-2YMaps\033[133X\033[101X", "8", [ 8, 0, 0 ], 1,
35, "maps", "X7E8438F77ECB778E" ],
[
"\033[1X\033[33X\033[0;-2YMaps: Categories and Representations\033[133X\\
033[101X", "8.1", [ 8, 1, 0 ], 17, 35, "maps: categories and representations",
"X790FEEBD86F5C143" ],
[ "\033[1X\033[33X\033[0;-2YMaps: Constructors\033[133X\033[101X", "8.2",
[ 8, 2, 0 ], 63, 36, "maps: constructors", "X8278F43E8373E4A1" ],
[ "\033[1X\033[33X\033[0;-2YMaps: Properties\033[133X\033[101X", "8.3",
[ 8, 3, 0 ], 217, 39, "maps: properties", "X85C633E77A939735" ],
[ "\033[1X\033[33X\033[0;-2YMaps: Attributes\033[133X\033[101X", "8.4",
[ 8, 4, 0 ], 220, 39, "maps: attributes", "X7EA3B91C78E430BB" ],
[
"\033[1X\033[33X\033[0;-2YMaps: Operations and Functions\033[133X\033[101X"
, "8.5", [ 8, 5, 0 ], 223, 39, "maps: operations and functions",
"X783E9FF8800609EB" ],
[ "\033[1X\033[33X\033[0;-2YModule Elements\033[133X\033[101X", "9",
[ 9, 0, 0 ], 1, 40, "module elements", "X7E9BCB99816348F2" ],
[
"\033[1X\033[33X\033[0;-2YModule Elements: Category and Representations\\
033[133X\033[101X", "9.1", [ 9, 1, 0 ], 9, 40,
"module elements: category and representations", "X84A51EB87E054D3F" ],
[ "\033[1X\033[33X\033[0;-2YModule Elements: Constructors\033[133X\033[101X"
, "9.2", [ 9, 2, 0 ], 29, 40, "module elements: constructors",
"X7CFD0CF27A3FEB9D" ],
[ "\033[1X\033[33X\033[0;-2YModule Elements: Properties\033[133X\033[101X",
"9.3", [ 9, 3, 0 ], 32, 40, "module elements: properties",
"X7BCBA7E780FE2B14" ],
[ "\033[1X\033[33X\033[0;-2YModule Elements: Attributes\033[133X\033[101X",
"9.4", [ 9, 4, 0 ], 57, 41, "module elements: attributes",
"X80AE2D1C82A2059C" ],
[
"\033[1X\033[33X\033[0;-2YModule Elements: Operations and Functions\033[133\
X\033[101X", "9.5", [ 9, 5, 0 ], 60, 41,
"module elements: operations and functions", "X813DF977812C06B6" ],
[ "\033[1X\033[33X\033[0;-2YFunctors\033[133X\033[101X", "10",
[ 10, 0, 0 ], 1, 42, "functors", "X78D1062D78BE08C1" ],
[
"\033[1X\033[33X\033[0;-2YFunctors: Category and Representations\033[133X\\
033[101X", "10.1", [ 10, 1, 0 ], 4, 42,
"functors: category and representations", "X7E41BC437F2B76E1" ],
[ "\033[1X\033[33X\033[0;-2YFunctors: Constructors\033[133X\033[101X",
"10.2", [ 10, 2, 0 ], 7, 42, "functors: constructors",
"X86EE897086995E47" ],
[ "\033[1X\033[33X\033[0;-2YFunctors: Attributes\033[133X\033[101X",
"10.3", [ 10, 3, 0 ], 10, 42, "functors: attributes",
"X7A21845C7C536717" ],
[ "\033[1X\033[33X\033[0;-2YBasic Functors\033[133X\033[101X", "10.4",
[ 10, 4, 0 ], 13, 42, "basic functors", "X7D83D0EB87D2D872" ],
[ "\033[1X\033[33X\033[0;-2YTool Functors\033[133X\033[101X", "10.5",
[ 10, 5, 0 ], 1142, 63, "tool functors", "X815BF6DA7FD5D44B" ],
[ "\033[1X\033[33X\033[0;-2YOther Functors\033[133X\033[101X", "10.6",
[ 10, 6, 0 ], 1145, 63, "other functors", "X879135AC8330C509" ],
[
"\033[1X\033[33X\033[0;-2YFunctors: Operations and Functions\033[133X\033[1\
01X", "10.7", [ 10, 7, 0 ], 1148, 63, "functors: operations and functions",
"X7DACD68E7E5FA324" ],
[
"\033[1X\033[33X\033[0;-2YSymmetric Algebra and Koszul Complex\033[133X\\
033[101X", "11", [ 11, 0, 0 ], 1, 64, "symmetric algebra and koszul complex",
"X7E3E740C80F42986" ],
[
"\033[1X\033[33X\033[0;-2YSymmetric Algebra: Constructor\033[133X\033[101X"
, "11.1", [ 11, 1, 0 ], 4, 64, "symmetric algebra: constructor",
"X78E07AD87CE14F53" ],
[
"\033[1X\033[33X\033[0;-2YSymmetric Algebra: Properties and Attributes\033[\
133X\033[101X", "11.2", [ 11, 2, 0 ], 14, 64,
"symmetric algebra: properties and attributes", "X7A26D0AD7E8F9FB2" ],
[ "\033[1X\033[33X\033[0;-2YExterior Algebra and Koszul Complex\033[133X\033\
[101X", "12", [ 12, 0, 0 ], 1, 65, "exterior algebra and koszul complex",
"X7BD010F3847B274E" ],
[ "\033[1X\033[33X\033[0;-2YExterior Algebra: Constructor\033[133X\033[101X"
, "12.1", [ 12, 1, 0 ], 18, 65, "exterior algebra: constructor",
"X7A005D4E870C281D" ],
[
"\033[1X\033[33X\033[0;-2YExterior Algebra: Properties and Attributes\033[1\
33X\033[101X", "12.2", [ 12, 2, 0 ], 28, 65,
"exterior algebra: properties and attributes", "X7E09B9C5844FC31E" ],
[
"\033[1X\033[33X\033[0;-2YExterior Algebra: Element Properties\033[133X\\
033[101X", "12.3", [ 12, 3, 0 ], 52, 66,
"exterior algebra: element properties", "X7A2AC54B87C85695" ],
[
"\033[1X\033[33X\033[0;-2YExterior Algebra: Element Operations\033[133X\\
033[101X", "12.4", [ 12, 4, 0 ], 62, 66,
"exterior algebra: element operations", "X80D7B36379182854" ],
[
"\033[1X\033[33X\033[0;-2YKoszul complex and Cayley determinant\033[133X\\
033[101X", "12.5", [ 12, 5, 0 ], 88, 66,
"koszul complex and cayley determinant", "X8050EFB77A600595" ],
[ "\033[1X\033[33X\033[0;-2YExamples\033[133X\033[101X", "13",
[ 13, 0, 0 ], 1, 68, "examples", "X7A489A5D79DA9E5C" ],
[ "\033[1X\033[33X\033[0;-2YExtExt\033[133X\033[101X", "13.1",
[ 13, 1, 0 ], 4, 68, "extext", "X7BB9DE017ECE6E86" ],
[ "\033[1X\033[33X\033[0;-2YPurity\033[133X\033[101X", "13.2",
[ 13, 2, 0 ], 88, 69, "purity", "X7EE63228803A04F1" ],
[ "\033[1X\033[33X\033[0;-2YTorExt-Grothendieck\033[133X\033[101X", "13.3",
[ 13, 3, 0 ], 184, 71, "torext-grothendieck", "X812EF8147AE16E72" ],
[ "\033[1X\033[33X\033[0;-2YTorExt\033[133X\033[101X", "13.4",
[ 13, 4, 0 ], 270, 73, "torext", "X784BC2567875830B" ],
[
"\033[1X\033[33X\033[0;-2YThe Mathematical Idea behind \033[5XModules\033[1\
05X\033[101X\027\033[1X\027\033[133X\033[101X", "a", [ "A", 0, 0 ], 1, 76,
"the mathematical idea behind modules", "X7DD2E4EB846C7E75" ],
[ "\033[1X\033[33X\033[0;-2YLogic Subpackages\033[133X\033[101X", "b",
[ "B", 0, 0 ], 1, 77, "logic subpackages", "X8222352C78A19214" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XLIMOD\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Modules\033[133X\033[101X", "b.1", [ "B", 1, 0 ], 4,
77, "limod: logical implications for modules", "X8462717983D4B197" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XLIHOM\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Homomorphisms of Modules\033[133X\033[101X", "b.2",
[ "B", 2, 0 ], 7, 77,
"lihom: logical implications for homomorphisms of modules",
"X7A553EC57DD2E46E" ],
[
"\033[1X\033[33X\033[0;-2YOverview of the \033[5XModules\033[105X\033[101X\\
027\033[1X\027 Package Source Code\033[133X\033[101X", "c", [ "C", 0, 0 ], 1,
78, "overview of the modules package source code", "X78684D057C432971" ]
,
[ "\033[1X\033[33X\033[0;-2YRelations and Generators\033[133X\033[101X",
"c.1", [ "C", 1, 0 ], 4, 78, "relations and generators",
"X87ED7A1883976BE9" ],
[ "\033[1X\033[33X\033[0;-2YThe Basic Objects\033[133X\033[101X", "c.2",
[ "C", 2, 0 ], 19, 79, "the basic objects", "X81DDCFC578069518" ],
[
"\033[1X\033[33X\033[0;-2YThe High Level Homological Algorithms\033[133X\\
033[101X", "c.3", [ "C", 3, 0 ], 51, 79,
"the high level homological algorithms", "X7BDE961D858BC60E" ],
[
"\033[1X\033[33X\033[0;-2YLogical Implications for \033[5Xhomalg\033[105X\\
033[101X\027\033[1X\027 Objects\033[133X\033[101X", "c.4", [ "C", 4, 0 ], 68,
80, "logical implications for homalg objects", "X7E8463067BB2F31E" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 81, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 81, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 82, "index", "X83A0356F839C696F" ],
[ "\033[5XModules\033[105X", "0.0-3", [ 0, 0, 3 ], 101, 3, "modules",
"X8537FEB07AF2BEC8" ],
[ "\033[2XKernelSubobject\033[102X for ring maps", "4.1-1", [ 4, 1, 1 ], 7,
17, "kernelsubobject for ring maps", "X7E7A0DE685E23202" ],
[ "\033[2XKernelEmb\033[102X for ring maps", "4.1-2", [ 4, 1, 2 ], 14, 17,
"kernelemb for ring maps", "X82AE604486F48FC4" ],
[ "\033[2XKernel\033[102X for ring maps", "4.2-1", [ 4, 2, 1 ], 25, 17,
"kernel for ring maps", "X870F43DE7DDD85A3" ],
[ "\033[2XIsHomalgRelations\033[102X", "5.1-1", [ 5, 1, 1 ], 21, 18,
"ishomalgrelations", "X80AD050F7999B7C0" ],
[ "\033[2XIsHomalgRelationsOfLeftModule\033[102X", "5.1-2", [ 5, 1, 2 ],
28, 18, "ishomalgrelationsofleftmodule", "X790F68B17A4846DC" ],
[ "\033[2XIsHomalgRelationsOfRightModule\033[102X", "5.1-3", [ 5, 1, 3 ],
37, 18, "ishomalgrelationsofrightmodule", "X7FF5A3B180614698" ],
[ "\033[2XIsRelationsOfFinitelyPresentedModuleRep\033[102X", "5.1-4",
[ 5, 1, 4 ], 46, 19, "isrelationsoffinitelypresentedmodulerep",
"X8322A26C84E80303" ],
[ "\033[2XCanBeUsedToDecideZeroEffectively\033[102X", "5.3-1", [ 5, 3, 1 ],
62, 19, "canbeusedtodecidezeroeffectively", "X798D893B7FBFCF07" ],
[ "\033[2XIsInjectivePresentation\033[102X", "5.3-2", [ 5, 3, 2 ], 71, 19,
"isinjectivepresentation", "X7B9398827AEEA2E6" ],
[ "\033[2XIsHomalgGenerators\033[102X", "6.1-1", [ 6, 1, 1 ], 23, 20,
"ishomalggenerators", "X79A6BA1280510584" ],
[ "\033[2XIsHomalgGeneratorsOfLeftModule\033[102X", "6.1-2", [ 6, 1, 2 ],
30, 20, "ishomalggeneratorsofleftmodule", "X83E88425797FFC9C" ],
[ "\033[2XIsHomalgGeneratorsOfRightModule\033[102X", "6.1-3", [ 6, 1, 3 ],
39, 20, "ishomalggeneratorsofrightmodule", "X86E9029487FE58DF" ],
[ "\033[2XIsGeneratorsOfModuleRep\033[102X", "6.1-4", [ 6, 1, 4 ], 48, 21,
"isgeneratorsofmodulerep", "X8671AA997D666F04" ],
[ "\033[2XIsGeneratorsOfFinitelyGeneratedModuleRep\033[102X", "6.1-5",
[ 6, 1, 5 ], 63, 21, "isgeneratorsoffinitelygeneratedmodulerep",
"X78512B8A8613FBF1" ],
[ "\033[2XIsReduced\033[102X for generators", "6.3-1", [ 6, 3, 1 ], 86, 21,
"isreduced for generators", "X7ED359D87D6B2F79" ],
[ "\033[2XProcedureToReadjustGenerators\033[102X", "6.4-1", [ 6, 4, 1 ],
97, 21, "proceduretoreadjustgenerators", "X7B6F787085536F90" ],
[ "\033[2XIsHomalgModule\033[102X", "7.1-1", [ 7, 1, 1 ], 32, 22,
"ishomalgmodule", "X8429977B7FD30F32" ],
[ "\033[2XIsFinitelyPresentedModuleOrSubmoduleRep\033[102X", "7.1-2",
[ 7, 1, 2 ], 49, 23, "isfinitelypresentedmoduleorsubmodulerep",
"X7FB182707ADDF903" ],
[ "\033[2XIsFinitelyPresentedModuleRep\033[102X", "7.1-3", [ 7, 1, 3 ], 67,
23, "isfinitelypresentedmodulerep", "X87D53DCC822C8C92" ],
[ "\033[2XIsFinitelyPresentedSubmoduleRep\033[102X", "7.1-4", [ 7, 1, 4 ],
91, 23, "isfinitelypresentedsubmodulerep", "X7BFA03B6820E9E55" ],
[ "\033[2XLeftPresentation\033[102X constructor for left modules", "7.2-1",
[ 7, 2, 1 ], 115, 24, "leftpresentation constructor for left modules",
"X7EC09F6B83CA4068" ],
[ "\033[2XRightPresentation\033[102X constructor for right modules",
"7.2-2", [ 7, 2, 2 ], 147, 24,
"rightpresentation constructor for right modules", "X7A0C400A8042C284" ]
,
[ "\033[2XHomalgFreeLeftModule\033[102X constructor for free left modules",
"7.2-3", [ 7, 2, 3 ], 170, 25,
"homalgfreeleftmodule constructor for free left modules",
"X8067510285E38110" ],
[ "\033[2XHomalgFreeRightModule\033[102X constructor for free right modules"
, "7.2-4", [ 7, 2, 4 ], 190, 25,
"homalgfreerightmodule constructor for free right modules",
"X7D9133C6837FDFE7" ],
[ "\033[2XHomalgZeroLeftModule\033[102X constructor for zero left modules",
"7.2-5", [ 7, 2, 5 ], 210, 25,
"homalgzeroleftmodule constructor for zero left modules",
"X86EA38328275C44E" ],
[ "\033[2XHomalgZeroRightModule\033[102X constructor for zero right modules"
, "7.2-6", [ 7, 2, 6 ], 226, 25,
"homalgzerorightmodule constructor for zero right modules",
"X8796A5957C40155C" ],
[ "\033[2X\\*\033[102X transfer a module over a different ring", "7.2-7",
[ 7, 2, 7 ], 242, 26, "* transfer a module over a different ring",
"X87BE93798001D733" ],
[ "\033[2X\\*\033[102X transfer a module over a different ring (right)",
"7.2-7", [ 7, 2, 7 ], 242, 26,
"* transfer a module over a different ring right", "X87BE93798001D733" ]
,
[ "\033[2XSubobject\033[102X constructor for submodules using matrices",
"7.2-8", [ 7, 2, 8 ], 351, 28,
"subobject constructor for submodules using matrices",
"X84C6C8227814E2BC" ],
[
"\033[2XSubobject\033[102X constructor for submodules using a list of ring \
elements", "7.2-9", [ 7, 2, 9 ], 360, 28,
"subobject constructor for submodules using a list of ring elements",
"X811E74A98454101E" ],
[ "\033[2XLeftSubmodule\033[102X constructor for left submodules",
"7.2-10", [ 7, 2, 10 ], 369, 28,
"leftsubmodule constructor for left submodules", "X8498CB457DD55DF2" ],
[ "\033[2XRightSubmodule\033[102X constructor for right submodules",
"7.2-11", [ 7, 2, 11 ], 406, 29,
"rightsubmodule constructor for right submodules", "X8383318085374771" ]
,
[ "\033[2XIsCyclic\033[102X", "7.3-1", [ 7, 3, 1 ], 446, 29, "iscyclic",
"X7DA27D338374FD28" ],
[ "\033[2XIsHolonomic\033[102X", "7.3-2", [ 7, 3, 2 ], 453, 29,
"isholonomic", "X7B547E8A7969F772" ],
[ "\033[2XIsReduced\033[102X for modules", "7.3-3", [ 7, 3, 3 ], 460, 29,
"isreduced for modules", "X8393BC5779647A88" ],
[ "\033[2XIsPrimeIdeal\033[102X", "7.3-4", [ 7, 3, 4 ], 467, 30,
"isprimeideal", "X78020A71848F9FDD" ],
[ "\033[2XIsPrimeModule\033[102X for modules", "7.3-5", [ 7, 3, 5 ], 476,
30, "isprimemodule for modules", "X86160C4E797D12DD" ],
[ "\033[2XResidueClassRing\033[102X", "7.4-1", [ 7, 4, 1 ], 489, 30,
"residueclassring", "X791F809B8432847F" ],
[ "\033[2XPrimaryDecomposition\033[102X", "7.4-2", [ 7, 4, 2 ], 497, 30,
"primarydecomposition", "X7F30DD127FAC8994" ],
[ "\033[2XRadicalDecomposition\033[102X", "7.4-3", [ 7, 4, 3 ], 505, 30,
"radicaldecomposition", "X839DA707838F72DC" ],
[ "\033[2XModuleOfKaehlerDifferentials\033[102X", "7.4-4", [ 7, 4, 4 ],
514, 30, "moduleofkaehlerdifferentials", "X7D1D919186E5E73A" ],
[ "\033[2XRadicalSubobject\033[102X", "7.4-5", [ 7, 4, 5 ], 522, 31,
"radicalsubobject", "X7F4B638C7D27C7B2" ],
[ "\033[2XSymmetricAlgebra\033[102X", "7.4-6", [ 7, 4, 6 ], 529, 31,
"symmetricalgebra", "X829AFC557B7E49AF" ],
[ "\033[2XExteriorAlgebra\033[102X", "7.4-7", [ 7, 4, 7 ], 536, 31,
"exterioralgebra", "X7AC2D54385C15EBD" ],
[ "\033[2XElementaryDivisors\033[102X", "7.4-8", [ 7, 4, 8 ], 543, 31,
"elementarydivisors", "X7EB20A71864D46BF" ],
[ "\033[2XFittingIdeal\033[102X", "7.4-9", [ 7, 4, 9 ], 551, 31,
"fittingideal", "X7B83CC6485B028E1" ],
[ "\033[2XNonFlatLocus\033[102X", "7.4-10", [ 7, 4, 10 ], 558, 31,
"nonflatlocus", "X8671FA1F820AA86D" ],
[ "\033[2XLargestMinimalNumberOfLocalGenerators\033[102X", "7.4-11",
[ 7, 4, 11 ], 565, 31, "largestminimalnumberoflocalgenerators",
"X84FECA07854053BE" ],
[ "\033[2XCoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries\033[102X",
"7.4-12", [ 7, 4, 12 ], 572, 31,
"coefficientsofunreducednumeratorofhilbertpoincareseries",
"X7809E0507E882674" ],
[ "\033[2XCoefficientsOfNumeratorOfHilbertPoincareSeries\033[102X",
"7.4-13", [ 7, 4, 13 ], 579, 32,
"coefficientsofnumeratorofhilbertpoincareseries", "X7938E13A7EF4ADB1" ],
[ "\033[2XUnreducedNumeratorOfHilbertPoincareSeries\033[102X", "7.4-14",
[ 7, 4, 14 ], 586, 32, "unreducednumeratorofhilbertpoincareseries",
"X781E2CDB8743B1C6" ],
[ "\033[2XNumeratorOfHilbertPoincareSeries\033[102X", "7.4-15",
[ 7, 4, 15 ], 593, 32, "numeratorofhilbertpoincareseries",
"X7C44039382DD5D91" ],
[ "\033[2XHilbertPoincareSeries\033[102X", "7.4-16", [ 7, 4, 16 ], 600, 32,
"hilbertpoincareseries", "X7B93B7D082A50E61" ],
[ "\033[2XAffineDegree\033[102X", "7.4-17", [ 7, 4, 17 ], 607, 32,
"affinedegree", "X87C428A079000336" ],
[ "\033[2XDataOfHilbertFunction\033[102X", "7.4-18", [ 7, 4, 18 ], 614, 32,
"dataofhilbertfunction", "X7F8203B47EF626A5" ],
[ "\033[2XHilbertFunction\033[102X", "7.4-19", [ 7, 4, 19 ], 621, 32,
"hilbertfunction", "X81F1F3EB868D2117" ],
[ "\033[2XIndexOfRegularity\033[102X", "7.4-20", [ 7, 4, 20 ], 628, 32,
"indexofregularity", "X7AE7FCEA807D189E" ],
[ "\033[2XHomalgRing\033[102X for modules", "7.5-1", [ 7, 5, 1 ], 641, 33,
"homalgring for modules", "X7DDA4A357F4868A0" ],
[ "\033[2XByASmallerPresentation\033[102X for modules", "7.5-2",
[ 7, 5, 2 ], 659, 33, "byasmallerpresentation for modules",
"X840D0B4F8798C370" ],
[ "\033[2X\\*\033[102X constructor for ideal multiples", "7.5-3",
[ 7, 5, 3 ], 701, 34, "* constructor for ideal multiples",
"X7AE6575D81856ECB" ],
[ "\033[2XSubobjectQuotient\033[102X for submodules", "7.5-4", [ 7, 5, 4 ],
709, 34, "subobjectquotient for submodules", "X84D89101872CEA2A" ],
[ "\033[2XIsHomalgMap\033[102X", "8.1-1", [ 8, 1, 1 ], 20, 35,
"ishomalgmap", "X7DA293237F14CD74" ],
[ "\033[2XIsHomalgSelfMap\033[102X", "8.1-2", [ 8, 1, 2 ], 36, 35,
"ishomalgselfmap", "X7F34D26882D20FF0" ],
[ "\033[2XIsMapOfFinitelyGeneratedModulesRep\033[102X", "8.1-3",
[ 8, 1, 3 ], 52, 36, "ismapoffinitelygeneratedmodulesrep",
"X813202447B5C8FB3" ],
[ "\033[2XHomalgMap\033[102X constructor for maps", "8.2-1", [ 8, 2, 1 ],
66, 36, "homalgmap constructor for maps", "X790E02137DBA584C" ],
[ "\033[2XHomalgMap\033[102X constructor for maps between free modules",
"8.2-1", [ 8, 2, 1 ], 66, 36,
"homalgmap constructor for maps between free modules",
"X790E02137DBA584C" ],
[ "\033[2XHomalgZeroMap\033[102X constructor for zero maps", "8.2-2",
[ 8, 2, 2 ], 178, 38, "homalgzeromap constructor for zero maps",
"X81489DAF7B0674F3" ],
[ "\033[2XHomalgIdentityMap\033[102X constructor for identity maps",
"8.2-3", [ 8, 2, 3 ], 200, 38,
"homalgidentitymap constructor for identity maps", "X7BF289B882C9DDF4" ]
,
[ "\033[2XHomalgRing\033[102X", "8.5-1", [ 8, 5, 1 ], 226, 39,
"homalgring", "X7C8699B282D73E1E" ],
[ "\033[2XPreInverse\033[102X", "8.5-2", [ 8, 5, 2 ], 244, 39,
"preinverse", "X79D029B78624C148" ],
[ "\033[2XIsHomalgElement\033[102X", "9.1-1", [ 9, 1, 1 ], 12, 40,
"ishomalgelement", "X784BBB2A782DB774" ],
[ "\033[2XIsElementOfAModuleGivenByAMorphismRep\033[102X", "9.1-2",
[ 9, 1, 2 ], 19, 40, "iselementofamodulegivenbyamorphismrep",
"X7BF482C77B68ED64" ],
[ "\033[2XIsElementOfIntegers\033[102X", "9.3-1", [ 9, 3, 1 ], 35, 40,
"iselementofintegers", "X87FA282579406FC0" ],
[ "\033[2XHomalgRing\033[102X for module elements", "9.5-1", [ 9, 5, 1 ],
63, 41, "homalgring for module elements", "X8769077379997D89" ],
[ "\033[2Xfunctor_Cokernel\033[102X", "10.4-1", [ 10, 4, 1 ], 16, 42,
"functor_cokernel", "X7B9FE8BF80D47B6E" ],
[ "\033[2XCokernel\033[102X", "10.4-2", [ 10, 4, 2 ], 39, 42, "cokernel",
"X875F177A82BF9B8B" ],
[ "\033[2Xfunctor_ImageObject\033[102X", "10.4-3", [ 10, 4, 3 ], 94, 43,
"functor_imageobject", "X7A5B3B307B334706" ],
[ "\033[2XImageObject\033[102X", "10.4-4", [ 10, 4, 4 ], 116, 44,
"imageobject", "X7E3FF900821DCBE6" ],
[ "\033[2XKernel\033[102X for maps", "10.4-5", [ 10, 4, 5 ], 154, 45,
"kernel for maps", "X85C128B37E76827F" ],
[ "\033[2XDefectOfExactness\033[102X", "10.4-6", [ 10, 4, 6 ], 207, 46,
"defectofexactness", "X7E6CDE7E85F09122" ],
[ "\033[2XFunctor_Hom\033[102X", "10.4-7", [ 10, 4, 7 ], 254, 46,
"functor_hom", "X7B93718087EFD69B" ],
[ "\033[2XHom\033[102X", "10.4-8", [ 10, 4, 8 ], 276, 47, "hom",
"X80015C78876B4F1E" ],
[ "\033[2XFunctor_TensorProduct\033[102X", "10.4-9", [ 10, 4, 9 ], 507, 51,
"functor_tensorproduct", "X7A1A077D8268FADE" ],
[ "\033[2XTensorProduct\033[102X", "10.4-10", [ 10, 4, 10 ], 529, 51,
"tensorproduct", "X87EB0B4A852CF4C6" ],
[ "\033[2X\\*\033[102X TensorProduct", "10.4-10", [ 10, 4, 10 ], 529, 51,
"* tensorproduct", "X87EB0B4A852CF4C6" ],
[ "\033[2XFunctor_Ext\033[102X", "10.4-11", [ 10, 4, 11 ], 684, 54,
"functor_ext", "X7D007A7079F7BEE3" ],
[ "\033[2XExt\033[102X", "10.4-12", [ 10, 4, 12 ], 697, 55, "ext",
"X8692578881E71913" ],
[ "\033[2XFunctor_Tor\033[102X", "10.4-13", [ 10, 4, 13 ], 747, 55,
"functor_tor", "X821034FE80907E8D" ],
[ "\033[2XTor\033[102X", "10.4-14", [ 10, 4, 14 ], 760, 56, "tor",
"X79821906875CF49E" ],
[ "\033[2XFunctor_RHom\033[102X", "10.4-15", [ 10, 4, 15 ], 807, 56,
"functor_rhom", "X84C60D997A79524E" ],
[ "\033[2XRHom\033[102X", "10.4-16", [ 10, 4, 16 ], 820, 57, "rhom",
"X7D8BDC0C817C10AB" ],
[ "\033[2XFunctor_LTensorProduct\033[102X", "10.4-17", [ 10, 4, 17 ], 960,
59, "functor_ltensorproduct", "X806251E3836C00B9" ],
[ "\033[2XLTensorProduct\033[102X", "10.4-18", [ 10, 4, 18 ], 974, 60,
"ltensorproduct", "X7C12DA648798E77E" ],
[ "\033[2XFunctor_HomHom\033[102X", "10.4-19", [ 10, 4, 19 ], 1114, 62,
"functor_homhom", "X7ACC6A7C86E4354C" ],
[ "\033[2XFunctor_LHomHom\033[102X", "10.4-20", [ 10, 4, 20 ], 1128, 62,
"functor_lhomhom", "X84557A6B79382720" ],
[ "\033[2XSymmetricPower\033[102X", "11.1-1", [ 11, 1, 1 ], 7, 64,
"symmetricpower", "X79E2C2AF842E8419" ],
[ "\033[2XIsSymmetricPower\033[102X", "11.2-1", [ 11, 2, 1 ], 17, 64,
"issymmetricpower", "X79AECE877A31293F" ],
[ "\033[2XSymmetricPowerExponent\033[102X", "11.2-2", [ 11, 2, 2 ], 24, 64,
"symmetricpowerexponent", "X8750195584FAA0B2" ],
[ "\033[2XSymmetricPowerBaseModule\033[102X", "11.2-3", [ 11, 2, 3 ], 31,
64, "symmetricpowerbasemodule", "X7D9225D083DDDB0C" ],
[ "\033[2XExteriorPower\033[102X", "12.1-1", [ 12, 1, 1 ], 21, 65,
"exteriorpower", "X787BB7FF85F0AD68" ],
[ "\033[2XIsExteriorPower\033[102X", "12.2-1", [ 12, 2, 1 ], 31, 65,
"isexteriorpower", "X79C5FE077B58DF82" ],
[ "\033[2XExteriorPowerExponent\033[102X", "12.2-2", [ 12, 2, 2 ], 38, 65,
"exteriorpowerexponent", "X87CF59278702A550" ],
[ "\033[2XExteriorPowerBaseModule\033[102X", "12.2-3", [ 12, 2, 3 ], 45,
66, "exteriorpowerbasemodule", "X8282D0D7800F63CC" ],
[ "\033[2XIsExteriorPowerElement\033[102X", "12.3-1", [ 12, 3, 1 ], 55, 66,
"isexteriorpowerelement", "X7FC4A5DC7B592D04" ],
[ "\033[2XWedge\033[102X for elements of exterior powers of free modules",
"12.4-1", [ 12, 4, 1 ], 65, 66,
"wedge for elements of exterior powers of free modules",
"X7C71C3C77F2E225D" ],
[ "\033[2XExteriorPowerElementDual\033[102X", "12.4-2", [ 12, 4, 2 ], 72,
66, "exteriorpowerelementdual", "X8236B4167E79F186" ],
[ "\033[2XSingleValueOfExteriorPowerElement\033[102X", "12.4-3",
[ 12, 4, 3 ], 80, 66, "singlevalueofexteriorpowerelement",
"X85EDBA2783A1E984" ],
[ "\033[2XKoszulCocomplex\033[102X", "12.5-1", [ 12, 5, 1 ], 91, 66,
"koszulcocomplex", "X7D84C7AC809B453F" ],
[ "\033[2XCayleyDeterminant\033[102X", "12.5-2", [ 12, 5, 2 ], 98, 67,
"cayleydeterminant", "X794C601787143D2D" ],
[ "\033[2XGcd_UsingCayleyDeterminant\033[102X", "12.5-3", [ 12, 5, 3 ],
105, 67, "gcd_usingcayleydeterminant", "X7C72190C8331FADD" ] ]
);
[ Verzeichnis aufwärts0.17unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
