\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Introduction}}{11}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{intro}{{1}{11}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}\leavevmode {\color  {Chapter }What is the role of the \textsf  {MatricesForHomalg} package in the \textsf  {homalg} project?}}{11}{section.1.1}}
\newlabel{MatricesForHomalg_role}{{1.1}{11}{\textcolor {Chapter }{What is the role of the \textsf {MatricesForHomalg} package in the \textsf {homalg} project?}\relax }{section.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}\leavevmode {\color  {Chapter }\textsf  {MatricesForHomalg} provides ...}}{11}{subsection.1.1.1}}
\newlabel{MatricesForHomalg-provides}{{1.1.1}{11}{\textcolor {Chapter }{\textsf {MatricesForHomalg} provides ...}\relax }{subsection.1.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.2}\leavevmode {\color  {Chapter }\textsf  {homalg} delegates ...}}{11}{subsection.1.1.2}}
\newlabel{homalg-delegates}{{1.1.2}{11}{\textcolor {Chapter }{\textsf {homalg} delegates ...}\relax }{subsection.1.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.3}\leavevmode {\color  {Chapter }The black box concept}}{12}{subsection.1.1.3}}
\newlabel{black box}{{1.1.3}{12}{\textcolor {Chapter }{The black box concept}\relax }{subsection.1.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}\leavevmode {\color  {Chapter }This manual}}{12}{section.1.2}}
\newlabel{overview}{{1.2}{12}{\textcolor {Chapter }{This manual}\relax }{section.1.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Installation of the \textsf  {MatricesForHomalg} Package}}{13}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{install}{{2}{13}{\textcolor {Chapter }{Installation of the \textsf {MatricesForHomalg} Package}\relax }{chapter.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Rings}}{14}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Rings}{{3}{14}{\textcolor {Chapter }{Rings}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Rings: Category and Representations}}{14}{section.3.1}}
\newlabel{Rings:Category}{{3.1}{14}{\textcolor {Chapter }{Rings: Category and Representations}\relax }{section.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }IsHomalgRing}}{14}{subsection.3.1.1}}
\newlabel{IsHomalgRing}{{3.1.1}{14}{\textcolor {Chapter }{IsHomalgRing}\relax }{subsection.3.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color  {Chapter }IsPreHomalgRing}}{14}{subsection.3.1.2}}
\newlabel{IsPreHomalgRing}{{3.1.2}{14}{\textcolor {Chapter }{IsPreHomalgRing}\relax }{subsection.3.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}\leavevmode {\color  {Chapter }IsHomalgRingElement}}{14}{subsection.3.1.3}}
\newlabel{IsHomalgRingElement}{{3.1.3}{14}{\textcolor {Chapter }{IsHomalgRingElement}\relax }{subsection.3.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.4}\leavevmode {\color  {Chapter }IsHomalgInternalRingRep}}{15}{subsection.3.1.4}}
\newlabel{IsHomalgInternalRingRep}{{3.1.4}{15}{\textcolor {Chapter }{IsHomalgInternalRingRep}\relax }{subsection.3.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }Rings: Constructors}}{15}{section.3.2}}
\newlabel{Rings:Constructors}{{3.2}{15}{\textcolor {Chapter }{Rings: Constructors}\relax }{section.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }HomalgRingOfIntegers (constructor for the integers)}}{15}{subsection.3.2.1}}
\newlabel{HomalgRingOfIntegers:constructor for the integers}{{3.2.1}{15}{\textcolor {Chapter }{HomalgRingOfIntegers (constructor for the integers)}\relax }{subsection.3.2.1}{}}
\newlabel{HomalgRingOfIntegers:constructor for the residue class rings of the integers}{{3.2.1}{15}{\textcolor {Chapter }{HomalgRingOfIntegers (constructor for the integers)}\relax }{subsection.3.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color  {Chapter }HomalgFieldOfRationals (constructor for the field of rationals)}}{16}{subsection.3.2.2}}
\newlabel{HomalgFieldOfRationals:constructor for the field of rationals}{{3.2.2}{16}{\textcolor {Chapter }{HomalgFieldOfRationals (constructor for the field of rationals)}\relax }{subsection.3.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }/ (constructor for residue class rings)}}{16}{subsection.3.2.3}}
\newlabel{/:constructor for residue class rings}{{3.2.3}{16}{\textcolor {Chapter }{\texttt {\symbol {92}}/ (constructor for residue class rings)}\relax }{subsection.3.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }Rings: Properties}}{16}{section.3.3}}
\newlabel{Rings:Properties}{{3.3}{16}{\textcolor {Chapter }{Rings: Properties}\relax }{section.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }ContainsAField}}{17}{subsection.3.3.1}}
\newlabel{ContainsAField}{{3.3.1}{17}{\textcolor {Chapter }{ContainsAField}\relax }{subsection.3.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}\leavevmode {\color  {Chapter }IsRationalsForHomalg}}{17}{subsection.3.3.2}}
\newlabel{IsRationalsForHomalg}{{3.3.2}{17}{\textcolor {Chapter }{IsRationalsForHomalg}\relax }{subsection.3.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}\leavevmode {\color  {Chapter }IsFieldForHomalg}}{17}{subsection.3.3.3}}
\newlabel{IsFieldForHomalg}{{3.3.3}{17}{\textcolor {Chapter }{IsFieldForHomalg}\relax }{subsection.3.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}\leavevmode {\color  {Chapter }IsDivisionRingForHomalg}}{17}{subsection.3.3.4}}
\newlabel{IsDivisionRingForHomalg}{{3.3.4}{17}{\textcolor {Chapter }{IsDivisionRingForHomalg}\relax }{subsection.3.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.5}\leavevmode {\color  {Chapter }IsIntegersForHomalg}}{17}{subsection.3.3.5}}
\newlabel{IsIntegersForHomalg}{{3.3.5}{17}{\textcolor {Chapter }{IsIntegersForHomalg}\relax }{subsection.3.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.6}\leavevmode {\color  {Chapter }IsResidueClassRingOfTheIntegers}}{17}{subsection.3.3.6}}
\newlabel{IsResidueClassRingOfTheIntegers}{{3.3.6}{17}{\textcolor {Chapter }{IsResidueClassRingOfTheIntegers}\relax }{subsection.3.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.7}\leavevmode {\color  {Chapter }IsBezoutRing}}{17}{subsection.3.3.7}}
\newlabel{IsBezoutRing}{{3.3.7}{17}{\textcolor {Chapter }{IsBezoutRing}\relax }{subsection.3.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.8}\leavevmode {\color  {Chapter }IsIntegrallyClosedDomain}}{18}{subsection.3.3.8}}
\newlabel{IsIntegrallyClosedDomain}{{3.3.8}{18}{\textcolor {Chapter }{IsIntegrallyClosedDomain}\relax }{subsection.3.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.9}\leavevmode {\color  {Chapter }IsUniqueFactorizationDomain}}{18}{subsection.3.3.9}}
\newlabel{IsUniqueFactorizationDomain}{{3.3.9}{18}{\textcolor {Chapter }{IsUniqueFactorizationDomain}\relax }{subsection.3.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.10}\leavevmode {\color  {Chapter }IsKaplanskyHermite}}{18}{subsection.3.3.10}}
\newlabel{IsKaplanskyHermite}{{3.3.10}{18}{\textcolor {Chapter }{IsKaplanskyHermite}\relax }{subsection.3.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.11}\leavevmode {\color  {Chapter }IsDedekindDomain}}{18}{subsection.3.3.11}}
\newlabel{IsDedekindDomain}{{3.3.11}{18}{\textcolor {Chapter }{IsDedekindDomain}\relax }{subsection.3.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.12}\leavevmode {\color  {Chapter }IsDiscreteValuationRing}}{18}{subsection.3.3.12}}
\newlabel{IsDiscreteValuationRing}{{3.3.12}{18}{\textcolor {Chapter }{IsDiscreteValuationRing}\relax }{subsection.3.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.13}\leavevmode {\color  {Chapter }IsFreePolynomialRing}}{18}{subsection.3.3.13}}
\newlabel{IsFreePolynomialRing}{{3.3.13}{18}{\textcolor {Chapter }{IsFreePolynomialRing}\relax }{subsection.3.3.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.14}\leavevmode {\color  {Chapter }IsWeylRing}}{18}{subsection.3.3.14}}
\newlabel{IsWeylRing}{{3.3.14}{18}{\textcolor {Chapter }{IsWeylRing}\relax }{subsection.3.3.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.15}\leavevmode {\color  {Chapter }IsGlobalDimensionFinite}}{18}{subsection.3.3.15}}
\newlabel{IsGlobalDimensionFinite}{{3.3.15}{18}{\textcolor {Chapter }{IsGlobalDimensionFinite}\relax }{subsection.3.3.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.16}\leavevmode {\color  {Chapter }IsLeftGlobalDimensionFinite}}{19}{subsection.3.3.16}}
\newlabel{IsLeftGlobalDimensionFinite}{{3.3.16}{19}{\textcolor {Chapter }{IsLeftGlobalDimensionFinite}\relax }{subsection.3.3.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.17}\leavevmode {\color  {Chapter }IsRightGlobalDimensionFinite}}{19}{subsection.3.3.17}}
\newlabel{IsRightGlobalDimensionFinite}{{3.3.17}{19}{\textcolor {Chapter }{IsRightGlobalDimensionFinite}\relax }{subsection.3.3.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.18}\leavevmode {\color  {Chapter }HasInvariantBasisProperty}}{19}{subsection.3.3.18}}
\newlabel{HasInvariantBasisProperty}{{3.3.18}{19}{\textcolor {Chapter }{HasInvariantBasisProperty}\relax }{subsection.3.3.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.19}\leavevmode {\color  {Chapter }HasLeftInvariantBasisProperty}}{19}{subsection.3.3.19}}
\newlabel{HasLeftInvariantBasisProperty}{{3.3.19}{19}{\textcolor {Chapter }{HasLeftInvariantBasisProperty}\relax }{subsection.3.3.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.20}\leavevmode {\color  {Chapter }HasRightInvariantBasisProperty}}{19}{subsection.3.3.20}}
\newlabel{HasRightInvariantBasisProperty}{{3.3.20}{19}{\textcolor {Chapter }{HasRightInvariantBasisProperty}\relax }{subsection.3.3.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.21}\leavevmode {\color  {Chapter }IsLocalRing}}{19}{subsection.3.3.21}}
\newlabel{IsLocalRing}{{3.3.21}{19}{\textcolor {Chapter }{IsLocalRing}\relax }{subsection.3.3.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.22}\leavevmode {\color  {Chapter }IsSemiLocalRing}}{19}{subsection.3.3.22}}
\newlabel{IsSemiLocalRing}{{3.3.22}{19}{\textcolor {Chapter }{IsSemiLocalRing}\relax }{subsection.3.3.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.23}\leavevmode {\color  {Chapter }IsIntegralDomain}}{19}{subsection.3.3.23}}
\newlabel{IsIntegralDomain}{{3.3.23}{19}{\textcolor {Chapter }{IsIntegralDomain}\relax }{subsection.3.3.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.24}\leavevmode {\color  {Chapter }IsHereditary}}{20}{subsection.3.3.24}}
\newlabel{IsHereditary}{{3.3.24}{20}{\textcolor {Chapter }{IsHereditary}\relax }{subsection.3.3.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.25}\leavevmode {\color  {Chapter }IsLeftHereditary}}{20}{subsection.3.3.25}}
\newlabel{IsLeftHereditary}{{3.3.25}{20}{\textcolor {Chapter }{IsLeftHereditary}\relax }{subsection.3.3.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.26}\leavevmode {\color  {Chapter }IsRightHereditary}}{20}{subsection.3.3.26}}
\newlabel{IsRightHereditary}{{3.3.26}{20}{\textcolor {Chapter }{IsRightHereditary}\relax }{subsection.3.3.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.27}\leavevmode {\color  {Chapter }IsHermite}}{20}{subsection.3.3.27}}
\newlabel{IsHermite}{{3.3.27}{20}{\textcolor {Chapter }{IsHermite}\relax }{subsection.3.3.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.28}\leavevmode {\color  {Chapter }IsLeftHermite}}{20}{subsection.3.3.28}}
\newlabel{IsLeftHermite}{{3.3.28}{20}{\textcolor {Chapter }{IsLeftHermite}\relax }{subsection.3.3.28}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.29}\leavevmode {\color  {Chapter }IsRightHermite}}{20}{subsection.3.3.29}}
\newlabel{IsRightHermite}{{3.3.29}{20}{\textcolor {Chapter }{IsRightHermite}\relax }{subsection.3.3.29}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.30}\leavevmode {\color  {Chapter }IsNoetherian}}{20}{subsection.3.3.30}}
\newlabel{IsNoetherian}{{3.3.30}{20}{\textcolor {Chapter }{IsNoetherian}\relax }{subsection.3.3.30}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.31}\leavevmode {\color  {Chapter }IsLeftNoetherian}}{20}{subsection.3.3.31}}
\newlabel{IsLeftNoetherian}{{3.3.31}{20}{\textcolor {Chapter }{IsLeftNoetherian}\relax }{subsection.3.3.31}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.32}\leavevmode {\color  {Chapter }IsRightNoetherian}}{21}{subsection.3.3.32}}
\newlabel{IsRightNoetherian}{{3.3.32}{21}{\textcolor {Chapter }{IsRightNoetherian}\relax }{subsection.3.3.32}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.33}\leavevmode {\color  {Chapter }IsArtinian (for rings)}}{21}{subsection.3.3.33}}
\newlabel{IsArtinian:for rings}{{3.3.33}{21}{\textcolor {Chapter }{IsArtinian (for rings)}\relax }{subsection.3.3.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.34}\leavevmode {\color  {Chapter }IsLeftArtinian}}{21}{subsection.3.3.34}}
\newlabel{IsLeftArtinian}{{3.3.34}{21}{\textcolor {Chapter }{IsLeftArtinian}\relax }{subsection.3.3.34}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.35}\leavevmode {\color  {Chapter }IsRightArtinian}}{21}{subsection.3.3.35}}
\newlabel{IsRightArtinian}{{3.3.35}{21}{\textcolor {Chapter }{IsRightArtinian}\relax }{subsection.3.3.35}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.36}\leavevmode {\color  {Chapter }IsOreDomain}}{21}{subsection.3.3.36}}
\newlabel{IsOreDomain}{{3.3.36}{21}{\textcolor {Chapter }{IsOreDomain}\relax }{subsection.3.3.36}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.37}\leavevmode {\color  {Chapter }IsLeftOreDomain}}{21}{subsection.3.3.37}}
\newlabel{IsLeftOreDomain}{{3.3.37}{21}{\textcolor {Chapter }{IsLeftOreDomain}\relax }{subsection.3.3.37}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.38}\leavevmode {\color  {Chapter }IsRightOreDomain}}{21}{subsection.3.3.38}}
\newlabel{IsRightOreDomain}{{3.3.38}{21}{\textcolor {Chapter }{IsRightOreDomain}\relax }{subsection.3.3.38}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.39}\leavevmode {\color  {Chapter }IsPrincipalIdealRing}}{21}{subsection.3.3.39}}
\newlabel{IsPrincipalIdealRing}{{3.3.39}{21}{\textcolor {Chapter }{IsPrincipalIdealRing}\relax }{subsection.3.3.39}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.40}\leavevmode {\color  {Chapter }IsLeftPrincipalIdealRing}}{22}{subsection.3.3.40}}
\newlabel{IsLeftPrincipalIdealRing}{{3.3.40}{22}{\textcolor {Chapter }{IsLeftPrincipalIdealRing}\relax }{subsection.3.3.40}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.41}\leavevmode {\color  {Chapter }IsRightPrincipalIdealRing}}{22}{subsection.3.3.41}}
\newlabel{IsRightPrincipalIdealRing}{{3.3.41}{22}{\textcolor {Chapter }{IsRightPrincipalIdealRing}\relax }{subsection.3.3.41}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.42}\leavevmode {\color  {Chapter }IsRegular}}{22}{subsection.3.3.42}}
\newlabel{IsRegular}{{3.3.42}{22}{\textcolor {Chapter }{IsRegular}\relax }{subsection.3.3.42}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.43}\leavevmode {\color  {Chapter }IsFiniteFreePresentationRing}}{22}{subsection.3.3.43}}
\newlabel{IsFiniteFreePresentationRing}{{3.3.43}{22}{\textcolor {Chapter }{IsFiniteFreePresentationRing}\relax }{subsection.3.3.43}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.44}\leavevmode {\color  {Chapter }IsLeftFiniteFreePresentationRing}}{22}{subsection.3.3.44}}
\newlabel{IsLeftFiniteFreePresentationRing}{{3.3.44}{22}{\textcolor {Chapter }{IsLeftFiniteFreePresentationRing}\relax }{subsection.3.3.44}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.45}\leavevmode {\color  {Chapter }IsRightFiniteFreePresentationRing}}{22}{subsection.3.3.45}}
\newlabel{IsRightFiniteFreePresentationRing}{{3.3.45}{22}{\textcolor {Chapter }{IsRightFiniteFreePresentationRing}\relax }{subsection.3.3.45}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.46}\leavevmode {\color  {Chapter }IsSimpleRing}}{22}{subsection.3.3.46}}
\newlabel{IsSimpleRing}{{3.3.46}{22}{\textcolor {Chapter }{IsSimpleRing}\relax }{subsection.3.3.46}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.47}\leavevmode {\color  {Chapter }IsSemiSimpleRing}}{22}{subsection.3.3.47}}
\newlabel{IsSemiSimpleRing}{{3.3.47}{22}{\textcolor {Chapter }{IsSemiSimpleRing}\relax }{subsection.3.3.47}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.48}\leavevmode {\color  {Chapter }BasisAlgorithmRespectsPrincipalIdeals}}{23}{subsection.3.3.48}}
\newlabel{BasisAlgorithmRespectsPrincipalIdeals}{{3.3.48}{23}{\textcolor {Chapter }{BasisAlgorithmRespectsPrincipalIdeals}\relax }{subsection.3.3.48}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.49}\leavevmode {\color  {Chapter }IsMinusOne}}{23}{subsection.3.3.49}}
\newlabel{IsMinusOne}{{3.3.49}{23}{\textcolor {Chapter }{IsMinusOne}\relax }{subsection.3.3.49}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}\leavevmode {\color  {Chapter }Rings: Attributes}}{23}{section.3.4}}
\newlabel{Rings:Attributes}{{3.4}{23}{\textcolor {Chapter }{Rings: Attributes}\relax }{section.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}\leavevmode {\color  {Chapter }Zero (for homalg ring elements)}}{23}{subsection.3.4.1}}
\newlabel{Zero:for homalg ring elements}{{3.4.1}{23}{\textcolor {Chapter }{Zero (for homalg ring elements)}\relax }{subsection.3.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}\leavevmode {\color  {Chapter }One (for homalg ring elements)}}{23}{subsection.3.4.2}}
\newlabel{One:for homalg ring elements}{{3.4.2}{23}{\textcolor {Chapter }{One (for homalg ring elements)}\relax }{subsection.3.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}\leavevmode {\color  {Chapter }homalgTable}}{23}{subsection.3.4.3}}
\newlabel{homalgTable}{{3.4.3}{23}{\textcolor {Chapter }{homalgTable}\relax }{subsection.3.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.4}\leavevmode {\color  {Chapter }RingElementConstructor}}{23}{subsection.3.4.4}}
\newlabel{RingElementConstructor}{{3.4.4}{23}{\textcolor {Chapter }{RingElementConstructor}\relax }{subsection.3.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.5}\leavevmode {\color  {Chapter }TypeOfHomalgMatrix}}{23}{subsection.3.4.5}}
\newlabel{TypeOfHomalgMatrix}{{3.4.5}{23}{\textcolor {Chapter }{TypeOfHomalgMatrix}\relax }{subsection.3.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.6}\leavevmode {\color  {Chapter }ConstructorForHomalgMatrices}}{23}{subsection.3.4.6}}
\newlabel{ConstructorForHomalgMatrices}{{3.4.6}{23}{\textcolor {Chapter }{ConstructorForHomalgMatrices}\relax }{subsection.3.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.7}\leavevmode {\color  {Chapter }Zero (for homalg rings)}}{24}{subsection.3.4.7}}
\newlabel{Zero:for homalg rings}{{3.4.7}{24}{\textcolor {Chapter }{Zero (for homalg rings)}\relax }{subsection.3.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.8}\leavevmode {\color  {Chapter }One (for homalg rings)}}{24}{subsection.3.4.8}}
\newlabel{One:for homalg rings}{{3.4.8}{24}{\textcolor {Chapter }{One (for homalg rings)}\relax }{subsection.3.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.9}\leavevmode {\color  {Chapter }MinusOne}}{24}{subsection.3.4.9}}
\newlabel{MinusOne}{{3.4.9}{24}{\textcolor {Chapter }{MinusOne}\relax }{subsection.3.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.10}\leavevmode {\color  {Chapter }RationalParameters}}{24}{subsection.3.4.10}}
\newlabel{RationalParameters}{{3.4.10}{24}{\textcolor {Chapter }{RationalParameters}\relax }{subsection.3.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.11}\leavevmode {\color  {Chapter }IndeterminatesOfPolynomialRing}}{24}{subsection.3.4.11}}
\newlabel{IndeterminatesOfPolynomialRing}{{3.4.11}{24}{\textcolor {Chapter }{IndeterminatesOfPolynomialRing}\relax }{subsection.3.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.12}\leavevmode {\color  {Chapter }IndeterminateCoordinatesOfRingOfDerivations}}{24}{subsection.3.4.12}}
\newlabel{IndeterminateCoordinatesOfRingOfDerivations}{{3.4.12}{24}{\textcolor {Chapter }{IndeterminateCoordinatesOfRingOfDerivations}\relax }{subsection.3.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.13}\leavevmode {\color  {Chapter }IndeterminateDerivationsOfRingOfDerivations}}{24}{subsection.3.4.13}}
\newlabel{IndeterminateDerivationsOfRingOfDerivations}{{3.4.13}{24}{\textcolor {Chapter }{IndeterminateDerivationsOfRingOfDerivations}\relax }{subsection.3.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.14}\leavevmode {\color  {Chapter }IndeterminateAntiCommutingVariablesOfExteriorRing}}{24}{subsection.3.4.14}}
\newlabel{IndeterminateAntiCommutingVariablesOfExteriorRing}{{3.4.14}{24}{\textcolor {Chapter }{IndeterminateAntiCommutingVariablesOfExteriorRing}\relax }{subsection.3.4.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.15}\leavevmode {\color  {Chapter }IndeterminatesOfExteriorRing}}{24}{subsection.3.4.15}}
\newlabel{IndeterminatesOfExteriorRing}{{3.4.15}{24}{\textcolor {Chapter }{IndeterminatesOfExteriorRing}\relax }{subsection.3.4.15}{}}
\citation{McCRob}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.16}\leavevmode {\color  {Chapter }WeightsOfIndeterminates}}{25}{subsection.3.4.16}}
\newlabel{WeightsOfIndeterminates}{{3.4.16}{25}{\textcolor {Chapter }{WeightsOfIndeterminates}\relax }{subsection.3.4.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.17}\leavevmode {\color  {Chapter }MatrixOfWeightsOfIndeterminates}}{25}{subsection.3.4.17}}
\newlabel{MatrixOfWeightsOfIndeterminates}{{3.4.17}{25}{\textcolor {Chapter }{MatrixOfWeightsOfIndeterminates}\relax }{subsection.3.4.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.18}\leavevmode {\color  {Chapter }CoefficientsRing}}{25}{subsection.3.4.18}}
\newlabel{CoefficientsRing}{{3.4.18}{25}{\textcolor {Chapter }{CoefficientsRing}\relax }{subsection.3.4.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.19}\leavevmode {\color  {Chapter }KrullDimension}}{25}{subsection.3.4.19}}
\newlabel{KrullDimension}{{3.4.19}{25}{\textcolor {Chapter }{KrullDimension}\relax }{subsection.3.4.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.20}\leavevmode {\color  {Chapter }LeftGlobalDimension}}{25}{subsection.3.4.20}}
\newlabel{LeftGlobalDimension}{{3.4.20}{25}{\textcolor {Chapter }{LeftGlobalDimension}\relax }{subsection.3.4.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.21}\leavevmode {\color  {Chapter }RightGlobalDimension}}{25}{subsection.3.4.21}}
\newlabel{RightGlobalDimension}{{3.4.21}{25}{\textcolor {Chapter }{RightGlobalDimension}\relax }{subsection.3.4.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.22}\leavevmode {\color  {Chapter }GlobalDimension}}{25}{subsection.3.4.22}}
\newlabel{GlobalDimension}{{3.4.22}{25}{\textcolor {Chapter }{GlobalDimension}\relax }{subsection.3.4.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.23}\leavevmode {\color  {Chapter }GeneralLinearRank}}{25}{subsection.3.4.23}}
\newlabel{GeneralLinearRank}{{3.4.23}{25}{\textcolor {Chapter }{GeneralLinearRank}\relax }{subsection.3.4.23}{}}
\@writefile{brf}{\backcite{McCRob}{{25}{3.4.23}{subsection.3.4.23}}}
\citation{McCRob}
\citation{McCRob}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.24}\leavevmode {\color  {Chapter }ElementaryRank}}{26}{subsection.3.4.24}}
\newlabel{ElementaryRank}{{3.4.24}{26}{\textcolor {Chapter }{ElementaryRank}\relax }{subsection.3.4.24}{}}
\@writefile{brf}{\backcite{McCRob}{{26}{3.4.24}{subsection.3.4.24}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.25}\leavevmode {\color  {Chapter }StableRank}}{26}{subsection.3.4.25}}
\newlabel{StableRank}{{3.4.25}{26}{\textcolor {Chapter }{StableRank}\relax }{subsection.3.4.25}{}}
\@writefile{brf}{\backcite{McCRob}{{26}{3.4.25}{subsection.3.4.25}}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}\leavevmode {\color  {Chapter }Rings: Operations and Functions}}{26}{section.3.5}}
\newlabel{Rings:Operations}{{3.5}{26}{\textcolor {Chapter }{Rings: Operations and Functions}\relax }{section.3.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Ring Maps}}{27}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{RingMaps}{{4}{27}{\textcolor {Chapter }{Ring Maps}\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }Ring Maps: Category and Representations}}{27}{section.4.1}}
\newlabel{RingMaps:}{{4.1}{27}{\textcolor {Chapter }{Ring Maps: Category and Representations}\relax }{section.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }IsHomalgRingMap}}{27}{subsection.4.1.1}}
\newlabel{IsHomalgRingMap}{{4.1.1}{27}{\textcolor {Chapter }{IsHomalgRingMap}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color  {Chapter }IsHomalgRingSelfMap}}{27}{subsection.4.1.2}}
\newlabel{IsHomalgRingSelfMap}{{4.1.2}{27}{\textcolor {Chapter }{IsHomalgRingSelfMap}\relax }{subsection.4.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color  {Chapter }IsHomalgRingMapRep}}{27}{subsection.4.1.3}}
\newlabel{IsHomalgRingMapRep}{{4.1.3}{27}{\textcolor {Chapter }{IsHomalgRingMapRep}\relax }{subsection.4.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Ring Maps: Constructors}}{27}{section.4.2}}
\newlabel{RingMaps:Constructors}{{4.2}{27}{\textcolor {Chapter }{Ring Maps: Constructors}\relax }{section.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }RingMap (constructor for ring maps)}}{27}{subsection.4.2.1}}
\newlabel{RingMap:constructor for ring maps}{{4.2.1}{27}{\textcolor {Chapter }{RingMap (constructor for ring maps)}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter }Ring Maps: Properties}}{28}{section.4.3}}
\newlabel{RingMaps:Properties}{{4.3}{28}{\textcolor {Chapter }{Ring Maps: Properties}\relax }{section.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }IsMorphism (for ring maps)}}{28}{subsection.4.3.1}}
\newlabel{IsMorphism:for ring maps}{{4.3.1}{28}{\textcolor {Chapter }{IsMorphism (for ring maps)}\relax }{subsection.4.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color  {Chapter }IsIdentityMorphism (for ring maps)}}{28}{subsection.4.3.2}}
\newlabel{IsIdentityMorphism:for ring maps}{{4.3.2}{28}{\textcolor {Chapter }{IsIdentityMorphism (for ring maps)}\relax }{subsection.4.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}\leavevmode {\color  {Chapter }IsMonomorphism (for ring maps)}}{28}{subsection.4.3.3}}
\newlabel{IsMonomorphism:for ring maps}{{4.3.3}{28}{\textcolor {Chapter }{IsMonomorphism (for ring maps)}\relax }{subsection.4.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}\leavevmode {\color  {Chapter }IsEpimorphism (for ring maps)}}{28}{subsection.4.3.4}}
\newlabel{IsEpimorphism:for ring maps}{{4.3.4}{28}{\textcolor {Chapter }{IsEpimorphism (for ring maps)}\relax }{subsection.4.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.5}\leavevmode {\color  {Chapter }IsIsomorphism (for ring maps)}}{28}{subsection.4.3.5}}
\newlabel{IsIsomorphism:for ring maps}{{4.3.5}{28}{\textcolor {Chapter }{IsIsomorphism (for ring maps)}\relax }{subsection.4.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.6}\leavevmode {\color  {Chapter }IsAutomorphism (for ring maps)}}{28}{subsection.4.3.6}}
\newlabel{IsAutomorphism:for ring maps}{{4.3.6}{28}{\textcolor {Chapter }{IsAutomorphism (for ring maps)}\relax }{subsection.4.3.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color  {Chapter }Ring Maps: Attributes}}{29}{section.4.4}}
\newlabel{RingMaps:Attributes}{{4.4}{29}{\textcolor {Chapter }{Ring Maps: Attributes}\relax }{section.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color  {Chapter }Source (for ring maps)}}{29}{subsection.4.4.1}}
\newlabel{Source:for ring maps}{{4.4.1}{29}{\textcolor {Chapter }{Source (for ring maps)}\relax }{subsection.4.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}\leavevmode {\color  {Chapter }Range (for ring maps)}}{29}{subsection.4.4.2}}
\newlabel{Range:for ring maps}{{4.4.2}{29}{\textcolor {Chapter }{Range (for ring maps)}\relax }{subsection.4.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.3}\leavevmode {\color  {Chapter }DegreeOfMorphism (for ring maps)}}{29}{subsection.4.4.3}}
\newlabel{DegreeOfMorphism:for ring maps}{{4.4.3}{29}{\textcolor {Chapter }{DegreeOfMorphism (for ring maps)}\relax }{subsection.4.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.4}\leavevmode {\color  {Chapter }CoordinateRingOfGraph (for ring maps)}}{29}{subsection.4.4.4}}
\newlabel{CoordinateRingOfGraph:for ring maps}{{4.4.4}{29}{\textcolor {Chapter }{CoordinateRingOfGraph (for ring maps)}\relax }{subsection.4.4.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}\leavevmode {\color  {Chapter }Ring Maps: Operations and Functions}}{29}{section.4.5}}
\newlabel{RingMaps:Operations and Functions}{{4.5}{29}{\textcolor {Chapter }{Ring Maps: Operations and Functions}\relax }{section.4.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Matrices}}{30}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Matrices}{{5}{30}{\textcolor {Chapter }{Matrices}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }Matrices: Category and Representations}}{30}{section.5.1}}
\newlabel{Matrices:Category}{{5.1}{30}{\textcolor {Chapter }{Matrices: Category and Representations}\relax }{section.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color  {Chapter }IsHomalgMatrix}}{30}{subsection.5.1.1}}
\newlabel{IsHomalgMatrix}{{5.1.1}{30}{\textcolor {Chapter }{IsHomalgMatrix}\relax }{subsection.5.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}\leavevmode {\color  {Chapter }IsHomalgInternalMatrixRep}}{30}{subsection.5.1.2}}
\newlabel{IsHomalgInternalMatrixRep}{{5.1.2}{30}{\textcolor {Chapter }{IsHomalgInternalMatrixRep}\relax }{subsection.5.1.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Matrices: Constructors}}{31}{section.5.2}}
\newlabel{Matrices:Constructors}{{5.2}{31}{\textcolor {Chapter }{Matrices: Constructors}\relax }{section.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }HomalgInitialMatrix (constructor for initial matrices filled with zeros)}}{31}{subsection.5.2.1}}
\newlabel{HomalgInitialMatrix:constructor for initial matrices filled with zeros}{{5.2.1}{31}{\textcolor {Chapter }{HomalgInitialMatrix (constructor for initial matrices filled with zeros)}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color  {Chapter }HomalgInitialIdentityMatrix (constructor for initial quadratic matrices with ones on the diagonal)}}{31}{subsection.5.2.2}}
\newlabel{HomalgInitialIdentityMatrix:constructor for initial quadratic matrices with ones on the diagonal}{{5.2.2}{31}{\textcolor {Chapter }{HomalgInitialIdentityMatrix (constructor for initial quadratic matrices with ones on the diagonal)}\relax }{subsection.5.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color  {Chapter }HomalgZeroMatrix (constructor for zero matrices)}}{32}{subsection.5.2.3}}
\newlabel{HomalgZeroMatrix:constructor for zero matrices}{{5.2.3}{32}{\textcolor {Chapter }{HomalgZeroMatrix (constructor for zero matrices)}\relax }{subsection.5.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}\leavevmode {\color  {Chapter }HomalgIdentityMatrix (constructor for identity matrices)}}{32}{subsection.5.2.4}}
\newlabel{HomalgIdentityMatrix:constructor for identity matrices}{{5.2.4}{32}{\textcolor {Chapter }{HomalgIdentityMatrix (constructor for identity matrices)}\relax }{subsection.5.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.5}\leavevmode {\color  {Chapter }HomalgVoidMatrix (constructor for void matrices)}}{33}{subsection.5.2.5}}
\newlabel{HomalgVoidMatrix:constructor for void matrices}{{5.2.5}{33}{\textcolor {Chapter }{HomalgVoidMatrix (constructor for void matrices)}\relax }{subsection.5.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.6}\leavevmode {\color  {Chapter }HomalgMatrix (constructor for matrices using a listlist)}}{33}{subsection.5.2.6}}
\newlabel{HomalgMatrix:constructor for matrices using a listlist}{{5.2.6}{33}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.5.2.6}{}}
\newlabel{HomalgMatrix:constructor for matrices using a list}{{5.2.6}{33}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.5.2.6}{}}
\newlabel{HomalgMatrix:constructor for matrices using a string of a listlist}{{5.2.6}{33}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.5.2.6}{}}
\newlabel{HomalgMatrix:constructor for matrices using a string of a list}{{5.2.6}{33}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.5.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.7}\leavevmode {\color  {Chapter }HomalgDiagonalMatrix (constructor for diagonal matrices)}}{34}{subsection.5.2.7}}
\newlabel{HomalgDiagonalMatrix:constructor for diagonal matrices}{{5.2.7}{34}{\textcolor {Chapter }{HomalgDiagonalMatrix (constructor for diagonal matrices)}\relax }{subsection.5.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.8}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (copy a matrix over a different ring)}}{34}{subsection.5.2.8}}
\newlabel{*:copy a matrix over a different ring}{{5.2.8}{34}{\textcolor {Chapter }{\texttt {\symbol {92}}* (copy a matrix over a different ring)}\relax }{subsection.5.2.8}{}}
\newlabel{*:copy a matrix over a different ring (right)}{{5.2.8}{34}{\textcolor {Chapter }{\texttt {\symbol {92}}* (copy a matrix over a different ring)}\relax }{subsection.5.2.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}\leavevmode {\color  {Chapter }Matrices: Properties}}{35}{section.5.3}}
\newlabel{Matrices:Properties}{{5.3}{35}{\textcolor {Chapter }{Matrices: Properties}\relax }{section.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.1}\leavevmode {\color  {Chapter }IsZero (for matrices)}}{35}{subsection.5.3.1}}
\newlabel{IsZero:for matrices}{{5.3.1}{35}{\textcolor {Chapter }{IsZero (for matrices)}\relax }{subsection.5.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.2}\leavevmode {\color  {Chapter }IsOne}}{36}{subsection.5.3.2}}
\newlabel{IsOne}{{5.3.2}{36}{\textcolor {Chapter }{IsOne}\relax }{subsection.5.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.3}\leavevmode {\color  {Chapter }IsPermutationMatrix}}{36}{subsection.5.3.3}}
\newlabel{IsPermutationMatrix}{{5.3.3}{36}{\textcolor {Chapter }{IsPermutationMatrix}\relax }{subsection.5.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.4}\leavevmode {\color  {Chapter }IsSpecialSubidentityMatrix}}{36}{subsection.5.3.4}}
\newlabel{IsSpecialSubidentityMatrix}{{5.3.4}{36}{\textcolor {Chapter }{IsSpecialSubidentityMatrix}\relax }{subsection.5.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.5}\leavevmode {\color  {Chapter }IsSubidentityMatrix}}{36}{subsection.5.3.5}}
\newlabel{IsSubidentityMatrix}{{5.3.5}{36}{\textcolor {Chapter }{IsSubidentityMatrix}\relax }{subsection.5.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.6}\leavevmode {\color  {Chapter }IsLeftRegularMatrix}}{36}{subsection.5.3.6}}
\newlabel{IsLeftRegularMatrix}{{5.3.6}{36}{\textcolor {Chapter }{IsLeftRegularMatrix}\relax }{subsection.5.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.7}\leavevmode {\color  {Chapter }IsRightRegularMatrix}}{36}{subsection.5.3.7}}
\newlabel{IsRightRegularMatrix}{{5.3.7}{36}{\textcolor {Chapter }{IsRightRegularMatrix}\relax }{subsection.5.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.8}\leavevmode {\color  {Chapter }IsInvertibleMatrix}}{36}{subsection.5.3.8}}
\newlabel{IsInvertibleMatrix}{{5.3.8}{36}{\textcolor {Chapter }{IsInvertibleMatrix}\relax }{subsection.5.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.9}\leavevmode {\color  {Chapter }IsLeftInvertibleMatrix}}{36}{subsection.5.3.9}}
\newlabel{IsLeftInvertibleMatrix}{{5.3.9}{36}{\textcolor {Chapter }{IsLeftInvertibleMatrix}\relax }{subsection.5.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.10}\leavevmode {\color  {Chapter }IsRightInvertibleMatrix}}{37}{subsection.5.3.10}}
\newlabel{IsRightInvertibleMatrix}{{5.3.10}{37}{\textcolor {Chapter }{IsRightInvertibleMatrix}\relax }{subsection.5.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.11}\leavevmode {\color  {Chapter }IsEmptyMatrix}}{37}{subsection.5.3.11}}
\newlabel{IsEmptyMatrix}{{5.3.11}{37}{\textcolor {Chapter }{IsEmptyMatrix}\relax }{subsection.5.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.12}\leavevmode {\color  {Chapter }IsDiagonalMatrix}}{37}{subsection.5.3.12}}
\newlabel{IsDiagonalMatrix}{{5.3.12}{37}{\textcolor {Chapter }{IsDiagonalMatrix}\relax }{subsection.5.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.13}\leavevmode {\color  {Chapter }IsScalarlMatrix}}{37}{subsection.5.3.13}}
\newlabel{IsScalarlMatrix}{{5.3.13}{37}{\textcolor {Chapter }{IsScalarlMatrix}\relax }{subsection.5.3.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.14}\leavevmode {\color  {Chapter }IsUpperTriangularMatrix}}{37}{subsection.5.3.14}}
\newlabel{IsUpperTriangularMatrix}{{5.3.14}{37}{\textcolor {Chapter }{IsUpperTriangularMatrix}\relax }{subsection.5.3.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.15}\leavevmode {\color  {Chapter }IsLowerTriangularMatrix}}{37}{subsection.5.3.15}}
\newlabel{IsLowerTriangularMatrix}{{5.3.15}{37}{\textcolor {Chapter }{IsLowerTriangularMatrix}\relax }{subsection.5.3.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.16}\leavevmode {\color  {Chapter }IsStrictUpperTriangularMatrix}}{37}{subsection.5.3.16}}
\newlabel{IsStrictUpperTriangularMatrix}{{5.3.16}{37}{\textcolor {Chapter }{IsStrictUpperTriangularMatrix}\relax }{subsection.5.3.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.17}\leavevmode {\color  {Chapter }IsStrictLowerTriangularMatrix}}{37}{subsection.5.3.17}}
\newlabel{IsStrictLowerTriangularMatrix}{{5.3.17}{37}{\textcolor {Chapter }{IsStrictLowerTriangularMatrix}\relax }{subsection.5.3.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.18}\leavevmode {\color  {Chapter }IsUpperStairCaseMatrix}}{38}{subsection.5.3.18}}
\newlabel{IsUpperStairCaseMatrix}{{5.3.18}{38}{\textcolor {Chapter }{IsUpperStairCaseMatrix}\relax }{subsection.5.3.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.19}\leavevmode {\color  {Chapter }IsLowerStairCaseMatrix}}{38}{subsection.5.3.19}}
\newlabel{IsLowerStairCaseMatrix}{{5.3.19}{38}{\textcolor {Chapter }{IsLowerStairCaseMatrix}\relax }{subsection.5.3.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.20}\leavevmode {\color  {Chapter }IsTriangularMatrix}}{38}{subsection.5.3.20}}
\newlabel{IsTriangularMatrix}{{5.3.20}{38}{\textcolor {Chapter }{IsTriangularMatrix}\relax }{subsection.5.3.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.21}\leavevmode {\color  {Chapter }IsBasisOfRowsMatrix}}{38}{subsection.5.3.21}}
\newlabel{IsBasisOfRowsMatrix}{{5.3.21}{38}{\textcolor {Chapter }{IsBasisOfRowsMatrix}\relax }{subsection.5.3.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.22}\leavevmode {\color  {Chapter }IsBasisOfColumnsMatrix}}{38}{subsection.5.3.22}}
\newlabel{IsBasisOfColumnsMatrix}{{5.3.22}{38}{\textcolor {Chapter }{IsBasisOfColumnsMatrix}\relax }{subsection.5.3.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.23}\leavevmode {\color  {Chapter }IsReducedBasisOfRowsMatrix}}{38}{subsection.5.3.23}}
\newlabel{IsReducedBasisOfRowsMatrix}{{5.3.23}{38}{\textcolor {Chapter }{IsReducedBasisOfRowsMatrix}\relax }{subsection.5.3.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.24}\leavevmode {\color  {Chapter }IsReducedBasisOfColumnsMatrix}}{38}{subsection.5.3.24}}
\newlabel{IsReducedBasisOfColumnsMatrix}{{5.3.24}{38}{\textcolor {Chapter }{IsReducedBasisOfColumnsMatrix}\relax }{subsection.5.3.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.25}\leavevmode {\color  {Chapter }IsMutableMatrix}}{38}{subsection.5.3.25}}
\newlabel{IsMutableMatrix}{{5.3.25}{38}{\textcolor {Chapter }{IsMutableMatrix}\relax }{subsection.5.3.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.26}\leavevmode {\color  {Chapter }IsInitialMatrix}}{39}{subsection.5.3.26}}
\newlabel{IsInitialMatrix}{{5.3.26}{39}{\textcolor {Chapter }{IsInitialMatrix}\relax }{subsection.5.3.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.27}\leavevmode {\color  {Chapter }IsInitialIdentityMatrix}}{39}{subsection.5.3.27}}
\newlabel{IsInitialIdentityMatrix}{{5.3.27}{39}{\textcolor {Chapter }{IsInitialIdentityMatrix}\relax }{subsection.5.3.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.28}\leavevmode {\color  {Chapter }IsVoidMatrix}}{39}{subsection.5.3.28}}
\newlabel{IsVoidMatrix}{{5.3.28}{39}{\textcolor {Chapter }{IsVoidMatrix}\relax }{subsection.5.3.28}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}\leavevmode {\color  {Chapter }Matrices: Attributes}}{39}{section.5.4}}
\newlabel{Matrices:Attributes}{{5.4}{39}{\textcolor {Chapter }{Matrices: Attributes}\relax }{section.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}\leavevmode {\color  {Chapter }NrRows}}{39}{subsection.5.4.1}}
\newlabel{NrRows}{{5.4.1}{39}{\textcolor {Chapter }{NrRows}\relax }{subsection.5.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}\leavevmode {\color  {Chapter }NrColumns}}{39}{subsection.5.4.2}}
\newlabel{NrColumns}{{5.4.2}{39}{\textcolor {Chapter }{NrColumns}\relax }{subsection.5.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.3}\leavevmode {\color  {Chapter }DeterminantMat}}{39}{subsection.5.4.3}}
\newlabel{DeterminantMat}{{5.4.3}{39}{\textcolor {Chapter }{DeterminantMat}\relax }{subsection.5.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.4}\leavevmode {\color  {Chapter }ZeroRows}}{39}{subsection.5.4.4}}
\newlabel{ZeroRows}{{5.4.4}{39}{\textcolor {Chapter }{ZeroRows}\relax }{subsection.5.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.5}\leavevmode {\color  {Chapter }ZeroColumns}}{40}{subsection.5.4.5}}
\newlabel{ZeroColumns}{{5.4.5}{40}{\textcolor {Chapter }{ZeroColumns}\relax }{subsection.5.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.6}\leavevmode {\color  {Chapter }NonZeroRows}}{40}{subsection.5.4.6}}
\newlabel{NonZeroRows}{{5.4.6}{40}{\textcolor {Chapter }{NonZeroRows}\relax }{subsection.5.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.7}\leavevmode {\color  {Chapter }NonZeroColumns}}{40}{subsection.5.4.7}}
\newlabel{NonZeroColumns}{{5.4.7}{40}{\textcolor {Chapter }{NonZeroColumns}\relax }{subsection.5.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.8}\leavevmode {\color  {Chapter }PositionOfFirstNonZeroEntryPerRow}}{40}{subsection.5.4.8}}
\newlabel{PositionOfFirstNonZeroEntryPerRow}{{5.4.8}{40}{\textcolor {Chapter }{PositionOfFirstNonZeroEntryPerRow}\relax }{subsection.5.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.9}\leavevmode {\color  {Chapter }PositionOfFirstNonZeroEntryPerColumn}}{40}{subsection.5.4.9}}
\newlabel{PositionOfFirstNonZeroEntryPerColumn}{{5.4.9}{40}{\textcolor {Chapter }{PositionOfFirstNonZeroEntryPerColumn}\relax }{subsection.5.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.10}\leavevmode {\color  {Chapter }DegreesOfEntries}}{40}{subsection.5.4.10}}
\newlabel{DegreesOfEntries}{{5.4.10}{40}{\textcolor {Chapter }{DegreesOfEntries}\relax }{subsection.5.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.11}\leavevmode {\color  {Chapter }RowRankOfMatrix}}{40}{subsection.5.4.11}}
\newlabel{RowRankOfMatrix}{{5.4.11}{40}{\textcolor {Chapter }{RowRankOfMatrix}\relax }{subsection.5.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.12}\leavevmode {\color  {Chapter }ColumnRankOfMatrix}}{40}{subsection.5.4.12}}
\newlabel{ColumnRankOfMatrix}{{5.4.12}{40}{\textcolor {Chapter }{ColumnRankOfMatrix}\relax }{subsection.5.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.13}\leavevmode {\color  {Chapter }LeftInverse (for matrices)}}{41}{subsection.5.4.13}}
\newlabel{LeftInverse:for matrices}{{5.4.13}{41}{\textcolor {Chapter }{LeftInverse (for matrices)}\relax }{subsection.5.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.14}\leavevmode {\color  {Chapter }RightInverse (for matrices)}}{41}{subsection.5.4.14}}
\newlabel{RightInverse:for matrices}{{5.4.14}{41}{\textcolor {Chapter }{RightInverse (for matrices)}\relax }{subsection.5.4.14}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}\leavevmode {\color  {Chapter }Matrices: Operations and Functions}}{41}{section.5.5}}
\newlabel{Matrices:Operations}{{5.5}{41}{\textcolor {Chapter }{Matrices: Operations and Functions}\relax }{section.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.1}\leavevmode {\color  {Chapter }HomalgRing (for matrices)}}{41}{subsection.5.5.1}}
\newlabel{HomalgRing:for matrices}{{5.5.1}{41}{\textcolor {Chapter }{HomalgRing (for matrices)}\relax }{subsection.5.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.2}\leavevmode {\color  {Chapter }Involution (for matrices)}}{41}{subsection.5.5.2}}
\newlabel{Involution:for matrices}{{5.5.2}{41}{\textcolor {Chapter }{Involution (for matrices)}\relax }{subsection.5.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.3}\leavevmode {\color  {Chapter }CertainRows (for matrices)}}{41}{subsection.5.5.3}}
\newlabel{CertainRows:for matrices}{{5.5.3}{41}{\textcolor {Chapter }{CertainRows (for matrices)}\relax }{subsection.5.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.4}\leavevmode {\color  {Chapter }CertainColumns (for matrices)}}{42}{subsection.5.5.4}}
\newlabel{CertainColumns:for matrices}{{5.5.4}{42}{\textcolor {Chapter }{CertainColumns (for matrices)}\relax }{subsection.5.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.5}\leavevmode {\color  {Chapter }UnionOfRows (for matrices)}}{42}{subsection.5.5.5}}
\newlabel{UnionOfRows:for matrices}{{5.5.5}{42}{\textcolor {Chapter }{UnionOfRows (for matrices)}\relax }{subsection.5.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.6}\leavevmode {\color  {Chapter }UnionOfColumns (for matrices)}}{42}{subsection.5.5.6}}
\newlabel{UnionOfColumns:for matrices}{{5.5.6}{42}{\textcolor {Chapter }{UnionOfColumns (for matrices)}\relax }{subsection.5.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.7}\leavevmode {\color  {Chapter }DiagMat (for matrices)}}{42}{subsection.5.5.7}}
\newlabel{DiagMat:for matrices}{{5.5.7}{42}{\textcolor {Chapter }{DiagMat (for matrices)}\relax }{subsection.5.5.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.8}\leavevmode {\color  {Chapter }KroneckerMat (for matrices)}}{42}{subsection.5.5.8}}
\newlabel{KroneckerMat:for matrices}{{5.5.8}{42}{\textcolor {Chapter }{KroneckerMat (for matrices)}\relax }{subsection.5.5.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.9}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (for ring elements and matrices)}}{42}{subsection.5.5.9}}
\newlabel{*:for ring elements and matrices}{{5.5.9}{42}{\textcolor {Chapter }{\texttt {\symbol {92}}* (for ring elements and matrices)}\relax }{subsection.5.5.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.10}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }+ (for matrices)}}{42}{subsection.5.5.10}}
\newlabel{+:for matrices}{{5.5.10}{42}{\textcolor {Chapter }{\texttt {\symbol {92}}+ (for matrices)}\relax }{subsection.5.5.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.11}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }- (for matrices)}}{43}{subsection.5.5.11}}
\newlabel{-:for matrices}{{5.5.11}{43}{\textcolor {Chapter }{\texttt {\symbol {92}}- (for matrices)}\relax }{subsection.5.5.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.12}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (for composable matrices)}}{43}{subsection.5.5.12}}
\newlabel{*:for composable matrices}{{5.5.12}{43}{\textcolor {Chapter }{\texttt {\symbol {92}}* (for composable matrices)}\relax }{subsection.5.5.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.13}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }= (for matrices)}}{43}{subsection.5.5.13}}
\newlabel{=:for matrices}{{5.5.13}{43}{\textcolor {Chapter }{\texttt {\symbol {92}}= (for matrices)}\relax }{subsection.5.5.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.14}\leavevmode {\color  {Chapter }GetColumnIndependentUnitPositions (for matrices)}}{44}{subsection.5.5.14}}
\newlabel{GetColumnIndependentUnitPositions:for matrices}{{5.5.14}{44}{\textcolor {Chapter }{GetColumnIndependentUnitPositions (for matrices)}\relax }{subsection.5.5.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.15}\leavevmode {\color  {Chapter }GetRowIndependentUnitPositions (for matrices)}}{44}{subsection.5.5.15}}
\newlabel{GetRowIndependentUnitPositions:for matrices}{{5.5.15}{44}{\textcolor {Chapter }{GetRowIndependentUnitPositions (for matrices)}\relax }{subsection.5.5.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.16}\leavevmode {\color  {Chapter }GetUnitPosition (for matrices)}}{44}{subsection.5.5.16}}
\newlabel{GetUnitPosition:for matrices}{{5.5.16}{44}{\textcolor {Chapter }{GetUnitPosition (for matrices)}\relax }{subsection.5.5.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.17}\leavevmode {\color  {Chapter }BasisOfRowModule (for matrices)}}{44}{subsection.5.5.17}}
\newlabel{BasisOfRowModule:for matrices}{{5.5.17}{44}{\textcolor {Chapter }{BasisOfRowModule (for matrices)}\relax }{subsection.5.5.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.18}\leavevmode {\color  {Chapter }BasisOfColumnModule (for matrices)}}{44}{subsection.5.5.18}}
\newlabel{BasisOfColumnModule:for matrices}{{5.5.18}{44}{\textcolor {Chapter }{BasisOfColumnModule (for matrices)}\relax }{subsection.5.5.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.19}\leavevmode {\color  {Chapter }DecideZeroRows (for pairs of matrices)}}{45}{subsection.5.5.19}}
\newlabel{DecideZeroRows:for pairs of matrices}{{5.5.19}{45}{\textcolor {Chapter }{DecideZeroRows (for pairs of matrices)}\relax }{subsection.5.5.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.20}\leavevmode {\color  {Chapter }DecideZeroColumns (for pairs of matrices)}}{45}{subsection.5.5.20}}
\newlabel{DecideZeroColumns:for pairs of matrices}{{5.5.20}{45}{\textcolor {Chapter }{DecideZeroColumns (for pairs of matrices)}\relax }{subsection.5.5.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.21}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfRows (for matrices)}}{45}{subsection.5.5.21}}
\newlabel{SyzygiesGeneratorsOfRows:for matrices}{{5.5.21}{45}{\textcolor {Chapter }{SyzygiesGeneratorsOfRows (for matrices)}\relax }{subsection.5.5.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.22}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfColumns (for matrices)}}{45}{subsection.5.5.22}}
\newlabel{SyzygiesGeneratorsOfColumns:for matrices}{{5.5.22}{45}{\textcolor {Chapter }{SyzygiesGeneratorsOfColumns (for matrices)}\relax }{subsection.5.5.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.23}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfRows (for pairs of matrices)}}{46}{subsection.5.5.23}}
\newlabel{SyzygiesGeneratorsOfRows:for pairs of matrices}{{5.5.23}{46}{\textcolor {Chapter }{SyzygiesGeneratorsOfRows (for pairs of matrices)}\relax }{subsection.5.5.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.24}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfColumns (for pairs of matrices)}}{46}{subsection.5.5.24}}
\newlabel{SyzygiesGeneratorsOfColumns:for pairs of matrices}{{5.5.24}{46}{\textcolor {Chapter }{SyzygiesGeneratorsOfColumns (for pairs of matrices)}\relax }{subsection.5.5.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.25}\leavevmode {\color  {Chapter }ReducedBasisOfRowModule (for matrices)}}{46}{subsection.5.5.25}}
\newlabel{ReducedBasisOfRowModule:for matrices}{{5.5.25}{46}{\textcolor {Chapter }{ReducedBasisOfRowModule (for matrices)}\relax }{subsection.5.5.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.26}\leavevmode {\color  {Chapter }ReducedBasisOfColumnModule (for matrices)}}{46}{subsection.5.5.26}}
\newlabel{ReducedBasisOfColumnModule:for matrices}{{5.5.26}{46}{\textcolor {Chapter }{ReducedBasisOfColumnModule (for matrices)}\relax }{subsection.5.5.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.27}\leavevmode {\color  {Chapter }ReducedSyzygiesGeneratorsOfRows (for matrices)}}{46}{subsection.5.5.27}}
\newlabel{ReducedSyzygiesGeneratorsOfRows:for matrices}{{5.5.27}{46}{\textcolor {Chapter }{ReducedSyzygiesGeneratorsOfRows (for matrices)}\relax }{subsection.5.5.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.28}\leavevmode {\color  {Chapter }ReducedSyzygiesGeneratorsOfColumns (for matrices)}}{46}{subsection.5.5.28}}
\newlabel{ReducedSyzygiesGeneratorsOfColumns:for matrices}{{5.5.28}{46}{\textcolor {Chapter }{ReducedSyzygiesGeneratorsOfColumns (for matrices)}\relax }{subsection.5.5.28}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.29}\leavevmode {\color  {Chapter }BasisOfRowsCoeff (for matrices)}}{47}{subsection.5.5.29}}
\newlabel{BasisOfRowsCoeff:for matrices}{{5.5.29}{47}{\textcolor {Chapter }{BasisOfRowsCoeff (for matrices)}\relax }{subsection.5.5.29}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.30}\leavevmode {\color  {Chapter }BasisOfColumnsCoeff (for matrices)}}{47}{subsection.5.5.30}}
\newlabel{BasisOfColumnsCoeff:for matrices}{{5.5.30}{47}{\textcolor {Chapter }{BasisOfColumnsCoeff (for matrices)}\relax }{subsection.5.5.30}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.31}\leavevmode {\color  {Chapter }DecideZeroRowsEffectively (for pairs of matrices)}}{47}{subsection.5.5.31}}
\newlabel{DecideZeroRowsEffectively:for pairs of matrices}{{5.5.31}{47}{\textcolor {Chapter }{DecideZeroRowsEffectively (for pairs of matrices)}\relax }{subsection.5.5.31}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.32}\leavevmode {\color  {Chapter }DecideZeroColumnsEffectively (for pairs of matrices)}}{47}{subsection.5.5.32}}
\newlabel{DecideZeroColumnsEffectively:for pairs of matrices}{{5.5.32}{47}{\textcolor {Chapter }{DecideZeroColumnsEffectively (for pairs of matrices)}\relax }{subsection.5.5.32}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.33}\leavevmode {\color  {Chapter }BasisOfRows (for matrices)}}{47}{subsection.5.5.33}}
\newlabel{BasisOfRows:for matrices}{{5.5.33}{47}{\textcolor {Chapter }{BasisOfRows (for matrices)}\relax }{subsection.5.5.33}{}}
\newlabel{BasisOfRows:for pairs of matrices}{{5.5.33}{47}{\textcolor {Chapter }{BasisOfRows (for matrices)}\relax }{subsection.5.5.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.34}\leavevmode {\color  {Chapter }BasisOfColumns (for matrices)}}{47}{subsection.5.5.34}}
\newlabel{BasisOfColumns:for matrices}{{5.5.34}{47}{\textcolor {Chapter }{BasisOfColumns (for matrices)}\relax }{subsection.5.5.34}{}}
\newlabel{BasisOfColumns:for pairs of matrices}{{5.5.34}{47}{\textcolor {Chapter }{BasisOfColumns (for matrices)}\relax }{subsection.5.5.34}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.35}\leavevmode {\color  {Chapter }DecideZero (for matrices and relations)}}{48}{subsection.5.5.35}}
\newlabel{DecideZero:for matrices and relations}{{5.5.35}{48}{\textcolor {Chapter }{DecideZero (for matrices and relations)}\relax }{subsection.5.5.35}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.36}\leavevmode {\color  {Chapter }SyzygiesOfRows (for matrices)}}{48}{subsection.5.5.36}}
\newlabel{SyzygiesOfRows:for matrices}{{5.5.36}{48}{\textcolor {Chapter }{SyzygiesOfRows (for matrices)}\relax }{subsection.5.5.36}{}}
\newlabel{SyzygiesOfRows:for pairs of matrices}{{5.5.36}{48}{\textcolor {Chapter }{SyzygiesOfRows (for matrices)}\relax }{subsection.5.5.36}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.37}\leavevmode {\color  {Chapter }SyzygiesOfColumns (for matrices)}}{48}{subsection.5.5.37}}
\newlabel{SyzygiesOfColumns:for matrices}{{5.5.37}{48}{\textcolor {Chapter }{SyzygiesOfColumns (for matrices)}\relax }{subsection.5.5.37}{}}
\newlabel{SyzygiesOfColumns:for pairs of matrices}{{5.5.37}{48}{\textcolor {Chapter }{SyzygiesOfColumns (for matrices)}\relax }{subsection.5.5.37}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.38}\leavevmode {\color  {Chapter }ReducedSyzygiesOfRows (for matrices)}}{48}{subsection.5.5.38}}
\newlabel{ReducedSyzygiesOfRows:for matrices}{{5.5.38}{48}{\textcolor {Chapter }{ReducedSyzygiesOfRows (for matrices)}\relax }{subsection.5.5.38}{}}
\newlabel{ReducedSyzygiesOfRows:for pairs of matrices}{{5.5.38}{48}{\textcolor {Chapter }{ReducedSyzygiesOfRows (for matrices)}\relax }{subsection.5.5.38}{}}
\citation{BR}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.39}\leavevmode {\color  {Chapter }ReducedSyzygiesOfColumns (for matrices)}}{49}{subsection.5.5.39}}
\newlabel{ReducedSyzygiesOfColumns:for matrices}{{5.5.39}{49}{\textcolor {Chapter }{ReducedSyzygiesOfColumns (for matrices)}\relax }{subsection.5.5.39}{}}
\newlabel{ReducedSyzygiesOfColumns:for pairs of matrices}{{5.5.39}{49}{\textcolor {Chapter }{ReducedSyzygiesOfColumns (for matrices)}\relax }{subsection.5.5.39}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.40}\leavevmode {\color  {Chapter }RightDivide (for pairs of matrices)}}{49}{subsection.5.5.40}}
\newlabel{RightDivide:for pairs of matrices}{{5.5.40}{49}{\textcolor {Chapter }{RightDivide (for pairs of matrices)}\relax }{subsection.5.5.40}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.41}\leavevmode {\color  {Chapter }LeftDivide (for pairs of matrices)}}{49}{subsection.5.5.41}}
\newlabel{LeftDivide:for pairs of matrices}{{5.5.41}{49}{\textcolor {Chapter }{LeftDivide (for pairs of matrices)}\relax }{subsection.5.5.41}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.42}\leavevmode {\color  {Chapter }RightDivide (for triples of matrices)}}{49}{subsection.5.5.42}}
\newlabel{RightDivide:for triples of matrices}{{5.5.42}{49}{\textcolor {Chapter }{RightDivide (for triples of matrices)}\relax }{subsection.5.5.42}{}}
\@writefile{brf}{\backcite{BR}{{49}{5.5.42}{subsection.5.5.42}}}
\citation{BR}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.43}\leavevmode {\color  {Chapter }LeftDivide (for triples of matrices)}}{50}{subsection.5.5.43}}
\newlabel{LeftDivide:for triples of matrices}{{5.5.43}{50}{\textcolor {Chapter }{LeftDivide (for triples of matrices)}\relax }{subsection.5.5.43}{}}
\@writefile{brf}{\backcite{BR}{{50}{5.5.43}{subsection.5.5.43}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.44}\leavevmode {\color  {Chapter }GenerateSameRowModule (for pairs of matrices)}}{51}{subsection.5.5.44}}
\newlabel{GenerateSameRowModule:for pairs of matrices}{{5.5.44}{51}{\textcolor {Chapter }{GenerateSameRowModule (for pairs of matrices)}\relax }{subsection.5.5.44}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.45}\leavevmode {\color  {Chapter }GenerateSameColumnModule (for pairs of matrices)}}{52}{subsection.5.5.45}}
\newlabel{GenerateSameColumnModule:for pairs of matrices}{{5.5.45}{52}{\textcolor {Chapter }{GenerateSameColumnModule (for pairs of matrices)}\relax }{subsection.5.5.45}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color  {Chapter }Ring Relations}}{53}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{RingRelations}{{6}{53}{\textcolor {Chapter }{Ring Relations}\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color  {Chapter }Ring Relations: Categories and Representations}}{53}{section.6.1}}
\newlabel{RingRelations:Category}{{6.1}{53}{\textcolor {Chapter }{Ring Relations: Categories and Representations}\relax }{section.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color  {Chapter }IsHomalgRingRelations}}{53}{subsection.6.1.1}}
\newlabel{IsHomalgRingRelations}{{6.1.1}{53}{\textcolor {Chapter }{IsHomalgRingRelations}\relax }{subsection.6.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}\leavevmode {\color  {Chapter }IsHomalgRingRelationsAsGeneratorsOfLeftIdeal}}{53}{subsection.6.1.2}}
\newlabel{IsHomalgRingRelationsAsGeneratorsOfLeftIdeal}{{6.1.2}{53}{\textcolor {Chapter }{IsHomalgRingRelationsAsGeneratorsOfLeftIdeal}\relax }{subsection.6.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}\leavevmode {\color  {Chapter }IsHomalgRingRelationsAsGeneratorsOfRightIdeal}}{53}{subsection.6.1.3}}
\newlabel{IsHomalgRingRelationsAsGeneratorsOfRightIdeal}{{6.1.3}{53}{\textcolor {Chapter }{IsHomalgRingRelationsAsGeneratorsOfRightIdeal}\relax }{subsection.6.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}\leavevmode {\color  {Chapter }IsRingRelationsRep}}{53}{subsection.6.1.4}}
\newlabel{IsRingRelationsRep}{{6.1.4}{53}{\textcolor {Chapter }{IsRingRelationsRep}\relax }{subsection.6.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}\leavevmode {\color  {Chapter }Ring Relations: Constructors}}{54}{section.6.2}}
\newlabel{RingRelations:Constructors}{{6.2}{54}{\textcolor {Chapter }{Ring Relations: Constructors}\relax }{section.6.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}\leavevmode {\color  {Chapter }Ring Relations: Properties}}{54}{section.6.3}}
\newlabel{RingRelations:Properties}{{6.3}{54}{\textcolor {Chapter }{Ring Relations: Properties}\relax }{section.6.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}\leavevmode {\color  {Chapter }CanBeUsedToDecideZero}}{54}{subsection.6.3.1}}
\newlabel{CanBeUsedToDecideZero}{{6.3.1}{54}{\textcolor {Chapter }{CanBeUsedToDecideZero}\relax }{subsection.6.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}\leavevmode {\color  {Chapter }IsInjectivePresentation}}{54}{subsection.6.3.2}}
\newlabel{IsInjectivePresentation}{{6.3.2}{54}{\textcolor {Chapter }{IsInjectivePresentation}\relax }{subsection.6.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}\leavevmode {\color  {Chapter }Ring Relations: Attributes}}{54}{section.6.4}}
\newlabel{RingRelations:Attributes}{{6.4}{54}{\textcolor {Chapter }{Ring Relations: Attributes}\relax }{section.6.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}\leavevmode {\color  {Chapter }Ring Relations: Operations and Functions}}{54}{section.6.5}}
\newlabel{RingRelations:Operations}{{6.5}{54}{\textcolor {Chapter }{Ring Relations: Operations and Functions}\relax }{section.6.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}\leavevmode {\color  {Chapter }The Basic Matrix Operations}}{55}{appendix.A}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Basic_Operations}{{A}{55}{\textcolor {Chapter }{The Basic Matrix Operations}\relax }{appendix.A}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.1}\leavevmode {\color  {Chapter }Main}}{55}{section.A.1}}
\newlabel{Main}{{A.1}{55}{\textcolor {Chapter }{Main}\relax }{section.A.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.2}\leavevmode {\color  {Chapter }Effective}}{55}{section.A.2}}
\newlabel{Effective}{{A.2}{55}{\textcolor {Chapter }{Effective}\relax }{section.A.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.3}\leavevmode {\color  {Chapter }Relative}}{55}{section.A.3}}
\newlabel{Relative}{{A.3}{55}{\textcolor {Chapter }{Relative}\relax }{section.A.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.4}\leavevmode {\color  {Chapter }Reduced}}{56}{section.A.4}}
\newlabel{Reduced}{{A.4}{56}{\textcolor {Chapter }{Reduced}\relax }{section.A.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {B}\leavevmode {\color  {Chapter }The Matrix Tool Operations}}{57}{appendix.B}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Tool_Operations}{{B}{57}{\textcolor {Chapter }{The Matrix Tool Operations}\relax }{appendix.B}{}}
\@writefile{toc}{\contentsline {section}{\numberline {B.1}\leavevmode {\color  {Chapter }The Tool Operations \emph  {without} a Fallback Method}}{57}{section.B.1}}
\newlabel{ToolsNoFallBack}{{B.1}{57}{\textcolor {Chapter }{The Tool Operations \emph {without} a Fallback Method}\relax }{section.B.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.1}\leavevmode {\color  {Chapter }InitialMatrix (homalgTable entry for initial matrices)}}{57}{subsection.B.1.1}}
\newlabel{InitialMatrix:homalgTable entry for initial matrices}{{B.1.1}{57}{\textcolor {Chapter }{InitialMatrix (homalgTable entry for initial matrices)}\relax }{subsection.B.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.2}\leavevmode {\color  {Chapter }InitialIdentityMatrix (homalgTable entry for initial identity matrices)}}{57}{subsection.B.1.2}}
\newlabel{InitialIdentityMatrix:homalgTable entry for initial identity matrices}{{B.1.2}{57}{\textcolor {Chapter }{InitialIdentityMatrix (homalgTable entry for initial identity matrices)}\relax }{subsection.B.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.3}\leavevmode {\color  {Chapter }ZeroMatrix (homalgTable entry)}}{57}{subsection.B.1.3}}
\newlabel{ZeroMatrix:homalgTable entry}{{B.1.3}{57}{\textcolor {Chapter }{ZeroMatrix (homalgTable entry)}\relax }{subsection.B.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.4}\leavevmode {\color  {Chapter }IdentityMatrix (homalgTable entry)}}{58}{subsection.B.1.4}}
\newlabel{IdentityMatrix:homalgTable entry}{{B.1.4}{58}{\textcolor {Chapter }{IdentityMatrix (homalgTable entry)}\relax }{subsection.B.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.5}\leavevmode {\color  {Chapter }Involution (homalgTable entry)}}{58}{subsection.B.1.5}}
\newlabel{Involution:homalgTable entry}{{B.1.5}{58}{\textcolor {Chapter }{Involution (homalgTable entry)}\relax }{subsection.B.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.6}\leavevmode {\color  {Chapter }CertainRows (homalgTable entry)}}{58}{subsection.B.1.6}}
\newlabel{CertainRows:homalgTable entry}{{B.1.6}{58}{\textcolor {Chapter }{CertainRows (homalgTable entry)}\relax }{subsection.B.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.7}\leavevmode {\color  {Chapter }CertainColumns (homalgTable entry)}}{58}{subsection.B.1.7}}
\newlabel{CertainColumns:homalgTable entry}{{B.1.7}{58}{\textcolor {Chapter }{CertainColumns (homalgTable entry)}\relax }{subsection.B.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.8}\leavevmode {\color  {Chapter }UnionOfRows (homalgTable entry)}}{58}{subsection.B.1.8}}
\newlabel{UnionOfRows:homalgTable entry}{{B.1.8}{58}{\textcolor {Chapter }{UnionOfRows (homalgTable entry)}\relax }{subsection.B.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.9}\leavevmode {\color  {Chapter }UnionOfColumns (homalgTable entry)}}{58}{subsection.B.1.9}}
\newlabel{UnionOfColumns:homalgTable entry}{{B.1.9}{58}{\textcolor {Chapter }{UnionOfColumns (homalgTable entry)}\relax }{subsection.B.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.10}\leavevmode {\color  {Chapter }DiagMat (homalgTable entry)}}{59}{subsection.B.1.10}}
\newlabel{DiagMat:homalgTable entry}{{B.1.10}{59}{\textcolor {Chapter }{DiagMat (homalgTable entry)}\relax }{subsection.B.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.11}\leavevmode {\color  {Chapter }KroneckerMat (homalgTable entry)}}{59}{subsection.B.1.11}}
\newlabel{KroneckerMat:homalgTable entry}{{B.1.11}{59}{\textcolor {Chapter }{KroneckerMat (homalgTable entry)}\relax }{subsection.B.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.12}\leavevmode {\color  {Chapter }MulMat (homalgTable entry)}}{59}{subsection.B.1.12}}
\newlabel{MulMat:homalgTable entry}{{B.1.12}{59}{\textcolor {Chapter }{MulMat (homalgTable entry)}\relax }{subsection.B.1.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.13}\leavevmode {\color  {Chapter }AddMat (homalgTable entry)}}{59}{subsection.B.1.13}}
\newlabel{AddMat:homalgTable entry}{{B.1.13}{59}{\textcolor {Chapter }{AddMat (homalgTable entry)}\relax }{subsection.B.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.14}\leavevmode {\color  {Chapter }SubMat (homalgTable entry)}}{59}{subsection.B.1.14}}
\newlabel{SubMat:homalgTable entry}{{B.1.14}{59}{\textcolor {Chapter }{SubMat (homalgTable entry)}\relax }{subsection.B.1.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.15}\leavevmode {\color  {Chapter }Compose (homalgTable entry)}}{59}{subsection.B.1.15}}
\newlabel{Compose:homalgTable entry}{{B.1.15}{59}{\textcolor {Chapter }{Compose (homalgTable entry)}\relax }{subsection.B.1.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.16}\leavevmode {\color  {Chapter }IsZeroMatrix (homalgTable entry)}}{60}{subsection.B.1.16}}
\newlabel{IsZeroMatrix:homalgTable entry}{{B.1.16}{60}{\textcolor {Chapter }{IsZeroMatrix (homalgTable entry)}\relax }{subsection.B.1.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.17}\leavevmode {\color  {Chapter }NrRows (homalgTable entry)}}{60}{subsection.B.1.17}}
\newlabel{NrRows:homalgTable entry}{{B.1.17}{60}{\textcolor {Chapter }{NrRows (homalgTable entry)}\relax }{subsection.B.1.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.18}\leavevmode {\color  {Chapter }NrColumns (homalgTable entry)}}{61}{subsection.B.1.18}}
\newlabel{NrColumns:homalgTable entry}{{B.1.18}{61}{\textcolor {Chapter }{NrColumns (homalgTable entry)}\relax }{subsection.B.1.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1.19}\leavevmode {\color  {Chapter }Determinant (homalgTable entry)}}{62}{subsection.B.1.19}}
\newlabel{Determinant:homalgTable entry}{{B.1.19}{62}{\textcolor {Chapter }{Determinant (homalgTable entry)}\relax }{subsection.B.1.19}{}}
\@writefile{toc}{\contentsline {section}{\numberline {B.2}\leavevmode {\color  {Chapter }The Tool Operations with a Fallback Method}}{63}{section.B.2}}
\newlabel{ToolsFallBack}{{B.2}{63}{\textcolor {Chapter }{The Tool Operations with a Fallback Method}\relax }{section.B.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.1}\leavevmode {\color  {Chapter }AreEqualMatrices (homalgTable entry)}}{63}{subsection.B.2.1}}
\newlabel{AreEqualMatrices:homalgTable entry}{{B.2.1}{63}{\textcolor {Chapter }{AreEqualMatrices (homalgTable entry)}\relax }{subsection.B.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.2}\leavevmode {\color  {Chapter }IsIdentityMatrix (homalgTable entry)}}{63}{subsection.B.2.2}}
\newlabel{IsIdentityMatrix:homalgTable entry}{{B.2.2}{63}{\textcolor {Chapter }{IsIdentityMatrix (homalgTable entry)}\relax }{subsection.B.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.3}\leavevmode {\color  {Chapter }IsDiagonalMatrix (homalgTable entry)}}{64}{subsection.B.2.3}}
\newlabel{IsDiagonalMatrix:homalgTable entry}{{B.2.3}{64}{\textcolor {Chapter }{IsDiagonalMatrix (homalgTable entry)}\relax }{subsection.B.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.4}\leavevmode {\color  {Chapter }ZeroRows (homalgTable entry)}}{65}{subsection.B.2.4}}
\newlabel{ZeroRows:homalgTable entry}{{B.2.4}{65}{\textcolor {Chapter }{ZeroRows (homalgTable entry)}\relax }{subsection.B.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.5}\leavevmode {\color  {Chapter }ZeroColumns (homalgTable entry)}}{65}{subsection.B.2.5}}
\newlabel{ZeroColumns:homalgTable entry}{{B.2.5}{65}{\textcolor {Chapter }{ZeroColumns (homalgTable entry)}\relax }{subsection.B.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.6}\leavevmode {\color  {Chapter }GetColumnIndependentUnitPositions (homalgTable entry)}}{66}{subsection.B.2.6}}
\newlabel{GetColumnIndependentUnitPositions:homalgTable entry}{{B.2.6}{66}{\textcolor {Chapter }{GetColumnIndependentUnitPositions (homalgTable entry)}\relax }{subsection.B.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.7}\leavevmode {\color  {Chapter }GetRowIndependentUnitPositions (homalgTable entry)}}{67}{subsection.B.2.7}}
\newlabel{GetRowIndependentUnitPositions:homalgTable entry}{{B.2.7}{67}{\textcolor {Chapter }{GetRowIndependentUnitPositions (homalgTable entry)}\relax }{subsection.B.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.8}\leavevmode {\color  {Chapter }GetUnitPosition (homalgTable entry)}}{68}{subsection.B.2.8}}
\newlabel{GetUnitPosition:homalgTable entry}{{B.2.8}{68}{\textcolor {Chapter }{GetUnitPosition (homalgTable entry)}\relax }{subsection.B.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2.9}\leavevmode {\color  {Chapter }DegreesOfEntries (homalgTable entry)}}{69}{subsection.B.2.9}}
\newlabel{DegreesOfEntries:homalgTable entry}{{B.2.9}{69}{\textcolor {Chapter }{DegreesOfEntries (homalgTable entry)}\relax }{subsection.B.2.9}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {C}\leavevmode {\color  {Chapter }Logic Subpackages}}{71}{appendix.C}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Logic}{{C}{71}{\textcolor {Chapter }{Logic Subpackages}\relax }{appendix.C}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.1}\leavevmode {\color  {Chapter }\textsf  {LIRNG}: Logical Implications for Rings}}{71}{section.C.1}}
\newlabel{Rings:LIRNG}{{C.1}{71}{\textcolor {Chapter }{\textsf {LIRNG}: Logical Implications for Rings}\relax }{section.C.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.2}\leavevmode {\color  {Chapter }\textsf  {LIMAP}: Logical Implications for Ring Maps}}{71}{section.C.2}}
\newlabel{RingMaps:LIMAP}{{C.2}{71}{\textcolor {Chapter }{\textsf {LIMAP}: Logical Implications for Ring Maps}\relax }{section.C.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.3}\leavevmode {\color  {Chapter }\textsf  {LIMAT}: Logical Implications for Matrices}}{71}{section.C.3}}
\newlabel{Matrices:LIMAT}{{C.3}{71}{\textcolor {Chapter }{\textsf {LIMAT}: Logical Implications for Matrices}\relax }{section.C.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.4}\leavevmode {\color  {Chapter }\textsf  {COLEM}: Clever Operations for Lazy Evaluated Matrices}}{71}{section.C.4}}
\newlabel{Matrices:COLEM}{{C.4}{71}{\textcolor {Chapter }{\textsf {COLEM}: Clever Operations for Lazy Evaluated Matrices}\relax }{section.C.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.1}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgInitialMatrix)}}{71}{subsection.C.4.1}}
\newlabel{Eval:for matrices created with HomalgInitialMatrix}{{C.4.1}{71}{\textcolor {Chapter }{Eval (for matrices created with HomalgInitialMatrix)}\relax }{subsection.C.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.2}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgInitialIdentityMatrix)}}{72}{subsection.C.4.2}}
\newlabel{Eval:for matrices created with HomalgInitialIdentityMatrix}{{C.4.2}{72}{\textcolor {Chapter }{Eval (for matrices created with HomalgInitialIdentityMatrix)}\relax }{subsection.C.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.3}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgZeroMatrix)}}{73}{subsection.C.4.3}}
\newlabel{Eval:for matrices created with HomalgZeroMatrix}{{C.4.3}{73}{\textcolor {Chapter }{Eval (for matrices created with HomalgZeroMatrix)}\relax }{subsection.C.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.4}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgIdentityMatrix)}}{74}{subsection.C.4.4}}
\newlabel{Eval:for matrices created with HomalgIdentityMatrix}{{C.4.4}{74}{\textcolor {Chapter }{Eval (for matrices created with HomalgIdentityMatrix)}\relax }{subsection.C.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.5}\leavevmode {\color  {Chapter }Eval (for matrices created with Involution)}}{75}{subsection.C.4.5}}
\newlabel{Eval:for matrices created with Involution}{{C.4.5}{75}{\textcolor {Chapter }{Eval (for matrices created with Involution)}\relax }{subsection.C.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.6}\leavevmode {\color  {Chapter }Eval (for matrices created with CertainRows)}}{75}{subsection.C.4.6}}
\newlabel{Eval:for matrices created with CertainRows}{{C.4.6}{75}{\textcolor {Chapter }{Eval (for matrices created with CertainRows)}\relax }{subsection.C.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.7}\leavevmode {\color  {Chapter }Eval (for matrices created with CertainColumns)}}{76}{subsection.C.4.7}}
\newlabel{Eval:for matrices created with CertainColumns}{{C.4.7}{76}{\textcolor {Chapter }{Eval (for matrices created with CertainColumns)}\relax }{subsection.C.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.8}\leavevmode {\color  {Chapter }Eval (for matrices created with UnionOfRows)}}{77}{subsection.C.4.8}}
\newlabel{Eval:for matrices created with UnionOfRows}{{C.4.8}{77}{\textcolor {Chapter }{Eval (for matrices created with UnionOfRows)}\relax }{subsection.C.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.9}\leavevmode {\color  {Chapter }Eval (for matrices created with UnionOfColumns)}}{78}{subsection.C.4.9}}
\newlabel{Eval:for matrices created with UnionOfColumns}{{C.4.9}{78}{\textcolor {Chapter }{Eval (for matrices created with UnionOfColumns)}\relax }{subsection.C.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.10}\leavevmode {\color  {Chapter }Eval (for matrices created with DiagMat)}}{79}{subsection.C.4.10}}
\newlabel{Eval:for matrices created with DiagMat}{{C.4.10}{79}{\textcolor {Chapter }{Eval (for matrices created with DiagMat)}\relax }{subsection.C.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.11}\leavevmode {\color  {Chapter }Eval (for matrices created with KroneckerMat)}}{80}{subsection.C.4.11}}
\newlabel{Eval:for matrices created with KroneckerMat}{{C.4.11}{80}{\textcolor {Chapter }{Eval (for matrices created with KroneckerMat)}\relax }{subsection.C.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.12}\leavevmode {\color  {Chapter }Eval (for matrices created with MulMat)}}{81}{subsection.C.4.12}}
\newlabel{Eval:for matrices created with MulMat}{{C.4.12}{81}{\textcolor {Chapter }{Eval (for matrices created with MulMat)}\relax }{subsection.C.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.13}\leavevmode {\color  {Chapter }Eval (for matrices created with AddMat)}}{81}{subsection.C.4.13}}
\newlabel{Eval:for matrices created with AddMat}{{C.4.13}{81}{\textcolor {Chapter }{Eval (for matrices created with AddMat)}\relax }{subsection.C.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.14}\leavevmode {\color  {Chapter }Eval (for matrices created with SubMat)}}{82}{subsection.C.4.14}}
\newlabel{Eval:for matrices created with SubMat}{{C.4.14}{82}{\textcolor {Chapter }{Eval (for matrices created with SubMat)}\relax }{subsection.C.4.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.15}\leavevmode {\color  {Chapter }Eval (for matrices created with Compose)}}{83}{subsection.C.4.15}}
\newlabel{Eval:for matrices created with Compose}{{C.4.15}{83}{\textcolor {Chapter }{Eval (for matrices created with Compose)}\relax }{subsection.C.4.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.16}\leavevmode {\color  {Chapter }Eval (for matrices created with LeftInverse)}}{84}{subsection.C.4.16}}
\newlabel{Eval:for matrices created with LeftInverse}{{C.4.16}{84}{\textcolor {Chapter }{Eval (for matrices created with LeftInverse)}\relax }{subsection.C.4.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {C.4.17}\leavevmode {\color  {Chapter }Eval (for matrices created with RightInverse)}}{84}{subsection.C.4.17}}
\newlabel{Eval:for matrices created with RightInverse}{{C.4.17}{84}{\textcolor {Chapter }{Eval (for matrices created with RightInverse)}\relax }{subsection.C.4.17}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {D}\leavevmode {\color  {Chapter }The subpackage \textsf  {ResidueClassRingForHomalg} as a sample ring package}}{86}{appendix.D}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ResidueClassRingForHomalg}{{D}{86}{\textcolor {Chapter }{The subpackage \textsf {ResidueClassRingForHomalg} as a sample ring package}\relax }{appendix.D}{}}
\@writefile{toc}{\contentsline {section}{\numberline {D.1}\leavevmode {\color  {Chapter }The Mandatory Basic Operations}}{86}{section.D.1}}
\newlabel{ResidueClassRingForHomalg:BasicNoFallBack}{{D.1}{86}{\textcolor {Chapter }{The Mandatory Basic Operations}\relax }{section.D.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.1}\leavevmode {\color  {Chapter }BasisOfRowModule (ResidueClassRing)}}{86}{subsection.D.1.1}}
\newlabel{BasisOfRowModule:ResidueClassRing}{{D.1.1}{86}{\textcolor {Chapter }{BasisOfRowModule (ResidueClassRing)}\relax }{subsection.D.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.2}\leavevmode {\color  {Chapter }BasisOfColumnModule (ResidueClassRing)}}{86}{subsection.D.1.2}}
\newlabel{BasisOfColumnModule:ResidueClassRing}{{D.1.2}{86}{\textcolor {Chapter }{BasisOfColumnModule (ResidueClassRing)}\relax }{subsection.D.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.3}\leavevmode {\color  {Chapter }DecideZeroRows (ResidueClassRing)}}{87}{subsection.D.1.3}}
\newlabel{DecideZeroRows:ResidueClassRing}{{D.1.3}{87}{\textcolor {Chapter }{DecideZeroRows (ResidueClassRing)}\relax }{subsection.D.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.4}\leavevmode {\color  {Chapter }DecideZeroColumns (ResidueClassRing)}}{87}{subsection.D.1.4}}
\newlabel{DecideZeroColumns:ResidueClassRing}{{D.1.4}{87}{\textcolor {Chapter }{DecideZeroColumns (ResidueClassRing)}\relax }{subsection.D.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.5}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfRows (ResidueClassRing)}}{87}{subsection.D.1.5}}
\newlabel{SyzygiesGeneratorsOfRows:ResidueClassRing}{{D.1.5}{87}{\textcolor {Chapter }{SyzygiesGeneratorsOfRows (ResidueClassRing)}\relax }{subsection.D.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.6}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfColumns (ResidueClassRing)}}{88}{subsection.D.1.6}}
\newlabel{SyzygiesGeneratorsOfColumns:ResidueClassRing}{{D.1.6}{88}{\textcolor {Chapter }{SyzygiesGeneratorsOfColumns (ResidueClassRing)}\relax }{subsection.D.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.7}\leavevmode {\color  {Chapter }BasisOfRowsCoeff (ResidueClassRing)}}{89}{subsection.D.1.7}}
\newlabel{BasisOfRowsCoeff:ResidueClassRing}{{D.1.7}{89}{\textcolor {Chapter }{BasisOfRowsCoeff (ResidueClassRing)}\relax }{subsection.D.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.8}\leavevmode {\color  {Chapter }BasisOfColumnsCoeff (ResidueClassRing)}}{89}{subsection.D.1.8}}
\newlabel{BasisOfColumnsCoeff:ResidueClassRing}{{D.1.8}{89}{\textcolor {Chapter }{BasisOfColumnsCoeff (ResidueClassRing)}\relax }{subsection.D.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.9}\leavevmode {\color  {Chapter }DecideZeroRowsEffectively (ResidueClassRing)}}{90}{subsection.D.1.9}}
\newlabel{DecideZeroRowsEffectively:ResidueClassRing}{{D.1.9}{90}{\textcolor {Chapter }{DecideZeroRowsEffectively (ResidueClassRing)}\relax }{subsection.D.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.10}\leavevmode {\color  {Chapter }DecideZeroColumnsEffectively (ResidueClassRing)}}{90}{subsection.D.1.10}}
\newlabel{DecideZeroColumnsEffectively:ResidueClassRing}{{D.1.10}{90}{\textcolor {Chapter }{DecideZeroColumnsEffectively (ResidueClassRing)}\relax }{subsection.D.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.11}\leavevmode {\color  {Chapter }RelativeSyzygiesGeneratorsOfRows (ResidueClassRing)}}{91}{subsection.D.1.11}}
\newlabel{RelativeSyzygiesGeneratorsOfRows:ResidueClassRing}{{D.1.11}{91}{\textcolor {Chapter }{RelativeSyzygiesGeneratorsOfRows (ResidueClassRing)}\relax }{subsection.D.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.12}\leavevmode {\color  {Chapter }RelativeSyzygiesGeneratorsOfColumns (ResidueClassRing)}}{91}{subsection.D.1.12}}
\newlabel{RelativeSyzygiesGeneratorsOfColumns:ResidueClassRing}{{D.1.12}{91}{\textcolor {Chapter }{RelativeSyzygiesGeneratorsOfColumns (ResidueClassRing)}\relax }{subsection.D.1.12}{}}
\@writefile{toc}{\contentsline {section}{\numberline {D.2}\leavevmode {\color  {Chapter }The Mandatory Tool Operations}}{92}{section.D.2}}
\newlabel{ResidueClassRingForHomalg:ToolsNoFallBack}{{D.2}{92}{\textcolor {Chapter }{The Mandatory Tool Operations}\relax }{section.D.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.1}\leavevmode {\color  {Chapter }InitialMatrix (ResidueClassRing)}}{92}{subsection.D.2.1}}
\newlabel{InitialMatrix:ResidueClassRing}{{D.2.1}{92}{\textcolor {Chapter }{InitialMatrix (ResidueClassRing)}\relax }{subsection.D.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.2}\leavevmode {\color  {Chapter }InitialIdentityMatrix (ResidueClassRing)}}{92}{subsection.D.2.2}}
\newlabel{InitialIdentityMatrix:ResidueClassRing}{{D.2.2}{92}{\textcolor {Chapter }{InitialIdentityMatrix (ResidueClassRing)}\relax }{subsection.D.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.3}\leavevmode {\color  {Chapter }ZeroMatrix (ResidueClassRing)}}{92}{subsection.D.2.3}}
\newlabel{ZeroMatrix:ResidueClassRing}{{D.2.3}{92}{\textcolor {Chapter }{ZeroMatrix (ResidueClassRing)}\relax }{subsection.D.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.4}\leavevmode {\color  {Chapter }IdentityMatrix (ResidueClassRing)}}{92}{subsection.D.2.4}}
\newlabel{IdentityMatrix:ResidueClassRing}{{D.2.4}{92}{\textcolor {Chapter }{IdentityMatrix (ResidueClassRing)}\relax }{subsection.D.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.5}\leavevmode {\color  {Chapter }Involution (ResidueClassRing)}}{93}{subsection.D.2.5}}
\newlabel{Involution:ResidueClassRing}{{D.2.5}{93}{\textcolor {Chapter }{Involution (ResidueClassRing)}\relax }{subsection.D.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.6}\leavevmode {\color  {Chapter }CertainRows (ResidueClassRing)}}{93}{subsection.D.2.6}}
\newlabel{CertainRows:ResidueClassRing}{{D.2.6}{93}{\textcolor {Chapter }{CertainRows (ResidueClassRing)}\relax }{subsection.D.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.7}\leavevmode {\color  {Chapter }CertainColumns (ResidueClassRing)}}{94}{subsection.D.2.7}}
\newlabel{CertainColumns:ResidueClassRing}{{D.2.7}{94}{\textcolor {Chapter }{CertainColumns (ResidueClassRing)}\relax }{subsection.D.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.8}\leavevmode {\color  {Chapter }UnionOfRows (ResidueClassRing)}}{94}{subsection.D.2.8}}
\newlabel{UnionOfRows:ResidueClassRing}{{D.2.8}{94}{\textcolor {Chapter }{UnionOfRows (ResidueClassRing)}\relax }{subsection.D.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.9}\leavevmode {\color  {Chapter }UnionOfColumns (ResidueClassRing)}}{94}{subsection.D.2.9}}
\newlabel{UnionOfColumns:ResidueClassRing}{{D.2.9}{94}{\textcolor {Chapter }{UnionOfColumns (ResidueClassRing)}\relax }{subsection.D.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.10}\leavevmode {\color  {Chapter }DiagMat (ResidueClassRing)}}{95}{subsection.D.2.10}}
\newlabel{DiagMat:ResidueClassRing}{{D.2.10}{95}{\textcolor {Chapter }{DiagMat (ResidueClassRing)}\relax }{subsection.D.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.11}\leavevmode {\color  {Chapter }KroneckerMat (ResidueClassRing)}}{95}{subsection.D.2.11}}
\newlabel{KroneckerMat:ResidueClassRing}{{D.2.11}{95}{\textcolor {Chapter }{KroneckerMat (ResidueClassRing)}\relax }{subsection.D.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.12}\leavevmode {\color  {Chapter }MulMat (ResidueClassRing)}}{96}{subsection.D.2.12}}
\newlabel{MulMat:ResidueClassRing}{{D.2.12}{96}{\textcolor {Chapter }{MulMat (ResidueClassRing)}\relax }{subsection.D.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.13}\leavevmode {\color  {Chapter }AddMat (ResidueClassRing)}}{96}{subsection.D.2.13}}
\newlabel{AddMat:ResidueClassRing}{{D.2.13}{96}{\textcolor {Chapter }{AddMat (ResidueClassRing)}\relax }{subsection.D.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.14}\leavevmode {\color  {Chapter }SubMat (ResidueClassRing)}}{96}{subsection.D.2.14}}
\newlabel{SubMat:ResidueClassRing}{{D.2.14}{96}{\textcolor {Chapter }{SubMat (ResidueClassRing)}\relax }{subsection.D.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.15}\leavevmode {\color  {Chapter }Compose (ResidueClassRing)}}{97}{subsection.D.2.15}}
\newlabel{Compose:ResidueClassRing}{{D.2.15}{97}{\textcolor {Chapter }{Compose (ResidueClassRing)}\relax }{subsection.D.2.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.16}\leavevmode {\color  {Chapter }IsZeroMatrix (ResidueClassRing)}}{97}{subsection.D.2.16}}
\newlabel{IsZeroMatrix:ResidueClassRing}{{D.2.16}{97}{\textcolor {Chapter }{IsZeroMatrix (ResidueClassRing)}\relax }{subsection.D.2.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.17}\leavevmode {\color  {Chapter }NrRows (ResidueClassRing)}}{97}{subsection.D.2.17}}
\newlabel{NrRows:ResidueClassRing}{{D.2.17}{97}{\textcolor {Chapter }{NrRows (ResidueClassRing)}\relax }{subsection.D.2.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.18}\leavevmode {\color  {Chapter }NrColumns (ResidueClassRing)}}{97}{subsection.D.2.18}}
\newlabel{NrColumns:ResidueClassRing}{{D.2.18}{97}{\textcolor {Chapter }{NrColumns (ResidueClassRing)}\relax }{subsection.D.2.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.19}\leavevmode {\color  {Chapter }Determinant (ResidueClassRing)}}{97}{subsection.D.2.19}}
\newlabel{Determinant:ResidueClassRing}{{D.2.19}{97}{\textcolor {Chapter }{Determinant (ResidueClassRing)}\relax }{subsection.D.2.19}{}}
\@writefile{toc}{\contentsline {section}{\numberline {D.3}\leavevmode {\color  {Chapter }Some of the Recommended Tool Operations}}{97}{section.D.3}}
\newlabel{ResidueClassRingForHomalg:ToolsFallBack}{{D.3}{97}{\textcolor {Chapter }{Some of the Recommended Tool Operations}\relax }{section.D.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.3.1}\leavevmode {\color  {Chapter }AreEqualMatrices (ResidueClassRing)}}{98}{subsection.D.3.1}}
\newlabel{AreEqualMatrices:ResidueClassRing}{{D.3.1}{98}{\textcolor {Chapter }{AreEqualMatrices (ResidueClassRing)}\relax }{subsection.D.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.3.2}\leavevmode {\color  {Chapter }IsOne (ResidueClassRing)}}{98}{subsection.D.3.2}}
\newlabel{IsOne:ResidueClassRing}{{D.3.2}{98}{\textcolor {Chapter }{IsOne (ResidueClassRing)}\relax }{subsection.D.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.3.3}\leavevmode {\color  {Chapter }IsDiagonalMatrix (ResidueClassRing)}}{98}{subsection.D.3.3}}
\newlabel{IsDiagonalMatrix:ResidueClassRing}{{D.3.3}{98}{\textcolor {Chapter }{IsDiagonalMatrix (ResidueClassRing)}\relax }{subsection.D.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.3.4}\leavevmode {\color  {Chapter }ZeroRows (ResidueClassRing)}}{98}{subsection.D.3.4}}
\newlabel{ZeroRows:ResidueClassRing}{{D.3.4}{98}{\textcolor {Chapter }{ZeroRows (ResidueClassRing)}\relax }{subsection.D.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.3.5}\leavevmode {\color  {Chapter }ZeroColumns (ResidueClassRing)}}{98}{subsection.D.3.5}}
\newlabel{ZeroColumns:ResidueClassRing}{{D.3.5}{98}{\textcolor {Chapter }{ZeroColumns (ResidueClassRing)}\relax }{subsection.D.3.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {E}\leavevmode {\color  {Chapter }Debugging \textsf  {MatricesForHomalg}}}{99}{appendix.E}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Debugging}{{E}{99}{\textcolor {Chapter }{Debugging \textsf {MatricesForHomalg}}\relax }{appendix.E}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.1}\leavevmode {\color  {Chapter }Increase the assertion level}}{99}{section.E.1}}
\newlabel{SetAssertionLevel}{{E.1}{99}{\textcolor {Chapter }{Increase the assertion level}\relax }{section.E.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.2}\leavevmode {\color  {Chapter }\texttt  {Using homalgMode}}}{101}{section.E.2}}
\newlabel{using homalgMode}{{E.2}{101}{\textcolor {Chapter }{\texttt {Using homalgMode}}\relax }{section.E.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.2.1}\leavevmode {\color  {Chapter }homalgMode}}{101}{subsection.E.2.1}}
\newlabel{homalgMode}{{E.2.1}{101}{\textcolor {Chapter }{homalgMode}\relax }{subsection.E.2.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {F}\leavevmode {\color  {Chapter }Overview of the \textsf  {MatricesForHomalg} Package Source Code}}{103}{appendix.F}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{FileOverview}{{F}{103}{\textcolor {Chapter }{Overview of the \textsf {MatricesForHomalg} Package Source Code}\relax }{appendix.F}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.1}\leavevmode {\color  {Chapter }Rings, Ring Maps, Matrices, Ring Relations}}{103}{section.F.1}}
\newlabel{RingsMapsMatrices}{{F.1}{103}{\textcolor {Chapter }{Rings, Ring Maps, Matrices, Ring Relations}\relax }{section.F.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.2}\leavevmode {\color  {Chapter }The Low Level Algorithms}}{103}{section.F.2}}
\newlabel{Low Level Algorithms}{{F.2}{103}{\textcolor {Chapter }{The Low Level Algorithms}\relax }{section.F.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.3}\leavevmode {\color  {Chapter }Logical Implications for \textsf  {MatricesForHomalg} Objects}}{104}{section.F.3}}
\newlabel{Logical Implications}{{F.3}{104}{\textcolor {Chapter }{Logical Implications for \textsf {MatricesForHomalg} Objects}\relax }{section.F.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.4}\leavevmode {\color  {Chapter }The subpackage \textsf  {ResidueClassRingForHomalg}}}{104}{section.F.4}}
\newlabel{ResidueClassRingForHomalg_subpackage}{{F.4}{104}{\textcolor {Chapter }{The subpackage \textsf {ResidueClassRingForHomalg}}\relax }{section.F.4}{}}
\bibstyle{alpha}
\bibdata{MatricesForHomalgBib.xml}
\@writefile{toc}{\contentsline {section}{\numberline {F.5}\leavevmode {\color  {Chapter }The homalgTable for \textsf  {GAP4} built-in rings}}{105}{section.F.5}}
\newlabel{The built-in rings}{{F.5}{105}{\textcolor {Chapter }{The homalgTable for \textsf {GAP4} built-in rings}\relax }{section.F.5}{}}
\bibcite{BR}{BR08}
\bibcite{McCRob}{MR01}
