rahmenlose Ansicht.six DruckansichtUnknown {[0] [0] [0]}Entwicklung
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "MatricesForHomalg",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 65, 2, "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;-2YWhat is the role of the \033[5XMatricesForHomalg\\
033[105X\033[101X\027\033[1X\027 package in the \033[5Xhomalg\033[105X\033[101\
X\027\033[1X\027 project?\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 4, 4,
"what is the role of the matricesforhomalg package in the homalg project\
?", "X878AE2517B963434" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XMatricesForHomalg\033[105X\033[101X\027\\
033[1X\027 provides ...\033[133X\033[101X", "1.1-1", [ 1, 1, 1 ], 7, 4,
"matricesforhomalg provides ...", "X81B1923E82145E72" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5Xhomalg\033[105X\033[101X\027\033[1X\027 de\
legates ...\033[133X\033[101X", "1.1-2", [ 1, 1, 2 ], 20, 4,
"homalg delegates ...", "X856DCAA4846FBB00" ],
[ "\033[1X\033[33X\033[0;-2YThe black box concept\033[133X\033[101X",
"1.1-3", [ 1, 1, 3 ], 78, 5, "the black box concept",
"X808E7BA97C5EA311" ],
[ "\033[1X\033[33X\033[0;-2YThis manual\033[133X\033[101X", "1.2",
[ 1, 2, 0 ], 104, 5, "this manual", "X78DD800B83ABC621" ],
[
"\033[1X\033[33X\033[0;-2YInstallation of the \033[5XMatricesForHomalg\033[\
105X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1,
6, "installation of the matricesforhomalg package", "X8609DF5282514B96"
],
[ "\033[1X\033[33X\033[0;-2YRings\033[133X\033[101X", "3", [ 3, 0, 0 ], 1,
7, "rings", "X81897F6082CACB59" ],
[
"\033[1X\033[33X\033[0;-2YRings: Category and Representations\033[133X\033[\
101X", "3.1", [ 3, 1, 0 ], 4, 7, "rings: category and representations",
"X8252B2F483D80E41" ],
[ "\033[1X\033[33X\033[0;-2YRings: Constructors\033[133X\033[101X", "3.2",
[ 3, 2, 0 ], 71, 8, "rings: constructors", "X7C7962B97E6CDFE2" ],
[ "\033[1X\033[33X\033[0;-2YRings: Properties\033[133X\033[101X", "3.3",
[ 3, 3, 0 ], 160, 9, "rings: properties", "X7D171A1C797E27C9" ],
[ "\033[1X\033[33X\033[0;-2YRings: Attributes\033[133X\033[101X", "3.4",
[ 3, 4, 0 ], 609, 17, "rings: attributes", "X867290E7847A5101" ],
[
"\033[1X\033[33X\033[0;-2YRings: Operations and Functions\033[133X\033[101X\
", "3.5", [ 3, 5, 0 ], 828, 21, "rings: operations and functions",
"X7DDAB86C7A7FEDA9" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps\033[133X\033[101X", "4", [ 4, 0, 0 ],
1, 22, "ring maps", "X7B222197819984A6" ],
[
"\033[1X\033[33X\033[0;-2YRing Maps: Category and Representations\033[133X\\
033[101X", "4.1", [ 4, 1, 0 ], 10, 22,
"ring maps: category and representations", "X7B99B8F5780E84C3" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps: Constructors\033[133X\033[101X",
"4.2", [ 4, 2, 0 ], 38, 22, "ring maps: constructors",
"X8717AEFB7BAC63F7" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps: Properties\033[133X\033[101X",
"4.3", [ 4, 3, 0 ], 54, 23, "ring maps: properties",
"X85DA972D8701BC7C" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps: Attributes\033[133X\033[101X",
"4.4", [ 4, 4, 0 ], 100, 24, "ring maps: attributes",
"X7EBF1DD67BD0758F" ],
[
"\033[1X\033[33X\033[0;-2YRing Maps: Operations and Functions\033[133X\033[\
101X", "4.5", [ 4, 5, 0 ], 132, 24, "ring maps: operations and functions",
"X7C7401BA7E2221CB" ],
[ "\033[1X\033[33X\033[0;-2YMatrices\033[133X\033[101X", "5", [ 5, 0, 0 ],
1, 25, "matrices", "X812CCAB278643A59" ],
[
"\033[1X\033[33X\033[0;-2YMatrices: Category and Representations\033[133X\\
033[101X", "5.1", [ 5, 1, 0 ], 4, 25, "matrices: category and representations"
, "X78C552687FF14479" ],
[ "\033[1X\033[33X\033[0;-2YMatrices: Constructors\033[133X\033[101X",
"5.2", [ 5, 2, 0 ], 29, 25, "matrices: constructors",
"X7977387186436CDF" ],
[ "\033[1X\033[33X\033[0;-2YMatrices: Properties\033[133X\033[101X", "5.3",
[ 5, 3, 0 ], 341, 31, "matrices: properties", "X7D92ECFC8030CF40" ],
[ "\033[1X\033[33X\033[0;-2YMatrices: Attributes\033[133X\033[101X", "5.4",
[ 5, 4, 0 ], 566, 34, "matrices: attributes", "X86F766077C89558F" ],
[
"\033[1X\033[33X\033[0;-2YMatrices: Operations and Functions\033[133X\033[1\
01X", "5.5", [ 5, 5, 0 ], 757, 38, "matrices: operations and functions",
"X80FA5AE87E8591BC" ],
[ "\033[1X\033[33X\033[0;-2YRing Relations\033[133X\033[101X", "6",
[ 6, 0, 0 ], 1, 54, "ring relations", "X8163F0658017F220" ],
[
"\033[1X\033[33X\033[0;-2YRing Relations: Categories and Representations\\
033[133X\033[101X", "6.1", [ 6, 1, 0 ], 4, 54,
"ring relations: categories and representations", "X7EB7C20C78788C69" ],
[ "\033[1X\033[33X\033[0;-2YRing Relations: Constructors\033[133X\033[101X",
"6.2", [ 6, 2, 0 ], 41, 55, "ring relations: constructors",
"X81D1405F81B86E4B" ],
[ "\033[1X\033[33X\033[0;-2YRing Relations: Properties\033[133X\033[101X",
"6.3", [ 6, 3, 0 ], 44, 55, "ring relations: properties",
"X7FFB5DE07BB77319" ],
[ "\033[1X\033[33X\033[0;-2YRing Relations: Attributes\033[133X\033[101X",
"6.4", [ 6, 4, 0 ], 63, 55, "ring relations: attributes",
"X849ED71B8164D1C2" ],
[
"\033[1X\033[33X\033[0;-2YRing Relations: Operations and Functions\033[133X\
\033[101X", "6.5", [ 6, 5, 0 ], 66, 55,
"ring relations: operations and functions", "X7ABFB8F982EBD7F8" ],
[ "\033[1X\033[33X\033[0;-2YThe Basic Matrix Operations\033[133X\033[101X",
"a", [ "A", 0, 0 ], 1, 56, "the basic matrix operations",
"X7CB422647C7DD289" ],
[ "\033[1X\033[33X\033[0;-2YMain\033[133X\033[101X", "a.1", [ "A", 1, 0 ],
7, 56, "main", "X810454AB85D336F5" ],
[ "\033[1X\033[33X\033[0;-2YEffective\033[133X\033[101X", "a.2",
[ "A", 2, 0 ], 22, 56, "effective", "X8435BB2E7A819478" ],
[ "\033[1X\033[33X\033[0;-2YRelative\033[133X\033[101X", "a.3",
[ "A", 3, 0 ], 33, 56, "relative", "X7B1023F47EAB7A97" ],
[ "\033[1X\033[33X\033[0;-2YReduced\033[133X\033[101X", "a.4",
[ "A", 4, 0 ], 40, 57, "reduced", "X7A0B865E7E70DB3D" ],
[ "\033[1X\033[33X\033[0;-2YThe Matrix Tool Operations\033[133X\033[101X",
"b", [ "B", 0, 0 ], 1, 58, "the matrix tool operations",
"X7B2993CB7B012115" ],
[
"\033[1X\033[33X\033[0;-2YThe Tool Operations \033[13Xwithout\033[113X\033[\
101X\027\033[1X\027 a Fallback Method\033[133X\033[101X", "b.1",
[ "B", 1, 0 ], 8, 58, "the tool operations without a fallback method",
"X7988F0AF7D87FD23" ],
[
"\033[1X\033[33X\033[0;-2YThe Tool Operations with a Fallback Method\033[13\
3X\033[101X", "b.2", [ "B", 2, 0 ], 383, 65,
"the tool operations with a fallback method", "X7912E42C81296637" ],
[ "\033[1X\033[33X\033[0;-2YLogic Subpackages\033[133X\033[101X", "c",
[ "C", 0, 0 ], 1, 75, "logic subpackages", "X8222352C78A19214" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XLIRNG\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Rings\033[133X\033[101X", "c.1", [ "C", 1, 0 ], 4, 75,
"lirng: logical implications for rings", "X86BB747287348853" ],
[
"\033[1X\033[33X\033[0;-2Y\033[5XLIMAP\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Ring Maps\033[133X\033[101X", "c.2", [ "C", 2, 0 ], 7,
75, "limap: logical implications for ring maps", "X7B2915F1867EE8D0" ],
[ "\033[1X\033[33X\033[0;-2Y\033[5XLIMAT\033[105X\033[101X\027\033[1X\027: L\
ogical Implications for Matrices\033[133X\033[101X", "c.3", [ "C", 3, 0 ],
10, 75, "limat: logical implications for matrices", "X799DA94B849ABF1E"
],
[
"\033[1X\033[33X\033[0;-2Y\033[5XCOLEM\033[105X\033[101X\027\033[1X\027: Cl\
ever Operations for Lazy Evaluated Matrices\033[133X\033[101X", "c.4",
[ "C", 4, 0 ], 13, 75,
"colem: clever operations for lazy evaluated matrices",
"X847B8AB5843231C2" ],
[
"\033[1X\033[33X\033[0;-2YThe subpackage \033[5XResidueClassRingForHomalg\\
033[105X\033[101X\027\033[1X\027 as a sample ring package\033[133X\033[101X",
"d", [ "D", 0, 0 ], 1, 98,
"the subpackage residueclassringforhomalg as a sample ring package",
"X7F3BA9AE7A0D245D" ],
[
"\033[1X\033[33X\033[0;-2YThe Mandatory Basic Operations\033[133X\033[101X"
, "d.1", [ "D", 1, 0 ], 4, 98, "the mandatory basic operations",
"X84978AF3878A8375" ],
[ "\033[1X\033[33X\033[0;-2YThe Mandatory Tool Operations\033[133X\033[101X"
, "d.2", [ "D", 2, 0 ], 335, 104, "the mandatory tool operations",
"X83E14F457ADC297D" ],
[
"\033[1X\033[33X\033[0;-2YSome of the Recommended Tool Operations\033[133X\\
033[101X", "d.3", [ "D", 3, 0 ], 743, 111,
"some of the recommended tool operations", "X7A537DB185A0F67C" ],
[
"\033[1X\033[33X\033[0;-2YDebugging \033[5XMatricesForHomalg\033[105X\033[1\
01X\027\033[1X\027\033[133X\033[101X", "e", [ "E", 0, 0 ], 1, 113,
"debugging matricesforhomalg", "X82D40F3183F4F259" ],
[ "\033[1X\033[33X\033[0;-2YIncrease the assertion level\033[133X\033[101X",
"e.1", [ "E", 1, 0 ], 8, 113, "increase the assertion level",
"X8062637283DD739D" ],
[
"\033[1X\033[33X\033[0;-2Y\033[10XUsing homalgMode\033[110X\033[101X\027\\
033[1X\027\033[133X\033[101X", "e.2", [ "E", 2, 0 ], 119, 115,
"using homalgmode", "X81D8EB2A7CE587C6" ],
[
"\033[1X\033[33X\033[0;-2YOverview of the \033[5XMatricesForHomalg\033[105X\
\033[101X\027\033[1X\027 Package Source Code\033[133X\033[101X", "f",
[ "F", 0, 0 ], 1, 117,
"overview of the matricesforhomalg package source code",
"X863882737DAD95A3" ],
[
"\033[1X\033[33X\033[0;-2YRings, Ring Maps, Matrices, Ring Relations\033[13\
3X\033[101X", "f.1", [ "F", 1, 0 ], 4, 117,
"rings ring maps matrices ring relations", "X87E0F36680867FA2" ],
[ "\033[1X\033[33X\033[0;-2YThe Low Level Algorithms\033[133X\033[101X",
"f.2", [ "F", 2, 0 ], 25, 117, "the low level algorithms",
"X7C4917CE80359953" ],
[
"\033[1X\033[33X\033[0;-2YLogical Implications for \033[5XMatricesForHomalg\
\033[105X\033[101X\027\033[1X\027 Objects\033[133X\033[101X", "f.3",
[ "F", 3, 0 ], 46, 118,
"logical implications for matricesforhomalg objects",
"X7B2BFFB8876C548C" ],
[
"\033[1X\033[33X\033[0;-2YThe subpackage \033[5XResidueClassRingForHomalg\\
033[105X\033[101X\027\033[1X\027\033[133X\033[101X", "f.4", [ "F", 4, 0 ],
63, 118, "the subpackage residueclassringforhomalg",
"X85A3964E7A98C065" ],
[
"\033[1X\033[33X\033[0;-2YThe homalgTable for \033[5XGAP4\033[105X\033[101X\
\027\033[1X\027 built-in rings\033[133X\033[101X", "f.5", [ "F", 5, 0 ], 83,
119, "the homalgtable for gap4 built-in rings", "X860DCFF383750919" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 120, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 120, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 121, "index", "X83A0356F839C696F" ],
[ "\033[5XMatricesForHomalg\033[105X", "0.0-1", [ 0, 0, 1 ], 65, 2,
"matricesforhomalg", "X8537FEB07AF2BEC8" ],
[ "\033[2XIsHomalgRing\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 7,
"ishomalgring", "X85E217C67DD633AB" ],
[ "\033[2XIsPreHomalgRing\033[102X", "3.1-2", [ 3, 1, 2 ], 24, 7,
"isprehomalgring", "X81DC249883163C01" ],
[ "\033[2XIsHomalgRingElement\033[102X", "3.1-3", [ 3, 1, 3 ], 42, 7,
"ishomalgringelement", "X80A410ED8500DA7E" ],
[ "\033[2XIsHomalgInternalRingRep\033[102X", "3.1-4", [ 3, 1, 4 ], 62, 8,
"ishomalginternalringrep", "X8097E89E7B6EF731" ],
[ "\033[2XHomalgRingOfIntegers\033[102X constructor for the integers",
"3.2-1", [ 3, 2, 1 ], 87, 8,
"homalgringofintegers constructor for the integers",
"X78AC74CB802A8A49" ],
[
"\033[2XHomalgRingOfIntegers\033[102X constructor for the residue class rin\
gs of the integers", "3.2-1", [ 3, 2, 1 ], 87, 8,
"homalgringofintegers constructor for the residue class rings of the int\
egers", "X78AC74CB802A8A49" ],
[ "\033[2X\\/\033[102X constructor for residue class rings", "3.2-2",
[ 3, 2, 2 ], 118, 9, "/ constructor for residue class rings",
"X85D9DDE384304BAB" ],
[ "\033[2XIsZero\033[102X for rings", "3.3-1", [ 3, 3, 1 ], 188, 10,
"iszero for rings", "X7C48437187E668F3" ],
[ "\033[2XIsNonZeroRing\033[102X for rings", "3.3-2", [ 3, 3, 2 ], 195, 10,
"isnonzeroring for rings", "X7F80A53387A0C23D" ],
[ "\033[2XContainsAField\033[102X", "3.3-3", [ 3, 3, 3 ], 203, 10,
"containsafield", "X84F3040687E68338" ],
[ "\033[2XIsRationalsForHomalg\033[102X", "3.3-4", [ 3, 3, 4 ], 210, 10,
"isrationalsforhomalg", "X7C337D0F8413FE38" ],
[ "\033[2XIsFieldForHomalg\033[102X", "3.3-5", [ 3, 3, 5 ], 217, 10,
"isfieldforhomalg", "X86221E0E8416F1CF" ],
[ "\033[2XIsDivisionRingForHomalg\033[102X", "3.3-6", [ 3, 3, 6 ], 224, 10,
"isdivisionringforhomalg", "X805112347CF99F02" ],
[ "\033[2XIsIntegersForHomalg\033[102X", "3.3-7", [ 3, 3, 7 ], 231, 10,
"isintegersforhomalg", "X799A9A9F7A26C6B2" ],
[ "\033[2XIsResidueClassRingOfTheIntegers\033[102X", "3.3-8", [ 3, 3, 8 ],
238, 11, "isresidueclassringoftheintegers", "X8548FE4E8283ACC6" ],
[ "\033[2XIsBezoutRing\033[102X", "3.3-9", [ 3, 3, 9 ], 245, 11,
"isbezoutring", "X7F9F59B5857F19A3" ],
[ "\033[2XIsIntegrallyClosedDomain\033[102X", "3.3-10", [ 3, 3, 10 ], 252,
11, "isintegrallycloseddomain", "X79D8752F78215FC1" ],
[ "\033[2XIsUniqueFactorizationDomain\033[102X", "3.3-11", [ 3, 3, 11 ],
259, 11, "isuniquefactorizationdomain", "X864BF29E7B5D3305" ],
[ "\033[2XIsKaplanskyHermite\033[102X", "3.3-12", [ 3, 3, 12 ], 266, 11,
"iskaplanskyhermite", "X86EF914787EB5572" ],
[ "\033[2XIsDedekindDomain\033[102X", "3.3-13", [ 3, 3, 13 ], 273, 11,
"isdedekinddomain", "X86C625EF7E417AA6" ],
[ "\033[2XIsDiscreteValuationRing\033[102X", "3.3-14", [ 3, 3, 14 ], 280,
11, "isdiscretevaluationring", "X855E560A7F40B2BF" ],
[ "\033[2XIsFreePolynomialRing\033[102X", "3.3-15", [ 3, 3, 15 ], 287, 11,
"isfreepolynomialring", "X80E0C8B28039B8F0" ],
[ "\033[2XIsWeylRing\033[102X", "3.3-16", [ 3, 3, 16 ], 294, 12,
"isweylring", "X850A0EAB7E017D5E" ],
[ "\033[2XIsLocalizedWeylRing\033[102X", "3.3-17", [ 3, 3, 17 ], 301, 12,
"islocalizedweylring", "X7EFB456286B4F9DB" ],
[ "\033[2XIsGlobalDimensionFinite\033[102X", "3.3-18", [ 3, 3, 18 ], 308,
12, "isglobaldimensionfinite", "X86558C9F8474DA39" ],
[ "\033[2XIsLeftGlobalDimensionFinite\033[102X", "3.3-19", [ 3, 3, 19 ],
315, 12, "isleftglobaldimensionfinite", "X7AE1C7297A66F116" ],
[ "\033[2XIsRightGlobalDimensionFinite\033[102X", "3.3-20", [ 3, 3, 20 ],
322, 12, "isrightglobaldimensionfinite", "X799A94467B8EC416" ],
[ "\033[2XHasInvariantBasisProperty\033[102X", "3.3-21", [ 3, 3, 21 ], 329,
12, "hasinvariantbasisproperty", "X81269E1881D45163" ],
[ "\033[2XIsLocal\033[102X", "3.3-22", [ 3, 3, 22 ], 336, 12, "islocal",
"X8758DFD57E83925D" ],
[ "\033[2XIsSemiLocalRing\033[102X", "3.3-23", [ 3, 3, 23 ], 343, 12,
"issemilocalring", "X7AAF0A3178E23B09" ],
[ "\033[2XIsIntegralDomain\033[102X", "3.3-24", [ 3, 3, 24 ], 350, 13,
"isintegraldomain", "X7EE2F1C187131E19" ],
[ "\033[2XIsHereditary\033[102X", "3.3-25", [ 3, 3, 25 ], 357, 13,
"ishereditary", "X7FEB8A337CC92955" ],
[ "\033[2XIsLeftHereditary\033[102X", "3.3-26", [ 3, 3, 26 ], 364, 13,
"islefthereditary", "X7D4AC0177C6D85A8" ],
[ "\033[2XIsRightHereditary\033[102X", "3.3-27", [ 3, 3, 27 ], 371, 13,
"isrighthereditary", "X7DE025D781FEBD04" ],
[ "\033[2XIsHermite\033[102X", "3.3-28", [ 3, 3, 28 ], 378, 13,
"ishermite", "X783ACC147A7F82AA" ],
[ "\033[2XIsLeftHermite\033[102X", "3.3-29", [ 3, 3, 29 ], 385, 13,
"islefthermite", "X7A33BCFE7B6C6817" ],
[ "\033[2XIsRightHermite\033[102X", "3.3-30", [ 3, 3, 30 ], 392, 13,
"isrighthermite", "X830989817DC97403" ],
[ "\033[2XIsNoetherian\033[102X", "3.3-31", [ 3, 3, 31 ], 399, 13,
"isnoetherian", "X7AA2911E802BE73D" ],
[ "\033[2XIsLeftNoetherian\033[102X", "3.3-32", [ 3, 3, 32 ], 406, 14,
"isleftnoetherian", "X7803DB3A7E6689B6" ],
[ "\033[2XIsRightNoetherian\033[102X", "3.3-33", [ 3, 3, 33 ], 413, 14,
"isrightnoetherian", "X78A93EFA7B677CED" ],
[ "\033[2XIsCohenMacaulay\033[102X", "3.3-34", [ 3, 3, 34 ], 420, 14,
"iscohenmacaulay", "X8373421F7E085763" ],
[ "\033[2XIsGorenstein\033[102X", "3.3-35", [ 3, 3, 35 ], 427, 14,
"isgorenstein", "X83CBA38E81DC4A72" ],
[ "\033[2XIsKoszul\033[102X", "3.3-36", [ 3, 3, 36 ], 434, 14, "iskoszul",
"X7E7AEFBE7801F196" ],
[ "\033[2XIsArtinian\033[102X for rings", "3.3-37", [ 3, 3, 37 ], 441, 14,
"isartinian for rings", "X7AF81F6383F5CFCA" ],
[ "\033[2XIsLeftArtinian\033[102X", "3.3-38", [ 3, 3, 38 ], 448, 14,
"isleftartinian", "X7E000F5780A17602" ],
[ "\033[2XIsRightArtinian\033[102X", "3.3-39", [ 3, 3, 39 ], 455, 14,
"isrightartinian", "X7C34A319827FFDDB" ],
[ "\033[2XIsOreDomain\033[102X", "3.3-40", [ 3, 3, 40 ], 462, 15,
"isoredomain", "X8290570679F86CE8" ],
[ "\033[2XIsLeftOreDomain\033[102X", "3.3-41", [ 3, 3, 41 ], 469, 15,
"isleftoredomain", "X8528CA397BC76826" ],
[ "\033[2XIsRightOreDomain\033[102X", "3.3-42", [ 3, 3, 42 ], 476, 15,
"isrightoredomain", "X7FC7E8317BF9B9CE" ],
[ "\033[2XIsPrincipalIdealRing\033[102X", "3.3-43", [ 3, 3, 43 ], 483, 15,
"isprincipalidealring", "X85F1485F840E2354" ],
[ "\033[2XIsLeftPrincipalIdealRing\033[102X", "3.3-44", [ 3, 3, 44 ], 490,
15, "isleftprincipalidealring", "X7BF4EFB67DCEBF6D" ],
[ "\033[2XIsRightPrincipalIdealRing\033[102X", "3.3-45", [ 3, 3, 45 ], 497,
15, "isrightprincipalidealring", "X83858198873F7760" ],
[ "\033[2XIsRegular\033[102X", "3.3-46", [ 3, 3, 46 ], 504, 15,
"isregular", "X7CF02C4785F0EAB5" ],
[ "\033[2XIsFiniteFreePresentationRing\033[102X", "3.3-47", [ 3, 3, 47 ],
511, 15, "isfinitefreepresentationring", "X7FB92D467B9B6707" ],
[ "\033[2XIsLeftFiniteFreePresentationRing\033[102X", "3.3-48",
[ 3, 3, 48 ], 518, 16, "isleftfinitefreepresentationring",
"X7B0EE3BF8402793B" ],
[ "\033[2XIsRightFiniteFreePresentationRing\033[102X", "3.3-49",
[ 3, 3, 49 ], 525, 16, "isrightfinitefreepresentationring",
"X839A82AC7D0D7BA1" ],
[ "\033[2XIsSimpleRing\033[102X", "3.3-50", [ 3, 3, 50 ], 532, 16,
"issimplering", "X8491CBBE862D4FFB" ],
[ "\033[2XIsSemiSimpleRing\033[102X", "3.3-51", [ 3, 3, 51 ], 539, 16,
"issemisimplering", "X847DEBCF872F5175" ],
[ "\033[2XIsSuperCommutative\033[102X", "3.3-52", [ 3, 3, 52 ], 546, 16,
"issupercommutative", "X842C9ABA807DB431" ],
[ "\033[2XBasisAlgorithmRespectsPrincipalIdeals\033[102X", "3.3-53",
[ 3, 3, 53 ], 553, 16, "basisalgorithmrespectsprincipalideals",
"X803259617B5F89AE" ],
[ "\033[2XAreUnitsCentral\033[102X", "3.3-54", [ 3, 3, 54 ], 560, 16,
"areunitscentral", "X781617F678CC0BA8" ],
[ "\033[2XIsMinusOne\033[102X", "3.3-55", [ 3, 3, 55 ], 567, 16,
"isminusone", "X85B6710082984863" ],
[ "\033[2XIsMonic\033[102X for homalg ring elements", "3.3-56",
[ 3, 3, 56 ], 574, 17, "ismonic for homalg ring elements",
"X7A0A3A927BE3F352" ],
[ "\033[2XIsMonicUptoUnit\033[102X for homalg ring elements", "3.3-57",
[ 3, 3, 57 ], 581, 17, "ismonicuptounit for homalg ring elements",
"X785EF83B8054D2FF" ],
[ "\033[2XIsLeftRegular\033[102X for homalg ring elements", "3.3-58",
[ 3, 3, 58 ], 588, 17, "isleftregular for homalg ring elements",
"X811A01D5803ADCA3" ],
[ "\033[2XIsRightRegular\033[102X for homalg ring elements", "3.3-59",
[ 3, 3, 59 ], 595, 17, "isrightregular for homalg ring elements",
"X7E99731F83A41777" ],
[ "\033[2XIsRegular\033[102X for homalg ring elements", "3.3-60",
[ 3, 3, 60 ], 602, 17, "isregular for homalg ring elements",
"X80A3294C834D8F21" ],
[ "\033[2XInverse\033[102X for homalg ring elements", "3.4-1", [ 3, 4, 1 ],
612, 17, "inverse for homalg ring elements", "X8066502785A109B8" ],
[ "\033[2XhomalgTable\033[102X", "3.4-2", [ 3, 4, 2 ], 633, 18,
"homalgtable", "X7AFD26D480AA9323" ],
[ "\033[2XRingElementConstructor\033[102X", "3.4-3", [ 3, 4, 3 ], 643, 18,
"ringelementconstructor", "X816D807781E8F854" ],
[ "\033[2XTypeOfHomalgMatrix\033[102X", "3.4-4", [ 3, 4, 4 ], 650, 18,
"typeofhomalgmatrix", "X7E5426C67AA9A6E5" ],
[ "\033[2XConstructorForHomalgMatrices\033[102X", "3.4-5", [ 3, 4, 5 ],
657, 18, "constructorforhomalgmatrices", "X80504BE983BD1A70" ],
[ "\033[2XZero\033[102X for homalg rings", "3.4-6", [ 3, 4, 6 ], 664, 18,
"zero for homalg rings", "X799B5F797F809EE5" ],
[ "\033[2XOne\033[102X for homalg rings", "3.4-7", [ 3, 4, 7 ], 671, 18,
"one for homalg rings", "X84701329860750C3" ],
[ "\033[2XMinusOne\033[102X", "3.4-8", [ 3, 4, 8 ], 678, 18, "minusone",
"X810D03AA827BD128" ],
[ "\033[2XProductOfIndeterminates\033[102X", "3.4-9", [ 3, 4, 9 ], 685, 18,
"productofindeterminates", "X7CC4312578DC42B6" ],
[ "\033[2XRationalParameters\033[102X", "3.4-10", [ 3, 4, 10 ], 692, 19,
"rationalparameters", "X7DF4F71C86835DCF" ],
[ "\033[2XIndeterminatesOfPolynomialRing\033[102X", "3.4-11", [ 3, 4, 11 ],
699, 19, "indeterminatesofpolynomialring", "X80D585E1793D4552" ],
[ "\033[2XRelativeIndeterminatesOfPolynomialRing\033[102X", "3.4-12",
[ 3, 4, 12 ], 706, 19, "relativeindeterminatesofpolynomialring",
"X84CE78E379A34C56" ],
[ "\033[2XIndeterminateCoordinatesOfRingOfDerivations\033[102X", "3.4-13",
[ 3, 4, 13 ], 713, 19, "indeterminatecoordinatesofringofderivations",
"X7F4A050A87C042E5" ],
[ "\033[2XRelativeIndeterminateCoordinatesOfRingOfDerivations\033[102X",
"3.4-14", [ 3, 4, 14 ], 720, 19,
"relativeindeterminatecoordinatesofringofderivations",
"X821FCC287E4FB92F" ],
[ "\033[2XIndeterminateDerivationsOfRingOfDerivations\033[102X", "3.4-15",
[ 3, 4, 15 ], 727, 19, "indeterminatederivationsofringofderivations",
"X78776EBA7DC179B4" ],
[ "\033[2XRelativeIndeterminateDerivationsOfRingOfDerivations\033[102X",
"3.4-16", [ 3, 4, 16 ], 734, 19,
"relativeindeterminatederivationsofringofderivations",
"X8522A7987C6483ED" ],
[ "\033[2XIndeterminateAntiCommutingVariablesOfExteriorRing\033[102X",
"3.4-17", [ 3, 4, 17 ], 741, 19,
"indeterminateanticommutingvariablesofexteriorring",
"X7C15E6647945C0E3" ],
[
"\033[2XRelativeIndeterminateAntiCommutingVariablesOfExteriorRing\033[102X"
, "3.4-18", [ 3, 4, 18 ], 748, 20,
"relativeindeterminateanticommutingvariablesofexteriorring",
"X7C63673A80911044" ],
[ "\033[2XIndeterminatesOfExteriorRing\033[102X", "3.4-19", [ 3, 4, 19 ],
756, 20, "indeterminatesofexteriorring", "X7BBEF7097B459D33" ],
[ "\033[2XCoefficientsRing\033[102X", "3.4-20", [ 3, 4, 20 ], 764, 20,
"coefficientsring", "X8235D10781BE8003" ],
[ "\033[2XKrullDimension\033[102X", "3.4-21", [ 3, 4, 21 ], 771, 20,
"krulldimension", "X789CF8B778A0C58D" ],
[ "\033[2XLeftGlobalDimension\033[102X", "3.4-22", [ 3, 4, 22 ], 778, 20,
"leftglobaldimension", "X8735C56B7BEBC86E" ],
[ "\033[2XRightGlobalDimension\033[102X", "3.4-23", [ 3, 4, 23 ], 785, 20,
"rightglobaldimension", "X7E6C5B5781EF78C5" ],
[ "\033[2XGlobalDimension\033[102X", "3.4-24", [ 3, 4, 24 ], 792, 20,
"globaldimension", "X7D511B3E7A50AB2A" ],
[ "\033[2XGeneralLinearRank\033[102X", "3.4-25", [ 3, 4, 25 ], 800, 20,
"generallinearrank", "X792D56C278E346B1" ],
[ "\033[2XElementaryRank\033[102X", "3.4-26", [ 3, 4, 26 ], 807, 21,
"elementaryrank", "X79BCB23D873268CB" ],
[ "\033[2XStableRank\033[102X", "3.4-27", [ 3, 4, 27 ], 814, 21,
"stablerank", "X822907CB7919EEF2" ],
[ "\033[2XAssociatedGradedRing\033[102X", "3.4-28", [ 3, 4, 28 ], 821, 21,
"associatedgradedring", "X826BE1E87EE023B2" ],
[ "\033[2XIsHomalgRingMap\033[102X", "4.1-1", [ 4, 1, 1 ], 13, 22,
"ishomalgringmap", "X7E084D947E3AEFE6" ],
[ "\033[2XIsHomalgRingSelfMap\033[102X", "4.1-2", [ 4, 1, 2 ], 20, 22,
"ishomalgringselfmap", "X87DB79AF83F17FB6" ],
[ "\033[2XIsHomalgRingMapRep\033[102X", "4.1-3", [ 4, 1, 3 ], 29, 22,
"ishomalgringmaprep", "X7DFD1CBA83E63737" ],
[ "\033[2XRingMap\033[102X constructor for ring maps", "4.2-1",
[ 4, 2, 1 ], 41, 22, "ringmap constructor for ring maps",
"X7F21AB318507FF83" ],
[ "\033[2XIsMorphism\033[102X for ring maps", "4.3-1", [ 4, 3, 1 ], 57, 23,
"ismorphism for ring maps", "X8555A4DF84C9165B" ],
[ "\033[2XIsIdentityMorphism\033[102X for ring maps", "4.3-2", [ 4, 3, 2 ],
65, 23, "isidentitymorphism for ring maps", "X832893897FD3744D" ],
[ "\033[2XIsMonomorphism\033[102X for ring maps", "4.3-3", [ 4, 3, 3 ], 72,
23, "ismonomorphism for ring maps", "X87F79EA381E3E34F" ],
[ "\033[2XIsEpimorphism\033[102X for ring maps", "4.3-4", [ 4, 3, 4 ], 79,
23, "isepimorphism for ring maps", "X849F620C824F4078" ],
[ "\033[2XIsIsomorphism\033[102X for ring maps", "4.3-5", [ 4, 3, 5 ], 86,
23, "isisomorphism for ring maps", "X82B9422D7B01BA4A" ],
[ "\033[2XIsAutomorphism\033[102X for ring maps", "4.3-6", [ 4, 3, 6 ], 93,
23, "isautomorphism for ring maps", "X790E34C5802D0F54" ],
[ "\033[2XSource\033[102X for ring maps", "4.4-1", [ 4, 4, 1 ], 103, 24,
"source for ring maps", "X83678DEC78394702" ],
[ "\033[2XRange\033[102X for ring maps", "4.4-2", [ 4, 4, 2 ], 110, 24,
"range for ring maps", "X7EBE68567900396A" ],
[ "\033[2XDegreeOfMorphism\033[102X for ring maps", "4.4-3", [ 4, 4, 3 ],
117, 24, "degreeofmorphism for ring maps", "X7C4F3F0F82C6EB88" ],
[ "\033[2XCoordinateRingOfGraph\033[102X for ring maps", "4.4-4",
[ 4, 4, 4 ], 125, 24, "coordinateringofgraph for ring maps",
"X785155EE844A98BD" ],
[ "\033[2XIsHomalgMatrix\033[102X", "5.1-1", [ 5, 1, 1 ], 7, 25,
"ishomalgmatrix", "X7B68E1057F5F011F" ],
[ "\033[2XIsHomalgInternalMatrixRep\033[102X", "5.1-2", [ 5, 1, 2 ], 20,
25, "ishomalginternalmatrixrep", "X7FE94FC47F460E35" ],
[
"\033[2XHomalgInitialMatrix\033[102X constructor for initial matrices fille\
d with zeros", "5.2-1", [ 5, 2, 1 ], 32, 25,
"homalginitialmatrix constructor for initial matrices filled with zeros"
, "X86D290B084AC6638" ],
[
"\033[2XHomalgInitialIdentityMatrix\033[102X constructor for initial quadra\
tic matrices with ones on the diagonal", "5.2-2", [ 5, 2, 2 ], 76, 26,
"homalginitialidentitymatrix constructor for initial quadratic matrices \
with ones on the diagonal", "X7CB77009868D369A" ],
[ "\033[2XHomalgZeroMatrix\033[102X constructor for zero matrices",
"5.2-3", [ 5, 2, 3 ], 121, 27,
"homalgzeromatrix constructor for zero matrices", "X8309EB7B86953A23" ],
[ "\033[2XHomalgIdentityMatrix\033[102X constructor for identity matrices",
"5.2-4", [ 5, 2, 4 ], 140, 27,
"homalgidentitymatrix constructor for identity matrices",
"X83266B9D7BE740D8" ],
[ "\033[2XHomalgVoidMatrix\033[102X constructor for void matrices",
"5.2-5", [ 5, 2, 5 ], 161, 27,
"homalgvoidmatrix constructor for void matrices", "X7D2E3472879E28AB" ],
[ "\033[2XHomalgMatrix\033[102X constructor for matrices using a listlist",
"5.2-6", [ 5, 2, 6 ], 168, 28,
"homalgmatrix constructor for matrices using a listlist",
"X864ACCB08094F0B7" ],
[
"\033[2XHomalgMatrix\033[102X constructor for matrices using a listlist wit\
h given dimensions", "5.2-6", [ 5, 2, 6 ], 168, 28,
"homalgmatrix constructor for matrices using a listlist with given dimen\
sions", "X864ACCB08094F0B7" ],
[ "\033[2XHomalgMatrix\033[102X constructor for matrices using a list",
"5.2-6", [ 5, 2, 6 ], 168, 28,
"homalgmatrix constructor for matrices using a list",
"X864ACCB08094F0B7" ],
[
"\033[2XHomalgMatrix\033[102X constructor for matrices using a string of a \
listlist", "5.2-6", [ 5, 2, 6 ], 168, 28,
"homalgmatrix constructor for matrices using a string of a listlist",
"X864ACCB08094F0B7" ],
[
"\033[2XHomalgMatrix\033[102X constructor for matrices using a string of a \
list", "5.2-6", [ 5, 2, 6 ], 168, 28,
"homalgmatrix constructor for matrices using a string of a list",
"X864ACCB08094F0B7" ],
[
"\033[2XHomalgMatrixListList\033[102X constructor for matrices using a list\
list with given dimensions", "5.2-7", [ 5, 2, 7 ], 248, 29,
"homalgmatrixlistlist constructor for matrices using a listlist with giv\
en dimensions", "X8246E1D17F96DAE7" ],
[
"\033[2XHomalgRowVector\033[102X constructor for matrices with a single row\
", "5.2-8", [ 5, 2, 8 ], 255, 29,
"homalgrowvector constructor for matrices with a single row",
"X7B127B5584CD012D" ],
[
"\033[2XHomalgColumnVector\033[102X constructor for matrices with a single \
column", "5.2-9", [ 5, 2, 9 ], 263, 29,
"homalgcolumnvector constructor for matrices with a single column",
"X871AF271843FF2B5" ],
[ "\033[2XHomalgDiagonalMatrix\033[102X constructor for diagonal matrices",
"5.2-10", [ 5, 2, 10 ], 271, 29,
"homalgdiagonalmatrix constructor for diagonal matrices",
"X872D39C678D0C4AE" ],
[ "\033[2X\\*\033[102X copy a matrix over a different ring", "5.2-11",
[ 5, 2, 11 ], 292, 30, "* copy a matrix over a different ring",
"X81225377833C4644" ],
[ "\033[2X\\*\033[102X copy a matrix over a different ring (right)",
"5.2-11", [ 5, 2, 11 ], 292, 30,
"* copy a matrix over a different ring right", "X81225377833C4644" ],
[ "\033[2XCoercedMatrix\033[102X copy a matrix over a different ring",
"5.2-12", [ 5, 2, 12 ], 330, 30,
"coercedmatrix copy a matrix over a different ring",
"X7C4E49D287011DCD" ],
[
"\033[2XCoercedMatrix\033[102X copy a matrix over a different ring (conveni\
ence)", "5.2-12", [ 5, 2, 12 ], 330, 30,
"coercedmatrix copy a matrix over a different ring convenience",
"X7C4E49D287011DCD" ],
[ "\033[2XIsZero\033[102X for matrices", "5.3-1", [ 5, 3, 1 ], 344, 31,
"iszero for matrices", "X858B5AF57D5BC90A" ],
[ "\033[2XIsOne\033[102X", "5.3-2", [ 5, 3, 2 ], 371, 31, "isone",
"X814D78347858EC13" ],
[ "\033[2XIsUnitFree\033[102X", "5.3-3", [ 5, 3, 3 ], 381, 31,
"isunitfree", "X7813653578F174AB" ],
[ "\033[2XIsPermutationMatrix\033[102X", "5.3-4", [ 5, 3, 4 ], 388, 31,
"ispermutationmatrix", "X8612CB4A82D6D79E" ],
[ "\033[2XIsSpecialSubidentityMatrix\033[102X", "5.3-5", [ 5, 3, 5 ], 395,
31, "isspecialsubidentitymatrix", "X7EEE3E9780EBA607" ],
[ "\033[2XIsSubidentityMatrix\033[102X", "5.3-6", [ 5, 3, 6 ], 402, 32,
"issubidentitymatrix", "X8672364D79EBCC5D" ],
[ "\033[2XIsLeftRegular\033[102X", "5.3-7", [ 5, 3, 7 ], 409, 32,
"isleftregular", "X7EF95CAD78BDE12F" ],
[ "\033[2XIsRightRegular\033[102X", "5.3-8", [ 5, 3, 8 ], 416, 32,
"isrightregular", "X87C369D27D6AAF68" ],
[ "\033[2XIsInvertibleMatrix\033[102X", "5.3-9", [ 5, 3, 9 ], 423, 32,
"isinvertiblematrix", "X856E1D217A47EE8C" ],
[ "\033[2XIsLeftInvertibleMatrix\033[102X", "5.3-10", [ 5, 3, 10 ], 430,
32, "isleftinvertiblematrix", "X7A4FA27C80BC42D1" ],
[ "\033[2XIsRightInvertibleMatrix\033[102X", "5.3-11", [ 5, 3, 11 ], 437,
32, "isrightinvertiblematrix", "X7E43FDE57E8449B6" ],
[ "\033[2XIsEmptyMatrix\033[102X", "5.3-12", [ 5, 3, 12 ], 444, 32,
"isemptymatrix", "X7BFC9266823F2C15" ],
[ "\033[2XIsDiagonalMatrix\033[102X", "5.3-13", [ 5, 3, 13 ], 451, 32,
"isdiagonalmatrix", "X7EEC8E768178696E" ],
[ "\033[2XIsScalarMatrix\033[102X", "5.3-14", [ 5, 3, 14 ], 461, 33,
"isscalarmatrix", "X7848E6A0783B7428" ],
[ "\033[2XIsUpperTriangularMatrix\033[102X", "5.3-15", [ 5, 3, 15 ], 468,
33, "isuppertriangularmatrix", "X8740E71C799C0BCC" ],
[ "\033[2XIsLowerTriangularMatrix\033[102X", "5.3-16", [ 5, 3, 16 ], 475,
33, "islowertriangularmatrix", "X853A5B988306DBFE" ],
[ "\033[2XIsStrictUpperTriangularMatrix\033[102X", "5.3-17", [ 5, 3, 17 ],
482, 33, "isstrictuppertriangularmatrix", "X7976C42B7FA905EC" ],
[ "\033[2XIsStrictLowerTriangularMatrix\033[102X", "5.3-18", [ 5, 3, 18 ],
489, 33, "isstrictlowertriangularmatrix", "X7B0C78AF8056D650" ],
[ "\033[2XIsUpperStairCaseMatrix\033[102X", "5.3-19", [ 5, 3, 19 ], 496,
33, "isupperstaircasematrix", "X81A2C3F67C99A3C2" ],
[ "\033[2XIsLowerStairCaseMatrix\033[102X", "5.3-20", [ 5, 3, 20 ], 503,
33, "islowerstaircasematrix", "X7B3A5DE1860373F0" ],
[ "\033[2XIsTriangularMatrix\033[102X", "5.3-21", [ 5, 3, 21 ], 510, 33,
"istriangularmatrix", "X7BAAE75A8660D7A5" ],
[ "\033[2XIsBasisOfRowsMatrix\033[102X", "5.3-22", [ 5, 3, 22 ], 517, 34,
"isbasisofrowsmatrix", "X7F520F89821A8602" ],
[ "\033[2XIsBasisOfColumnsMatrix\033[102X", "5.3-23", [ 5, 3, 23 ], 524,
34, "isbasisofcolumnsmatrix", "X7D46613983DC5302" ],
[ "\033[2XIsReducedBasisOfRowsMatrix\033[102X", "5.3-24", [ 5, 3, 24 ],
531, 34, "isreducedbasisofrowsmatrix", "X86445AD281024339" ],
[ "\033[2XIsReducedBasisOfColumnsMatrix\033[102X", "5.3-25", [ 5, 3, 25 ],
538, 34, "isreducedbasisofcolumnsmatrix", "X7E6BB540865C0344" ],
[ "\033[2XIsInitialMatrix\033[102X", "5.3-26", [ 5, 3, 26 ], 545, 34,
"isinitialmatrix", "X7E6E51517822CB3F" ],
[ "\033[2XIsInitialIdentityMatrix\033[102X", "5.3-27", [ 5, 3, 27 ], 552,
34, "isinitialidentitymatrix", "X7EE624707ACEC26E" ],
[ "\033[2XIsVoidMatrix\033[102X", "5.3-28", [ 5, 3, 28 ], 559, 34,
"isvoidmatrix", "X802794217F56DE51" ],
[ "\033[2XNumberRows\033[102X", "5.4-1", [ 5, 4, 1 ], 569, 34,
"numberrows", "X7C72971F7D0CA3C8" ],
[ "\033[2XNumberColumns\033[102X", "5.4-2", [ 5, 4, 2 ], 578, 35,
"numbercolumns", "X847D45BF7F2BC67C" ],
[ "\033[2XDeterminantMat\033[102X", "5.4-3", [ 5, 4, 3 ], 587, 35,
"determinantmat", "X83045F6F82C180E1" ],
[ "\033[2XZeroRows\033[102X", "5.4-4", [ 5, 4, 4 ], 598, 35, "zerorows",
"X828225E0857B1FDA" ],
[ "\033[2XZeroColumns\033[102X", "5.4-5", [ 5, 4, 5 ], 607, 35,
"zerocolumns", "X870D761F7AB96D12" ],
[ "\033[2XNonZeroRows\033[102X", "5.4-6", [ 5, 4, 6 ], 616, 35,
"nonzerorows", "X7991ED337C73065A" ],
[ "\033[2XNonZeroColumns\033[102X", "5.4-7", [ 5, 4, 7 ], 623, 35,
"nonzerocolumns", "X7F335DCB7B8781E4" ],
[ "\033[2XPositionOfFirstNonZeroEntryPerRow\033[102X", "5.4-8",
[ 5, 4, 8 ], 630, 35, "positionoffirstnonzeroentryperrow",
"X7B7A073D7E1FAEA4" ],
[ "\033[2XPositionOfFirstNonZeroEntryPerColumn\033[102X", "5.4-9",
[ 5, 4, 9 ], 638, 36, "positionoffirstnonzeroentrypercolumn",
"X83B389A97A703E42" ],
[ "\033[2XRowRankOfMatrix\033[102X", "5.4-10", [ 5, 4, 10 ], 646, 36,
"rowrankofmatrix", "X862841E68674FA2A" ],
[ "\033[2XColumnRankOfMatrix\033[102X", "5.4-11", [ 5, 4, 11 ], 653, 36,
"columnrankofmatrix", "X7C61862E81CABD51" ],
[ "\033[2XLeftInverse\033[102X", "5.4-12", [ 5, 4, 12 ], 660, 36,
"leftinverse", "X7EFCE38281AE60F9" ],
[ "\033[2XRightInverse\033[102X", "5.4-13", [ 5, 4, 13 ], 670, 36,
"rightinverse", "X87614CA48493B63F" ],
[ "\033[2XCoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries\033[102X",
"5.4-14", [ 5, 4, 14 ], 680, 36,
"coefficientsofunreducednumeratorofhilbertpoincareseries",
"X7809E0507E882674" ],
[ "\033[2XCoefficientsOfNumeratorOfHilbertPoincareSeries\033[102X",
"5.4-15", [ 5, 4, 15 ], 687, 36,
"coefficientsofnumeratorofhilbertpoincareseries", "X7938E13A7EF4ADB1" ],
[ "\033[2XUnreducedNumeratorOfHilbertPoincareSeries\033[102X", "5.4-16",
[ 5, 4, 16 ], 694, 37, "unreducednumeratorofhilbertpoincareseries",
"X781E2CDB8743B1C6" ],
[ "\033[2XNumeratorOfHilbertPoincareSeries\033[102X", "5.4-17",
[ 5, 4, 17 ], 701, 37, "numeratorofhilbertpoincareseries",
"X7C44039382DD5D91" ],
[ "\033[2XHilbertPoincareSeries\033[102X", "5.4-18", [ 5, 4, 18 ], 708, 37,
"hilbertpoincareseries", "X7B93B7D082A50E61" ],
[ "\033[2XHilbertPolynomial\033[102X", "5.4-19", [ 5, 4, 19 ], 715, 37,
"hilbertpolynomial", "X84299BAB807A1E13" ],
[ "\033[2XAffineDimension\033[102X", "5.4-20", [ 5, 4, 20 ], 722, 37,
"affinedimension", "X7BC36CC67CB09858" ],
[ "\033[2XAffineDegree\033[102X", "5.4-21", [ 5, 4, 21 ], 729, 37,
"affinedegree", "X87C428A079000336" ],
[ "\033[2XProjectiveDegree\033[102X", "5.4-22", [ 5, 4, 22 ], 736, 37,
"projectivedegree", "X82A1B55879AB1742" ],
[ "\033[2XConstantTermOfHilbertPolynomialn\033[102X", "5.4-23",
[ 5, 4, 23 ], 743, 37, "constanttermofhilbertpolynomialn",
"X791B772A7E368A88" ],
[ "\033[2XMatrixOfSymbols\033[102X", "5.4-24", [ 5, 4, 24 ], 750, 38,
"matrixofsymbols", "X835972A77F02C5BB" ],
[ "\033[2XHomalgRing\033[102X for matrices", "5.5-1", [ 5, 5, 1 ], 760, 38,
"homalgring for matrices", "X81BBF79C79C3B6DF" ],
[ "\033[2XLeftInverse\033[102X for matrices", "5.5-2", [ 5, 5, 2 ], 778,
38, "leftinverse for matrices", "X7FBAA11B8008D936" ],
[ "\033[2XRightInverse\033[102X for matrices", "5.5-3", [ 5, 5, 3 ], 829,
39, "rightinverse for matrices", "X7AAD17D47839BCAE" ],
[ "\033[2XLeftInverseLazy\033[102X for matrices", "5.5-4", [ 5, 5, 4 ],
880, 40, "leftinverselazy for matrices", "X7A7E42C179142727" ],
[ "\033[2XRightInverseLazy\033[102X for matrices", "5.5-5", [ 5, 5, 5 ],
890, 40, "rightinverselazy for matrices", "X7FA3E7617EED7E1E" ],
[ "\033[2XInvolution\033[102X for matrices", "5.5-6", [ 5, 5, 6 ], 900, 40,
"involution for matrices", "X800FA81F7C42BFEA" ],
[ "\033[2XTransposedMatrix\033[102X for matrices", "5.5-7", [ 5, 5, 7 ],
910, 40, "transposedmatrix for matrices", "X7D0D35B582D9C0B0" ],
[ "\033[2XCertainRows\033[102X for matrices", "5.5-8", [ 5, 5, 8 ], 919,
41, "certainrows for matrices", "X7CF5CE79796001F6" ],
[ "\033[2XCertainColumns\033[102X for matrices", "5.5-9", [ 5, 5, 9 ], 929,
41, "certaincolumns for matrices", "X8256AF2A840B19C4" ],
[
"\033[2XUnionOfRows\033[102X for a homalg ring, an integer and a list of ho\
malg matrices", "5.5-10", [ 5, 5, 10 ], 939, 41,
"unionofrows for a homalg ring an integer and a list of homalg matrices"
, "X7D6D0BDF854C9EBC" ],
[
"\033[2XUnionOfColumns\033[102X for a homalg ring, an integer and a list of\
homalg matrices", "5.5-11", [ 5, 5, 11 ], 950, 41,
"unionofcolumns for a homalg ring an integer and a list of homalg matric\
es", "X7FF9661D85EC46B1" ],
[ "\033[2XConvertRowToMatrix\033[102X for matrices", "5.5-12",
[ 5, 5, 12 ], 961, 41, "convertrowtomatrix for matrices",
"X7E61390E79B663E8" ],
[ "\033[2XConvertColumnToMatrix\033[102X for matrices", "5.5-13",
[ 5, 5, 13 ], 968, 41, "convertcolumntomatrix for matrices",
"X853EA6C87EDDF6EF" ],
[ "\033[2XConvertMatrixToRow\033[102X for matrices", "5.5-14",
[ 5, 5, 14 ], 975, 41, "convertmatrixtorow for matrices",
"X7ED5C86379A647F2" ],
[ "\033[2XConvertMatrixToColumn\033[102X for matrices", "5.5-15",
[ 5, 5, 15 ], 982, 42, "convertmatrixtocolumn for matrices",
"X84C7C1D07DB6FBAA" ],
[ "\033[2XDiagMat\033[102X for a homalg ring and a list of homalg matrices",
"5.5-16", [ 5, 5, 16 ], 989, 42,
"diagmat for a homalg ring and a list of homalg matrices",
"X7C7830BE847D84B4" ],
[ "\033[2XKroneckerMat\033[102X for matrices", "5.5-17", [ 5, 5, 17 ], 999,
42, "kroneckermat for matrices", "X7CDA5D848468A0AA" ],
[ "\033[2XDualKroneckerMat\033[102X for matrices", "5.5-18", [ 5, 5, 18 ],
1008, 42, "dualkroneckermat for matrices", "X7ECF744B7DE82BED" ],
[ "\033[2X\\*\033[102X for ring elements and matrices", "5.5-19",
[ 5, 5, 19 ], 1017, 42, "* for ring elements and matrices",
"X7D1A074278B415BE" ],
[ "\033[2X\\+\033[102X for matrices", "5.5-20", [ 5, 5, 20 ], 1026, 42,
"+ for matrices", "X87C773DA85B21ADF" ],
[ "\033[2X\\-\033[102X for matrices", "5.5-21", [ 5, 5, 21 ], 1035, 42,
"- for matrices", "X784B57617B24208C" ],
[ "\033[2X\\*\033[102X for composable matrices", "5.5-22", [ 5, 5, 22 ],
1044, 43, "* for composable matrices", "X7F5961D78754157B" ],
[ "\033[2X\\=\033[102X for matrices", "5.5-23", [ 5, 5, 23 ], 1053, 43,
"= for matrices", "X7E2074A77AFF518A" ],
[ "\033[2XGetColumnIndependentUnitPositions\033[102X for matrices",
"5.5-24", [ 5, 5, 24 ], 1088, 43,
"getcolumnindependentunitpositions for matrices", "X85887BBB86F0A08B" ],
[ "\033[2XGetRowIndependentUnitPositions\033[102X for matrices", "5.5-25",
[ 5, 5, 25 ], 1103, 44, "getrowindependentunitpositions for matrices",
"X824AB44184DD63B0" ],
[ "\033[2XGetUnitPosition\033[102X for matrices", "5.5-26", [ 5, 5, 26 ],
1119, 44, "getunitposition for matrices", "X7A1969A17979FC49" ],
[ "\033[2XEliminate\033[102X", "5.5-27", [ 5, 5, 27 ], 1131, 44,
"eliminate", "X781B1C0C80529B09" ],
[ "\033[2XBasisOfRowModule\033[102X for matrices", "5.5-28", [ 5, 5, 28 ],
1142, 44, "basisofrowmodule for matrices", "X80ADBE0D82CC6E85" ],
[ "\033[2XBasisOfColumnModule\033[102X for matrices", "5.5-29",
[ 5, 5, 29 ], 1157, 44, "basisofcolumnmodule for matrices",
"X868CDA327D6C8DDC" ],
[ "\033[2XDecideZeroRows\033[102X for pairs of matrices", "5.5-30",
[ 5, 5, 30 ], 1172, 45, "decidezerorows for pairs of matrices",
"X7F851EC7861170D1" ],
[ "\033[2XDecideZeroColumns\033[102X for pairs of matrices", "5.5-31",
[ 5, 5, 31 ], 1186, 45, "decidezerocolumns for pairs of matrices",
"X86C97DBB787BAD6D" ],
[ "\033[2XSyzygiesGeneratorsOfRows\033[102X for matrices", "5.5-32",
[ 5, 5, 32 ], 1201, 45, "syzygiesgeneratorsofrows for matrices",
"X86ECEA9B7A4AE578" ],
[ "\033[2XSyzygiesGeneratorsOfColumns\033[102X for matrices", "5.5-33",
[ 5, 5, 33 ], 1211, 45, "syzygiesgeneratorsofcolumns for matrices",
"X86504B757F6DC990" ],
[ "\033[2XSyzygiesGeneratorsOfRows\033[102X for pairs of matrices",
"5.5-34", [ 5, 5, 34 ], 1222, 46,
"syzygiesgeneratorsofrows for pairs of matrices", "X84A93458804F16F6" ],
[ "\033[2XSyzygiesGeneratorsOfColumns\033[102X for pairs of matrices",
"5.5-35", [ 5, 5, 35 ], 1233, 46,
"syzygiesgeneratorsofcolumns for pairs of matrices",
"X7D3FC0CE7B63AAF1" ],
[ "\033[2XReducedBasisOfRowModule\033[102X for matrices", "5.5-36",
[ 5, 5, 36 ], 1245, 46, "reducedbasisofrowmodule for matrices",
"X82E0FF517DC38040" ],
[ "\033[2XReducedBasisOfColumnModule\033[102X for matrices", "5.5-37",
[ 5, 5, 37 ], 1256, 46, "reducedbasisofcolumnmodule for matrices",
"X84CED11F7A633BDA" ],
[ "\033[2XReducedSyzygiesGeneratorsOfRows\033[102X for matrices", "5.5-38",
[ 5, 5, 38 ], 1267, 46, "reducedsyzygiesgeneratorsofrows for matrices",
"X7DE458D67B9B85BF" ],
[ "\033[2XReducedSyzygiesGeneratorsOfColumns\033[102X for matrices",
"5.5-39", [ 5, 5, 39 ], 1279, 47,
"reducedsyzygiesgeneratorsofcolumns for matrices", "X8699114D7A865C11" ]
,
[ "\033[2XBasisOfRowsCoeff\033[102X for matrices", "5.5-40", [ 5, 5, 40 ],
1291, 47, "basisofrowscoeff for matrices", "X7D9DEC6081AF0003" ],
[ "\033[2XBasisOfColumnsCoeff\033[102X for matrices", "5.5-41",
[ 5, 5, 41 ], 1299, 47, "basisofcolumnscoeff for matrices",
"X7BBC885F7C24DEC2" ],
[ "\033[2XDecideZeroRowsEffectively\033[102X for pairs of matrices",
"5.5-42", [ 5, 5, 42 ], 1307, 47,
"decidezerorowseffectively for pairs of matrices", "X8513963C84A9F8CB" ]
, [ "\033[2XDecideZeroColumnsEffectively\033[102X for pairs of matrices",
"5.5-43", [ 5, 5, 43 ], 1315, 47,
"decidezerocolumnseffectively for pairs of matrices",
"X7A06BF7779830815" ],
[ "\033[2XBasisOfRows\033[102X for matrices", "5.5-44", [ 5, 5, 44 ], 1323,
47, "basisofrows for matrices", "X81ABDA3E7D94C661" ],
[ "\033[2XBasisOfRows\033[102X for pairs of matrices", "5.5-44",
[ 5, 5, 44 ], 1323, 47, "basisofrows for pairs of matrices",
"X81ABDA3E7D94C661" ],
[ "\033[2XBasisOfColumns\033[102X for matrices", "5.5-45", [ 5, 5, 45 ],
1332, 48, "basisofcolumns for matrices", "X83A5B51980FFDE53" ],
[ "\033[2XBasisOfColumns\033[102X for pairs of matrices", "5.5-45",
[ 5, 5, 45 ], 1332, 48, "basisofcolumns for pairs of matrices",
"X83A5B51980FFDE53" ],
[ "\033[2XDecideZero\033[102X for matrices and relations", "5.5-46",
[ 5, 5, 46 ], 1341, 48, "decidezero for matrices and relations",
"X85C980288304B4AC" ],
[ "\033[2XSyzygiesOfRows\033[102X for matrices", "5.5-47", [ 5, 5, 47 ],
1358, 48, "syzygiesofrows for matrices", "X86C93ABD857447F8" ],
[ "\033[2XSyzygiesOfRows\033[102X for pairs of matrices", "5.5-47",
[ 5, 5, 47 ], 1358, 48, "syzygiesofrows for pairs of matrices",
"X86C93ABD857447F8" ],
[ "\033[2XSyzygiesOfColumns\033[102X for matrices", "5.5-48", [ 5, 5, 48 ],
1367, 48, "syzygiesofcolumns for matrices", "X80325CAD7CE56F4F" ],
[ "\033[2XSyzygiesOfColumns\033[102X for pairs of matrices", "5.5-48",
[ 5, 5, 48 ], 1367, 48, "syzygiesofcolumns for pairs of matrices",
"X80325CAD7CE56F4F" ],
[ "\033[2XReducedSyzygiesOfRows\033[102X for matrices", "5.5-49",
[ 5, 5, 49 ], 1376, 48, "reducedsyzygiesofrows for matrices",
"X86A798D4850BF9E8" ],
[ "\033[2XReducedSyzygiesOfRows\033[102X for pairs of matrices", "5.5-49",
[ 5, 5, 49 ], 1376, 48, "reducedsyzygiesofrows for pairs of matrices",
"X86A798D4850BF9E8" ],
[ "\033[2XReducedSyzygiesOfColumns\033[102X for matrices", "5.5-50",
[ 5, 5, 50 ], 1387, 49, "reducedsyzygiesofcolumns for matrices",
"X8766BBD578557D15" ],
[ "\033[2XReducedSyzygiesOfColumns\033[102X for pairs of matrices",
"5.5-50", [ 5, 5, 50 ], 1387, 49,
"reducedsyzygiesofcolumns for pairs of matrices", "X8766BBD578557D15" ],
[ "\033[2XRightDivide\033[102X for pairs of matrices", "5.5-51",
[ 5, 5, 51 ], 1398, 49, "rightdivide for pairs of matrices",
"X850AEC9C7C00AFF5" ],
[ "\033[2XLeftDivide\033[102X for pairs of matrices", "5.5-52",
[ 5, 5, 52 ], 1410, 49, "leftdivide for pairs of matrices",
"X7D0EAF527F8514E0" ],
[ "\033[2XRightDivide\033[102X for triples of matrices", "5.5-53",
[ 5, 5, 53 ], 1422, 49, "rightdivide for triples of matrices",
"X7A8546EA87E3AE67" ],
[ "\033[2XLeftDivide\033[102X for triples of matrices", "5.5-54",
[ 5, 5, 54 ], 1473, 50, "leftdivide for triples of matrices",
"X86CEB1FC7C358777" ],
[ "\033[2XSafeRightDivide\033[102X for pairs of matrices", "5.5-55",
[ 5, 5, 55 ], 1524, 51, "saferightdivide for pairs of matrices",
"X86DFDD25824E2F35" ],
[ "\033[2XSafeLeftDivide\033[102X for pairs of matrices", "5.5-56",
[ 5, 5, 56 ], 1531, 51, "safeleftdivide for pairs of matrices",
"X85B64BD47F0379C5" ],
[ "\033[2XUniqueRightDivide\033[102X for pairs of matrices", "5.5-57",
[ 5, 5, 57 ], 1538, 51, "uniquerightdivide for pairs of matrices",
"X7F6BAF8E7F2343EA" ],
[ "\033[2XUniqueLeftDivide\033[102X for pairs of matrices", "5.5-58",
[ 5, 5, 58 ], 1546, 51, "uniqueleftdivide for pairs of matrices",
"X8788CB987A8A18A7" ],
[ "\033[2XGenerateSameRowModule\033[102X for pairs of matrices", "5.5-59",
[ 5, 5, 59 ], 1554, 52, "generatesamerowmodule for pairs of matrices",
"X82B2C4987D6D5BD3" ],
[ "\033[2XGenerateSameColumnModule\033[102X for pairs of matrices",
"5.5-60", [ 5, 5, 60 ], 1562, 52,
"generatesamecolumnmodule for pairs of matrices", "X867A947682754A9A" ],
[ "\033[2XSimplifyHomalgMatrixByLeftAndRightMultiplicationWithInvertibleMatr\
ices\033[102X for matrices", "5.5-61", [ 5, 5, 61 ], 1570, 52,
"simplifyhomalgmatrixbyleftandrightmultiplicationwithinvertiblematrices \
for matrices", "X81CDBBBE878DC1E5" ],
[
"\033[2XSimplifyHomalgMatrixByLeftMultiplicationWithInvertibleMatrix\033[10\
2X for matrices", "5.5-62", [ 5, 5, 62 ], 1580, 52,
"simplifyhomalgmatrixbyleftmultiplicationwithinvertiblematrix for matric\
es", "X85DA10C07E7E5A3D" ],
[
"\033[2XSimplifyHomalgMatrixByRightMultiplicationWithInvertibleMatrix\033[1\
02X for matrices", "5.5-63", [ 5, 5, 63 ], 1589, 52,
"simplifyhomalgmatrixbyrightmultiplicationwithinvertiblematrix for matri\
ces", "X79C124318588F37F" ],
[ "\033[2XCoefficientsWithGivenMonomials\033[102X for two homalg matrices",
"5.5-64", [ 5, 5, 64 ], 1598, 52,
"coefficientswithgivenmonomials for two homalg matrices",
"X7EEFD7887E96714F" ],
[ "\033[2XIsHomalgRingRelations\033[102X", "6.1-1", [ 6, 1, 1 ], 7, 54,
"ishomalgringrelations", "X7D50E3AD82087AE6" ],
[ "\033[2XIsHomalgRingRelationsAsGeneratorsOfLeftIdeal\033[102X", "6.1-2",
[ 6, 1, 2 ], 14, 54, "ishomalgringrelationsasgeneratorsofleftideal",
"X7DECADD683403C65" ],
[ "\033[2XIsHomalgRingRelationsAsGeneratorsOfRightIdeal\033[102X", "6.1-3",
[ 6, 1, 3 ], 23, 54, "ishomalgringrelationsasgeneratorsofrightideal",
"X78746A217FEEB058" ],
[ "\033[2XIsRingRelationsRep\033[102X", "6.1-4", [ 6, 1, 4 ], 32, 54,
"isringrelationsrep", "X86CA83A081B8C8EA" ],
[ "\033[2XCanBeUsedToDecideZero\033[102X", "6.3-1", [ 6, 3, 1 ], 47, 55,
"canbeusedtodecidezero", "X835DF250790EF863" ],
[ "\033[2XIsInjectivePresentation\033[102X", "6.3-2", [ 6, 3, 2 ], 56, 55,
"isinjectivepresentation", "X7B9398827AEEA2E6" ],
[ "\033[2XInitialMatrix\033[102X homalgTable entry for initial matrices",
"b.1-1", [ "B", 1, 1 ], 15, 58,
"initialmatrix homalgtable entry for initial matrices",
"X7DBA33F083A317B5" ],
[
"\033[2XInitialIdentityMatrix\033[102X homalgTable entry for initial identi\
ty matrices", "b.1-2", [ "B", 1, 2 ], 24, 58,
"initialidentitymatrix homalgtable entry for initial identity matrices",
"X84179BE87E7DCE76" ],
[ "\033[2XZeroMatrix\033[102X homalgTable entry", "b.1-3", [ "B", 1, 3 ],
34, 58, "zeromatrix homalgtable entry", "X785390E38396CAEB" ],
[ "\033[2XIdentityMatrix\033[102X homalgTable entry", "b.1-4",
[ "B", 1, 4 ], 43, 59, "identitymatrix homalgtable entry",
"X87BFF3567DEEBEF4" ],
[ "\033[2XInvolution\033[102X homalgTable entry", "b.1-5", [ "B", 1, 5 ],
52, 59, "involution homalgtable entry", "X85884C3178473521" ],
[ "\033[2XTransposedMatrix\033[102X homalgTable entry", "b.1-6",
[ "B", 1, 6 ], 62, 59, "transposedmatrix homalgtable entry",
"X7AD2EEE680DF472B" ],
[ "\033[2XCertainRows\033[102X homalgTable entry", "b.1-7", [ "B", 1, 7 ],
72, 59, "certainrows homalgtable entry", "X7B6FC3267CD9EE9D" ],
[ "\033[2XCertainColumns\033[102X homalgTable entry", "b.1-8",
[ "B", 1, 8 ], 82, 59, "certaincolumns homalgtable entry",
"X78EADFC67D17CF04" ],
[ "\033[2XUnionOfRows\033[102X homalgTable entry", "b.1-9", [ "B", 1, 9 ],
92, 59, "unionofrows homalgtable entry", "X7DEB535782A3323E" ],
[ "\033[2XUnionOfRowsPair\033[102X homalgTable entry", "b.1-10",
[ "B", 1, 10 ], 102, 60, "unionofrowspair homalgtable entry",
"X86C345CE82AAB220" ],
[ "\033[2XUnionOfColumns\033[102X homalgTable entry", "b.1-11",
[ "B", 1, 11 ], 113, 60, "unionofcolumns homalgtable entry",
"X7DF5DB55836D13A7" ],
[ "\033[2XUnionOfColumnsPair\033[102X homalgTable entry", "b.1-12",
[ "B", 1, 12 ], 123, 60, "unionofcolumnspair homalgtable entry",
"X8092789C87E37020" ],
[ "\033[2XDiagMat\033[102X homalgTable entry", "b.1-13", [ "B", 1, 13 ],
134, 60, "diagmat homalgtable entry", "X86C5B86981FA1F9A" ],
[ "\033[2XKroneckerMat\033[102X homalgTable entry", "b.1-14",
[ "B", 1, 14 ], 143, 60, "kroneckermat homalgtable entry",
"X82202A6A7FAB7174" ],
[ "\033[2XDualKroneckerMat\033[102X homalgTable entry", "b.1-15",
[ "B", 1, 15 ], 153, 60, "dualkroneckermat homalgtable entry",
"X87E0747D7FEEAC76" ],
[ "\033[2XMulMat\033[102X homalgTable entry", "b.1-16", [ "B", 1, 16 ],
163, 61, "mulmat homalgtable entry", "X828F8C7785EEC3D1" ],
[ "\033[2XAddMat\033[102X homalgTable entry", "b.1-17", [ "B", 1, 17 ],
173, 61, "addmat homalgtable entry", "X7B0B12F080A90039" ],
[ "\033[2XSubMat\033[102X homalgTable entry", "b.1-18", [ "B", 1, 18 ],
183, 61, "submat homalgtable entry", "X7FE11AA27AE7D2D7" ],
[ "\033[2XCompose\033[102X homalgTable entry", "b.1-19", [ "B", 1, 19 ],
193, 61, "compose homalgtable entry", "X7D491D957E63C3A4" ],
[ "\033[2XIsZeroMatrix\033[102X homalgTable entry", "b.1-20",
[ "B", 1, 20 ], 203, 61, "iszeromatrix homalgtable entry",
"X849BB912798A01EB" ],
[ "\033[2XNumberRows\033[102X homalgTable entry", "b.1-21", [ "B", 1, 21 ],
241, 62, "numberrows homalgtable entry", "X7F4D7FAF821DA1C2" ],
[ "\033[2XNumberColumns\033[102X homalgTable entry", "b.1-22",
[ "B", 1, 22 ], 278, 63, "numbercolumns homalgtable entry",
"X7DFA534B7AFA2E17" ],
[ "\033[2XDeterminant\033[102X homalgTable entry", "b.1-23",
[ "B", 1, 23 ], 315, 63, "determinant homalgtable entry",
"X80A573257D7F2E1A" ],
[ "\033[2XCoefficientsWithGivenMonomials\033[102X homalgTable entry",
"b.1-24", [ "B", 1, 24 ], 373, 64,
"coefficientswithgivenmonomials homalgtable entry", "X8450E904787CBD35"
], [ "\033[2XAreEqualMatrices\033[102X homalgTable entry", "b.2-1",
[ "B", 2, 1 ], 390, 65, "areequalmatrices homalgtable entry",
"X7871FE5478BFC167" ],
[ "\033[2XIsIdentityMatrix\033[102X homalgTable entry", "b.2-2",
[ "B", 2, 2 ], 475, 66, "isidentitymatrix homalgtable entry",
"X80C1856D82172268" ],
[ "\033[2XIsDiagonalMatrix\033[102X homalgTable entry", "b.2-3",
[ "B", 2, 3 ], 511, 67, "isdiagonalmatrix homalgtable entry",
"X7B6420E88418316B" ],
[ "\033[2XZeroRows\033[102X homalgTable entry", "b.2-4", [ "B", 2, 4 ],
546, 68, "zerorows homalgtable entry", "X872B70367F412945" ],
[ "\033[2XZeroColumns\033[102X homalgTable entry", "b.2-5", [ "B", 2, 5 ],
580, 68, "zerocolumns homalgtable entry", "X7A469E6D7EA63BB6" ],
[ "\033[2XGetColumnIndependentUnitPositions\033[102X homalgTable entry",
"b.2-6", [ "B", 2, 6 ], 614, 69,
"getcolumnindependentunitpositions homalgtable entry",
"X7BCBACDB79C96FBF" ],
[ "\033[2XGetRowIndependentUnitPositions\033[102X homalgTable entry",
"b.2-7", [ "B", 2, 7 ], 684, 70,
"getrowindependentunitpositions homalgtable entry", "X855C57B6822E7A98"
], [ "\033[2XGetUnitPosition\033[102X homalgTable entry", "b.2-8",
[ "B", 2, 8 ], 754, 71, "getunitposition homalgtable entry",
"X876495AA79063CDE" ],
[ "\033[2XPositionOfFirstNonZeroEntryPerRow\033[102X homalgTable entry",
"b.2-9", [ "B", 2, 9 ], 804, 72,
"positionoffirstnonzeroentryperrow homalgtable entry",
"X7F40B57079CF80ED" ],
[ "\033[2XPositionOfFirstNonZeroEntryPerColumn\033[102X homalgTable entry",
"b.2-10", [ "B", 2, 10 ], 856, 73,
"positionoffirstnonzeroentrypercolumn homalgtable entry",
"X833B384278492266" ],
[ "\033[2XEval\033[102X for matrices created with HomalgInitialMatrix",
"c.4-1", [ "C", 4, 1 ], 21, 75,
"eval for matrices created with homalginitialmatrix",
"X7EEAADA6807A5A45" ],
[
"\033[2XEval\033[102X for matrices created with HomalgInitialIdentityMatrix\
", "c.4-2", [ "C", 4, 2 ], 70, 76,
"eval for matrices created with homalginitialidentitymatrix",
"X7B619CA885024F0F" ],
[ "\033[2XEval\033[102X for matrices created with HomalgZeroMatrix",
"c.4-3", [ "C", 4, 3 ], 126, 77,
"eval for matrices created with homalgzeromatrix", "X7EADAA3180A84318" ]
,
[ "\033[2XEval\033[102X for matrices created with HomalgIdentityMatrix",
"c.4-4", [ "C", 4, 4 ], 177, 78,
"eval for matrices created with homalgidentitymatrix",
"X78CCA57B84E51834" ],
[ "\033[2XEval\033[102X for matrices created with LeftInverseLazy",
"c.4-5", [ "C", 4, 5 ], 241, 79,
"eval for matrices created with leftinverselazy", "X8362669D87FD667B" ],
[ "\033[2XEval\033[102X for matrices created with RightInverseLazy",
"c.4-6", [ "C", 4, 6 ], 269, 80,
"eval for matrices created with rightinverselazy", "X84D72DF482F70AD5" ]
, [ "\033[2XEval\033[102X for matrices created with Involution", "c.4-7",
[ "C", 4, 7 ], 297, 80, "eval for matrices created with involution",
"X7928991E8768FA72" ],
[ "\033[2XEval\033[102X for matrices created with TransposedMatrix",
"c.4-8", [ "C", 4, 8 ], 336, 81,
"eval for matrices created with transposedmatrix", "X78D5359480EFC5AC" ]
, [ "\033[2XEval\033[102X for matrices created with CoercedMatrix",
"c.4-9", [ "C", 4, 9 ], 375, 82,
"eval for matrices created with coercedmatrix", "X87BF7FD083D0EE88" ],
[ "\033[2XEval\033[102X for matrices created with CertainRows", "c.4-10",
[ "C", 4, 10 ], 405, 82, "eval for matrices created with certainrows",
"X852DCBD57A742FA5" ],
[ "\033[2XEval\033[102X for matrices created with CertainColumns",
"c.4-11", [ "C", 4, 11 ], 452, 83,
"eval for matrices created with certaincolumns", "X835F6F2E7D590F3D" ],
[ "\033[2XEval\033[102X for matrices created with UnionOfRows", "c.4-12",
[ "C", 4, 12 ], 500, 84, "eval for matrices created with unionofrows",
"X7F35A61C8522A1B0" ],
[ "\033[2XEval\033[102X for matrices created with UnionOfColumns",
"c.4-13", [ "C", 4, 13 ], 636, 86,
"eval for matrices created with unionofcolumns", "X7EDE6095820F8128" ],
[ "\033[2XEval\033[102X for matrices created with DiagMat", "c.4-14",
[ "C", 4, 14 ], 774, 89, "eval for matrices created with diagmat",
"X7FD68F43831046B6" ],
[ "\033[2XEval\033[102X for matrices created with KroneckerMat", "c.4-15",
[ "C", 4, 15 ], 844, 90, "eval for matrices created with kroneckermat",
"X84F45FB4854A079C" ],
[ "\033[2XEval\033[102X for matrices created with DualKroneckerMat",
"c.4-16", [ "C", 4, 16 ], 893, 91,
"eval for matrices created with dualkroneckermat", "X78ADE5C879583E7B" ]
, [ "\033[2XEval\033[102X for matrices created with MulMat", "c.4-17",
[ "C", 4, 17 ], 956, 92, "eval for matrices created with mulmat",
"X7B68797C7EA79B10" ],
[ "\033[2XEval\033[102X for matrices created with AddMat", "c.4-18",
[ "C", 4, 18 ], 1029, 94, "eval for matrices created with addmat",
"X85971C16868BD83C" ],
[ "\033[2XEval\033[102X for matrices created with SubMat", "c.4-19",
[ "C", 4, 19 ], 1076, 94, "eval for matrices created with submat",
"X86F848318791595C" ],
[ "\033[2XEval\033[102X for matrices created with Compose", "c.4-20",
[ "C", 4, 20 ], 1123, 95, "eval for matrices created with compose",
"X7F7682FC86F602C2" ],
[
"\033[2XEval\033[102X for matrices created with CoefficientsWithGivenMonomi\
als", "c.4-21", [ "C", 4, 21 ], 1170, 96,
"eval for matrices created with coefficientswithgivenmonomials",
"X848FE4F07BAF89DB" ],
[ "\033[2XBasisOfRowModule\033[102X ResidueClassRing", "d.1-1",
[ "D", 1, 1 ], 7, 98, "basisofrowmodule residueclassring",
"X7AB980C5791BA204" ],
[ "\033[2XBasisOfColumnModule\033[102X ResidueClassRing", "d.1-2",
[ "D", 1, 2 ], 27, 98, "basisofcolumnmodule residueclassring",
"X7F2B3332793FACA3" ],
[ "\033[2XDecideZeroRows\033[102X ResidueClassRing", "d.1-3",
[ "D", 1, 3 ], 47, 99, "decidezerorows residueclassring",
"X83E072E1790A7D38" ],
[ "\033[2XDecideZeroColumns\033[102X ResidueClassRing", "d.1-4",
[ "D", 1, 4 ], 67, 99, "decidezerocolumns residueclassring",
"X841426A87A1A20E4" ],
[ "\033[2XSyzygiesGeneratorsOfRows\033[102X ResidueClassRing", "d.1-5",
[ "D", 1, 5 ], 87, 99, "syzygiesgeneratorsofrows residueclassring",
"X80F4836F7F175B12" ],
[ "\033[2XSyzygiesGeneratorsOfColumns\033[102X ResidueClassRing", "d.1-6",
[ "D", 1, 6 ], 126, 100, "syzygiesgeneratorsofcolumns residueclassring",
"X7899768C8304A59E" ],
[ "\033[2XBasisOfRowsCoeff\033[102X ResidueClassRing", "d.1-7",
[ "D", 1, 7 ], 165, 101, "basisofrowscoeff residueclassring",
"X78BC2E8E7A78CC82" ],
[ "\033[2XBasisOfColumnsCoeff\033[102X ResidueClassRing", "d.1-8",
[ "D", 1, 8 ], 196, 101, "basisofcolumnscoeff residueclassring",
"X7D2E9D797877FFBD" ],
[ "\033[2XDecideZeroRowsEffectively\033[102X ResidueClassRing", "d.1-9",
[ "D", 1, 9 ], 227, 102, "decidezerorowseffectively residueclassring",
"X7F10DC697D2B828D" ],
[ "\033[2XDecideZeroColumnsEffectively\033[102X ResidueClassRing",
"d.1-10", [ "D", 1, 10 ], 252, 102,
"decidezerocolumnseffectively residueclassring", "X7B68B9F27BC02520" ],
[ "\033[2XRelativeSyzygiesGeneratorsOfRows\033[102X ResidueClassRing",
"d.1-11", [ "D", 1, 11 ], 277, 103,
"relativesyzygiesgeneratorsofrows residueclassring",
"X7DF62C5D7D2E6A6E" ],
[ "\033[2XRelativeSyzygiesGeneratorsOfColumns\033[102X ResidueClassRing",
"d.1-12", [ "D", 1, 12 ], 306, 103,
"relativesyzygiesgeneratorsofcolumns residueclassring",
"X852F9FD8837D97A5" ],
[ "\033[2XInitialMatrix\033[102X ResidueClassRing", "d.2-1", [ "D", 2, 1 ],
341, 104, "initialmatrix residueclassring", "X81CD6BAB7CA73AFC" ],
[ "\033[2XInitialIdentityMatrix\033[102X ResidueClassRing", "d.2-2",
[ "D", 2, 2 ], 353, 104, "initialidentitymatrix residueclassring",
"X7D0F99857E280142" ],
[ "\033[2XZeroMatrix\033[102X ResidueClassRing", "d.2-3", [ "D", 2, 3 ],
365, 104, "zeromatrix residueclassring", "X80393225841391E7" ],
[ "\033[2XIdentityMatrix\033[102X ResidueClassRing", "d.2-4",
[ "D", 2, 4 ], 377, 105, "identitymatrix residueclassring",
"X811B306C81435D87" ],
[ "\033[2XInvolution\033[102X ResidueClassRing", "d.2-5", [ "D", 2, 5 ],
389, 105, "involution residueclassring", "X7B322C637FC26E2D" ],
[ "\033[2XTransposedMatrix\033[102X ResidueClassRing", "d.2-6",
[ "D", 2, 6 ], 418, 105, "transposedmatrix residueclassring",
"X816CBEA6790E0C31" ],
[ "\033[2XCertainRows\033[102X ResidueClassRing", "d.2-7", [ "D", 2, 7 ],
447, 106, "certainrows residueclassring", "X7C5B29A37B13A53D" ],
[ "\033[2XCertainColumns\033[102X ResidueClassRing", "d.2-8",
[ "D", 2, 8 ], 473, 106, "certaincolumns residueclassring",
"X84CBE51981BA2C77" ],
[ "\033[2XUnionOfRows\033[102X ResidueClassRing", "d.2-9", [ "D", 2, 9 ],
499, 107, "unionofrows residueclassring", "X8510678E8569799E" ],
[ "\033[2XUnionOfColumns\033[102X ResidueClassRing", "d.2-10",
[ "D", 2, 10 ], 525, 107, "unionofcolumns residueclassring",
"X862F756A7FC0F0D4" ],
[ "\033[2XDiagMat\033[102X ResidueClassRing", "d.2-11", [ "D", 2, 11 ],
551, 108, "diagmat residueclassring", "X802BEBF5790D4167" ],
[ "\033[2XKroneckerMat\033[102X ResidueClassRing", "d.2-12",
[ "D", 2, 12 ], 577, 108, "kroneckermat residueclassring",
"X85F1DDDB864AF265" ],
[ "\033[2XDualKroneckerMat\033[102X ResidueClassRing", "d.2-13",
[ "D", 2, 13 ], 603, 109, "dualkroneckermat residueclassring",
"X7E996A50863FE76C" ],
[ "\033[2XMulMat\033[102X ResidueClassRing", "d.2-14", [ "D", 2, 14 ], 629,
109, "mulmat residueclassring", "X7A5D229384E9D19C" ],
[ "\033[2XAddMat\033[102X ResidueClassRing", "d.2-15", [ "D", 2, 15 ], 651,
109, "addmat residueclassring", "X83E1AEC781AE1274" ],
[ "\033[2XSubMat\033[102X ResidueClassRing", "d.2-16", [ "D", 2, 16 ], 667,
110, "submat residueclassring", "X79A1C9297BE0C09A" ],
[ "\033[2XCompose\033[102X ResidueClassRing", "d.2-17", [ "D", 2, 17 ],
683, 110, "compose residueclassring", "X875447A686949D59" ],
[ "\033[2XIsZeroMatrix\033[102X ResidueClassRing", "d.2-18",
[ "D", 2, 18 ], 699, 110, "iszeromatrix residueclassring",
"X78D7BABE806B82FA" ],
--> --------------------
--> maximum size reached
--> --------------------
