\GAPDocLabFile{matricesforhomalg}
\makelabel{matricesforhomalg:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{matricesforhomalg:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{matricesforhomalg:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{matricesforhomalg:What is the role of the MatricesForHomalg package in the homalg project?}{1.1}{X878AE2517B963434}
\makelabel{matricesforhomalg:MatricesForHomalg provides ...}{1.1.1}{X81B1923E82145E72}
\makelabel{matricesforhomalg:homalg delegates ...}{1.1.2}{X856DCAA4846FBB00}
\makelabel{matricesforhomalg:The black box concept}{1.1.3}{X808E7BA97C5EA311}
\makelabel{matricesforhomalg:This manual}{1.2}{X78DD800B83ABC621}
\makelabel{matricesforhomalg:Installation of the MatricesForHomalg Package}{2}{X8609DF5282514B96}
\makelabel{matricesforhomalg:Rings}{3}{X81897F6082CACB59}
\makelabel{matricesforhomalg:Rings: Category and Representations}{3.1}{X8252B2F483D80E41}
\makelabel{matricesforhomalg:Rings: Constructors}{3.2}{X7C7962B97E6CDFE2}
\makelabel{matricesforhomalg:Rings: Properties}{3.3}{X7D171A1C797E27C9}
\makelabel{matricesforhomalg:Rings: Attributes}{3.4}{X867290E7847A5101}
\makelabel{matricesforhomalg:Rings: Operations and Functions}{3.5}{X7DDAB86C7A7FEDA9}
\makelabel{matricesforhomalg:Ring Maps}{4}{X7B222197819984A6}
\makelabel{matricesforhomalg:Ring Maps: Category and Representations}{4.1}{X7B99B8F5780E84C3}
\makelabel{matricesforhomalg:Ring Maps: Constructors}{4.2}{X8717AEFB7BAC63F7}
\makelabel{matricesforhomalg:Ring Maps: Properties}{4.3}{X85DA972D8701BC7C}
\makelabel{matricesforhomalg:Ring Maps: Attributes}{4.4}{X7EBF1DD67BD0758F}
\makelabel{matricesforhomalg:Ring Maps: Operations and Functions}{4.5}{X7C7401BA7E2221CB}
\makelabel{matricesforhomalg:Matrices}{5}{X812CCAB278643A59}
\makelabel{matricesforhomalg:Matrices: Category and Representations}{5.1}{X78C552687FF14479}
\makelabel{matricesforhomalg:Matrices: Constructors}{5.2}{X7977387186436CDF}
\makelabel{matricesforhomalg:Matrices: Properties}{5.3}{X7D92ECFC8030CF40}
\makelabel{matricesforhomalg:Matrices: Attributes}{5.4}{X86F766077C89558F}
\makelabel{matricesforhomalg:Matrices: Operations and Functions}{5.5}{X80FA5AE87E8591BC}
\makelabel{matricesforhomalg:Ring Relations}{6}{X8163F0658017F220}
\makelabel{matricesforhomalg:Ring Relations: Categories and Representations}{6.1}{X7EB7C20C78788C69}
\makelabel{matricesforhomalg:Ring Relations: Constructors}{6.2}{X81D1405F81B86E4B}
\makelabel{matricesforhomalg:Ring Relations: Properties}{6.3}{X7FFB5DE07BB77319}
\makelabel{matricesforhomalg:Ring Relations: Attributes}{6.4}{X849ED71B8164D1C2}
\makelabel{matricesforhomalg:Ring Relations: Operations and Functions}{6.5}{X7ABFB8F982EBD7F8}
\makelabel{matricesforhomalg:The Basic Matrix Operations}{A}{X7CB422647C7DD289}
\makelabel{matricesforhomalg:Main}{A.1}{X810454AB85D336F5}
\makelabel{matricesforhomalg:Effective}{A.2}{X8435BB2E7A819478}
\makelabel{matricesforhomalg:Relative}{A.3}{X7B1023F47EAB7A97}
\makelabel{matricesforhomalg:Reduced}{A.4}{X7A0B865E7E70DB3D}
\makelabel{matricesforhomalg:The Matrix Tool Operations}{B}{X7B2993CB7B012115}
\makelabel{matricesforhomalg:The Tool Operations without a Fallback Method}{B.1}{X7988F0AF7D87FD23}
\makelabel{matricesforhomalg:The Tool Operations with a Fallback Method}{B.2}{X7912E42C81296637}
\makelabel{matricesforhomalg:Logic Subpackages}{C}{X8222352C78A19214}
\makelabel{matricesforhomalg:LIRNG: Logical Implications for Rings}{C.1}{X86BB747287348853}
\makelabel{matricesforhomalg:LIMAP: Logical Implications for Ring Maps}{C.2}{X7B2915F1867EE8D0}
\makelabel{matricesforhomalg:LIMAT: Logical Implications for Matrices}{C.3}{X799DA94B849ABF1E}
\makelabel{matricesforhomalg:COLEM: Clever Operations for Lazy Evaluated Matrices}{C.4}{X847B8AB5843231C2}
\makelabel{matricesforhomalg:The subpackage ResidueClassRingForHomalg as a sample ring package}{D}{X7F3BA9AE7A0D245D}
\makelabel{matricesforhomalg:The Mandatory Basic Operations}{D.1}{X84978AF3878A8375}
\makelabel{matricesforhomalg:The Mandatory Tool Operations}{D.2}{X83E14F457ADC297D}
\makelabel{matricesforhomalg:Some of the Recommended Tool Operations}{D.3}{X7A537DB185A0F67C}
\makelabel{matricesforhomalg:Debugging MatricesForHomalg}{E}{X82D40F3183F4F259}
\makelabel{matricesforhomalg:Increase the assertion level}{E.1}{X8062637283DD739D}
\makelabel{matricesforhomalg:Using homalgMode}{E.2}{X81D8EB2A7CE587C6}
\makelabel{matricesforhomalg:Overview of the MatricesForHomalg Package Source Code}{F}{X863882737DAD95A3}
\makelabel{matricesforhomalg:Rings, Ring Maps, Matrices, Ring Relations}{F.1}{X87E0F36680867FA2}
\makelabel{matricesforhomalg:The Low Level Algorithms}{F.2}{X7C4917CE80359953}
\makelabel{matricesforhomalg:Logical Implications for MatricesForHomalg Objects}{F.3}{X7B2BFFB8876C548C}
\makelabel{matricesforhomalg:The subpackage ResidueClassRingForHomalg}{F.4}{X85A3964E7A98C065}
\makelabel{matricesforhomalg:The homalgTable for GAP4 built-in rings}{F.5}{X860DCFF383750919}
\makelabel{matricesforhomalg:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{matricesforhomalg:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{matricesforhomalg:Index}{Ind}{X83A0356F839C696F}
\makelabel{matricesforhomalg:MatricesForHomalg}{}{X8537FEB07AF2BEC8}
\makelabel{matricesforhomalg:IsHomalgRing}{3.1.1}{X85E217C67DD633AB}
\makelabel{matricesforhomalg:IsPreHomalgRing}{3.1.2}{X81DC249883163C01}
\makelabel{matricesforhomalg:IsHomalgRingElement}{3.1.3}{X80A410ED8500DA7E}
\makelabel{matricesforhomalg:IsHomalgInternalRingRep}{3.1.4}{X8097E89E7B6EF731}
\makelabel{matricesforhomalg:HomalgRingOfIntegers constructor for the integers}{3.2.1}{X78AC74CB802A8A49}
\makelabel{matricesforhomalg:HomalgRingOfIntegers constructor for the residue class rings of the integers}{3.2.1}{X78AC74CB802A8A49}
\makelabel{matricesforhomalg:IsZero for rings}{3.3.1}{X7C48437187E668F3}
\makelabel{matricesforhomalg:IsNonZeroRing for rings}{3.3.2}{X7F80A53387A0C23D}
\makelabel{matricesforhomalg:ContainsAField}{3.3.3}{X84F3040687E68338}
\makelabel{matricesforhomalg:IsRationalsForHomalg}{3.3.4}{X7C337D0F8413FE38}
\makelabel{matricesforhomalg:IsFieldForHomalg}{3.3.5}{X86221E0E8416F1CF}
\makelabel{matricesforhomalg:IsDivisionRingForHomalg}{3.3.6}{X805112347CF99F02}
\makelabel{matricesforhomalg:IsIntegersForHomalg}{3.3.7}{X799A9A9F7A26C6B2}
\makelabel{matricesforhomalg:IsResidueClassRingOfTheIntegers}{3.3.8}{X8548FE4E8283ACC6}
\makelabel{matricesforhomalg:IsBezoutRing}{3.3.9}{X7F9F59B5857F19A3}
\makelabel{matricesforhomalg:IsIntegrallyClosedDomain}{3.3.10}{X79D8752F78215FC1}
\makelabel{matricesforhomalg:IsUniqueFactorizationDomain}{3.3.11}{X864BF29E7B5D3305}
\makelabel{matricesforhomalg:IsKaplanskyHermite}{3.3.12}{X86EF914787EB5572}
\makelabel{matricesforhomalg:IsDedekindDomain}{3.3.13}{X86C625EF7E417AA6}
\makelabel{matricesforhomalg:IsDiscreteValuationRing}{3.3.14}{X855E560A7F40B2BF}
\makelabel{matricesforhomalg:IsFreePolynomialRing}{3.3.15}{X80E0C8B28039B8F0}
\makelabel{matricesforhomalg:IsWeylRing}{3.3.16}{X850A0EAB7E017D5E}
\makelabel{matricesforhomalg:IsLocalizedWeylRing}{3.3.17}{X7EFB456286B4F9DB}
\makelabel{matricesforhomalg:IsGlobalDimensionFinite}{3.3.18}{X86558C9F8474DA39}
\makelabel{matricesforhomalg:IsLeftGlobalDimensionFinite}{3.3.19}{X7AE1C7297A66F116}
\makelabel{matricesforhomalg:IsRightGlobalDimensionFinite}{3.3.20}{X799A94467B8EC416}
\makelabel{matricesforhomalg:HasInvariantBasisProperty}{3.3.21}{X81269E1881D45163}
\makelabel{matricesforhomalg:IsLocal}{3.3.22}{X8758DFD57E83925D}
\makelabel{matricesforhomalg:IsSemiLocalRing}{3.3.23}{X7AAF0A3178E23B09}
\makelabel{matricesforhomalg:IsIntegralDomain}{3.3.24}{X7EE2F1C187131E19}
\makelabel{matricesforhomalg:IsHereditary}{3.3.25}{X7FEB8A337CC92955}
\makelabel{matricesforhomalg:IsLeftHereditary}{3.3.26}{X7D4AC0177C6D85A8}
\makelabel{matricesforhomalg:IsRightHereditary}{3.3.27}{X7DE025D781FEBD04}
\makelabel{matricesforhomalg:IsHermite}{3.3.28}{X783ACC147A7F82AA}
\makelabel{matricesforhomalg:IsLeftHermite}{3.3.29}{X7A33BCFE7B6C6817}
\makelabel{matricesforhomalg:IsRightHermite}{3.3.30}{X830989817DC97403}
\makelabel{matricesforhomalg:IsNoetherian}{3.3.31}{X7AA2911E802BE73D}
\makelabel{matricesforhomalg:IsLeftNoetherian}{3.3.32}{X7803DB3A7E6689B6}
\makelabel{matricesforhomalg:IsRightNoetherian}{3.3.33}{X78A93EFA7B677CED}
\makelabel{matricesforhomalg:IsCohenMacaulay}{3.3.34}{X8373421F7E085763}
\makelabel{matricesforhomalg:IsGorenstein}{3.3.35}{X83CBA38E81DC4A72}
\makelabel{matricesforhomalg:IsKoszul}{3.3.36}{X7E7AEFBE7801F196}
\makelabel{matricesforhomalg:IsArtinian for rings}{3.3.37}{X7AF81F6383F5CFCA}
\makelabel{matricesforhomalg:IsLeftArtinian}{3.3.38}{X7E000F5780A17602}
\makelabel{matricesforhomalg:IsRightArtinian}{3.3.39}{X7C34A319827FFDDB}
\makelabel{matricesforhomalg:IsOreDomain}{3.3.40}{X8290570679F86CE8}
\makelabel{matricesforhomalg:IsLeftOreDomain}{3.3.41}{X8528CA397BC76826}
\makelabel{matricesforhomalg:IsRightOreDomain}{3.3.42}{X7FC7E8317BF9B9CE}
\makelabel{matricesforhomalg:IsPrincipalIdealRing}{3.3.43}{X85F1485F840E2354}
\makelabel{matricesforhomalg:IsLeftPrincipalIdealRing}{3.3.44}{X7BF4EFB67DCEBF6D}
\makelabel{matricesforhomalg:IsRightPrincipalIdealRing}{3.3.45}{X83858198873F7760}
\makelabel{matricesforhomalg:IsRegular}{3.3.46}{X7CF02C4785F0EAB5}
\makelabel{matricesforhomalg:IsFiniteFreePresentationRing}{3.3.47}{X7FB92D467B9B6707}
\makelabel{matricesforhomalg:IsLeftFiniteFreePresentationRing}{3.3.48}{X7B0EE3BF8402793B}
\makelabel{matricesforhomalg:IsRightFiniteFreePresentationRing}{3.3.49}{X839A82AC7D0D7BA1}
\makelabel{matricesforhomalg:IsSimpleRing}{3.3.50}{X8491CBBE862D4FFB}
\makelabel{matricesforhomalg:IsSemiSimpleRing}{3.3.51}{X847DEBCF872F5175}
\makelabel{matricesforhomalg:IsSuperCommutative}{3.3.52}{X842C9ABA807DB431}
\makelabel{matricesforhomalg:BasisAlgorithmRespectsPrincipalIdeals}{3.3.53}{X803259617B5F89AE}
\makelabel{matricesforhomalg:AreUnitsCentral}{3.3.54}{X781617F678CC0BA8}
\makelabel{matricesforhomalg:IsMinusOne}{3.3.55}{X85B6710082984863}
\makelabel{matricesforhomalg:IsMonic for homalg ring elements}{3.3.56}{X7A0A3A927BE3F352}
\makelabel{matricesforhomalg:IsMonicUptoUnit for homalg ring elements}{3.3.57}{X785EF83B8054D2FF}
\makelabel{matricesforhomalg:IsLeftRegular for homalg ring elements}{3.3.58}{X811A01D5803ADCA3}
\makelabel{matricesforhomalg:IsRightRegular for homalg ring elements}{3.3.59}{X7E99731F83A41777}
\makelabel{matricesforhomalg:IsRegular for homalg ring elements}{3.3.60}{X80A3294C834D8F21}
\makelabel{matricesforhomalg:Inverse for homalg ring elements}{3.4.1}{X8066502785A109B8}
\makelabel{matricesforhomalg:homalgTable}{3.4.2}{X7AFD26D480AA9323}
\makelabel{matricesforhomalg:RingElementConstructor}{3.4.3}{X816D807781E8F854}
\makelabel{matricesforhomalg:TypeOfHomalgMatrix}{3.4.4}{X7E5426C67AA9A6E5}
\makelabel{matricesforhomalg:ConstructorForHomalgMatrices}{3.4.5}{X80504BE983BD1A70}
\makelabel{matricesforhomalg:Zero for homalg rings}{3.4.6}{X799B5F797F809EE5}
\makelabel{matricesforhomalg:One for homalg rings}{3.4.7}{X84701329860750C3}
\makelabel{matricesforhomalg:MinusOne}{3.4.8}{X810D03AA827BD128}
\makelabel{matricesforhomalg:ProductOfIndeterminates}{3.4.9}{X7CC4312578DC42B6}
\makelabel{matricesforhomalg:RationalParameters}{3.4.10}{X7DF4F71C86835DCF}
\makelabel{matricesforhomalg:IndeterminatesOfPolynomialRing}{3.4.11}{X80D585E1793D4552}
\makelabel{matricesforhomalg:RelativeIndeterminatesOfPolynomialRing}{3.4.12}{X84CE78E379A34C56}
\makelabel{matricesforhomalg:IndeterminateCoordinatesOfRingOfDerivations}{3.4.13}{X7F4A050A87C042E5}
\makelabel{matricesforhomalg:RelativeIndeterminateCoordinatesOfRingOfDerivations}{3.4.14}{X821FCC287E4FB92F}
\makelabel{matricesforhomalg:IndeterminateDerivationsOfRingOfDerivations}{3.4.15}{X78776EBA7DC179B4}
\makelabel{matricesforhomalg:RelativeIndeterminateDerivationsOfRingOfDerivations}{3.4.16}{X8522A7987C6483ED}
\makelabel{matricesforhomalg:IndeterminateAntiCommutingVariablesOfExteriorRing}{3.4.17}{X7C15E6647945C0E3}
\makelabel{matricesforhomalg:RelativeIndeterminateAntiCommutingVariablesOfExteriorRing}{3.4.18}{X7C63673A80911044}
\makelabel{matricesforhomalg:IndeterminatesOfExteriorRing}{3.4.19}{X7BBEF7097B459D33}
\makelabel{matricesforhomalg:CoefficientsRing}{3.4.20}{X8235D10781BE8003}
\makelabel{matricesforhomalg:KrullDimension}{3.4.21}{X789CF8B778A0C58D}
\makelabel{matricesforhomalg:LeftGlobalDimension}{3.4.22}{X8735C56B7BEBC86E}
\makelabel{matricesforhomalg:RightGlobalDimension}{3.4.23}{X7E6C5B5781EF78C5}
\makelabel{matricesforhomalg:GlobalDimension}{3.4.24}{X7D511B3E7A50AB2A}
\makelabel{matricesforhomalg:GeneralLinearRank}{3.4.25}{X792D56C278E346B1}
\makelabel{matricesforhomalg:ElementaryRank}{3.4.26}{X79BCB23D873268CB}
\makelabel{matricesforhomalg:StableRank}{3.4.27}{X822907CB7919EEF2}
\makelabel{matricesforhomalg:AssociatedGradedRing}{3.4.28}{X826BE1E87EE023B2}
\makelabel{matricesforhomalg:IsHomalgRingMap}{4.1.1}{X7E084D947E3AEFE6}
\makelabel{matricesforhomalg:IsHomalgRingSelfMap}{4.1.2}{X87DB79AF83F17FB6}
\makelabel{matricesforhomalg:IsHomalgRingMapRep}{4.1.3}{X7DFD1CBA83E63737}
\makelabel{matricesforhomalg:RingMap constructor for ring maps}{4.2.1}{X7F21AB318507FF83}
\makelabel{matricesforhomalg:IsMorphism for ring maps}{4.3.1}{X8555A4DF84C9165B}
\makelabel{matricesforhomalg:IsIdentityMorphism for ring maps}{4.3.2}{X832893897FD3744D}
\makelabel{matricesforhomalg:IsMonomorphism for ring maps}{4.3.3}{X87F79EA381E3E34F}
\makelabel{matricesforhomalg:IsEpimorphism for ring maps}{4.3.4}{X849F620C824F4078}
\makelabel{matricesforhomalg:IsIsomorphism for ring maps}{4.3.5}{X82B9422D7B01BA4A}
\makelabel{matricesforhomalg:IsAutomorphism for ring maps}{4.3.6}{X790E34C5802D0F54}
\makelabel{matricesforhomalg:Source for ring maps}{4.4.1}{X83678DEC78394702}
\makelabel{matricesforhomalg:Range for ring maps}{4.4.2}{X7EBE68567900396A}
\makelabel{matricesforhomalg:DegreeOfMorphism for ring maps}{4.4.3}{X7C4F3F0F82C6EB88}
\makelabel{matricesforhomalg:CoordinateRingOfGraph for ring maps}{4.4.4}{X785155EE844A98BD}
\makelabel{matricesforhomalg:IsHomalgMatrix}{5.1.1}{X7B68E1057F5F011F}
\makelabel{matricesforhomalg:IsHomalgInternalMatrixRep}{5.1.2}{X7FE94FC47F460E35}
\makelabel{matricesforhomalg:HomalgInitialMatrix constructor for initial matrices filled with zeros}{5.2.1}{X86D290B084AC6638}
\makelabel{matricesforhomalg:HomalgInitialIdentityMatrix constructor for initial quadratic matrices with ones on the diagonal}{5.2.2}{X7CB77009868D369A}
\makelabel{matricesforhomalg:HomalgZeroMatrix constructor for zero matrices}{5.2.3}{X8309EB7B86953A23}
\makelabel{matricesforhomalg:HomalgIdentityMatrix constructor for identity matrices}{5.2.4}{X83266B9D7BE740D8}
\makelabel{matricesforhomalg:HomalgVoidMatrix constructor for void matrices}{5.2.5}{X7D2E3472879E28AB}
\makelabel{matricesforhomalg:HomalgMatrix constructor for matrices using a listlist}{5.2.6}{X864ACCB08094F0B7}
\makelabel{matricesforhomalg:HomalgMatrix constructor for matrices using a listlist with given dimensions}{5.2.6}{X864ACCB08094F0B7}
\makelabel{matricesforhomalg:HomalgMatrix constructor for matrices using a list}{5.2.6}{X864ACCB08094F0B7}
\makelabel{matricesforhomalg:HomalgMatrix constructor for matrices using a string of a listlist}{5.2.6}{X864ACCB08094F0B7}
\makelabel{matricesforhomalg:HomalgMatrix constructor for matrices using a string of a list}{5.2.6}{X864ACCB08094F0B7}
\makelabel{matricesforhomalg:HomalgMatrixListList constructor for matrices using a listlist with given dimensions}{5.2.7}{X8246E1D17F96DAE7}
\makelabel{matricesforhomalg:HomalgRowVector constructor for matrices with a single row}{5.2.8}{X7B127B5584CD012D}
\makelabel{matricesforhomalg:HomalgColumnVector constructor for matrices with a single column}{5.2.9}{X871AF271843FF2B5}
\makelabel{matricesforhomalg:HomalgDiagonalMatrix constructor for diagonal matrices}{5.2.10}{X872D39C678D0C4AE}
\makelabel{matricesforhomalg:CoercedMatrix copy a matrix over a different ring}{5.2.12}{X7C4E49D287011DCD}
\makelabel{matricesforhomalg:CoercedMatrix copy a matrix over a different ring (convenience)}{5.2.12}{X7C4E49D287011DCD}
\makelabel{matricesforhomalg:IsZero for matrices}{5.3.1}{X858B5AF57D5BC90A}
\makelabel{matricesforhomalg:IsOne}{5.3.2}{X814D78347858EC13}
\makelabel{matricesforhomalg:IsUnitFree}{5.3.3}{X7813653578F174AB}
\makelabel{matricesforhomalg:IsPermutationMatrix}{5.3.4}{X8612CB4A82D6D79E}
\makelabel{matricesforhomalg:IsSpecialSubidentityMatrix}{5.3.5}{X7EEE3E9780EBA607}
\makelabel{matricesforhomalg:IsSubidentityMatrix}{5.3.6}{X8672364D79EBCC5D}
\makelabel{matricesforhomalg:IsLeftRegular}{5.3.7}{X7EF95CAD78BDE12F}
\makelabel{matricesforhomalg:IsRightRegular}{5.3.8}{X87C369D27D6AAF68}
\makelabel{matricesforhomalg:IsInvertibleMatrix}{5.3.9}{X856E1D217A47EE8C}
\makelabel{matricesforhomalg:IsLeftInvertibleMatrix}{5.3.10}{X7A4FA27C80BC42D1}
\makelabel{matricesforhomalg:IsRightInvertibleMatrix}{5.3.11}{X7E43FDE57E8449B6}
\makelabel{matricesforhomalg:IsEmptyMatrix}{5.3.12}{X7BFC9266823F2C15}
\makelabel{matricesforhomalg:IsDiagonalMatrix}{5.3.13}{X7EEC8E768178696E}
\makelabel{matricesforhomalg:IsScalarMatrix}{5.3.14}{X7848E6A0783B7428}
\makelabel{matricesforhomalg:IsUpperTriangularMatrix}{5.3.15}{X8740E71C799C0BCC}
\makelabel{matricesforhomalg:IsLowerTriangularMatrix}{5.3.16}{X853A5B988306DBFE}
\makelabel{matricesforhomalg:IsStrictUpperTriangularMatrix}{5.3.17}{X7976C42B7FA905EC}
\makelabel{matricesforhomalg:IsStrictLowerTriangularMatrix}{5.3.18}{X7B0C78AF8056D650}
\makelabel{matricesforhomalg:IsUpperStairCaseMatrix}{5.3.19}{X81A2C3F67C99A3C2}
\makelabel{matricesforhomalg:IsLowerStairCaseMatrix}{5.3.20}{X7B3A5DE1860373F0}
\makelabel{matricesforhomalg:IsTriangularMatrix}{5.3.21}{X7BAAE75A8660D7A5}
\makelabel{matricesforhomalg:IsBasisOfRowsMatrix}{5.3.22}{X7F520F89821A8602}
\makelabel{matricesforhomalg:IsBasisOfColumnsMatrix}{5.3.23}{X7D46613983DC5302}
\makelabel{matricesforhomalg:IsReducedBasisOfRowsMatrix}{5.3.24}{X86445AD281024339}
\makelabel{matricesforhomalg:IsReducedBasisOfColumnsMatrix}{5.3.25}{X7E6BB540865C0344}
\makelabel{matricesforhomalg:IsInitialMatrix}{5.3.26}{X7E6E51517822CB3F}
\makelabel{matricesforhomalg:IsInitialIdentityMatrix}{5.3.27}{X7EE624707ACEC26E}
\makelabel{matricesforhomalg:IsVoidMatrix}{5.3.28}{X802794217F56DE51}
\makelabel{matricesforhomalg:NumberRows}{5.4.1}{X7C72971F7D0CA3C8}
\makelabel{matricesforhomalg:NumberColumns}{5.4.2}{X847D45BF7F2BC67C}
\makelabel{matricesforhomalg:DeterminantMat}{5.4.3}{X83045F6F82C180E1}
\makelabel{matricesforhomalg:ZeroRows}{5.4.4}{X828225E0857B1FDA}
\makelabel{matricesforhomalg:ZeroColumns}{5.4.5}{X870D761F7AB96D12}
\makelabel{matricesforhomalg:NonZeroRows}{5.4.6}{X7991ED337C73065A}
\makelabel{matricesforhomalg:NonZeroColumns}{5.4.7}{X7F335DCB7B8781E4}
\makelabel{matricesforhomalg:PositionOfFirstNonZeroEntryPerRow}{5.4.8}{X7B7A073D7E1FAEA4}
\makelabel{matricesforhomalg:PositionOfFirstNonZeroEntryPerColumn}{5.4.9}{X83B389A97A703E42}
\makelabel{matricesforhomalg:RowRankOfMatrix}{5.4.10}{X862841E68674FA2A}
\makelabel{matricesforhomalg:ColumnRankOfMatrix}{5.4.11}{X7C61862E81CABD51}
\makelabel{matricesforhomalg:LeftInverse}{5.4.12}{X7EFCE38281AE60F9}
\makelabel{matricesforhomalg:RightInverse}{5.4.13}{X87614CA48493B63F}
\makelabel{matricesforhomalg:CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries}{5.4.14}{X7809E0507E882674}
\makelabel{matricesforhomalg:CoefficientsOfNumeratorOfHilbertPoincareSeries}{5.4.15}{X7938E13A7EF4ADB1}
\makelabel{matricesforhomalg:UnreducedNumeratorOfHilbertPoincareSeries}{5.4.16}{X781E2CDB8743B1C6}
\makelabel{matricesforhomalg:NumeratorOfHilbertPoincareSeries}{5.4.17}{X7C44039382DD5D91}
\makelabel{matricesforhomalg:HilbertPoincareSeries}{5.4.18}{X7B93B7D082A50E61}
\makelabel{matricesforhomalg:HilbertPolynomial}{5.4.19}{X84299BAB807A1E13}
\makelabel{matricesforhomalg:AffineDimension}{5.4.20}{X7BC36CC67CB09858}
\makelabel{matricesforhomalg:AffineDegree}{5.4.21}{X87C428A079000336}
\makelabel{matricesforhomalg:ProjectiveDegree}{5.4.22}{X82A1B55879AB1742}
\makelabel{matricesforhomalg:ConstantTermOfHilbertPolynomialn}{5.4.23}{X791B772A7E368A88}
\makelabel{matricesforhomalg:MatrixOfSymbols}{5.4.24}{X835972A77F02C5BB}
\makelabel{matricesforhomalg:HomalgRing for matrices}{5.5.1}{X81BBF79C79C3B6DF}
\makelabel{matricesforhomalg:LeftInverse for matrices}{5.5.2}{X7FBAA11B8008D936}
\makelabel{matricesforhomalg:RightInverse for matrices}{5.5.3}{X7AAD17D47839BCAE}
\makelabel{matricesforhomalg:LeftInverseLazy for matrices}{5.5.4}{X7A7E42C179142727}
\makelabel{matricesforhomalg:RightInverseLazy for matrices}{5.5.5}{X7FA3E7617EED7E1E}
\makelabel{matricesforhomalg:Involution for matrices}{5.5.6}{X800FA81F7C42BFEA}
\makelabel{matricesforhomalg:TransposedMatrix for matrices}{5.5.7}{X7D0D35B582D9C0B0}
\makelabel{matricesforhomalg:CertainRows for matrices}{5.5.8}{X7CF5CE79796001F6}
\makelabel{matricesforhomalg:CertainColumns for matrices}{5.5.9}{X8256AF2A840B19C4}
\makelabel{matricesforhomalg:UnionOfRows for a homalg ring, an integer and a list of homalg matrices}{5.5.10}{X7D6D0BDF854C9EBC}
\makelabel{matricesforhomalg:UnionOfColumns for a homalg ring, an integer and a list of homalg matrices}{5.5.11}{X7FF9661D85EC46B1}
\makelabel{matricesforhomalg:ConvertRowToMatrix for matrices}{5.5.12}{X7E61390E79B663E8}
\makelabel{matricesforhomalg:ConvertColumnToMatrix for matrices}{5.5.13}{X853EA6C87EDDF6EF}
\makelabel{matricesforhomalg:ConvertMatrixToRow for matrices}{5.5.14}{X7ED5C86379A647F2}
\makelabel{matricesforhomalg:ConvertMatrixToColumn for matrices}{5.5.15}{X84C7C1D07DB6FBAA}
\makelabel{matricesforhomalg:DiagMat for a homalg ring and a list of homalg matrices}{5.5.16}{X7C7830BE847D84B4}
\makelabel{matricesforhomalg:KroneckerMat for matrices}{5.5.17}{X7CDA5D848468A0AA}
\makelabel{matricesforhomalg:DualKroneckerMat for matrices}{5.5.18}{X7ECF744B7DE82BED}
\makelabel{matricesforhomalg:GetColumnIndependentUnitPositions for matrices}{5.5.24}{X85887BBB86F0A08B}
\makelabel{matricesforhomalg:GetRowIndependentUnitPositions for matrices}{5.5.25}{X824AB44184DD63B0}
\makelabel{matricesforhomalg:GetUnitPosition for matrices}{5.5.26}{X7A1969A17979FC49}
\makelabel{matricesforhomalg:Eliminate}{5.5.27}{X781B1C0C80529B09}
\makelabel{matricesforhomalg:BasisOfRowModule for matrices}{5.5.28}{X80ADBE0D82CC6E85}
\makelabel{matricesforhomalg:BasisOfColumnModule for matrices}{5.5.29}{X868CDA327D6C8DDC}
\makelabel{matricesforhomalg:DecideZeroRows for pairs of matrices}{5.5.30}{X7F851EC7861170D1}
\makelabel{matricesforhomalg:DecideZeroColumns for pairs of matrices}{5.5.31}{X86C97DBB787BAD6D}
\makelabel{matricesforhomalg:SyzygiesGeneratorsOfRows for matrices}{5.5.32}{X86ECEA9B7A4AE578}
\makelabel{matricesforhomalg:SyzygiesGeneratorsOfColumns for matrices}{5.5.33}{X86504B757F6DC990}
\makelabel{matricesforhomalg:SyzygiesGeneratorsOfRows for pairs of matrices}{5.5.34}{X84A93458804F16F6}
\makelabel{matricesforhomalg:SyzygiesGeneratorsOfColumns for pairs of matrices}{5.5.35}{X7D3FC0CE7B63AAF1}
\makelabel{matricesforhomalg:ReducedBasisOfRowModule for matrices}{5.5.36}{X82E0FF517DC38040}
\makelabel{matricesforhomalg:ReducedBasisOfColumnModule for matrices}{5.5.37}{X84CED11F7A633BDA}
\makelabel{matricesforhomalg:ReducedSyzygiesGeneratorsOfRows for matrices}{5.5.38}{X7DE458D67B9B85BF}
\makelabel{matricesforhomalg:ReducedSyzygiesGeneratorsOfColumns for matrices}{5.5.39}{X8699114D7A865C11}
\makelabel{matricesforhomalg:BasisOfRowsCoeff for matrices}{5.5.40}{X7D9DEC6081AF0003}
\makelabel{matricesforhomalg:BasisOfColumnsCoeff for matrices}{5.5.41}{X7BBC885F7C24DEC2}
\makelabel{matricesforhomalg:DecideZeroRowsEffectively for pairs of matrices}{5.5.42}{X8513963C84A9F8CB}
\makelabel{matricesforhomalg:DecideZeroColumnsEffectively for pairs of matrices}{5.5.43}{X7A06BF7779830815}
\makelabel{matricesforhomalg:BasisOfRows for matrices}{5.5.44}{X81ABDA3E7D94C661}
\makelabel{matricesforhomalg:BasisOfRows for pairs of matrices}{5.5.44}{X81ABDA3E7D94C661}
\makelabel{matricesforhomalg:BasisOfColumns for matrices}{5.5.45}{X83A5B51980FFDE53}
\makelabel{matricesforhomalg:BasisOfColumns for pairs of matrices}{5.5.45}{X83A5B51980FFDE53}
\makelabel{matricesforhomalg:DecideZero for matrices and relations}{5.5.46}{X85C980288304B4AC}
\makelabel{matricesforhomalg:SyzygiesOfRows for matrices}{5.5.47}{X86C93ABD857447F8}
\makelabel{matricesforhomalg:SyzygiesOfRows for pairs of matrices}{5.5.47}{X86C93ABD857447F8}
\makelabel{matricesforhomalg:SyzygiesOfColumns for matrices}{5.5.48}{X80325CAD7CE56F4F}
\makelabel{matricesforhomalg:SyzygiesOfColumns for pairs of matrices}{5.5.48}{X80325CAD7CE56F4F}
\makelabel{matricesforhomalg:ReducedSyzygiesOfRows for matrices}{5.5.49}{X86A798D4850BF9E8}
\makelabel{matricesforhomalg:ReducedSyzygiesOfRows for pairs of matrices}{5.5.49}{X86A798D4850BF9E8}
\makelabel{matricesforhomalg:ReducedSyzygiesOfColumns for matrices}{5.5.50}{X8766BBD578557D15}
\makelabel{matricesforhomalg:ReducedSyzygiesOfColumns for pairs of matrices}{5.5.50}{X8766BBD578557D15}
\makelabel{matricesforhomalg:RightDivide for pairs of matrices}{5.5.51}{X850AEC9C7C00AFF5}
\makelabel{matricesforhomalg:LeftDivide for pairs of matrices}{5.5.52}{X7D0EAF527F8514E0}
\makelabel{matricesforhomalg:RightDivide for triples of matrices}{5.5.53}{X7A8546EA87E3AE67}
\makelabel{matricesforhomalg:LeftDivide for triples of matrices}{5.5.54}{X86CEB1FC7C358777}
\makelabel{matricesforhomalg:SafeRightDivide for pairs of matrices}{5.5.55}{X86DFDD25824E2F35}
\makelabel{matricesforhomalg:SafeLeftDivide for pairs of matrices}{5.5.56}{X85B64BD47F0379C5}
\makelabel{matricesforhomalg:UniqueRightDivide for pairs of matrices}{5.5.57}{X7F6BAF8E7F2343EA}
\makelabel{matricesforhomalg:UniqueLeftDivide for pairs of matrices}{5.5.58}{X8788CB987A8A18A7}
\makelabel{matricesforhomalg:GenerateSameRowModule for pairs of matrices}{5.5.59}{X82B2C4987D6D5BD3}
\makelabel{matricesforhomalg:GenerateSameColumnModule for pairs of matrices}{5.5.60}{X867A947682754A9A}
\makelabel{matricesforhomalg:SimplifyHomalgMatrixByLeftAndRightMultiplicationWithInvertibleMatrices for matrices}{5.5.61}{X81CDBBBE878DC1E5}
\makelabel{matricesforhomalg:SimplifyHomalgMatrixByLeftMultiplicationWithInvertibleMatrix for matrices}{5.5.62}{X85DA10C07E7E5A3D}
\makelabel{matricesforhomalg:SimplifyHomalgMatrixByRightMultiplicationWithInvertibleMatrix for matrices}{5.5.63}{X79C124318588F37F}
\makelabel{matricesforhomalg:CoefficientsWithGivenMonomials for two homalg matrices}{5.5.64}{X7EEFD7887E96714F}
\makelabel{matricesforhomalg:IsHomalgRingRelations}{6.1.1}{X7D50E3AD82087AE6}
\makelabel{matricesforhomalg:IsHomalgRingRelationsAsGeneratorsOfLeftIdeal}{6.1.2}{X7DECADD683403C65}
\makelabel{matricesforhomalg:IsHomalgRingRelationsAsGeneratorsOfRightIdeal}{6.1.3}{X78746A217FEEB058}
\makelabel{matricesforhomalg:IsRingRelationsRep}{6.1.4}{X86CA83A081B8C8EA}
\makelabel{matricesforhomalg:CanBeUsedToDecideZero}{6.3.1}{X835DF250790EF863}
\makelabel{matricesforhomalg:IsInjectivePresentation}{6.3.2}{X7B9398827AEEA2E6}
\makelabel{matricesforhomalg:InitialMatrix homalgTable entry for initial matrices}{B.1.1}{X7DBA33F083A317B5}
\makelabel{matricesforhomalg:InitialIdentityMatrix homalgTable entry for initial identity matrices}{B.1.2}{X84179BE87E7DCE76}
\makelabel{matricesforhomalg:ZeroMatrix homalgTable entry}{B.1.3}{X785390E38396CAEB}
\makelabel{matricesforhomalg:IdentityMatrix homalgTable entry}{B.1.4}{X87BFF3567DEEBEF4}
\makelabel{matricesforhomalg:Involution homalgTable entry}{B.1.5}{X85884C3178473521}
\makelabel{matricesforhomalg:TransposedMatrix homalgTable entry}{B.1.6}{X7AD2EEE680DF472B}
\makelabel{matricesforhomalg:CertainRows homalgTable entry}{B.1.7}{X7B6FC3267CD9EE9D}
\makelabel{matricesforhomalg:CertainColumns homalgTable entry}{B.1.8}{X78EADFC67D17CF04}
\makelabel{matricesforhomalg:UnionOfRows homalgTable entry}{B.1.9}{X7DEB535782A3323E}
\makelabel{matricesforhomalg:UnionOfRowsPair homalgTable entry}{B.1.10}{X86C345CE82AAB220}
\makelabel{matricesforhomalg:UnionOfColumns homalgTable entry}{B.1.11}{X7DF5DB55836D13A7}
\makelabel{matricesforhomalg:UnionOfColumnsPair homalgTable entry}{B.1.12}{X8092789C87E37020}
\makelabel{matricesforhomalg:DiagMat homalgTable entry}{B.1.13}{X86C5B86981FA1F9A}
\makelabel{matricesforhomalg:KroneckerMat homalgTable entry}{B.1.14}{X82202A6A7FAB7174}
\makelabel{matricesforhomalg:DualKroneckerMat homalgTable entry}{B.1.15}{X87E0747D7FEEAC76}
\makelabel{matricesforhomalg:MulMat homalgTable entry}{B.1.16}{X828F8C7785EEC3D1}
\makelabel{matricesforhomalg:AddMat homalgTable entry}{B.1.17}{X7B0B12F080A90039}
\makelabel{matricesforhomalg:SubMat homalgTable entry}{B.1.18}{X7FE11AA27AE7D2D7}
\makelabel{matricesforhomalg:Compose homalgTable entry}{B.1.19}{X7D491D957E63C3A4}
\makelabel{matricesforhomalg:IsZeroMatrix homalgTable entry}{B.1.20}{X849BB912798A01EB}
\makelabel{matricesforhomalg:NumberRows homalgTable entry}{B.1.21}{X7F4D7FAF821DA1C2}
\makelabel{matricesforhomalg:NumberColumns homalgTable entry}{B.1.22}{X7DFA534B7AFA2E17}
\makelabel{matricesforhomalg:Determinant homalgTable entry}{B.1.23}{X80A573257D7F2E1A}
\makelabel{matricesforhomalg:CoefficientsWithGivenMonomials homalgTable entry}{B.1.24}{X8450E904787CBD35}
\makelabel{matricesforhomalg:AreEqualMatrices homalgTable entry}{B.2.1}{X7871FE5478BFC167}
\makelabel{matricesforhomalg:IsIdentityMatrix homalgTable entry}{B.2.2}{X80C1856D82172268}
\makelabel{matricesforhomalg:IsDiagonalMatrix homalgTable entry}{B.2.3}{X7B6420E88418316B}
\makelabel{matricesforhomalg:ZeroRows homalgTable entry}{B.2.4}{X872B70367F412945}
\makelabel{matricesforhomalg:ZeroColumns homalgTable entry}{B.2.5}{X7A469E6D7EA63BB6}
\makelabel{matricesforhomalg:GetColumnIndependentUnitPositions homalgTable entry}{B.2.6}{X7BCBACDB79C96FBF}
\makelabel{matricesforhomalg:GetRowIndependentUnitPositions homalgTable entry}{B.2.7}{X855C57B6822E7A98}
\makelabel{matricesforhomalg:GetUnitPosition homalgTable entry}{B.2.8}{X876495AA79063CDE}
\makelabel{matricesforhomalg:PositionOfFirstNonZeroEntryPerRow homalgTable entry}{B.2.9}{X7F40B57079CF80ED}
\makelabel{matricesforhomalg:PositionOfFirstNonZeroEntryPerColumn homalgTable entry}{B.2.10}{X833B384278492266}
\makelabel{matricesforhomalg:Eval for matrices created with HomalgInitialMatrix}{C.4.1}{X7EEAADA6807A5A45}
\makelabel{matricesforhomalg:Eval for matrices created with HomalgInitialIdentityMatrix}{C.4.2}{X7B619CA885024F0F}
\makelabel{matricesforhomalg:Eval for matrices created with HomalgZeroMatrix}{C.4.3}{X7EADAA3180A84318}
\makelabel{matricesforhomalg:Eval for matrices created with HomalgIdentityMatrix}{C.4.4}{X78CCA57B84E51834}
\makelabel{matricesforhomalg:Eval for matrices created with LeftInverseLazy}{C.4.5}{X8362669D87FD667B}
\makelabel{matricesforhomalg:Eval for matrices created with RightInverseLazy}{C.4.6}{X84D72DF482F70AD5}
\makelabel{matricesforhomalg:Eval for matrices created with Involution}{C.4.7}{X7928991E8768FA72}
\makelabel{matricesforhomalg:Eval for matrices created with TransposedMatrix}{C.4.8}{X78D5359480EFC5AC}
\makelabel{matricesforhomalg:Eval for matrices created with CoercedMatrix}{C.4.9}{X87BF7FD083D0EE88}
\makelabel{matricesforhomalg:Eval for matrices created with CertainRows}{C.4.10}{X852DCBD57A742FA5}
\makelabel{matricesforhomalg:Eval for matrices created with CertainColumns}{C.4.11}{X835F6F2E7D590F3D}
\makelabel{matricesforhomalg:Eval for matrices created with UnionOfRows}{C.4.12}{X7F35A61C8522A1B0}
\makelabel{matricesforhomalg:Eval for matrices created with UnionOfColumns}{C.4.13}{X7EDE6095820F8128}
\makelabel{matricesforhomalg:Eval for matrices created with DiagMat}{C.4.14}{X7FD68F43831046B6}
\makelabel{matricesforhomalg:Eval for matrices created with KroneckerMat}{C.4.15}{X84F45FB4854A079C}
\makelabel{matricesforhomalg:Eval for matrices created with DualKroneckerMat}{C.4.16}{X78ADE5C879583E7B}
\makelabel{matricesforhomalg:Eval for matrices created with MulMat}{C.4.17}{X7B68797C7EA79B10}
\makelabel{matricesforhomalg:Eval for matrices created with AddMat}{C.4.18}{X85971C16868BD83C}
\makelabel{matricesforhomalg:Eval for matrices created with SubMat}{C.4.19}{X86F848318791595C}
\makelabel{matricesforhomalg:Eval for matrices created with Compose}{C.4.20}{X7F7682FC86F602C2}
\makelabel{matricesforhomalg:Eval for matrices created with CoefficientsWithGivenMonomials}{C.4.21}{X848FE4F07BAF89DB}
\makelabel{matricesforhomalg:BasisOfRowModule ResidueClassRing}{D.1.1}{X7AB980C5791BA204}
\makelabel{matricesforhomalg:BasisOfColumnModule ResidueClassRing}{D.1.2}{X7F2B3332793FACA3}
\makelabel{matricesforhomalg:DecideZeroRows ResidueClassRing}{D.1.3}{X83E072E1790A7D38}
\makelabel{matricesforhomalg:DecideZeroColumns ResidueClassRing}{D.1.4}{X841426A87A1A20E4}
\makelabel{matricesforhomalg:SyzygiesGeneratorsOfRows ResidueClassRing}{D.1.5}{X80F4836F7F175B12}
\makelabel{matricesforhomalg:SyzygiesGeneratorsOfColumns ResidueClassRing}{D.1.6}{X7899768C8304A59E}
\makelabel{matricesforhomalg:BasisOfRowsCoeff ResidueClassRing}{D.1.7}{X78BC2E8E7A78CC82}
\makelabel{matricesforhomalg:BasisOfColumnsCoeff ResidueClassRing}{D.1.8}{X7D2E9D797877FFBD}
\makelabel{matricesforhomalg:DecideZeroRowsEffectively ResidueClassRing}{D.1.9}{X7F10DC697D2B828D}
\makelabel{matricesforhomalg:DecideZeroColumnsEffectively ResidueClassRing}{D.1.10}{X7B68B9F27BC02520}
\makelabel{matricesforhomalg:RelativeSyzygiesGeneratorsOfRows ResidueClassRing}{D.1.11}{X7DF62C5D7D2E6A6E}
\makelabel{matricesforhomalg:RelativeSyzygiesGeneratorsOfColumns ResidueClassRing}{D.1.12}{X852F9FD8837D97A5}
\makelabel{matricesforhomalg:InitialMatrix ResidueClassRing}{D.2.1}{X81CD6BAB7CA73AFC}
\makelabel{matricesforhomalg:InitialIdentityMatrix ResidueClassRing}{D.2.2}{X7D0F99857E280142}
\makelabel{matricesforhomalg:ZeroMatrix ResidueClassRing}{D.2.3}{X80393225841391E7}
\makelabel{matricesforhomalg:IdentityMatrix ResidueClassRing}{D.2.4}{X811B306C81435D87}
\makelabel{matricesforhomalg:Involution ResidueClassRing}{D.2.5}{X7B322C637FC26E2D}
\makelabel{matricesforhomalg:TransposedMatrix ResidueClassRing}{D.2.6}{X816CBEA6790E0C31}
\makelabel{matricesforhomalg:CertainRows ResidueClassRing}{D.2.7}{X7C5B29A37B13A53D}
\makelabel{matricesforhomalg:CertainColumns ResidueClassRing}{D.2.8}{X84CBE51981BA2C77}
\makelabel{matricesforhomalg:UnionOfRows ResidueClassRing}{D.2.9}{X8510678E8569799E}
\makelabel{matricesforhomalg:UnionOfColumns ResidueClassRing}{D.2.10}{X862F756A7FC0F0D4}
\makelabel{matricesforhomalg:DiagMat ResidueClassRing}{D.2.11}{X802BEBF5790D4167}
\makelabel{matricesforhomalg:KroneckerMat ResidueClassRing}{D.2.12}{X85F1DDDB864AF265}
\makelabel{matricesforhomalg:DualKroneckerMat ResidueClassRing}{D.2.13}{X7E996A50863FE76C}
\makelabel{matricesforhomalg:MulMat ResidueClassRing}{D.2.14}{X7A5D229384E9D19C}
\makelabel{matricesforhomalg:AddMat ResidueClassRing}{D.2.15}{X83E1AEC781AE1274}
\makelabel{matricesforhomalg:SubMat ResidueClassRing}{D.2.16}{X79A1C9297BE0C09A}
\makelabel{matricesforhomalg:Compose ResidueClassRing}{D.2.17}{X875447A686949D59}
\makelabel{matricesforhomalg:IsZeroMatrix ResidueClassRing}{D.2.18}{X78D7BABE806B82FA}
\makelabel{matricesforhomalg:NumberRows ResidueClassRing}{D.2.19}{X85CE26418598FACE}
\makelabel{matricesforhomalg:NumberColumns ResidueClassRing}{D.2.20}{X79A76B1A7CB57518}
\makelabel{matricesforhomalg:Determinant ResidueClassRing}{D.2.21}{X80831B287AB565BA}
\makelabel{matricesforhomalg:AreEqualMatrices ResidueClassRing}{D.3.1}{X848EB509816E8A7D}
\makelabel{matricesforhomalg:IsOne ResidueClassRing}{D.3.2}{X80122FB3846A6BA5}
\makelabel{matricesforhomalg:IsDiagonalMatrix ResidueClassRing}{D.3.3}{X87B8E7137DC97A71}
\makelabel{matricesforhomalg:ZeroRows ResidueClassRing}{D.3.4}{X7EFC928C7E59CEAE}
\makelabel{matricesforhomalg:ZeroColumns ResidueClassRing}{D.3.5}{X7E78F7D6796C7016}
\makelabel{matricesforhomalg:homalgMode}{E.2.1}{X7D07F29F7EB515EE}
