\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

\citation{ce}
\citation{ML}
\citation{HS}
\citation{rot}
\citation{weihom}
\citation{GM}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Introduction}}{19}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{intro}{{1}{19}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}\leavevmode {\color  {Chapter }What is the role of the \textsf  {homalg} package in the \textsf  {homalg} project?}}{19}{section.1.1}}
\newlabel{homalg-vs-homalg}{{1.1}{19}{\textcolor {Chapter }{What is the role of the \textsf {homalg} package in the \textsf {homalg} project?}\relax }{section.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}\leavevmode {\color  {Chapter }Philosophy}}{19}{subsection.1.1.1}}
\newlabel{philosophy}{{1.1.1}{19}{\textcolor {Chapter }{Philosophy}\relax }{subsection.1.1.1}{}}
\@writefile{brf}{\backcite{ce}{{19}{1.1.1}{subsection.1.1.1}}}
\@writefile{brf}{\backcite{ML}{{19}{1.1.1}{subsection.1.1.1}}}
\@writefile{brf}{\backcite{HS}{{19}{1.1.1}{subsection.1.1.1}}}
\@writefile{brf}{\backcite{rot}{{19}{1.1.1}{subsection.1.1.1}}}
\@writefile{brf}{\backcite{weihom}{{19}{1.1.1}{subsection.1.1.1}}}
\@writefile{brf}{\backcite{GM}{{19}{1.1.1}{subsection.1.1.1}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.2}\leavevmode {\color  {Chapter }\textsf  {homalg} provides ...}}{19}{subsection.1.1.2}}
\newlabel{homalg-provides}{{1.1.2}{19}{\textcolor {Chapter }{\textsf {homalg} provides ...}\relax }{subsection.1.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.3}\leavevmode {\color  {Chapter }\textsf  {homalg} delegates ...}}{20}{subsection.1.1.3}}
\newlabel{homalg-delegates}{{1.1.3}{20}{\textcolor {Chapter }{\textsf {homalg} delegates ...}\relax }{subsection.1.1.3}{}}
\citation{BR}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.4}\leavevmode {\color  {Chapter }Rings supported in a sufficient way}}{21}{subsection.1.1.4}}
\newlabel{SufficientSupport}{{1.1.4}{21}{\textcolor {Chapter }{Rings supported in a sufficient way}\relax }{subsection.1.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.5}\leavevmode {\color  {Chapter }Principal limitation}}{21}{subsection.1.1.5}}
\newlabel{homalg-limitation}{{1.1.5}{21}{\textcolor {Chapter }{Principal limitation}\relax }{subsection.1.1.5}{}}
\@writefile{brf}{\backcite{BR}{{21}{1.1.5}{subsection.1.1.5}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.6}\leavevmode {\color  {Chapter }The black box concept}}{22}{subsection.1.1.6}}
\newlabel{black box}{{1.1.6}{22}{\textcolor {Chapter }{The black box concept}\relax }{subsection.1.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.7}\leavevmode {\color  {Chapter }\textsf  {homalg}'s dictionaries (technical)}}{22}{subsection.1.1.7}}
\newlabel{homalg-dict}{{1.1.7}{22}{\textcolor {Chapter }{\textsf {homalg}'s dictionaries (technical)}\relax }{subsection.1.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.8}\leavevmode {\color  {Chapter }The advantages of the outsourcing concept}}{22}{subsection.1.1.8}}
\newlabel{outsource}{{1.1.8}{22}{\textcolor {Chapter }{The advantages of the outsourcing concept}\relax }{subsection.1.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.9}\leavevmode {\color  {Chapter }Does this mean that \textsf  {homalg} has only algorithms for the generic case?}}{23}{subsection.1.1.9}}
\newlabel{also-special}{{1.1.9}{23}{\textcolor {Chapter }{Does this mean that \textsf {homalg} has only algorithms for the generic case?}\relax }{subsection.1.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.10}\leavevmode {\color  {Chapter }The principle of least communication (technical)}}{23}{subsection.1.1.10}}
\newlabel{least-communication}{{1.1.10}{23}{\textcolor {Chapter }{The principle of least communication (technical)}\relax }{subsection.1.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.11}\leavevmode {\color  {Chapter }Building upon the \textsf  {homalg} package}}{23}{subsection.1.1.11}}
\newlabel{build}{{1.1.11}{23}{\textcolor {Chapter }{Building upon the \textsf {homalg} package}\relax }{subsection.1.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.12}\leavevmode {\color  {Chapter }Frequently asked questions}}{24}{subsection.1.1.12}}
\newlabel{FAQ}{{1.1.12}{24}{\textcolor {Chapter }{Frequently asked questions}\relax }{subsection.1.1.12}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}\leavevmode {\color  {Chapter }This manual}}{24}{section.1.2}}
\newlabel{overview}{{1.2}{24}{\textcolor {Chapter }{This manual}\relax }{section.1.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Installation of the \textsf  {homalg} Package}}{25}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{install}{{2}{25}{\textcolor {Chapter }{Installation of the \textsf {homalg} Package}\relax }{chapter.2}{}}
\citation{BREACA}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Quick Start}}{26}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{QuickStart}{{3}{26}{\textcolor {Chapter }{Quick Start}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Why are all examples in this manual over {\ensuremath  {\@mathbb Z}} or ${\ensuremath  {\@mathbb Z}}/m{\ensuremath  {\@mathbb Z}}$?}}{26}{section.3.1}}
\newlabel{Why ZZ}{{3.1}{26}{\textcolor {Chapter }{Why are all examples in this manual over {\ensuremath {\mathbb Z}} or ${\ensuremath {\mathbb Z}}/m{\ensuremath {\mathbb Z}}$?}\relax }{section.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }\texttt  {gap{\textgreater } ExamplesForHomalg();}}}{26}{section.3.2}}
\newlabel{gap> ExamplesForHomalg();}{{3.2}{26}{\textcolor {Chapter }{\texttt {gap{\textgreater } ExamplesForHomalg();}}\relax }{section.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }A typical example}}{26}{section.3.3}}
\newlabel{Example}{{3.3}{26}{\textcolor {Chapter }{A typical example}\relax }{section.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }HomHom}}{26}{subsection.3.3.1}}
\newlabel{HomHom}{{3.3.1}{26}{\textcolor {Chapter }{HomHom}\relax }{subsection.3.3.1}{}}
\@writefile{brf}{\backcite{BREACA}{{26}{3.3.1}{subsection.3.3.1}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Rings}}{32}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Rings}{{4}{32}{\textcolor {Chapter }{Rings}\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }Rings: Category and Representations}}{32}{section.4.1}}
\newlabel{Rings:Category}{{4.1}{32}{\textcolor {Chapter }{Rings: Category and Representations}\relax }{section.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }IsHomalgRing}}{32}{subsection.4.1.1}}
\newlabel{IsHomalgRing}{{4.1.1}{32}{\textcolor {Chapter }{IsHomalgRing}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}\leavevmode {\color  {Chapter }IsPreHomalgRing}}{32}{subsection.4.1.2}}
\newlabel{IsPreHomalgRing}{{4.1.2}{32}{\textcolor {Chapter }{IsPreHomalgRing}\relax }{subsection.4.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}\leavevmode {\color  {Chapter }IsHomalgRingElement}}{32}{subsection.4.1.3}}
\newlabel{IsHomalgRingElement}{{4.1.3}{32}{\textcolor {Chapter }{IsHomalgRingElement}\relax }{subsection.4.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}\leavevmode {\color  {Chapter }IsHomalgInternalRingRep}}{32}{subsection.4.1.4}}
\newlabel{IsHomalgInternalRingRep}{{4.1.4}{32}{\textcolor {Chapter }{IsHomalgInternalRingRep}\relax }{subsection.4.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Rings: Constructors}}{33}{section.4.2}}
\newlabel{Rings:Constructors}{{4.2}{33}{\textcolor {Chapter }{Rings: Constructors}\relax }{section.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }HomalgRingOfIntegers (constructor for the integers)}}{33}{subsection.4.2.1}}
\newlabel{HomalgRingOfIntegers:constructor for the integers}{{4.2.1}{33}{\textcolor {Chapter }{HomalgRingOfIntegers (constructor for the integers)}\relax }{subsection.4.2.1}{}}
\newlabel{HomalgRingOfIntegers:constructor for the residue class rings of the integers}{{4.2.1}{33}{\textcolor {Chapter }{HomalgRingOfIntegers (constructor for the integers)}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter }HomalgFieldOfRationals (constructor for the field of rationals)}}{33}{subsection.4.2.2}}
\newlabel{HomalgFieldOfRationals:constructor for the field of rationals}{{4.2.2}{33}{\textcolor {Chapter }{HomalgFieldOfRationals (constructor for the field of rationals)}\relax }{subsection.4.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }/ (constructor for residue class rings)}}{33}{subsection.4.2.3}}
\newlabel{/:constructor for residue class rings}{{4.2.3}{33}{\textcolor {Chapter }{\texttt {\symbol {92}}/ (constructor for residue class rings)}\relax }{subsection.4.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter }Rings: Properties}}{34}{section.4.3}}
\newlabel{Rings:Properties}{{4.3}{34}{\textcolor {Chapter }{Rings: Properties}\relax }{section.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }ContainsAField}}{34}{subsection.4.3.1}}
\newlabel{ContainsAField}{{4.3.1}{34}{\textcolor {Chapter }{ContainsAField}\relax }{subsection.4.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color  {Chapter }IsRationalsForHomalg}}{34}{subsection.4.3.2}}
\newlabel{IsRationalsForHomalg}{{4.3.2}{34}{\textcolor {Chapter }{IsRationalsForHomalg}\relax }{subsection.4.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}\leavevmode {\color  {Chapter }IsFieldForHomalg}}{35}{subsection.4.3.3}}
\newlabel{IsFieldForHomalg}{{4.3.3}{35}{\textcolor {Chapter }{IsFieldForHomalg}\relax }{subsection.4.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}\leavevmode {\color  {Chapter }IsDivisionRingForHomalg}}{35}{subsection.4.3.4}}
\newlabel{IsDivisionRingForHomalg}{{4.3.4}{35}{\textcolor {Chapter }{IsDivisionRingForHomalg}\relax }{subsection.4.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.5}\leavevmode {\color  {Chapter }IsIntegersForHomalg}}{35}{subsection.4.3.5}}
\newlabel{IsIntegersForHomalg}{{4.3.5}{35}{\textcolor {Chapter }{IsIntegersForHomalg}\relax }{subsection.4.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.6}\leavevmode {\color  {Chapter }IsResidueClassRingOfTheIntegers}}{35}{subsection.4.3.6}}
\newlabel{IsResidueClassRingOfTheIntegers}{{4.3.6}{35}{\textcolor {Chapter }{IsResidueClassRingOfTheIntegers}\relax }{subsection.4.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.7}\leavevmode {\color  {Chapter }IsBezoutRing}}{35}{subsection.4.3.7}}
\newlabel{IsBezoutRing}{{4.3.7}{35}{\textcolor {Chapter }{IsBezoutRing}\relax }{subsection.4.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.8}\leavevmode {\color  {Chapter }IsIntegrallyClosedDomain}}{35}{subsection.4.3.8}}
\newlabel{IsIntegrallyClosedDomain}{{4.3.8}{35}{\textcolor {Chapter }{IsIntegrallyClosedDomain}\relax }{subsection.4.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.9}\leavevmode {\color  {Chapter }IsUniqueFactorizationDomain}}{35}{subsection.4.3.9}}
\newlabel{IsUniqueFactorizationDomain}{{4.3.9}{35}{\textcolor {Chapter }{IsUniqueFactorizationDomain}\relax }{subsection.4.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.10}\leavevmode {\color  {Chapter }IsKaplanskyHermite}}{35}{subsection.4.3.10}}
\newlabel{IsKaplanskyHermite}{{4.3.10}{35}{\textcolor {Chapter }{IsKaplanskyHermite}\relax }{subsection.4.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.11}\leavevmode {\color  {Chapter }IsDedekindDomain}}{36}{subsection.4.3.11}}
\newlabel{IsDedekindDomain}{{4.3.11}{36}{\textcolor {Chapter }{IsDedekindDomain}\relax }{subsection.4.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.12}\leavevmode {\color  {Chapter }IsDiscreteValuationRing}}{36}{subsection.4.3.12}}
\newlabel{IsDiscreteValuationRing}{{4.3.12}{36}{\textcolor {Chapter }{IsDiscreteValuationRing}\relax }{subsection.4.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.13}\leavevmode {\color  {Chapter }IsFreePolynomialRing}}{36}{subsection.4.3.13}}
\newlabel{IsFreePolynomialRing}{{4.3.13}{36}{\textcolor {Chapter }{IsFreePolynomialRing}\relax }{subsection.4.3.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.14}\leavevmode {\color  {Chapter }IsWeylRing}}{36}{subsection.4.3.14}}
\newlabel{IsWeylRing}{{4.3.14}{36}{\textcolor {Chapter }{IsWeylRing}\relax }{subsection.4.3.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.15}\leavevmode {\color  {Chapter }IsGlobalDimensionFinite}}{36}{subsection.4.3.15}}
\newlabel{IsGlobalDimensionFinite}{{4.3.15}{36}{\textcolor {Chapter }{IsGlobalDimensionFinite}\relax }{subsection.4.3.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.16}\leavevmode {\color  {Chapter }IsLeftGlobalDimensionFinite}}{36}{subsection.4.3.16}}
\newlabel{IsLeftGlobalDimensionFinite}{{4.3.16}{36}{\textcolor {Chapter }{IsLeftGlobalDimensionFinite}\relax }{subsection.4.3.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.17}\leavevmode {\color  {Chapter }IsRightGlobalDimensionFinite}}{36}{subsection.4.3.17}}
\newlabel{IsRightGlobalDimensionFinite}{{4.3.17}{36}{\textcolor {Chapter }{IsRightGlobalDimensionFinite}\relax }{subsection.4.3.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.18}\leavevmode {\color  {Chapter }HasInvariantBasisProperty}}{36}{subsection.4.3.18}}
\newlabel{HasInvariantBasisProperty}{{4.3.18}{36}{\textcolor {Chapter }{HasInvariantBasisProperty}\relax }{subsection.4.3.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.19}\leavevmode {\color  {Chapter }HasLeftInvariantBasisProperty}}{37}{subsection.4.3.19}}
\newlabel{HasLeftInvariantBasisProperty}{{4.3.19}{37}{\textcolor {Chapter }{HasLeftInvariantBasisProperty}\relax }{subsection.4.3.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.20}\leavevmode {\color  {Chapter }HasRightInvariantBasisProperty}}{37}{subsection.4.3.20}}
\newlabel{HasRightInvariantBasisProperty}{{4.3.20}{37}{\textcolor {Chapter }{HasRightInvariantBasisProperty}\relax }{subsection.4.3.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.21}\leavevmode {\color  {Chapter }IsLocalRing}}{37}{subsection.4.3.21}}
\newlabel{IsLocalRing}{{4.3.21}{37}{\textcolor {Chapter }{IsLocalRing}\relax }{subsection.4.3.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.22}\leavevmode {\color  {Chapter }IsSemiLocalRing}}{37}{subsection.4.3.22}}
\newlabel{IsSemiLocalRing}{{4.3.22}{37}{\textcolor {Chapter }{IsSemiLocalRing}\relax }{subsection.4.3.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.23}\leavevmode {\color  {Chapter }IsIntegralDomain}}{37}{subsection.4.3.23}}
\newlabel{IsIntegralDomain}{{4.3.23}{37}{\textcolor {Chapter }{IsIntegralDomain}\relax }{subsection.4.3.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.24}\leavevmode {\color  {Chapter }IsHereditary}}{37}{subsection.4.3.24}}
\newlabel{IsHereditary}{{4.3.24}{37}{\textcolor {Chapter }{IsHereditary}\relax }{subsection.4.3.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.25}\leavevmode {\color  {Chapter }IsLeftHereditary}}{37}{subsection.4.3.25}}
\newlabel{IsLeftHereditary}{{4.3.25}{37}{\textcolor {Chapter }{IsLeftHereditary}\relax }{subsection.4.3.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.26}\leavevmode {\color  {Chapter }IsRightHereditary}}{37}{subsection.4.3.26}}
\newlabel{IsRightHereditary}{{4.3.26}{37}{\textcolor {Chapter }{IsRightHereditary}\relax }{subsection.4.3.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.27}\leavevmode {\color  {Chapter }IsHermite}}{38}{subsection.4.3.27}}
\newlabel{IsHermite}{{4.3.27}{38}{\textcolor {Chapter }{IsHermite}\relax }{subsection.4.3.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.28}\leavevmode {\color  {Chapter }IsLeftHermite}}{38}{subsection.4.3.28}}
\newlabel{IsLeftHermite}{{4.3.28}{38}{\textcolor {Chapter }{IsLeftHermite}\relax }{subsection.4.3.28}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.29}\leavevmode {\color  {Chapter }IsRightHermite}}{38}{subsection.4.3.29}}
\newlabel{IsRightHermite}{{4.3.29}{38}{\textcolor {Chapter }{IsRightHermite}\relax }{subsection.4.3.29}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.30}\leavevmode {\color  {Chapter }IsNoetherian}}{38}{subsection.4.3.30}}
\newlabel{IsNoetherian}{{4.3.30}{38}{\textcolor {Chapter }{IsNoetherian}\relax }{subsection.4.3.30}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.31}\leavevmode {\color  {Chapter }IsLeftNoetherian}}{38}{subsection.4.3.31}}
\newlabel{IsLeftNoetherian}{{4.3.31}{38}{\textcolor {Chapter }{IsLeftNoetherian}\relax }{subsection.4.3.31}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.32}\leavevmode {\color  {Chapter }IsRightNoetherian}}{38}{subsection.4.3.32}}
\newlabel{IsRightNoetherian}{{4.3.32}{38}{\textcolor {Chapter }{IsRightNoetherian}\relax }{subsection.4.3.32}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.33}\leavevmode {\color  {Chapter }IsArtinian (for rings)}}{38}{subsection.4.3.33}}
\newlabel{IsArtinian:for rings}{{4.3.33}{38}{\textcolor {Chapter }{IsArtinian (for rings)}\relax }{subsection.4.3.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.34}\leavevmode {\color  {Chapter }IsLeftArtinian}}{38}{subsection.4.3.34}}
\newlabel{IsLeftArtinian}{{4.3.34}{38}{\textcolor {Chapter }{IsLeftArtinian}\relax }{subsection.4.3.34}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.35}\leavevmode {\color  {Chapter }IsRightArtinian}}{39}{subsection.4.3.35}}
\newlabel{IsRightArtinian}{{4.3.35}{39}{\textcolor {Chapter }{IsRightArtinian}\relax }{subsection.4.3.35}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.36}\leavevmode {\color  {Chapter }IsOreDomain}}{39}{subsection.4.3.36}}
\newlabel{IsOreDomain}{{4.3.36}{39}{\textcolor {Chapter }{IsOreDomain}\relax }{subsection.4.3.36}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.37}\leavevmode {\color  {Chapter }IsLeftOreDomain}}{39}{subsection.4.3.37}}
\newlabel{IsLeftOreDomain}{{4.3.37}{39}{\textcolor {Chapter }{IsLeftOreDomain}\relax }{subsection.4.3.37}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.38}\leavevmode {\color  {Chapter }IsRightOreDomain}}{39}{subsection.4.3.38}}
\newlabel{IsRightOreDomain}{{4.3.38}{39}{\textcolor {Chapter }{IsRightOreDomain}\relax }{subsection.4.3.38}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.39}\leavevmode {\color  {Chapter }IsPrincipalIdealRing}}{39}{subsection.4.3.39}}
\newlabel{IsPrincipalIdealRing}{{4.3.39}{39}{\textcolor {Chapter }{IsPrincipalIdealRing}\relax }{subsection.4.3.39}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.40}\leavevmode {\color  {Chapter }IsLeftPrincipalIdealRing}}{39}{subsection.4.3.40}}
\newlabel{IsLeftPrincipalIdealRing}{{4.3.40}{39}{\textcolor {Chapter }{IsLeftPrincipalIdealRing}\relax }{subsection.4.3.40}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.41}\leavevmode {\color  {Chapter }IsRightPrincipalIdealRing}}{39}{subsection.4.3.41}}
\newlabel{IsRightPrincipalIdealRing}{{4.3.41}{39}{\textcolor {Chapter }{IsRightPrincipalIdealRing}\relax }{subsection.4.3.41}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.42}\leavevmode {\color  {Chapter }IsRegular}}{39}{subsection.4.3.42}}
\newlabel{IsRegular}{{4.3.42}{39}{\textcolor {Chapter }{IsRegular}\relax }{subsection.4.3.42}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.43}\leavevmode {\color  {Chapter }IsFiniteFreePresentationRing}}{40}{subsection.4.3.43}}
\newlabel{IsFiniteFreePresentationRing}{{4.3.43}{40}{\textcolor {Chapter }{IsFiniteFreePresentationRing}\relax }{subsection.4.3.43}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.44}\leavevmode {\color  {Chapter }IsLeftFiniteFreePresentationRing}}{40}{subsection.4.3.44}}
\newlabel{IsLeftFiniteFreePresentationRing}{{4.3.44}{40}{\textcolor {Chapter }{IsLeftFiniteFreePresentationRing}\relax }{subsection.4.3.44}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.45}\leavevmode {\color  {Chapter }IsRightFiniteFreePresentationRing}}{40}{subsection.4.3.45}}
\newlabel{IsRightFiniteFreePresentationRing}{{4.3.45}{40}{\textcolor {Chapter }{IsRightFiniteFreePresentationRing}\relax }{subsection.4.3.45}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.46}\leavevmode {\color  {Chapter }IsSimpleRing}}{40}{subsection.4.3.46}}
\newlabel{IsSimpleRing}{{4.3.46}{40}{\textcolor {Chapter }{IsSimpleRing}\relax }{subsection.4.3.46}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.47}\leavevmode {\color  {Chapter }IsSemiSimpleRing}}{40}{subsection.4.3.47}}
\newlabel{IsSemiSimpleRing}{{4.3.47}{40}{\textcolor {Chapter }{IsSemiSimpleRing}\relax }{subsection.4.3.47}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.48}\leavevmode {\color  {Chapter }BasisAlgorithmRespectsPrincipalIdeals}}{40}{subsection.4.3.48}}
\newlabel{BasisAlgorithmRespectsPrincipalIdeals}{{4.3.48}{40}{\textcolor {Chapter }{BasisAlgorithmRespectsPrincipalIdeals}\relax }{subsection.4.3.48}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.49}\leavevmode {\color  {Chapter }IsMinusOne}}{40}{subsection.4.3.49}}
\newlabel{IsMinusOne}{{4.3.49}{40}{\textcolor {Chapter }{IsMinusOne}\relax }{subsection.4.3.49}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color  {Chapter }Rings: Attributes}}{40}{section.4.4}}
\newlabel{Rings:Attributes}{{4.4}{40}{\textcolor {Chapter }{Rings: Attributes}\relax }{section.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color  {Chapter }Zero (for homalg ring elements)}}{40}{subsection.4.4.1}}
\newlabel{Zero:for homalg ring elements}{{4.4.1}{40}{\textcolor {Chapter }{Zero (for homalg ring elements)}\relax }{subsection.4.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}\leavevmode {\color  {Chapter }One (for homalg ring elements)}}{41}{subsection.4.4.2}}
\newlabel{One:for homalg ring elements}{{4.4.2}{41}{\textcolor {Chapter }{One (for homalg ring elements)}\relax }{subsection.4.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.3}\leavevmode {\color  {Chapter }homalgTable}}{41}{subsection.4.4.3}}
\newlabel{homalgTable}{{4.4.3}{41}{\textcolor {Chapter }{homalgTable}\relax }{subsection.4.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.4}\leavevmode {\color  {Chapter }RingElementConstructor}}{41}{subsection.4.4.4}}
\newlabel{RingElementConstructor}{{4.4.4}{41}{\textcolor {Chapter }{RingElementConstructor}\relax }{subsection.4.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.5}\leavevmode {\color  {Chapter }TypeOfHomalgMatrix}}{41}{subsection.4.4.5}}
\newlabel{TypeOfHomalgMatrix}{{4.4.5}{41}{\textcolor {Chapter }{TypeOfHomalgMatrix}\relax }{subsection.4.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.6}\leavevmode {\color  {Chapter }ConstructorForHomalgMatrices}}{41}{subsection.4.4.6}}
\newlabel{ConstructorForHomalgMatrices}{{4.4.6}{41}{\textcolor {Chapter }{ConstructorForHomalgMatrices}\relax }{subsection.4.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.7}\leavevmode {\color  {Chapter }Zero (for homalg rings)}}{41}{subsection.4.4.7}}
\newlabel{Zero:for homalg rings}{{4.4.7}{41}{\textcolor {Chapter }{Zero (for homalg rings)}\relax }{subsection.4.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.8}\leavevmode {\color  {Chapter }One (for homalg rings)}}{41}{subsection.4.4.8}}
\newlabel{One:for homalg rings}{{4.4.8}{41}{\textcolor {Chapter }{One (for homalg rings)}\relax }{subsection.4.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.9}\leavevmode {\color  {Chapter }MinusOne}}{41}{subsection.4.4.9}}
\newlabel{MinusOne}{{4.4.9}{41}{\textcolor {Chapter }{MinusOne}\relax }{subsection.4.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.10}\leavevmode {\color  {Chapter }IndeterminatesOfPolynomialRing}}{42}{subsection.4.4.10}}
\newlabel{IndeterminatesOfPolynomialRing}{{4.4.10}{42}{\textcolor {Chapter }{IndeterminatesOfPolynomialRing}\relax }{subsection.4.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.11}\leavevmode {\color  {Chapter }IndeterminateCoordinatesOfRingOfDerivations}}{42}{subsection.4.4.11}}
\newlabel{IndeterminateCoordinatesOfRingOfDerivations}{{4.4.11}{42}{\textcolor {Chapter }{IndeterminateCoordinatesOfRingOfDerivations}\relax }{subsection.4.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.12}\leavevmode {\color  {Chapter }IndeterminateDerivationsOfRingOfDerivations}}{42}{subsection.4.4.12}}
\newlabel{IndeterminateDerivationsOfRingOfDerivations}{{4.4.12}{42}{\textcolor {Chapter }{IndeterminateDerivationsOfRingOfDerivations}\relax }{subsection.4.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.13}\leavevmode {\color  {Chapter }IndeterminateAntiCommutingVariablesOfExteriorRing}}{42}{subsection.4.4.13}}
\newlabel{IndeterminateAntiCommutingVariablesOfExteriorRing}{{4.4.13}{42}{\textcolor {Chapter }{IndeterminateAntiCommutingVariablesOfExteriorRing}\relax }{subsection.4.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.14}\leavevmode {\color  {Chapter }IndeterminatesOfExteriorRing}}{42}{subsection.4.4.14}}
\newlabel{IndeterminatesOfExteriorRing}{{4.4.14}{42}{\textcolor {Chapter }{IndeterminatesOfExteriorRing}\relax }{subsection.4.4.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.15}\leavevmode {\color  {Chapter }WeightsOfIndeterminates}}{42}{subsection.4.4.15}}
\newlabel{WeightsOfIndeterminates}{{4.4.15}{42}{\textcolor {Chapter }{WeightsOfIndeterminates}\relax }{subsection.4.4.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.16}\leavevmode {\color  {Chapter }MatrixOfWeightsOfIndeterminates}}{42}{subsection.4.4.16}}
\newlabel{MatrixOfWeightsOfIndeterminates}{{4.4.16}{42}{\textcolor {Chapter }{MatrixOfWeightsOfIndeterminates}\relax }{subsection.4.4.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.17}\leavevmode {\color  {Chapter }CoefficientsRing}}{42}{subsection.4.4.17}}
\newlabel{CoefficientsRing}{{4.4.17}{42}{\textcolor {Chapter }{CoefficientsRing}\relax }{subsection.4.4.17}{}}
\citation{McCRob}
\citation{McCRob}
\citation{McCRob}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.18}\leavevmode {\color  {Chapter }KrullDimension}}{43}{subsection.4.4.18}}
\newlabel{KrullDimension}{{4.4.18}{43}{\textcolor {Chapter }{KrullDimension}\relax }{subsection.4.4.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.19}\leavevmode {\color  {Chapter }LeftGlobalDimension}}{43}{subsection.4.4.19}}
\newlabel{LeftGlobalDimension}{{4.4.19}{43}{\textcolor {Chapter }{LeftGlobalDimension}\relax }{subsection.4.4.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.20}\leavevmode {\color  {Chapter }RightGlobalDimension}}{43}{subsection.4.4.20}}
\newlabel{RightGlobalDimension}{{4.4.20}{43}{\textcolor {Chapter }{RightGlobalDimension}\relax }{subsection.4.4.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.21}\leavevmode {\color  {Chapter }GlobalDimension}}{43}{subsection.4.4.21}}
\newlabel{GlobalDimension}{{4.4.21}{43}{\textcolor {Chapter }{GlobalDimension}\relax }{subsection.4.4.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.22}\leavevmode {\color  {Chapter }GeneralLinearRank}}{43}{subsection.4.4.22}}
\newlabel{GeneralLinearRank}{{4.4.22}{43}{\textcolor {Chapter }{GeneralLinearRank}\relax }{subsection.4.4.22}{}}
\@writefile{brf}{\backcite{McCRob}{{43}{4.4.22}{subsection.4.4.22}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.23}\leavevmode {\color  {Chapter }ElementaryRank}}{43}{subsection.4.4.23}}
\newlabel{ElementaryRank}{{4.4.23}{43}{\textcolor {Chapter }{ElementaryRank}\relax }{subsection.4.4.23}{}}
\@writefile{brf}{\backcite{McCRob}{{43}{4.4.23}{subsection.4.4.23}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.24}\leavevmode {\color  {Chapter }StableRank}}{43}{subsection.4.4.24}}
\newlabel{StableRank}{{4.4.24}{43}{\textcolor {Chapter }{StableRank}\relax }{subsection.4.4.24}{}}
\@writefile{brf}{\backcite{McCRob}{{43}{4.4.24}{subsection.4.4.24}}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}\leavevmode {\color  {Chapter }Rings: Operations and Functions}}{43}{section.4.5}}
\newlabel{Rings:Operations}{{4.5}{43}{\textcolor {Chapter }{Rings: Operations and Functions}\relax }{section.4.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Ring Maps}}{44}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{RingMaps}{{5}{44}{\textcolor {Chapter }{Ring Maps}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }Ring Maps: Category and Representations}}{44}{section.5.1}}
\newlabel{RingMaps:}{{5.1}{44}{\textcolor {Chapter }{Ring Maps: Category and Representations}\relax }{section.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color  {Chapter }IsHomalgRingMap}}{44}{subsection.5.1.1}}
\newlabel{IsHomalgRingMap}{{5.1.1}{44}{\textcolor {Chapter }{IsHomalgRingMap}\relax }{subsection.5.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}\leavevmode {\color  {Chapter }IsHomalgRingSelfMap}}{44}{subsection.5.1.2}}
\newlabel{IsHomalgRingSelfMap}{{5.1.2}{44}{\textcolor {Chapter }{IsHomalgRingSelfMap}\relax }{subsection.5.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}\leavevmode {\color  {Chapter }IsHomalgRingMapRep}}{44}{subsection.5.1.3}}
\newlabel{IsHomalgRingMapRep}{{5.1.3}{44}{\textcolor {Chapter }{IsHomalgRingMapRep}\relax }{subsection.5.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Ring Maps: Constructors}}{44}{section.5.2}}
\newlabel{RingMaps:Constructors}{{5.2}{44}{\textcolor {Chapter }{Ring Maps: Constructors}\relax }{section.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }RingMap (constructor for ring maps)}}{44}{subsection.5.2.1}}
\newlabel{RingMap:constructor for ring maps}{{5.2.1}{44}{\textcolor {Chapter }{RingMap (constructor for ring maps)}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}\leavevmode {\color  {Chapter }Ring Maps: Properties}}{45}{section.5.3}}
\newlabel{RingMaps:Properties}{{5.3}{45}{\textcolor {Chapter }{Ring Maps: Properties}\relax }{section.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.1}\leavevmode {\color  {Chapter }IsMorphism (for ring maps)}}{45}{subsection.5.3.1}}
\newlabel{IsMorphism:for ring maps}{{5.3.1}{45}{\textcolor {Chapter }{IsMorphism (for ring maps)}\relax }{subsection.5.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.2}\leavevmode {\color  {Chapter }IsIdentityMorphism (for ring maps)}}{45}{subsection.5.3.2}}
\newlabel{IsIdentityMorphism:for ring maps}{{5.3.2}{45}{\textcolor {Chapter }{IsIdentityMorphism (for ring maps)}\relax }{subsection.5.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.3}\leavevmode {\color  {Chapter }IsMonomorphism (for ring maps)}}{45}{subsection.5.3.3}}
\newlabel{IsMonomorphism:for ring maps}{{5.3.3}{45}{\textcolor {Chapter }{IsMonomorphism (for ring maps)}\relax }{subsection.5.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.4}\leavevmode {\color  {Chapter }IsEpimorphism (for ring maps)}}{45}{subsection.5.3.4}}
\newlabel{IsEpimorphism:for ring maps}{{5.3.4}{45}{\textcolor {Chapter }{IsEpimorphism (for ring maps)}\relax }{subsection.5.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.5}\leavevmode {\color  {Chapter }IsIsomorphism (for ring maps)}}{45}{subsection.5.3.5}}
\newlabel{IsIsomorphism:for ring maps}{{5.3.5}{45}{\textcolor {Chapter }{IsIsomorphism (for ring maps)}\relax }{subsection.5.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.6}\leavevmode {\color  {Chapter }IsAutomorphism (for ring maps)}}{45}{subsection.5.3.6}}
\newlabel{IsAutomorphism:for ring maps}{{5.3.6}{45}{\textcolor {Chapter }{IsAutomorphism (for ring maps)}\relax }{subsection.5.3.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}\leavevmode {\color  {Chapter }Ring Maps: Attributes}}{46}{section.5.4}}
\newlabel{RingMaps:Attributes}{{5.4}{46}{\textcolor {Chapter }{Ring Maps: Attributes}\relax }{section.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}\leavevmode {\color  {Chapter }Source (for ring maps)}}{46}{subsection.5.4.1}}
\newlabel{Source:for ring maps}{{5.4.1}{46}{\textcolor {Chapter }{Source (for ring maps)}\relax }{subsection.5.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}\leavevmode {\color  {Chapter }Range (for ring maps)}}{46}{subsection.5.4.2}}
\newlabel{Range:for ring maps}{{5.4.2}{46}{\textcolor {Chapter }{Range (for ring maps)}\relax }{subsection.5.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.3}\leavevmode {\color  {Chapter }DegreeOfMorphism (for ring maps)}}{46}{subsection.5.4.3}}
\newlabel{DegreeOfMorphism:for ring maps}{{5.4.3}{46}{\textcolor {Chapter }{DegreeOfMorphism (for ring maps)}\relax }{subsection.5.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.4}\leavevmode {\color  {Chapter }CoordinateRingOfGraph (for ring maps)}}{46}{subsection.5.4.4}}
\newlabel{CoordinateRingOfGraph:for ring maps}{{5.4.4}{46}{\textcolor {Chapter }{CoordinateRingOfGraph (for ring maps)}\relax }{subsection.5.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.5}\leavevmode {\color  {Chapter }KernelSubmodule (for ring maps)}}{46}{subsection.5.4.5}}
\newlabel{KernelSubmodule:for ring maps}{{5.4.5}{46}{\textcolor {Chapter }{KernelSubmodule (for ring maps)}\relax }{subsection.5.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.6}\leavevmode {\color  {Chapter }KernelEmb (for ring maps)}}{46}{subsection.5.4.6}}
\newlabel{KernelEmb:for ring maps}{{5.4.6}{46}{\textcolor {Chapter }{KernelEmb (for ring maps)}\relax }{subsection.5.4.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}\leavevmode {\color  {Chapter }Ring Maps: Operations and Functions}}{46}{section.5.5}}
\newlabel{RingMaps:Operations and Functions}{{5.5}{46}{\textcolor {Chapter }{Ring Maps: Operations and Functions}\relax }{section.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.1}\leavevmode {\color  {Chapter }Kernel (for ring maps)}}{46}{subsection.5.5.1}}
\newlabel{Kernel:for ring maps}{{5.5.1}{46}{\textcolor {Chapter }{Kernel (for ring maps)}\relax }{subsection.5.5.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color  {Chapter }Matrices}}{47}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Matrices}{{6}{47}{\textcolor {Chapter }{Matrices}\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color  {Chapter }Matrices: Category and Representations}}{47}{section.6.1}}
\newlabel{Matrices:Category}{{6.1}{47}{\textcolor {Chapter }{Matrices: Category and Representations}\relax }{section.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}\leavevmode {\color  {Chapter }IsHomalgMatrix}}{47}{subsection.6.1.1}}
\newlabel{IsHomalgMatrix}{{6.1.1}{47}{\textcolor {Chapter }{IsHomalgMatrix}\relax }{subsection.6.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}\leavevmode {\color  {Chapter }IsHomalgInternalMatrixRep}}{47}{subsection.6.1.2}}
\newlabel{IsHomalgInternalMatrixRep}{{6.1.2}{47}{\textcolor {Chapter }{IsHomalgInternalMatrixRep}\relax }{subsection.6.1.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}\leavevmode {\color  {Chapter }Matrices: Constructors}}{47}{section.6.2}}
\newlabel{Matrices:Constructors}{{6.2}{47}{\textcolor {Chapter }{Matrices: Constructors}\relax }{section.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}\leavevmode {\color  {Chapter }HomalgInitialMatrix (constructor for initial matrices filled with zeros)}}{47}{subsection.6.2.1}}
\newlabel{HomalgInitialMatrix:constructor for initial matrices filled with zeros}{{6.2.1}{47}{\textcolor {Chapter }{HomalgInitialMatrix (constructor for initial matrices filled with zeros)}\relax }{subsection.6.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}\leavevmode {\color  {Chapter }HomalgInitialIdentityMatrix (constructor for initial quadratic matrices with ones on the diagonal)}}{48}{subsection.6.2.2}}
\newlabel{HomalgInitialIdentityMatrix:constructor for initial quadratic matrices with ones on the diagonal}{{6.2.2}{48}{\textcolor {Chapter }{HomalgInitialIdentityMatrix (constructor for initial quadratic matrices with ones on the diagonal)}\relax }{subsection.6.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}\leavevmode {\color  {Chapter }HomalgZeroMatrix (constructor for zero matrices)}}{49}{subsection.6.2.3}}
\newlabel{HomalgZeroMatrix:constructor for zero matrices}{{6.2.3}{49}{\textcolor {Chapter }{HomalgZeroMatrix (constructor for zero matrices)}\relax }{subsection.6.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.4}\leavevmode {\color  {Chapter }HomalgIdentityMatrix (constructor for identity matrices)}}{49}{subsection.6.2.4}}
\newlabel{HomalgIdentityMatrix:constructor for identity matrices}{{6.2.4}{49}{\textcolor {Chapter }{HomalgIdentityMatrix (constructor for identity matrices)}\relax }{subsection.6.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.5}\leavevmode {\color  {Chapter }HomalgVoidMatrix (constructor for void matrices)}}{49}{subsection.6.2.5}}
\newlabel{HomalgVoidMatrix:constructor for void matrices}{{6.2.5}{49}{\textcolor {Chapter }{HomalgVoidMatrix (constructor for void matrices)}\relax }{subsection.6.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.6}\leavevmode {\color  {Chapter }HomalgMatrix (constructor for matrices using a listlist)}}{49}{subsection.6.2.6}}
\newlabel{HomalgMatrix:constructor for matrices using a listlist}{{6.2.6}{49}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.6.2.6}{}}
\newlabel{HomalgMatrix:constructor for matrices using a list}{{6.2.6}{49}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.6.2.6}{}}
\newlabel{HomalgMatrix:constructor for matrices using a string of a listlist}{{6.2.6}{49}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.6.2.6}{}}
\newlabel{HomalgMatrix:constructor for matrices using a string of a list}{{6.2.6}{49}{\textcolor {Chapter }{HomalgMatrix (constructor for matrices using a listlist)}\relax }{subsection.6.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.7}\leavevmode {\color  {Chapter }HomalgDiagonalMatrix (constructor for diagonal matrices)}}{51}{subsection.6.2.7}}
\newlabel{HomalgDiagonalMatrix:constructor for diagonal matrices}{{6.2.7}{51}{\textcolor {Chapter }{HomalgDiagonalMatrix (constructor for diagonal matrices)}\relax }{subsection.6.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.8}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (copy a matrix over a different ring)}}{51}{subsection.6.2.8}}
\newlabel{*:copy a matrix over a different ring}{{6.2.8}{51}{\textcolor {Chapter }{\texttt {\symbol {92}}* (copy a matrix over a different ring)}\relax }{subsection.6.2.8}{}}
\newlabel{*:copy a matrix over a different ring (right)}{{6.2.8}{51}{\textcolor {Chapter }{\texttt {\symbol {92}}* (copy a matrix over a different ring)}\relax }{subsection.6.2.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}\leavevmode {\color  {Chapter }Matrices: Properties}}{52}{section.6.3}}
\newlabel{Matrices:Properties}{{6.3}{52}{\textcolor {Chapter }{Matrices: Properties}\relax }{section.6.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}\leavevmode {\color  {Chapter }IsZero (for matrices)}}{52}{subsection.6.3.1}}
\newlabel{IsZero:for matrices}{{6.3.1}{52}{\textcolor {Chapter }{IsZero (for matrices)}\relax }{subsection.6.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}\leavevmode {\color  {Chapter }IsIdentityMatrix}}{52}{subsection.6.3.2}}
\newlabel{IsIdentityMatrix}{{6.3.2}{52}{\textcolor {Chapter }{IsIdentityMatrix}\relax }{subsection.6.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.3}\leavevmode {\color  {Chapter }IsPermutationMatrix}}{52}{subsection.6.3.3}}
\newlabel{IsPermutationMatrix}{{6.3.3}{52}{\textcolor {Chapter }{IsPermutationMatrix}\relax }{subsection.6.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.4}\leavevmode {\color  {Chapter }IsSpecialSubidentityMatrix}}{52}{subsection.6.3.4}}
\newlabel{IsSpecialSubidentityMatrix}{{6.3.4}{52}{\textcolor {Chapter }{IsSpecialSubidentityMatrix}\relax }{subsection.6.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.5}\leavevmode {\color  {Chapter }IsSubidentityMatrix}}{53}{subsection.6.3.5}}
\newlabel{IsSubidentityMatrix}{{6.3.5}{53}{\textcolor {Chapter }{IsSubidentityMatrix}\relax }{subsection.6.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.6}\leavevmode {\color  {Chapter }IsLeftRegularMatrix}}{53}{subsection.6.3.6}}
\newlabel{IsLeftRegularMatrix}{{6.3.6}{53}{\textcolor {Chapter }{IsLeftRegularMatrix}\relax }{subsection.6.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.7}\leavevmode {\color  {Chapter }IsRightRegularMatrix}}{53}{subsection.6.3.7}}
\newlabel{IsRightRegularMatrix}{{6.3.7}{53}{\textcolor {Chapter }{IsRightRegularMatrix}\relax }{subsection.6.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.8}\leavevmode {\color  {Chapter }IsInvertibleMatrix}}{53}{subsection.6.3.8}}
\newlabel{IsInvertibleMatrix}{{6.3.8}{53}{\textcolor {Chapter }{IsInvertibleMatrix}\relax }{subsection.6.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.9}\leavevmode {\color  {Chapter }IsLeftInvertibleMatrix}}{53}{subsection.6.3.9}}
\newlabel{IsLeftInvertibleMatrix}{{6.3.9}{53}{\textcolor {Chapter }{IsLeftInvertibleMatrix}\relax }{subsection.6.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.10}\leavevmode {\color  {Chapter }IsRightInvertibleMatrix}}{53}{subsection.6.3.10}}
\newlabel{IsRightInvertibleMatrix}{{6.3.10}{53}{\textcolor {Chapter }{IsRightInvertibleMatrix}\relax }{subsection.6.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.11}\leavevmode {\color  {Chapter }IsEmptyMatrix}}{53}{subsection.6.3.11}}
\newlabel{IsEmptyMatrix}{{6.3.11}{53}{\textcolor {Chapter }{IsEmptyMatrix}\relax }{subsection.6.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.12}\leavevmode {\color  {Chapter }IsDiagonalMatrix}}{53}{subsection.6.3.12}}
\newlabel{IsDiagonalMatrix}{{6.3.12}{53}{\textcolor {Chapter }{IsDiagonalMatrix}\relax }{subsection.6.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.13}\leavevmode {\color  {Chapter }IsScalarlMatrix}}{54}{subsection.6.3.13}}
\newlabel{IsScalarlMatrix}{{6.3.13}{54}{\textcolor {Chapter }{IsScalarlMatrix}\relax }{subsection.6.3.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.14}\leavevmode {\color  {Chapter }IsUpperTriangularMatrix}}{54}{subsection.6.3.14}}
\newlabel{IsUpperTriangularMatrix}{{6.3.14}{54}{\textcolor {Chapter }{IsUpperTriangularMatrix}\relax }{subsection.6.3.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.15}\leavevmode {\color  {Chapter }IsLowerTriangularMatrix}}{54}{subsection.6.3.15}}
\newlabel{IsLowerTriangularMatrix}{{6.3.15}{54}{\textcolor {Chapter }{IsLowerTriangularMatrix}\relax }{subsection.6.3.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.16}\leavevmode {\color  {Chapter }IsStrictUpperTriangularMatrix}}{54}{subsection.6.3.16}}
\newlabel{IsStrictUpperTriangularMatrix}{{6.3.16}{54}{\textcolor {Chapter }{IsStrictUpperTriangularMatrix}\relax }{subsection.6.3.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.17}\leavevmode {\color  {Chapter }IsStrictLowerTriangularMatrix}}{54}{subsection.6.3.17}}
\newlabel{IsStrictLowerTriangularMatrix}{{6.3.17}{54}{\textcolor {Chapter }{IsStrictLowerTriangularMatrix}\relax }{subsection.6.3.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.18}\leavevmode {\color  {Chapter }IsUpperStairCaseMatrix}}{54}{subsection.6.3.18}}
\newlabel{IsUpperStairCaseMatrix}{{6.3.18}{54}{\textcolor {Chapter }{IsUpperStairCaseMatrix}\relax }{subsection.6.3.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.19}\leavevmode {\color  {Chapter }IsLowerStairCaseMatrix}}{54}{subsection.6.3.19}}
\newlabel{IsLowerStairCaseMatrix}{{6.3.19}{54}{\textcolor {Chapter }{IsLowerStairCaseMatrix}\relax }{subsection.6.3.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.20}\leavevmode {\color  {Chapter }IsTriangularMatrix}}{54}{subsection.6.3.20}}
\newlabel{IsTriangularMatrix}{{6.3.20}{54}{\textcolor {Chapter }{IsTriangularMatrix}\relax }{subsection.6.3.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.21}\leavevmode {\color  {Chapter }IsBasisOfRowsMatrix}}{55}{subsection.6.3.21}}
\newlabel{IsBasisOfRowsMatrix}{{6.3.21}{55}{\textcolor {Chapter }{IsBasisOfRowsMatrix}\relax }{subsection.6.3.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.22}\leavevmode {\color  {Chapter }IsBasisOfColumnsMatrix}}{55}{subsection.6.3.22}}
\newlabel{IsBasisOfColumnsMatrix}{{6.3.22}{55}{\textcolor {Chapter }{IsBasisOfColumnsMatrix}\relax }{subsection.6.3.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.23}\leavevmode {\color  {Chapter }IsReducedBasisOfRowsMatrix}}{55}{subsection.6.3.23}}
\newlabel{IsReducedBasisOfRowsMatrix}{{6.3.23}{55}{\textcolor {Chapter }{IsReducedBasisOfRowsMatrix}\relax }{subsection.6.3.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.24}\leavevmode {\color  {Chapter }IsReducedBasisOfColumnsMatrix}}{55}{subsection.6.3.24}}
\newlabel{IsReducedBasisOfColumnsMatrix}{{6.3.24}{55}{\textcolor {Chapter }{IsReducedBasisOfColumnsMatrix}\relax }{subsection.6.3.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.25}\leavevmode {\color  {Chapter }IsMutableMatrix}}{55}{subsection.6.3.25}}
\newlabel{IsMutableMatrix}{{6.3.25}{55}{\textcolor {Chapter }{IsMutableMatrix}\relax }{subsection.6.3.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.26}\leavevmode {\color  {Chapter }IsInitialMatrix}}{55}{subsection.6.3.26}}
\newlabel{IsInitialMatrix}{{6.3.26}{55}{\textcolor {Chapter }{IsInitialMatrix}\relax }{subsection.6.3.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.27}\leavevmode {\color  {Chapter }IsInitialIdentityMatrix}}{55}{subsection.6.3.27}}
\newlabel{IsInitialIdentityMatrix}{{6.3.27}{55}{\textcolor {Chapter }{IsInitialIdentityMatrix}\relax }{subsection.6.3.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.28}\leavevmode {\color  {Chapter }IsVoidMatrix}}{55}{subsection.6.3.28}}
\newlabel{IsVoidMatrix}{{6.3.28}{55}{\textcolor {Chapter }{IsVoidMatrix}\relax }{subsection.6.3.28}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}\leavevmode {\color  {Chapter }Matrices: Attributes}}{56}{section.6.4}}
\newlabel{Matrices:Attributes}{{6.4}{56}{\textcolor {Chapter }{Matrices: Attributes}\relax }{section.6.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\leavevmode {\color  {Chapter }NrRows}}{56}{subsection.6.4.1}}
\newlabel{NrRows}{{6.4.1}{56}{\textcolor {Chapter }{NrRows}\relax }{subsection.6.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\leavevmode {\color  {Chapter }NrColumns}}{56}{subsection.6.4.2}}
\newlabel{NrColumns}{{6.4.2}{56}{\textcolor {Chapter }{NrColumns}\relax }{subsection.6.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}\leavevmode {\color  {Chapter }DeterminantMat}}{56}{subsection.6.4.3}}
\newlabel{DeterminantMat}{{6.4.3}{56}{\textcolor {Chapter }{DeterminantMat}\relax }{subsection.6.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.4}\leavevmode {\color  {Chapter }ZeroRows}}{56}{subsection.6.4.4}}
\newlabel{ZeroRows}{{6.4.4}{56}{\textcolor {Chapter }{ZeroRows}\relax }{subsection.6.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.5}\leavevmode {\color  {Chapter }ZeroColumns}}{56}{subsection.6.4.5}}
\newlabel{ZeroColumns}{{6.4.5}{56}{\textcolor {Chapter }{ZeroColumns}\relax }{subsection.6.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.6}\leavevmode {\color  {Chapter }NonZeroRows}}{56}{subsection.6.4.6}}
\newlabel{NonZeroRows}{{6.4.6}{56}{\textcolor {Chapter }{NonZeroRows}\relax }{subsection.6.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.7}\leavevmode {\color  {Chapter }NonZeroColumns}}{56}{subsection.6.4.7}}
\newlabel{NonZeroColumns}{{6.4.7}{56}{\textcolor {Chapter }{NonZeroColumns}\relax }{subsection.6.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.8}\leavevmode {\color  {Chapter }PositionOfFirstNonZeroEntryPerRow}}{57}{subsection.6.4.8}}
\newlabel{PositionOfFirstNonZeroEntryPerRow}{{6.4.8}{57}{\textcolor {Chapter }{PositionOfFirstNonZeroEntryPerRow}\relax }{subsection.6.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.9}\leavevmode {\color  {Chapter }PositionOfFirstNonZeroEntryPerColumn}}{57}{subsection.6.4.9}}
\newlabel{PositionOfFirstNonZeroEntryPerColumn}{{6.4.9}{57}{\textcolor {Chapter }{PositionOfFirstNonZeroEntryPerColumn}\relax }{subsection.6.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.10}\leavevmode {\color  {Chapter }DegreesOfEntries}}{57}{subsection.6.4.10}}
\newlabel{DegreesOfEntries}{{6.4.10}{57}{\textcolor {Chapter }{DegreesOfEntries}\relax }{subsection.6.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.11}\leavevmode {\color  {Chapter }RowRankOfMatrix}}{57}{subsection.6.4.11}}
\newlabel{RowRankOfMatrix}{{6.4.11}{57}{\textcolor {Chapter }{RowRankOfMatrix}\relax }{subsection.6.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.12}\leavevmode {\color  {Chapter }ColumnRankOfMatrix}}{57}{subsection.6.4.12}}
\newlabel{ColumnRankOfMatrix}{{6.4.12}{57}{\textcolor {Chapter }{ColumnRankOfMatrix}\relax }{subsection.6.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.13}\leavevmode {\color  {Chapter }LeftInverse (for matrices)}}{57}{subsection.6.4.13}}
\newlabel{LeftInverse:for matrices}{{6.4.13}{57}{\textcolor {Chapter }{LeftInverse (for matrices)}\relax }{subsection.6.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.14}\leavevmode {\color  {Chapter }RightInverse (for matrices)}}{57}{subsection.6.4.14}}
\newlabel{RightInverse:for matrices}{{6.4.14}{57}{\textcolor {Chapter }{RightInverse (for matrices)}\relax }{subsection.6.4.14}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}\leavevmode {\color  {Chapter }Matrices: Operations and Functions}}{58}{section.6.5}}
\newlabel{Matrices:Operations}{{6.5}{58}{\textcolor {Chapter }{Matrices: Operations and Functions}\relax }{section.6.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}\leavevmode {\color  {Chapter }HomalgRing (for matrices)}}{58}{subsection.6.5.1}}
\newlabel{HomalgRing:for matrices}{{6.5.1}{58}{\textcolor {Chapter }{HomalgRing (for matrices)}\relax }{subsection.6.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}\leavevmode {\color  {Chapter }Involution (for matrices)}}{58}{subsection.6.5.2}}
\newlabel{Involution:for matrices}{{6.5.2}{58}{\textcolor {Chapter }{Involution (for matrices)}\relax }{subsection.6.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}\leavevmode {\color  {Chapter }CertainRows (for matrices)}}{58}{subsection.6.5.3}}
\newlabel{CertainRows:for matrices}{{6.5.3}{58}{\textcolor {Chapter }{CertainRows (for matrices)}\relax }{subsection.6.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}\leavevmode {\color  {Chapter }CertainColumns (for matrices)}}{58}{subsection.6.5.4}}
\newlabel{CertainColumns:for matrices}{{6.5.4}{58}{\textcolor {Chapter }{CertainColumns (for matrices)}\relax }{subsection.6.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.5}\leavevmode {\color  {Chapter }UnionOfRows (for matrices)}}{58}{subsection.6.5.5}}
\newlabel{UnionOfRows:for matrices}{{6.5.5}{58}{\textcolor {Chapter }{UnionOfRows (for matrices)}\relax }{subsection.6.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.6}\leavevmode {\color  {Chapter }UnionOfColumns (for matrices)}}{59}{subsection.6.5.6}}
\newlabel{UnionOfColumns:for matrices}{{6.5.6}{59}{\textcolor {Chapter }{UnionOfColumns (for matrices)}\relax }{subsection.6.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.7}\leavevmode {\color  {Chapter }DiagMat (for matrices)}}{59}{subsection.6.5.7}}
\newlabel{DiagMat:for matrices}{{6.5.7}{59}{\textcolor {Chapter }{DiagMat (for matrices)}\relax }{subsection.6.5.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.8}\leavevmode {\color  {Chapter }KroneckerMat (for matrices)}}{59}{subsection.6.5.8}}
\newlabel{KroneckerMat:for matrices}{{6.5.8}{59}{\textcolor {Chapter }{KroneckerMat (for matrices)}\relax }{subsection.6.5.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.9}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (for ring elements and matrices)}}{59}{subsection.6.5.9}}
\newlabel{*:for ring elements and matrices}{{6.5.9}{59}{\textcolor {Chapter }{\texttt {\symbol {92}}* (for ring elements and matrices)}\relax }{subsection.6.5.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.10}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }+ (for matrices)}}{59}{subsection.6.5.10}}
\newlabel{+:for matrices}{{6.5.10}{59}{\textcolor {Chapter }{\texttt {\symbol {92}}+ (for matrices)}\relax }{subsection.6.5.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.11}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }- (for matrices)}}{59}{subsection.6.5.11}}
\newlabel{-:for matrices}{{6.5.11}{59}{\textcolor {Chapter }{\texttt {\symbol {92}}- (for matrices)}\relax }{subsection.6.5.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.12}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (for composable matrices)}}{59}{subsection.6.5.12}}
\newlabel{*:for composable matrices}{{6.5.12}{59}{\textcolor {Chapter }{\texttt {\symbol {92}}* (for composable matrices)}\relax }{subsection.6.5.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.13}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }= (for matrices)}}{60}{subsection.6.5.13}}
\newlabel{=:for matrices}{{6.5.13}{60}{\textcolor {Chapter }{\texttt {\symbol {92}}= (for matrices)}\relax }{subsection.6.5.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.14}\leavevmode {\color  {Chapter }GetColumnIndependentUnitPositions (for matrices)}}{60}{subsection.6.5.14}}
\newlabel{GetColumnIndependentUnitPositions:for matrices}{{6.5.14}{60}{\textcolor {Chapter }{GetColumnIndependentUnitPositions (for matrices)}\relax }{subsection.6.5.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.15}\leavevmode {\color  {Chapter }GetRowIndependentUnitPositions (for matrices)}}{60}{subsection.6.5.15}}
\newlabel{GetRowIndependentUnitPositions:for matrices}{{6.5.15}{60}{\textcolor {Chapter }{GetRowIndependentUnitPositions (for matrices)}\relax }{subsection.6.5.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.16}\leavevmode {\color  {Chapter }GetUnitPosition (for matrices)}}{61}{subsection.6.5.16}}
\newlabel{GetUnitPosition:for matrices}{{6.5.16}{61}{\textcolor {Chapter }{GetUnitPosition (for matrices)}\relax }{subsection.6.5.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.17}\leavevmode {\color  {Chapter }BasisOfRowModule (for matrices)}}{61}{subsection.6.5.17}}
\newlabel{BasisOfRowModule:for matrices}{{6.5.17}{61}{\textcolor {Chapter }{BasisOfRowModule (for matrices)}\relax }{subsection.6.5.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.18}\leavevmode {\color  {Chapter }BasisOfColumnModule (for matrices)}}{61}{subsection.6.5.18}}
\newlabel{BasisOfColumnModule:for matrices}{{6.5.18}{61}{\textcolor {Chapter }{BasisOfColumnModule (for matrices)}\relax }{subsection.6.5.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.19}\leavevmode {\color  {Chapter }DecideZeroRows (for pairs of matrices)}}{61}{subsection.6.5.19}}
\newlabel{DecideZeroRows:for pairs of matrices}{{6.5.19}{61}{\textcolor {Chapter }{DecideZeroRows (for pairs of matrices)}\relax }{subsection.6.5.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.20}\leavevmode {\color  {Chapter }DecideZeroColumns (for pairs of matrices)}}{62}{subsection.6.5.20}}
\newlabel{DecideZeroColumns:for pairs of matrices}{{6.5.20}{62}{\textcolor {Chapter }{DecideZeroColumns (for pairs of matrices)}\relax }{subsection.6.5.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.21}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfRows (for matrices)}}{62}{subsection.6.5.21}}
\newlabel{SyzygiesGeneratorsOfRows:for matrices}{{6.5.21}{62}{\textcolor {Chapter }{SyzygiesGeneratorsOfRows (for matrices)}\relax }{subsection.6.5.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.22}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfColumns (for matrices)}}{62}{subsection.6.5.22}}
\newlabel{SyzygiesGeneratorsOfColumns:for matrices}{{6.5.22}{62}{\textcolor {Chapter }{SyzygiesGeneratorsOfColumns (for matrices)}\relax }{subsection.6.5.22}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.23}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfRows (for pairs of matrices)}}{62}{subsection.6.5.23}}
\newlabel{SyzygiesGeneratorsOfRows:for pairs of matrices}{{6.5.23}{62}{\textcolor {Chapter }{SyzygiesGeneratorsOfRows (for pairs of matrices)}\relax }{subsection.6.5.23}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.24}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfColumns (for pairs of matrices)}}{62}{subsection.6.5.24}}
\newlabel{SyzygiesGeneratorsOfColumns:for pairs of matrices}{{6.5.24}{62}{\textcolor {Chapter }{SyzygiesGeneratorsOfColumns (for pairs of matrices)}\relax }{subsection.6.5.24}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.25}\leavevmode {\color  {Chapter }ReducedBasisOfRowModule (for matrices)}}{63}{subsection.6.5.25}}
\newlabel{ReducedBasisOfRowModule:for matrices}{{6.5.25}{63}{\textcolor {Chapter }{ReducedBasisOfRowModule (for matrices)}\relax }{subsection.6.5.25}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.26}\leavevmode {\color  {Chapter }ReducedBasisOfColumnModule (for matrices)}}{63}{subsection.6.5.26}}
\newlabel{ReducedBasisOfColumnModule:for matrices}{{6.5.26}{63}{\textcolor {Chapter }{ReducedBasisOfColumnModule (for matrices)}\relax }{subsection.6.5.26}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.27}\leavevmode {\color  {Chapter }ReducedSyzygiesGeneratorsOfRows (for matrices)}}{63}{subsection.6.5.27}}
\newlabel{ReducedSyzygiesGeneratorsOfRows:for matrices}{{6.5.27}{63}{\textcolor {Chapter }{ReducedSyzygiesGeneratorsOfRows (for matrices)}\relax }{subsection.6.5.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.28}\leavevmode {\color  {Chapter }ReducedSyzygiesGeneratorsOfColumns (for matrices)}}{63}{subsection.6.5.28}}
\newlabel{ReducedSyzygiesGeneratorsOfColumns:for matrices}{{6.5.28}{63}{\textcolor {Chapter }{ReducedSyzygiesGeneratorsOfColumns (for matrices)}\relax }{subsection.6.5.28}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.29}\leavevmode {\color  {Chapter }BasisOfRowsCoeff (for matrices)}}{63}{subsection.6.5.29}}
\newlabel{BasisOfRowsCoeff:for matrices}{{6.5.29}{63}{\textcolor {Chapter }{BasisOfRowsCoeff (for matrices)}\relax }{subsection.6.5.29}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.30}\leavevmode {\color  {Chapter }BasisOfColumnsCoeff (for matrices)}}{63}{subsection.6.5.30}}
\newlabel{BasisOfColumnsCoeff:for matrices}{{6.5.30}{63}{\textcolor {Chapter }{BasisOfColumnsCoeff (for matrices)}\relax }{subsection.6.5.30}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.31}\leavevmode {\color  {Chapter }DecideZeroRowsEffectively (for pairs of matrices)}}{64}{subsection.6.5.31}}
\newlabel{DecideZeroRowsEffectively:for pairs of matrices}{{6.5.31}{64}{\textcolor {Chapter }{DecideZeroRowsEffectively (for pairs of matrices)}\relax }{subsection.6.5.31}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.32}\leavevmode {\color  {Chapter }DecideZeroColumnsEffectively (for pairs of matrices)}}{64}{subsection.6.5.32}}
\newlabel{DecideZeroColumnsEffectively:for pairs of matrices}{{6.5.32}{64}{\textcolor {Chapter }{DecideZeroColumnsEffectively (for pairs of matrices)}\relax }{subsection.6.5.32}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.33}\leavevmode {\color  {Chapter }BasisOfRows (for matrices)}}{64}{subsection.6.5.33}}
\newlabel{BasisOfRows:for matrices}{{6.5.33}{64}{\textcolor {Chapter }{BasisOfRows (for matrices)}\relax }{subsection.6.5.33}{}}
\newlabel{BasisOfRows:for pairs of matrices}{{6.5.33}{64}{\textcolor {Chapter }{BasisOfRows (for matrices)}\relax }{subsection.6.5.33}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.34}\leavevmode {\color  {Chapter }BasisOfColumns (for matrices)}}{64}{subsection.6.5.34}}
\newlabel{BasisOfColumns:for matrices}{{6.5.34}{64}{\textcolor {Chapter }{BasisOfColumns (for matrices)}\relax }{subsection.6.5.34}{}}
\newlabel{BasisOfColumns:for pairs of matrices}{{6.5.34}{64}{\textcolor {Chapter }{BasisOfColumns (for matrices)}\relax }{subsection.6.5.34}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.35}\leavevmode {\color  {Chapter }DecideZero (for matrices and relations)}}{64}{subsection.6.5.35}}
\newlabel{DecideZero:for matrices and relations}{{6.5.35}{64}{\textcolor {Chapter }{DecideZero (for matrices and relations)}\relax }{subsection.6.5.35}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.36}\leavevmode {\color  {Chapter }SyzygiesOfRows (for matrices)}}{65}{subsection.6.5.36}}
\newlabel{SyzygiesOfRows:for matrices}{{6.5.36}{65}{\textcolor {Chapter }{SyzygiesOfRows (for matrices)}\relax }{subsection.6.5.36}{}}
\newlabel{SyzygiesOfRows:for pairs of matrices}{{6.5.36}{65}{\textcolor {Chapter }{SyzygiesOfRows (for matrices)}\relax }{subsection.6.5.36}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.37}\leavevmode {\color  {Chapter }SyzygiesOfColumns (for matrices)}}{65}{subsection.6.5.37}}
\newlabel{SyzygiesOfColumns:for matrices}{{6.5.37}{65}{\textcolor {Chapter }{SyzygiesOfColumns (for matrices)}\relax }{subsection.6.5.37}{}}
\newlabel{SyzygiesOfColumns:for pairs of matrices}{{6.5.37}{65}{\textcolor {Chapter }{SyzygiesOfColumns (for matrices)}\relax }{subsection.6.5.37}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.38}\leavevmode {\color  {Chapter }ReducedSyzygiesOfRows (for matrices)}}{65}{subsection.6.5.38}}
\newlabel{ReducedSyzygiesOfRows:for matrices}{{6.5.38}{65}{\textcolor {Chapter }{ReducedSyzygiesOfRows (for matrices)}\relax }{subsection.6.5.38}{}}
\newlabel{ReducedSyzygiesOfRows:for pairs of matrices}{{6.5.38}{65}{\textcolor {Chapter }{ReducedSyzygiesOfRows (for matrices)}\relax }{subsection.6.5.38}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.39}\leavevmode {\color  {Chapter }ReducedSyzygiesOfColumns (for matrices)}}{65}{subsection.6.5.39}}
\newlabel{ReducedSyzygiesOfColumns:for matrices}{{6.5.39}{65}{\textcolor {Chapter }{ReducedSyzygiesOfColumns (for matrices)}\relax }{subsection.6.5.39}{}}
\newlabel{ReducedSyzygiesOfColumns:for pairs of matrices}{{6.5.39}{65}{\textcolor {Chapter }{ReducedSyzygiesOfColumns (for matrices)}\relax }{subsection.6.5.39}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.40}\leavevmode {\color  {Chapter }RightDivide (for pairs of matrices)}}{65}{subsection.6.5.40}}
\newlabel{RightDivide:for pairs of matrices}{{6.5.40}{65}{\textcolor {Chapter }{RightDivide (for pairs of matrices)}\relax }{subsection.6.5.40}{}}
\citation{BR}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.41}\leavevmode {\color  {Chapter }LeftDivide (for pairs of matrices)}}{66}{subsection.6.5.41}}
\newlabel{LeftDivide:for pairs of matrices}{{6.5.41}{66}{\textcolor {Chapter }{LeftDivide (for pairs of matrices)}\relax }{subsection.6.5.41}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.42}\leavevmode {\color  {Chapter }RightDivide (for triples of matrices)}}{66}{subsection.6.5.42}}
\newlabel{RightDivide:for triples of matrices}{{6.5.42}{66}{\textcolor {Chapter }{RightDivide (for triples of matrices)}\relax }{subsection.6.5.42}{}}
\newlabel{RightDivide:for pairs matrices and a set of relations}{{6.5.42}{66}{\textcolor {Chapter }{RightDivide (for triples of matrices)}\relax }{subsection.6.5.42}{}}
\@writefile{brf}{\backcite{BR}{{66}{6.5.42}{subsection.6.5.42}}}
\citation{BR}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.43}\leavevmode {\color  {Chapter }LeftDivide (for triples of matrices)}}{67}{subsection.6.5.43}}
\newlabel{LeftDivide:for triples of matrices}{{6.5.43}{67}{\textcolor {Chapter }{LeftDivide (for triples of matrices)}\relax }{subsection.6.5.43}{}}
\newlabel{LeftDivide:for pairs matrices and a set of relations}{{6.5.43}{67}{\textcolor {Chapter }{LeftDivide (for triples of matrices)}\relax }{subsection.6.5.43}{}}
\@writefile{brf}{\backcite{BR}{{67}{6.5.43}{subsection.6.5.43}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.44}\leavevmode {\color  {Chapter }GenerateSameRowModule (for pairs of matrices)}}{69}{subsection.6.5.44}}
\newlabel{GenerateSameRowModule:for pairs of matrices}{{6.5.44}{69}{\textcolor {Chapter }{GenerateSameRowModule (for pairs of matrices)}\relax }{subsection.6.5.44}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.45}\leavevmode {\color  {Chapter }GenerateSameColumnModule (for pairs of matrices)}}{69}{subsection.6.5.45}}
\newlabel{GenerateSameColumnModule:for pairs of matrices}{{6.5.45}{69}{\textcolor {Chapter }{GenerateSameColumnModule (for pairs of matrices)}\relax }{subsection.6.5.45}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}\leavevmode {\color  {Chapter }Relations}}{70}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Relations}{{7}{70}{\textcolor {Chapter }{Relations}\relax }{chapter.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}\leavevmode {\color  {Chapter }Relations: Categories and Representations}}{70}{section.7.1}}
\newlabel{Relations:Category}{{7.1}{70}{\textcolor {Chapter }{Relations: Categories and Representations}\relax }{section.7.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}\leavevmode {\color  {Chapter }IsHomalgRelations}}{70}{subsection.7.1.1}}
\newlabel{IsHomalgRelations}{{7.1.1}{70}{\textcolor {Chapter }{IsHomalgRelations}\relax }{subsection.7.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}\leavevmode {\color  {Chapter }IsHomalgRelationsOfLeftModule}}{70}{subsection.7.1.2}}
\newlabel{IsHomalgRelationsOfLeftModule}{{7.1.2}{70}{\textcolor {Chapter }{IsHomalgRelationsOfLeftModule}\relax }{subsection.7.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}\leavevmode {\color  {Chapter }IsHomalgRelationsOfRightModule}}{70}{subsection.7.1.3}}
\newlabel{IsHomalgRelationsOfRightModule}{{7.1.3}{70}{\textcolor {Chapter }{IsHomalgRelationsOfRightModule}\relax }{subsection.7.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.4}\leavevmode {\color  {Chapter }IsRelationsOfFinitelyPresentedModuleRep}}{71}{subsection.7.1.4}}
\newlabel{IsRelationsOfFinitelyPresentedModuleRep}{{7.1.4}{71}{\textcolor {Chapter }{IsRelationsOfFinitelyPresentedModuleRep}\relax }{subsection.7.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}\leavevmode {\color  {Chapter }Relations: Constructors}}{71}{section.7.2}}
\newlabel{Relations:Constructors}{{7.2}{71}{\textcolor {Chapter }{Relations: Constructors}\relax }{section.7.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}\leavevmode {\color  {Chapter }Relations: Properties}}{71}{section.7.3}}
\newlabel{Relations:Properties}{{7.3}{71}{\textcolor {Chapter }{Relations: Properties}\relax }{section.7.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}\leavevmode {\color  {Chapter }CanBeUsedToDecideZeroEffectively}}{71}{subsection.7.3.1}}
\newlabel{CanBeUsedToDecideZeroEffectively}{{7.3.1}{71}{\textcolor {Chapter }{CanBeUsedToDecideZeroEffectively}\relax }{subsection.7.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}\leavevmode {\color  {Chapter }IsInjectivePresentation}}{71}{subsection.7.3.2}}
\newlabel{IsInjectivePresentation}{{7.3.2}{71}{\textcolor {Chapter }{IsInjectivePresentation}\relax }{subsection.7.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}\leavevmode {\color  {Chapter }Relations: Attributes}}{71}{section.7.4}}
\newlabel{Relations:Attributes}{{7.4}{71}{\textcolor {Chapter }{Relations: Attributes}\relax }{section.7.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.1}\leavevmode {\color  {Chapter }FreeResolution}}{71}{subsection.7.4.1}}
\newlabel{FreeResolution}{{7.4.1}{71}{\textcolor {Chapter }{FreeResolution}\relax }{subsection.7.4.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}\leavevmode {\color  {Chapter }Relations: Operations and Functions}}{71}{section.7.5}}
\newlabel{Relations:Operations}{{7.5}{71}{\textcolor {Chapter }{Relations: Operations and Functions}\relax }{section.7.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}\leavevmode {\color  {Chapter }Generators}}{72}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Generators}{{8}{72}{\textcolor {Chapter }{Generators}\relax }{chapter.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}\leavevmode {\color  {Chapter }Generators: Categories and Representations}}{72}{section.8.1}}
\newlabel{Generators:Category}{{8.1}{72}{\textcolor {Chapter }{Generators: Categories and Representations}\relax }{section.8.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.1}\leavevmode {\color  {Chapter }IsHomalgGenerators}}{72}{subsection.8.1.1}}
\newlabel{IsHomalgGenerators}{{8.1.1}{72}{\textcolor {Chapter }{IsHomalgGenerators}\relax }{subsection.8.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.2}\leavevmode {\color  {Chapter }IsHomalgGeneratorsOfLeftModule}}{72}{subsection.8.1.2}}
\newlabel{IsHomalgGeneratorsOfLeftModule}{{8.1.2}{72}{\textcolor {Chapter }{IsHomalgGeneratorsOfLeftModule}\relax }{subsection.8.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.3}\leavevmode {\color  {Chapter }IsHomalgGeneratorsOfRightModule}}{72}{subsection.8.1.3}}
\newlabel{IsHomalgGeneratorsOfRightModule}{{8.1.3}{72}{\textcolor {Chapter }{IsHomalgGeneratorsOfRightModule}\relax }{subsection.8.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.4}\leavevmode {\color  {Chapter }IsGeneratorsOfFinitelyGeneratedModuleRep}}{73}{subsection.8.1.4}}
\newlabel{IsGeneratorsOfFinitelyGeneratedModuleRep}{{8.1.4}{73}{\textcolor {Chapter }{IsGeneratorsOfFinitelyGeneratedModuleRep}\relax }{subsection.8.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}\leavevmode {\color  {Chapter }Generators: Constructors}}{73}{section.8.2}}
\newlabel{Generators:Constructors}{{8.2}{73}{\textcolor {Chapter }{Generators: Constructors}\relax }{section.8.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}\leavevmode {\color  {Chapter }Generators: Properties}}{73}{section.8.3}}
\newlabel{Generators:Properties}{{8.3}{73}{\textcolor {Chapter }{Generators: Properties}\relax }{section.8.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}\leavevmode {\color  {Chapter }IsReduced}}{73}{subsection.8.3.1}}
\newlabel{IsReduced}{{8.3.1}{73}{\textcolor {Chapter }{IsReduced}\relax }{subsection.8.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.4}\leavevmode {\color  {Chapter }Generators: Attributes}}{73}{section.8.4}}
\newlabel{Generators:Attributes}{{8.4}{73}{\textcolor {Chapter }{Generators: Attributes}\relax }{section.8.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4.1}\leavevmode {\color  {Chapter }ProcedureToReadjustGenerators}}{73}{subsection.8.4.1}}
\newlabel{ProcedureToReadjustGenerators}{{8.4.1}{73}{\textcolor {Chapter }{ProcedureToReadjustGenerators}\relax }{subsection.8.4.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.5}\leavevmode {\color  {Chapter }Generators: Operations and Functions}}{73}{section.8.5}}
\newlabel{Generators:Operations}{{8.5}{73}{\textcolor {Chapter }{Generators: Operations and Functions}\relax }{section.8.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}\leavevmode {\color  {Chapter }Modules}}{74}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Modules}{{9}{74}{\textcolor {Chapter }{Modules}\relax }{chapter.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}\leavevmode {\color  {Chapter }Modules: Category and Representations}}{74}{section.9.1}}
\newlabel{Modules:Category}{{9.1}{74}{\textcolor {Chapter }{Modules: Category and Representations}\relax }{section.9.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.1}\leavevmode {\color  {Chapter }IsHomalgModule}}{74}{subsection.9.1.1}}
\newlabel{IsHomalgModule}{{9.1.1}{74}{\textcolor {Chapter }{IsHomalgModule}\relax }{subsection.9.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.2}\leavevmode {\color  {Chapter }IsFinitelyPresentedModuleOrSubmoduleRep}}{74}{subsection.9.1.2}}
\newlabel{IsFinitelyPresentedModuleOrSubmoduleRep}{{9.1.2}{74}{\textcolor {Chapter }{IsFinitelyPresentedModuleOrSubmoduleRep}\relax }{subsection.9.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.3}\leavevmode {\color  {Chapter }IsFinitelyPresentedModuleRep}}{75}{subsection.9.1.3}}
\newlabel{IsFinitelyPresentedModuleRep}{{9.1.3}{75}{\textcolor {Chapter }{IsFinitelyPresentedModuleRep}\relax }{subsection.9.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.4}\leavevmode {\color  {Chapter }IsFinitelyPresentedSubmoduleRep}}{75}{subsection.9.1.4}}
\newlabel{IsFinitelyPresentedSubmoduleRep}{{9.1.4}{75}{\textcolor {Chapter }{IsFinitelyPresentedSubmoduleRep}\relax }{subsection.9.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}\leavevmode {\color  {Chapter }Modules: Constructors}}{75}{section.9.2}}
\newlabel{Modules:Constructors}{{9.2}{75}{\textcolor {Chapter }{Modules: Constructors}\relax }{section.9.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}\leavevmode {\color  {Chapter }LeftPresentation (constructor for left modules)}}{75}{subsection.9.2.1}}
\newlabel{LeftPresentation:constructor for left modules}{{9.2.1}{75}{\textcolor {Chapter }{LeftPresentation (constructor for left modules)}\relax }{subsection.9.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.2}\leavevmode {\color  {Chapter }RightPresentation (constructor for right modules)}}{76}{subsection.9.2.2}}
\newlabel{RightPresentation:constructor for right modules}{{9.2.2}{76}{\textcolor {Chapter }{RightPresentation (constructor for right modules)}\relax }{subsection.9.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.3}\leavevmode {\color  {Chapter }HomalgFreeLeftModule (constructor for free left modules)}}{76}{subsection.9.2.3}}
\newlabel{HomalgFreeLeftModule:constructor for free left modules}{{9.2.3}{76}{\textcolor {Chapter }{HomalgFreeLeftModule (constructor for free left modules)}\relax }{subsection.9.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.4}\leavevmode {\color  {Chapter }HomalgFreeRightModule (constructor for free right modules)}}{76}{subsection.9.2.4}}
\newlabel{HomalgFreeRightModule:constructor for free right modules}{{9.2.4}{76}{\textcolor {Chapter }{HomalgFreeRightModule (constructor for free right modules)}\relax }{subsection.9.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.5}\leavevmode {\color  {Chapter }HomalgZeroLeftModule (constructor for zero left modules)}}{77}{subsection.9.2.5}}
\newlabel{HomalgZeroLeftModule:constructor for zero left modules}{{9.2.5}{77}{\textcolor {Chapter }{HomalgZeroLeftModule (constructor for zero left modules)}\relax }{subsection.9.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.6}\leavevmode {\color  {Chapter }HomalgZeroRightModule (constructor for zero right modules)}}{77}{subsection.9.2.6}}
\newlabel{HomalgZeroRightModule:constructor for zero right modules}{{9.2.6}{77}{\textcolor {Chapter }{HomalgZeroRightModule (constructor for zero right modules)}\relax }{subsection.9.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.7}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (transfer a module over a different ring)}}{77}{subsection.9.2.7}}
\newlabel{*:transfer a module over a different ring}{{9.2.7}{77}{\textcolor {Chapter }{\texttt {\symbol {92}}* (transfer a module over a different ring)}\relax }{subsection.9.2.7}{}}
\newlabel{*:transfer a module over a different ring (right)}{{9.2.7}{77}{\textcolor {Chapter }{\texttt {\symbol {92}}* (transfer a module over a different ring)}\relax }{subsection.9.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.8}\leavevmode {\color  {Chapter }Subobject (constructor for submodules using maps)}}{79}{subsection.9.2.8}}
\newlabel{Subobject:constructor for submodules using maps}{{9.2.8}{79}{\textcolor {Chapter }{Subobject (constructor for submodules using maps)}\relax }{subsection.9.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.9}\leavevmode {\color  {Chapter }Subobject (constructor for submodules using matrices)}}{79}{subsection.9.2.9}}
\newlabel{Subobject:constructor for submodules using matrices}{{9.2.9}{79}{\textcolor {Chapter }{Subobject (constructor for submodules using matrices)}\relax }{subsection.9.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.10}\leavevmode {\color  {Chapter }Subobject (constructor for submodules using a list of ring elements)}}{79}{subsection.9.2.10}}
\newlabel{Subobject:constructor for submodules using a list of ring elements}{{9.2.10}{79}{\textcolor {Chapter }{Subobject (constructor for submodules using a list of ring elements)}\relax }{subsection.9.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.11}\leavevmode {\color  {Chapter }LeftSubmodule (constructor for left submodules)}}{79}{subsection.9.2.11}}
\newlabel{LeftSubmodule:constructor for left submodules}{{9.2.11}{79}{\textcolor {Chapter }{LeftSubmodule (constructor for left submodules)}\relax }{subsection.9.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.12}\leavevmode {\color  {Chapter }RightSubmodule (constructor for right submodules)}}{80}{subsection.9.2.12}}
\newlabel{RightSubmodule:constructor for right submodules}{{9.2.12}{80}{\textcolor {Chapter }{RightSubmodule (constructor for right submodules)}\relax }{subsection.9.2.12}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.3}\leavevmode {\color  {Chapter }Modules: Properties}}{81}{section.9.3}}
\newlabel{Modules:Properties}{{9.3}{81}{\textcolor {Chapter }{Modules: Properties}\relax }{section.9.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.1}\leavevmode {\color  {Chapter }IsFree}}{81}{subsection.9.3.1}}
\newlabel{IsFree}{{9.3.1}{81}{\textcolor {Chapter }{IsFree}\relax }{subsection.9.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.2}\leavevmode {\color  {Chapter }IsStablyFree}}{81}{subsection.9.3.2}}
\newlabel{IsStablyFree}{{9.3.2}{81}{\textcolor {Chapter }{IsStablyFree}\relax }{subsection.9.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.3}\leavevmode {\color  {Chapter }IsProjective}}{81}{subsection.9.3.3}}
\newlabel{IsProjective}{{9.3.3}{81}{\textcolor {Chapter }{IsProjective}\relax }{subsection.9.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.4}\leavevmode {\color  {Chapter }FiniteFreeResolutionExists}}{81}{subsection.9.3.4}}
\newlabel{FiniteFreeResolutionExists}{{9.3.4}{81}{\textcolor {Chapter }{FiniteFreeResolutionExists}\relax }{subsection.9.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.5}\leavevmode {\color  {Chapter }IsReflexive}}{81}{subsection.9.3.5}}
\newlabel{IsReflexive}{{9.3.5}{81}{\textcolor {Chapter }{IsReflexive}\relax }{subsection.9.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.6}\leavevmode {\color  {Chapter }IsTorsionFree}}{81}{subsection.9.3.6}}
\newlabel{IsTorsionFree}{{9.3.6}{81}{\textcolor {Chapter }{IsTorsionFree}\relax }{subsection.9.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.7}\leavevmode {\color  {Chapter }IsArtinian (for modules)}}{81}{subsection.9.3.7}}
\newlabel{IsArtinian:for modules}{{9.3.7}{81}{\textcolor {Chapter }{IsArtinian (for modules)}\relax }{subsection.9.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.8}\leavevmode {\color  {Chapter }IsCyclic}}{82}{subsection.9.3.8}}
\newlabel{IsCyclic}{{9.3.8}{82}{\textcolor {Chapter }{IsCyclic}\relax }{subsection.9.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.9}\leavevmode {\color  {Chapter }IsTorsion}}{82}{subsection.9.3.9}}
\newlabel{IsTorsion}{{9.3.9}{82}{\textcolor {Chapter }{IsTorsion}\relax }{subsection.9.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.10}\leavevmode {\color  {Chapter }IsHolonomic}}{82}{subsection.9.3.10}}
\newlabel{IsHolonomic}{{9.3.10}{82}{\textcolor {Chapter }{IsHolonomic}\relax }{subsection.9.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.11}\leavevmode {\color  {Chapter }IsPure}}{82}{subsection.9.3.11}}
\newlabel{IsPure}{{9.3.11}{82}{\textcolor {Chapter }{IsPure}\relax }{subsection.9.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.12}\leavevmode {\color  {Chapter }HasConstantRank}}{82}{subsection.9.3.12}}
\newlabel{HasConstantRank}{{9.3.12}{82}{\textcolor {Chapter }{HasConstantRank}\relax }{subsection.9.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.13}\leavevmode {\color  {Chapter }ConstructedAsAnIdeal}}{82}{subsection.9.3.13}}
\newlabel{ConstructedAsAnIdeal}{{9.3.13}{82}{\textcolor {Chapter }{ConstructedAsAnIdeal}\relax }{subsection.9.3.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3.14}\leavevmode {\color  {Chapter }IsPrimeIdeal}}{82}{subsection.9.3.14}}
\newlabel{IsPrimeIdeal}{{9.3.14}{82}{\textcolor {Chapter }{IsPrimeIdeal}\relax }{subsection.9.3.14}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.4}\leavevmode {\color  {Chapter }Modules: Attributes}}{83}{section.9.4}}
\newlabel{Modules:Attributes}{{9.4}{83}{\textcolor {Chapter }{Modules: Attributes}\relax }{section.9.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.1}\leavevmode {\color  {Chapter }TheZeroMorphism}}{83}{subsection.9.4.1}}
\newlabel{TheZeroMorphism}{{9.4.1}{83}{\textcolor {Chapter }{TheZeroMorphism}\relax }{subsection.9.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.2}\leavevmode {\color  {Chapter }TheIdentityMorphism}}{83}{subsection.9.4.2}}
\newlabel{TheIdentityMorphism}{{9.4.2}{83}{\textcolor {Chapter }{TheIdentityMorphism}\relax }{subsection.9.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.3}\leavevmode {\color  {Chapter }FullSubmodule}}{83}{subsection.9.4.3}}
\newlabel{FullSubmodule}{{9.4.3}{83}{\textcolor {Chapter }{FullSubmodule}\relax }{subsection.9.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.4}\leavevmode {\color  {Chapter }EmbeddingInSuperObject}}{83}{subsection.9.4.4}}
\newlabel{EmbeddingInSuperObject}{{9.4.4}{83}{\textcolor {Chapter }{EmbeddingInSuperObject}\relax }{subsection.9.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.5}\leavevmode {\color  {Chapter }FactorObject}}{83}{subsection.9.4.5}}
\newlabel{FactorObject}{{9.4.5}{83}{\textcolor {Chapter }{FactorObject}\relax }{subsection.9.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.6}\leavevmode {\color  {Chapter }ResidueClassRing}}{83}{subsection.9.4.6}}
\newlabel{ResidueClassRing}{{9.4.6}{83}{\textcolor {Chapter }{ResidueClassRing}\relax }{subsection.9.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.7}\leavevmode {\color  {Chapter }UnderlyingSubobject}}{83}{subsection.9.4.7}}
\newlabel{UnderlyingSubobject}{{9.4.7}{83}{\textcolor {Chapter }{UnderlyingSubobject}\relax }{subsection.9.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.8}\leavevmode {\color  {Chapter }NatTrIdToHomHom{\textunderscore }R (for maps)}}{84}{subsection.9.4.8}}
\newlabel{NatTrIdToHomHomR:for maps}{{9.4.8}{84}{\textcolor {Chapter }{NatTrIdToHomHom{\textunderscore }R (for maps)}\relax }{subsection.9.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.9}\leavevmode {\color  {Chapter }PrimaryDecomposition}}{84}{subsection.9.4.9}}
\newlabel{PrimaryDecomposition}{{9.4.9}{84}{\textcolor {Chapter }{PrimaryDecomposition}\relax }{subsection.9.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.10}\leavevmode {\color  {Chapter }ElementaryDivisors}}{84}{subsection.9.4.10}}
\newlabel{ElementaryDivisors}{{9.4.10}{84}{\textcolor {Chapter }{ElementaryDivisors}\relax }{subsection.9.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.11}\leavevmode {\color  {Chapter }RankOfModule}}{84}{subsection.9.4.11}}
\newlabel{RankOfModule}{{9.4.11}{84}{\textcolor {Chapter }{RankOfModule}\relax }{subsection.9.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.12}\leavevmode {\color  {Chapter }ProjectiveDimension}}{84}{subsection.9.4.12}}
\newlabel{ProjectiveDimension}{{9.4.12}{84}{\textcolor {Chapter }{ProjectiveDimension}\relax }{subsection.9.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.13}\leavevmode {\color  {Chapter }DegreeOfTorsionFreeness}}{84}{subsection.9.4.13}}
\newlabel{DegreeOfTorsionFreeness}{{9.4.13}{84}{\textcolor {Chapter }{DegreeOfTorsionFreeness}\relax }{subsection.9.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.14}\leavevmode {\color  {Chapter }Codim}}{84}{subsection.9.4.14}}
\newlabel{Codim}{{9.4.14}{84}{\textcolor {Chapter }{Codim}\relax }{subsection.9.4.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.15}\leavevmode {\color  {Chapter }PurityFiltration}}{85}{subsection.9.4.15}}
\newlabel{PurityFiltration}{{9.4.15}{85}{\textcolor {Chapter }{PurityFiltration}\relax }{subsection.9.4.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.16}\leavevmode {\color  {Chapter }CodegreeOfPurity}}{85}{subsection.9.4.16}}
\newlabel{CodegreeOfPurity}{{9.4.16}{85}{\textcolor {Chapter }{CodegreeOfPurity}\relax }{subsection.9.4.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.17}\leavevmode {\color  {Chapter }BettiDiagram (for modules)}}{85}{subsection.9.4.17}}
\newlabel{BettiDiagram:for modules}{{9.4.17}{85}{\textcolor {Chapter }{BettiDiagram (for modules)}\relax }{subsection.9.4.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4.18}\leavevmode {\color  {Chapter }CastelnuovoMumfordRegularity}}{85}{subsection.9.4.18}}
\newlabel{CastelnuovoMumfordRegularity}{{9.4.18}{85}{\textcolor {Chapter }{CastelnuovoMumfordRegularity}\relax }{subsection.9.4.18}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.5}\leavevmode {\color  {Chapter }Modules: Operations and Functions}}{85}{section.9.5}}
\newlabel{Modules:Operations}{{9.5}{85}{\textcolor {Chapter }{Modules: Operations and Functions}\relax }{section.9.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.1}\leavevmode {\color  {Chapter }HomalgRing (for modules)}}{85}{subsection.9.5.1}}
\newlabel{HomalgRing:for modules}{{9.5.1}{85}{\textcolor {Chapter }{HomalgRing (for modules)}\relax }{subsection.9.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.2}\leavevmode {\color  {Chapter }ByASmallerPresentation (for modules)}}{85}{subsection.9.5.2}}
\newlabel{ByASmallerPresentation:for modules}{{9.5.2}{85}{\textcolor {Chapter }{ByASmallerPresentation (for modules)}\relax }{subsection.9.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.3}\leavevmode {\color  {Chapter }UnderlyingObject (for submodules)}}{86}{subsection.9.5.3}}
\newlabel{UnderlyingObject:for submodules}{{9.5.3}{86}{\textcolor {Chapter }{UnderlyingObject (for submodules)}\relax }{subsection.9.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.4}\leavevmode {\color  {Chapter }SuperObject (for submodules)}}{86}{subsection.9.5.4}}
\newlabel{SuperObject:for submodules}{{9.5.4}{86}{\textcolor {Chapter }{SuperObject (for submodules)}\relax }{subsection.9.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.5}\leavevmode {\color  {Chapter }\texttt  {\char 92\relax }* (constructor for ideal multiples)}}{86}{subsection.9.5.5}}
\newlabel{*:constructor for ideal multiples}{{9.5.5}{86}{\textcolor {Chapter }{\texttt {\symbol {92}}* (constructor for ideal multiples)}\relax }{subsection.9.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.6}\leavevmode {\color  {Chapter }SubmoduleQuotient (for submodules)}}{87}{subsection.9.5.6}}
\newlabel{SubmoduleQuotient:for submodules}{{9.5.6}{87}{\textcolor {Chapter }{SubmoduleQuotient (for submodules)}\relax }{subsection.9.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5.7}\leavevmode {\color  {Chapter }Saturate (for ideals)}}{87}{subsection.9.5.7}}
\newlabel{Saturate:for ideals}{{9.5.7}{87}{\textcolor {Chapter }{Saturate (for ideals)}\relax }{subsection.9.5.7}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {10}\leavevmode {\color  {Chapter }Maps}}{89}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Maps}{{10}{89}{\textcolor {Chapter }{Maps}\relax }{chapter.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.1}\leavevmode {\color  {Chapter }Maps: Categories and Representations}}{89}{section.10.1}}
\newlabel{Maps:Category}{{10.1}{89}{\textcolor {Chapter }{Maps: Categories and Representations}\relax }{section.10.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.1}\leavevmode {\color  {Chapter }IsHomalgMap}}{89}{subsection.10.1.1}}
\newlabel{IsHomalgMap}{{10.1.1}{89}{\textcolor {Chapter }{IsHomalgMap}\relax }{subsection.10.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.2}\leavevmode {\color  {Chapter }IsHomalgSelfMap}}{89}{subsection.10.1.2}}
\newlabel{IsHomalgSelfMap}{{10.1.2}{89}{\textcolor {Chapter }{IsHomalgSelfMap}\relax }{subsection.10.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.3}\leavevmode {\color  {Chapter }IsMapOfFinitelyGeneratedModulesRep}}{89}{subsection.10.1.3}}
\newlabel{IsMapOfFinitelyGeneratedModulesRep}{{10.1.3}{89}{\textcolor {Chapter }{IsMapOfFinitelyGeneratedModulesRep}\relax }{subsection.10.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.2}\leavevmode {\color  {Chapter }Maps: Constructors}}{90}{section.10.2}}
\newlabel{Maps:Constructors}{{10.2}{90}{\textcolor {Chapter }{Maps: Constructors}\relax }{section.10.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.1}\leavevmode {\color  {Chapter }HomalgMap (constructor for maps)}}{90}{subsection.10.2.1}}
\newlabel{HomalgMap:constructor for maps}{{10.2.1}{90}{\textcolor {Chapter }{HomalgMap (constructor for maps)}\relax }{subsection.10.2.1}{}}
\newlabel{HomalgMap:constructor for maps between free modules}{{10.2.1}{90}{\textcolor {Chapter }{HomalgMap (constructor for maps)}\relax }{subsection.10.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.2}\leavevmode {\color  {Chapter }HomalgZeroMap (constructor for zero maps)}}{91}{subsection.10.2.2}}
\newlabel{HomalgZeroMap:constructor for zero maps}{{10.2.2}{91}{\textcolor {Chapter }{HomalgZeroMap (constructor for zero maps)}\relax }{subsection.10.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.3}\leavevmode {\color  {Chapter }HomalgIdentityMap (constructor for identity maps)}}{92}{subsection.10.2.3}}
\newlabel{HomalgIdentityMap:constructor for identity maps}{{10.2.3}{92}{\textcolor {Chapter }{HomalgIdentityMap (constructor for identity maps)}\relax }{subsection.10.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.3}\leavevmode {\color  {Chapter }Maps: Properties}}{92}{section.10.3}}
\newlabel{Maps:Properties}{{10.3}{92}{\textcolor {Chapter }{Maps: Properties}\relax }{section.10.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.1}\leavevmode {\color  {Chapter }IsMorphism (for maps)}}{92}{subsection.10.3.1}}
\newlabel{IsMorphism:for maps}{{10.3.1}{92}{\textcolor {Chapter }{IsMorphism (for maps)}\relax }{subsection.10.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.2}\leavevmode {\color  {Chapter }IsGeneralizedMorphism (for maps)}}{92}{subsection.10.3.2}}
\newlabel{IsGeneralizedMorphism:for maps}{{10.3.2}{92}{\textcolor {Chapter }{IsGeneralizedMorphism (for maps)}\relax }{subsection.10.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.3}\leavevmode {\color  {Chapter }IsGeneralizedEpimorphism (for maps)}}{92}{subsection.10.3.3}}
\newlabel{IsGeneralizedEpimorphism:for maps}{{10.3.3}{92}{\textcolor {Chapter }{IsGeneralizedEpimorphism (for maps)}\relax }{subsection.10.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.4}\leavevmode {\color  {Chapter }IsGeneralizedMonomorphism (for maps)}}{93}{subsection.10.3.4}}
\newlabel{IsGeneralizedMonomorphism:for maps}{{10.3.4}{93}{\textcolor {Chapter }{IsGeneralizedMonomorphism (for maps)}\relax }{subsection.10.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.5}\leavevmode {\color  {Chapter }IsGeneralizedIsomorphism (for maps)}}{93}{subsection.10.3.5}}
\newlabel{IsGeneralizedIsomorphism:for maps}{{10.3.5}{93}{\textcolor {Chapter }{IsGeneralizedIsomorphism (for maps)}\relax }{subsection.10.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.6}\leavevmode {\color  {Chapter }IsIdentityMorphism (for maps)}}{93}{subsection.10.3.6}}
\newlabel{IsIdentityMorphism:for maps}{{10.3.6}{93}{\textcolor {Chapter }{IsIdentityMorphism (for maps)}\relax }{subsection.10.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.7}\leavevmode {\color  {Chapter }IsMonomorphism (for maps)}}{93}{subsection.10.3.7}}
\newlabel{IsMonomorphism:for maps}{{10.3.7}{93}{\textcolor {Chapter }{IsMonomorphism (for maps)}\relax }{subsection.10.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.8}\leavevmode {\color  {Chapter }IsEpimorphism (for maps)}}{93}{subsection.10.3.8}}
\newlabel{IsEpimorphism:for maps}{{10.3.8}{93}{\textcolor {Chapter }{IsEpimorphism (for maps)}\relax }{subsection.10.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.9}\leavevmode {\color  {Chapter }IsSplitMonomorphism (for maps)}}{93}{subsection.10.3.9}}
\newlabel{IsSplitMonomorphism:for maps}{{10.3.9}{93}{\textcolor {Chapter }{IsSplitMonomorphism (for maps)}\relax }{subsection.10.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.10}\leavevmode {\color  {Chapter }IsSplitEpimorphism (for maps)}}{93}{subsection.10.3.10}}
\newlabel{IsSplitEpimorphism:for maps}{{10.3.10}{93}{\textcolor {Chapter }{IsSplitEpimorphism (for maps)}\relax }{subsection.10.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.11}\leavevmode {\color  {Chapter }IsIsomorphism (for maps)}}{93}{subsection.10.3.11}}
\newlabel{IsIsomorphism:for maps}{{10.3.11}{93}{\textcolor {Chapter }{IsIsomorphism (for maps)}\relax }{subsection.10.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.12}\leavevmode {\color  {Chapter }IsAutomorphism (for maps)}}{94}{subsection.10.3.12}}
\newlabel{IsAutomorphism:for maps}{{10.3.12}{94}{\textcolor {Chapter }{IsAutomorphism (for maps)}\relax }{subsection.10.3.12}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.4}\leavevmode {\color  {Chapter }Maps: Attributes}}{94}{section.10.4}}
\newlabel{Maps:Attributes}{{10.4}{94}{\textcolor {Chapter }{Maps: Attributes}\relax }{section.10.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.1}\leavevmode {\color  {Chapter }Source (for maps)}}{94}{subsection.10.4.1}}
\newlabel{Source:for maps}{{10.4.1}{94}{\textcolor {Chapter }{Source (for maps)}\relax }{subsection.10.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.2}\leavevmode {\color  {Chapter }Range (for maps)}}{94}{subsection.10.4.2}}
\newlabel{Range:for maps}{{10.4.2}{94}{\textcolor {Chapter }{Range (for maps)}\relax }{subsection.10.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.3}\leavevmode {\color  {Chapter }DegreeOfMorphism (for maps)}}{94}{subsection.10.4.3}}
\newlabel{DegreeOfMorphism:for maps}{{10.4.3}{94}{\textcolor {Chapter }{DegreeOfMorphism (for maps)}\relax }{subsection.10.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.4}\leavevmode {\color  {Chapter }CokernelEpi (for maps)}}{94}{subsection.10.4.4}}
\newlabel{CokernelEpi:for maps}{{10.4.4}{94}{\textcolor {Chapter }{CokernelEpi (for maps)}\relax }{subsection.10.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.5}\leavevmode {\color  {Chapter }CokernelNaturalGeneralizedIsomorphism (for maps)}}{94}{subsection.10.4.5}}
\newlabel{CokernelNaturalGeneralizedIsomorphism:for maps}{{10.4.5}{94}{\textcolor {Chapter }{CokernelNaturalGeneralizedIsomorphism (for maps)}\relax }{subsection.10.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.6}\leavevmode {\color  {Chapter }KernelSubmodule (for maps)}}{94}{subsection.10.4.6}}
\newlabel{KernelSubmodule:for maps}{{10.4.6}{94}{\textcolor {Chapter }{KernelSubmodule (for maps)}\relax }{subsection.10.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.7}\leavevmode {\color  {Chapter }KernelEmb (for maps)}}{95}{subsection.10.4.7}}
\newlabel{KernelEmb:for maps}{{10.4.7}{95}{\textcolor {Chapter }{KernelEmb (for maps)}\relax }{subsection.10.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.8}\leavevmode {\color  {Chapter }ImageSubmodule (for maps)}}{95}{subsection.10.4.8}}
\newlabel{ImageSubmodule:for maps}{{10.4.8}{95}{\textcolor {Chapter }{ImageSubmodule (for maps)}\relax }{subsection.10.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.9}\leavevmode {\color  {Chapter }ImageModuleEmb (for maps)}}{95}{subsection.10.4.9}}
\newlabel{ImageModuleEmb:for maps}{{10.4.9}{95}{\textcolor {Chapter }{ImageModuleEmb (for maps)}\relax }{subsection.10.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.10}\leavevmode {\color  {Chapter }ImageModuleEpi (for maps)}}{95}{subsection.10.4.10}}
\newlabel{ImageModuleEpi:for maps}{{10.4.10}{95}{\textcolor {Chapter }{ImageModuleEpi (for maps)}\relax }{subsection.10.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.11}\leavevmode {\color  {Chapter }MorphismAidMap (for maps)}}{95}{subsection.10.4.11}}
\newlabel{MorphismAidMap:for maps}{{10.4.11}{95}{\textcolor {Chapter }{MorphismAidMap (for maps)}\relax }{subsection.10.4.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.5}\leavevmode {\color  {Chapter }Maps: Operations and Functions}}{95}{section.10.5}}
\newlabel{Maps:Operations and Functions}{{10.5}{95}{\textcolor {Chapter }{Maps: Operations and Functions}\relax }{section.10.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.5.1}\leavevmode {\color  {Chapter }HomalgRing (for maps)}}{95}{subsection.10.5.1}}
\newlabel{HomalgRing:for maps}{{10.5.1}{95}{\textcolor {Chapter }{HomalgRing (for maps)}\relax }{subsection.10.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.5.2}\leavevmode {\color  {Chapter }ByASmallerPresentation (for maps)}}{96}{subsection.10.5.2}}
\newlabel{ByASmallerPresentation:for maps}{{10.5.2}{96}{\textcolor {Chapter }{ByASmallerPresentation (for maps)}\relax }{subsection.10.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.5.3}\leavevmode {\color  {Chapter }PreInverse (for maps)}}{97}{subsection.10.5.3}}
\newlabel{PreInverse:for maps}{{10.5.3}{97}{\textcolor {Chapter }{PreInverse (for maps)}\relax }{subsection.10.5.3}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {11}\leavevmode {\color  {Chapter }Complexes}}{98}{chapter.11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Complexes}{{11}{98}{\textcolor {Chapter }{Complexes}\relax }{chapter.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.1}\leavevmode {\color  {Chapter }Complexes: Category and Representations}}{98}{section.11.1}}
\newlabel{Complexes:Category}{{11.1}{98}{\textcolor {Chapter }{Complexes: Category and Representations}\relax }{section.11.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.1}\leavevmode {\color  {Chapter }IsHomalgComplex}}{98}{subsection.11.1.1}}
\newlabel{IsHomalgComplex}{{11.1.1}{98}{\textcolor {Chapter }{IsHomalgComplex}\relax }{subsection.11.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.2}\leavevmode {\color  {Chapter }IsComplexOfFinitelyPresentedObjectsRep}}{98}{subsection.11.1.2}}
\newlabel{IsComplexOfFinitelyPresentedObjectsRep}{{11.1.2}{98}{\textcolor {Chapter }{IsComplexOfFinitelyPresentedObjectsRep}\relax }{subsection.11.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.1.3}\leavevmode {\color  {Chapter }IsCocomplexOfFinitelyPresentedObjectsRep}}{98}{subsection.11.1.3}}
\newlabel{IsCocomplexOfFinitelyPresentedObjectsRep}{{11.1.3}{98}{\textcolor {Chapter }{IsCocomplexOfFinitelyPresentedObjectsRep}\relax }{subsection.11.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.2}\leavevmode {\color  {Chapter }Complexes: Constructors}}{98}{section.11.2}}
\newlabel{Complexes:Constructors}{{11.2}{98}{\textcolor {Chapter }{Complexes: Constructors}\relax }{section.11.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.1}\leavevmode {\color  {Chapter }HomalgComplex (constructor for complexes given a module)}}{98}{subsection.11.2.1}}
\newlabel{HomalgComplex:constructor for complexes given a module}{{11.2.1}{98}{\textcolor {Chapter }{HomalgComplex (constructor for complexes given a module)}\relax }{subsection.11.2.1}{}}
\newlabel{HomalgComplex:constructor for complexes given a map}{{11.2.1}{98}{\textcolor {Chapter }{HomalgComplex (constructor for complexes given a module)}\relax }{subsection.11.2.1}{}}
\newlabel{HomalgComplex:constructor for complexes given a complex}{{11.2.1}{98}{\textcolor {Chapter }{HomalgComplex (constructor for complexes given a module)}\relax }{subsection.11.2.1}{}}
\newlabel{HomalgComplex:constructor for complexes given a chain map}{{11.2.1}{98}{\textcolor {Chapter }{HomalgComplex (constructor for complexes given a module)}\relax }{subsection.11.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.2.2}\leavevmode {\color  {Chapter }HomalgCocomplex (constructor for cocomplexes given a module)}}{100}{subsection.11.2.2}}
\newlabel{HomalgCocomplex:constructor for cocomplexes given a module}{{11.2.2}{100}{\textcolor {Chapter }{HomalgCocomplex (constructor for cocomplexes given a module)}\relax }{subsection.11.2.2}{}}
\newlabel{HomalgCocomplex:constructor for cocomplexes given a map}{{11.2.2}{100}{\textcolor {Chapter }{HomalgCocomplex (constructor for cocomplexes given a module)}\relax }{subsection.11.2.2}{}}
\newlabel{HomalgCocomplex:constructor for cocomplexes given a complex}{{11.2.2}{100}{\textcolor {Chapter }{HomalgCocomplex (constructor for cocomplexes given a module)}\relax }{subsection.11.2.2}{}}
\newlabel{HomalgCocomplex:constructor for cocomplexes given a chain map}{{11.2.2}{100}{\textcolor {Chapter }{HomalgCocomplex (constructor for cocomplexes given a module)}\relax }{subsection.11.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.3}\leavevmode {\color  {Chapter }Complexes: Properties}}{101}{section.11.3}}
\newlabel{Complexes:Properties}{{11.3}{101}{\textcolor {Chapter }{Complexes: Properties}\relax }{section.11.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.1}\leavevmode {\color  {Chapter }IsSequence}}{101}{subsection.11.3.1}}
\newlabel{IsSequence}{{11.3.1}{101}{\textcolor {Chapter }{IsSequence}\relax }{subsection.11.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.2}\leavevmode {\color  {Chapter }IsComplex}}{101}{subsection.11.3.2}}
\newlabel{IsComplex}{{11.3.2}{101}{\textcolor {Chapter }{IsComplex}\relax }{subsection.11.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.3}\leavevmode {\color  {Chapter }IsAcyclic}}{101}{subsection.11.3.3}}
\newlabel{IsAcyclic}{{11.3.3}{101}{\textcolor {Chapter }{IsAcyclic}\relax }{subsection.11.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.4}\leavevmode {\color  {Chapter }IsRightAcyclic}}{101}{subsection.11.3.4}}
\newlabel{IsRightAcyclic}{{11.3.4}{101}{\textcolor {Chapter }{IsRightAcyclic}\relax }{subsection.11.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.5}\leavevmode {\color  {Chapter }IsLeftAcyclic}}{101}{subsection.11.3.5}}
\newlabel{IsLeftAcyclic}{{11.3.5}{101}{\textcolor {Chapter }{IsLeftAcyclic}\relax }{subsection.11.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.6}\leavevmode {\color  {Chapter }IsGradedObject}}{101}{subsection.11.3.6}}
\newlabel{IsGradedObject}{{11.3.6}{101}{\textcolor {Chapter }{IsGradedObject}\relax }{subsection.11.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.7}\leavevmode {\color  {Chapter }IsExactSequence}}{101}{subsection.11.3.7}}
\newlabel{IsExactSequence}{{11.3.7}{101}{\textcolor {Chapter }{IsExactSequence}\relax }{subsection.11.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.8}\leavevmode {\color  {Chapter }IsShortExactSequence}}{102}{subsection.11.3.8}}
\newlabel{IsShortExactSequence}{{11.3.8}{102}{\textcolor {Chapter }{IsShortExactSequence}\relax }{subsection.11.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.9}\leavevmode {\color  {Chapter }IsSplitShortExactSequence}}{102}{subsection.11.3.9}}
\newlabel{IsSplitShortExactSequence}{{11.3.9}{102}{\textcolor {Chapter }{IsSplitShortExactSequence}\relax }{subsection.11.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.10}\leavevmode {\color  {Chapter }IsTriangle}}{102}{subsection.11.3.10}}
\newlabel{IsTriangle}{{11.3.10}{102}{\textcolor {Chapter }{IsTriangle}\relax }{subsection.11.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.3.11}\leavevmode {\color  {Chapter }IsExactTriangle}}{102}{subsection.11.3.11}}
\newlabel{IsExactTriangle}{{11.3.11}{102}{\textcolor {Chapter }{IsExactTriangle}\relax }{subsection.11.3.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.4}\leavevmode {\color  {Chapter }Complexes: Attributes}}{102}{section.11.4}}
\newlabel{Complexes:Attributes}{{11.4}{102}{\textcolor {Chapter }{Complexes: Attributes}\relax }{section.11.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.4.1}\leavevmode {\color  {Chapter }BettiDiagram (for complexes)}}{102}{subsection.11.4.1}}
\newlabel{BettiDiagram:for complexes}{{11.4.1}{102}{\textcolor {Chapter }{BettiDiagram (for complexes)}\relax }{subsection.11.4.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.5}\leavevmode {\color  {Chapter }Complexes: Operations and Functions}}{102}{section.11.5}}
\newlabel{Complexes:Operations}{{11.5}{102}{\textcolor {Chapter }{Complexes: Operations and Functions}\relax }{section.11.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.5.1}\leavevmode {\color  {Chapter }Add (to complexes given a map)}}{102}{subsection.11.5.1}}
\newlabel{Add:to complexes given a map}{{11.5.1}{102}{\textcolor {Chapter }{Add (to complexes given a map)}\relax }{subsection.11.5.1}{}}
\newlabel{Add:to complexes given a matrix}{{11.5.1}{102}{\textcolor {Chapter }{Add (to complexes given a map)}\relax }{subsection.11.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {11.5.2}\leavevmode {\color  {Chapter }ByASmallerPresentation (for complexes)}}{103}{subsection.11.5.2}}
\newlabel{ByASmallerPresentation:for complexes}{{11.5.2}{103}{\textcolor {Chapter }{ByASmallerPresentation (for complexes)}\relax }{subsection.11.5.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {12}\leavevmode {\color  {Chapter }Chain Maps}}{106}{chapter.12}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ChainMaps}{{12}{106}{\textcolor {Chapter }{Chain Maps}\relax }{chapter.12}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12.1}\leavevmode {\color  {Chapter }ChainMaps: Categories and Representations}}{106}{section.12.1}}
\newlabel{ChainMaps:Category}{{12.1}{106}{\textcolor {Chapter }{ChainMaps: Categories and Representations}\relax }{section.12.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.1}\leavevmode {\color  {Chapter }IsHomalgChainMap}}{106}{subsection.12.1.1}}
\newlabel{IsHomalgChainMap}{{12.1.1}{106}{\textcolor {Chapter }{IsHomalgChainMap}\relax }{subsection.12.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.2}\leavevmode {\color  {Chapter }IsHomalgChainSelfMap}}{106}{subsection.12.1.2}}
\newlabel{IsHomalgChainSelfMap}{{12.1.2}{106}{\textcolor {Chapter }{IsHomalgChainSelfMap}\relax }{subsection.12.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.3}\leavevmode {\color  {Chapter }IsChainMapOfFinitelyPresentedObjectsRep}}{106}{subsection.12.1.3}}
\newlabel{IsChainMapOfFinitelyPresentedObjectsRep}{{12.1.3}{106}{\textcolor {Chapter }{IsChainMapOfFinitelyPresentedObjectsRep}\relax }{subsection.12.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.1.4}\leavevmode {\color  {Chapter }IsCochainMapOfFinitelyPresentedObjectsRep}}{106}{subsection.12.1.4}}
\newlabel{IsCochainMapOfFinitelyPresentedObjectsRep}{{12.1.4}{106}{\textcolor {Chapter }{IsCochainMapOfFinitelyPresentedObjectsRep}\relax }{subsection.12.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12.2}\leavevmode {\color  {Chapter }Chain Maps: Constructors}}{107}{section.12.2}}
\newlabel{ChainMaps:Constructors}{{12.2}{107}{\textcolor {Chapter }{Chain Maps: Constructors}\relax }{section.12.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.2.1}\leavevmode {\color  {Chapter }HomalgChainMap (constructor for chain maps given a map)}}{107}{subsection.12.2.1}}
\newlabel{HomalgChainMap:constructor for chain maps given a map}{{12.2.1}{107}{\textcolor {Chapter }{HomalgChainMap (constructor for chain maps given a map)}\relax }{subsection.12.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12.3}\leavevmode {\color  {Chapter }Chain Maps: Properties}}{108}{section.12.3}}
\newlabel{ChainMaps:Properties}{{12.3}{108}{\textcolor {Chapter }{Chain Maps: Properties}\relax }{section.12.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.1}\leavevmode {\color  {Chapter }IsMorphism (for chain maps)}}{108}{subsection.12.3.1}}
\newlabel{IsMorphism:for chain maps}{{12.3.1}{108}{\textcolor {Chapter }{IsMorphism (for chain maps)}\relax }{subsection.12.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.2}\leavevmode {\color  {Chapter }IsGeneralizedMorphism (for chain maps)}}{108}{subsection.12.3.2}}
\newlabel{IsGeneralizedMorphism:for chain maps}{{12.3.2}{108}{\textcolor {Chapter }{IsGeneralizedMorphism (for chain maps)}\relax }{subsection.12.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.3}\leavevmode {\color  {Chapter }IsGeneralizedEpimorphism (for chain maps)}}{108}{subsection.12.3.3}}
\newlabel{IsGeneralizedEpimorphism:for chain maps}{{12.3.3}{108}{\textcolor {Chapter }{IsGeneralizedEpimorphism (for chain maps)}\relax }{subsection.12.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.4}\leavevmode {\color  {Chapter }IsGeneralizedMonomorphism (for chain maps)}}{108}{subsection.12.3.4}}
\newlabel{IsGeneralizedMonomorphism:for chain maps}{{12.3.4}{108}{\textcolor {Chapter }{IsGeneralizedMonomorphism (for chain maps)}\relax }{subsection.12.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.5}\leavevmode {\color  {Chapter }IsGeneralizedIsomorphism (for chain maps)}}{108}{subsection.12.3.5}}
\newlabel{IsGeneralizedIsomorphism:for chain maps}{{12.3.5}{108}{\textcolor {Chapter }{IsGeneralizedIsomorphism (for chain maps)}\relax }{subsection.12.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.6}\leavevmode {\color  {Chapter }IsIdentityMorphism (for chain maps)}}{108}{subsection.12.3.6}}
\newlabel{IsIdentityMorphism:for chain maps}{{12.3.6}{108}{\textcolor {Chapter }{IsIdentityMorphism (for chain maps)}\relax }{subsection.12.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.7}\leavevmode {\color  {Chapter }IsMonomorphism (for chain maps)}}{108}{subsection.12.3.7}}
\newlabel{IsMonomorphism:for chain maps}{{12.3.7}{108}{\textcolor {Chapter }{IsMonomorphism (for chain maps)}\relax }{subsection.12.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.8}\leavevmode {\color  {Chapter }IsEpimorphism (for chain maps)}}{109}{subsection.12.3.8}}
\newlabel{IsEpimorphism:for chain maps}{{12.3.8}{109}{\textcolor {Chapter }{IsEpimorphism (for chain maps)}\relax }{subsection.12.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.9}\leavevmode {\color  {Chapter }IsSplitMonomorphism (for chain maps)}}{109}{subsection.12.3.9}}
\newlabel{IsSplitMonomorphism:for chain maps}{{12.3.9}{109}{\textcolor {Chapter }{IsSplitMonomorphism (for chain maps)}\relax }{subsection.12.3.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.10}\leavevmode {\color  {Chapter }IsSplitEpimorphism (for chain maps)}}{109}{subsection.12.3.10}}
\newlabel{IsSplitEpimorphism:for chain maps}{{12.3.10}{109}{\textcolor {Chapter }{IsSplitEpimorphism (for chain maps)}\relax }{subsection.12.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.11}\leavevmode {\color  {Chapter }IsIsomorphism (for chain maps)}}{109}{subsection.12.3.11}}
\newlabel{IsIsomorphism:for chain maps}{{12.3.11}{109}{\textcolor {Chapter }{IsIsomorphism (for chain maps)}\relax }{subsection.12.3.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.12}\leavevmode {\color  {Chapter }IsAutomorphism (for chain maps)}}{109}{subsection.12.3.12}}
\newlabel{IsAutomorphism:for chain maps}{{12.3.12}{109}{\textcolor {Chapter }{IsAutomorphism (for chain maps)}\relax }{subsection.12.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.13}\leavevmode {\color  {Chapter }IsGradedMorphism (for chain maps)}}{109}{subsection.12.3.13}}
\newlabel{IsGradedMorphism:for chain maps}{{12.3.13}{109}{\textcolor {Chapter }{IsGradedMorphism (for chain maps)}\relax }{subsection.12.3.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.3.14}\leavevmode {\color  {Chapter }IsQuasiIsomorphism (for chain maps)}}{109}{subsection.12.3.14}}
\newlabel{IsQuasiIsomorphism:for chain maps}{{12.3.14}{109}{\textcolor {Chapter }{IsQuasiIsomorphism (for chain maps)}\relax }{subsection.12.3.14}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12.4}\leavevmode {\color  {Chapter }Chain Maps: Attributes}}{110}{section.12.4}}
\newlabel{ChainMaps:Attributes}{{12.4}{110}{\textcolor {Chapter }{Chain Maps: Attributes}\relax }{section.12.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.4.1}\leavevmode {\color  {Chapter }Source (for chain maps)}}{110}{subsection.12.4.1}}
\newlabel{Source:for chain maps}{{12.4.1}{110}{\textcolor {Chapter }{Source (for chain maps)}\relax }{subsection.12.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.4.2}\leavevmode {\color  {Chapter }Range (for chain maps)}}{110}{subsection.12.4.2}}
\newlabel{Range:for chain maps}{{12.4.2}{110}{\textcolor {Chapter }{Range (for chain maps)}\relax }{subsection.12.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {12.5}\leavevmode {\color  {Chapter }Chain Maps: Operations and Functions}}{110}{section.12.5}}
\newlabel{ChainMaps:Operations}{{12.5}{110}{\textcolor {Chapter }{Chain Maps: Operations and Functions}\relax }{section.12.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {12.5.1}\leavevmode {\color  {Chapter }ByASmallerPresentation (for chain maps)}}{110}{subsection.12.5.1}}
\newlabel{ByASmallerPresentation:for chain maps}{{12.5.1}{110}{\textcolor {Chapter }{ByASmallerPresentation (for chain maps)}\relax }{subsection.12.5.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {13}\leavevmode {\color  {Chapter }Bicomplexes}}{111}{chapter.13}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Bicomplexes}{{13}{111}{\textcolor {Chapter }{Bicomplexes}\relax }{chapter.13}{}}
\@writefile{toc}{\contentsline {section}{\numberline {13.1}\leavevmode {\color  {Chapter }Bicomplexes: Category and Representations}}{111}{section.13.1}}
\newlabel{Bicomplexes:Category}{{13.1}{111}{\textcolor {Chapter }{Bicomplexes: Category and Representations}\relax }{section.13.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.1.1}\leavevmode {\color  {Chapter }IsHomalgBicomplex}}{111}{subsection.13.1.1}}
\newlabel{IsHomalgBicomplex}{{13.1.1}{111}{\textcolor {Chapter }{IsHomalgBicomplex}\relax }{subsection.13.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.1.2}\leavevmode {\color  {Chapter }IsBicomplexOfFinitelyPresentedObjectsRep}}{111}{subsection.13.1.2}}
\newlabel{IsBicomplexOfFinitelyPresentedObjectsRep}{{13.1.2}{111}{\textcolor {Chapter }{IsBicomplexOfFinitelyPresentedObjectsRep}\relax }{subsection.13.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.1.3}\leavevmode {\color  {Chapter }IsBicocomplexOfFinitelyPresentedObjectsRep}}{111}{subsection.13.1.3}}
\newlabel{IsBicocomplexOfFinitelyPresentedObjectsRep}{{13.1.3}{111}{\textcolor {Chapter }{IsBicocomplexOfFinitelyPresentedObjectsRep}\relax }{subsection.13.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {13.2}\leavevmode {\color  {Chapter }Bicomplexes: Constructors}}{112}{section.13.2}}
\newlabel{Bicomplexes:Constructors}{{13.2}{112}{\textcolor {Chapter }{Bicomplexes: Constructors}\relax }{section.13.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.2.1}\leavevmode {\color  {Chapter }HomalgBicomplex (constructor for bicomplexes given a complex of complexes)}}{112}{subsection.13.2.1}}
\newlabel{HomalgBicomplex:constructor for bicomplexes given a complex of complexes}{{13.2.1}{112}{\textcolor {Chapter }{HomalgBicomplex (constructor for bicomplexes given a complex of complexes)}\relax }{subsection.13.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {13.3}\leavevmode {\color  {Chapter }Bicomplexes: Properties}}{113}{section.13.3}}
\newlabel{Bicomplexes:Properties}{{13.3}{113}{\textcolor {Chapter }{Bicomplexes: Properties}\relax }{section.13.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.3.1}\leavevmode {\color  {Chapter }IsBisequence}}{113}{subsection.13.3.1}}
\newlabel{IsBisequence}{{13.3.1}{113}{\textcolor {Chapter }{IsBisequence}\relax }{subsection.13.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.3.2}\leavevmode {\color  {Chapter }IsBicomplex}}{113}{subsection.13.3.2}}
\newlabel{IsBicomplex}{{13.3.2}{113}{\textcolor {Chapter }{IsBicomplex}\relax }{subsection.13.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.3.3}\leavevmode {\color  {Chapter }IsTransposedWRTTheAssociatedComplex}}{113}{subsection.13.3.3}}
\newlabel{IsTransposedWRTTheAssociatedComplex}{{13.3.3}{113}{\textcolor {Chapter }{IsTransposedWRTTheAssociatedComplex}\relax }{subsection.13.3.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {13.4}\leavevmode {\color  {Chapter }Bicomplexes: Attributes}}{113}{section.13.4}}
\newlabel{Bicomplexes:Attributes}{{13.4}{113}{\textcolor {Chapter }{Bicomplexes: Attributes}\relax }{section.13.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.4.1}\leavevmode {\color  {Chapter }TotalComplex}}{113}{subsection.13.4.1}}
\newlabel{TotalComplex}{{13.4.1}{113}{\textcolor {Chapter }{TotalComplex}\relax }{subsection.13.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.4.2}\leavevmode {\color  {Chapter }SpectralSequence (for bicomplexes)}}{113}{subsection.13.4.2}}
\newlabel{SpectralSequence:for bicomplexes}{{13.4.2}{113}{\textcolor {Chapter }{SpectralSequence (for bicomplexes)}\relax }{subsection.13.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {13.5}\leavevmode {\color  {Chapter }Bicomplexes: Operations and Functions}}{113}{section.13.5}}
\newlabel{Bicomplexes:Operations}{{13.5}{113}{\textcolor {Chapter }{Bicomplexes: Operations and Functions}\relax }{section.13.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.5.1}\leavevmode {\color  {Chapter }UnderlyingComplex}}{113}{subsection.13.5.1}}
\newlabel{UnderlyingComplex}{{13.5.1}{113}{\textcolor {Chapter }{UnderlyingComplex}\relax }{subsection.13.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {13.5.2}\leavevmode {\color  {Chapter }ByASmallerPresentation (for bicomplexes)}}{113}{subsection.13.5.2}}
\newlabel{ByASmallerPresentation:for bicomplexes}{{13.5.2}{113}{\textcolor {Chapter }{ByASmallerPresentation (for bicomplexes)}\relax }{subsection.13.5.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {14}\leavevmode {\color  {Chapter }Bigraded Objects}}{115}{chapter.14}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{BigradedObjects}{{14}{115}{\textcolor {Chapter }{Bigraded Objects}\relax }{chapter.14}{}}
\@writefile{toc}{\contentsline {section}{\numberline {14.1}\leavevmode {\color  {Chapter }BigradedObjects: Categories and Representations}}{115}{section.14.1}}
\newlabel{BigradedObjects:Category}{{14.1}{115}{\textcolor {Chapter }{BigradedObjects: Categories and Representations}\relax }{section.14.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.1.1}\leavevmode {\color  {Chapter }IsHomalgBigradedObject}}{115}{subsection.14.1.1}}
\newlabel{IsHomalgBigradedObject}{{14.1.1}{115}{\textcolor {Chapter }{IsHomalgBigradedObject}\relax }{subsection.14.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.1.2}\leavevmode {\color  {Chapter }IsHomalgBigradedObjectAssociatedToAnExactCouple}}{115}{subsection.14.1.2}}
\newlabel{IsHomalgBigradedObjectAssociatedToAnExactCouple}{{14.1.2}{115}{\textcolor {Chapter }{IsHomalgBigradedObjectAssociatedToAnExactCouple}\relax }{subsection.14.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.1.3}\leavevmode {\color  {Chapter }IsHomalgBigradedObjectAssociatedToAFilteredComplex}}{115}{subsection.14.1.3}}
\newlabel{IsHomalgBigradedObjectAssociatedToAFilteredComplex}{{14.1.3}{115}{\textcolor {Chapter }{IsHomalgBigradedObjectAssociatedToAFilteredComplex}\relax }{subsection.14.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.1.4}\leavevmode {\color  {Chapter }IsHomalgBigradedObjectAssociatedToABicomplex}}{115}{subsection.14.1.4}}
\newlabel{IsHomalgBigradedObjectAssociatedToABicomplex}{{14.1.4}{115}{\textcolor {Chapter }{IsHomalgBigradedObjectAssociatedToABicomplex}\relax }{subsection.14.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.1.5}\leavevmode {\color  {Chapter }IsBigradedObjectOfFinitelyPresentedObjectsRep}}{116}{subsection.14.1.5}}
\newlabel{IsBigradedObjectOfFinitelyPresentedObjectsRep}{{14.1.5}{116}{\textcolor {Chapter }{IsBigradedObjectOfFinitelyPresentedObjectsRep}\relax }{subsection.14.1.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {14.2}\leavevmode {\color  {Chapter }Bigraded Objects: Constructors}}{116}{section.14.2}}
\newlabel{BigradedObjects:Constructors}{{14.2}{116}{\textcolor {Chapter }{Bigraded Objects: Constructors}\relax }{section.14.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.2.1}\leavevmode {\color  {Chapter }HomalgBigradedObject (constructor for bigraded objects given a bicomplex)}}{116}{subsection.14.2.1}}
\newlabel{HomalgBigradedObject:constructor for bigraded objects given a bicomplex}{{14.2.1}{116}{\textcolor {Chapter }{HomalgBigradedObject (constructor for bigraded objects given a bicomplex)}\relax }{subsection.14.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.2.2}\leavevmode {\color  {Chapter }AsDifferentialObject (for homalg bigraded objects stemming from a bicomplex)}}{116}{subsection.14.2.2}}
\newlabel{AsDifferentialObject:for homalg bigraded objects stemming from a bicomplex}{{14.2.2}{116}{\textcolor {Chapter }{AsDifferentialObject (for homalg bigraded objects stemming from a bicomplex)}\relax }{subsection.14.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.2.3}\leavevmode {\color  {Chapter }DefectOfExactness (for homalg differential bigraded objects)}}{117}{subsection.14.2.3}}
\newlabel{DefectOfExactness:for homalg differential bigraded objects}{{14.2.3}{117}{\textcolor {Chapter }{DefectOfExactness (for homalg differential bigraded objects)}\relax }{subsection.14.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {14.3}\leavevmode {\color  {Chapter }Bigraded Objects: Properties}}{119}{section.14.3}}
\newlabel{BigradedObjects:Properties}{{14.3}{119}{\textcolor {Chapter }{Bigraded Objects: Properties}\relax }{section.14.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.3.1}\leavevmode {\color  {Chapter }IsEndowedWithDifferential}}{119}{subsection.14.3.1}}
\newlabel{IsEndowedWithDifferential}{{14.3.1}{119}{\textcolor {Chapter }{IsEndowedWithDifferential}\relax }{subsection.14.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.3.2}\leavevmode {\color  {Chapter }IsStableSheet}}{119}{subsection.14.3.2}}
\newlabel{IsStableSheet}{{14.3.2}{119}{\textcolor {Chapter }{IsStableSheet}\relax }{subsection.14.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {14.4}\leavevmode {\color  {Chapter }Bigraded Objects: Operations and Functions}}{119}{section.14.4}}
\newlabel{BigradedObjects:Operations}{{14.4}{119}{\textcolor {Chapter }{Bigraded Objects: Operations and Functions}\relax }{section.14.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {14.4.1}\leavevmode {\color  {Chapter }ByASmallerPresentation (for bigraded objects)}}{119}{subsection.14.4.1}}
\newlabel{ByASmallerPresentation:for bigraded objects}{{14.4.1}{119}{\textcolor {Chapter }{ByASmallerPresentation (for bigraded objects)}\relax }{subsection.14.4.1}{}}
\citation{rot}
\@writefile{toc}{\contentsline {chapter}{\numberline {15}\leavevmode {\color  {Chapter }Spectral Sequences}}{120}{chapter.15}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{SpectralSequences}{{15}{120}{\textcolor {Chapter }{Spectral Sequences}\relax }{chapter.15}{}}
\@writefile{brf}{\backcite{rot}{{120}{15}{chapter.15}}}
\@writefile{toc}{\contentsline {section}{\numberline {15.1}\leavevmode {\color  {Chapter }SpectralSequences: Categorie and Representations}}{120}{section.15.1}}
\newlabel{SpectralSequences:Category}{{15.1}{120}{\textcolor {Chapter }{SpectralSequences: Categorie and Representations}\relax }{section.15.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1.1}\leavevmode {\color  {Chapter }IsHomalgSpectralSequence}}{120}{subsection.15.1.1}}
\newlabel{IsHomalgSpectralSequence}{{15.1.1}{120}{\textcolor {Chapter }{IsHomalgSpectralSequence}\relax }{subsection.15.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1.2}\leavevmode {\color  {Chapter }IsHomalgSpectralSequenceAssociatedToAnExactCouple}}{120}{subsection.15.1.2}}
\newlabel{IsHomalgSpectralSequenceAssociatedToAnExactCouple}{{15.1.2}{120}{\textcolor {Chapter }{IsHomalgSpectralSequenceAssociatedToAnExactCouple}\relax }{subsection.15.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1.3}\leavevmode {\color  {Chapter }IsHomalgSpectralSequenceAssociatedToAFilteredComplex}}{120}{subsection.15.1.3}}
\newlabel{IsHomalgSpectralSequenceAssociatedToAFilteredComplex}{{15.1.3}{120}{\textcolor {Chapter }{IsHomalgSpectralSequenceAssociatedToAFilteredComplex}\relax }{subsection.15.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1.4}\leavevmode {\color  {Chapter }IsHomalgSpectralSequenceAssociatedToABicomplex}}{121}{subsection.15.1.4}}
\newlabel{IsHomalgSpectralSequenceAssociatedToABicomplex}{{15.1.4}{121}{\textcolor {Chapter }{IsHomalgSpectralSequenceAssociatedToABicomplex}\relax }{subsection.15.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1.5}\leavevmode {\color  {Chapter }IsSpectralSequenceOfFinitelyPresentedObjectsRep}}{121}{subsection.15.1.5}}
\newlabel{IsSpectralSequenceOfFinitelyPresentedObjectsRep}{{15.1.5}{121}{\textcolor {Chapter }{IsSpectralSequenceOfFinitelyPresentedObjectsRep}\relax }{subsection.15.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.1.6}\leavevmode {\color  {Chapter }IsSpectralCosequenceOfFinitelyPresentedObjectsRep}}{121}{subsection.15.1.6}}
\newlabel{IsSpectralCosequenceOfFinitelyPresentedObjectsRep}{{15.1.6}{121}{\textcolor {Chapter }{IsSpectralCosequenceOfFinitelyPresentedObjectsRep}\relax }{subsection.15.1.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {15.2}\leavevmode {\color  {Chapter }Spectral Sequences: Constructors}}{121}{section.15.2}}
\newlabel{SpectralSequences:Constructors}{{15.2}{121}{\textcolor {Chapter }{Spectral Sequences: Constructors}\relax }{section.15.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.2.1}\leavevmode {\color  {Chapter }HomalgSpectralSequence (constructor for spectral sequences given a bicomplex)}}{121}{subsection.15.2.1}}
\newlabel{HomalgSpectralSequence:constructor for spectral sequences given a bicomplex}{{15.2.1}{121}{\textcolor {Chapter }{HomalgSpectralSequence (constructor for spectral sequences given a bicomplex)}\relax }{subsection.15.2.1}{}}
\newlabel{HomalgSpectralSequence:constructor for spectral sequences without a special sheet given a bicomplex}{{15.2.1}{121}{\textcolor {Chapter }{HomalgSpectralSequence (constructor for spectral sequences given a bicomplex)}\relax }{subsection.15.2.1}{}}
\newlabel{HomalgSpectralSequence:constructor for spectral sequences without bound given a bicomplex}{{15.2.1}{121}{\textcolor {Chapter }{HomalgSpectralSequence (constructor for spectral sequences given a bicomplex)}\relax }{subsection.15.2.1}{}}
\newlabel{HomalgSpectralSequence:constructor for spectral sequences without bound and without a special sheet given a bicomplex}{{15.2.1}{121}{\textcolor {Chapter }{HomalgSpectralSequence (constructor for spectral sequences given a bicomplex)}\relax }{subsection.15.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {15.3}\leavevmode {\color  {Chapter }Spectral Sequences: Attributes}}{123}{section.15.3}}
\newlabel{SpectralSequences:Attributes}{{15.3}{123}{\textcolor {Chapter }{Spectral Sequences: Attributes}\relax }{section.15.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.3.1}\leavevmode {\color  {Chapter }GeneralizedEmbeddingsInTotalObjects}}{123}{subsection.15.3.1}}
\newlabel{GeneralizedEmbeddingsInTotalObjects}{{15.3.1}{123}{\textcolor {Chapter }{GeneralizedEmbeddingsInTotalObjects}\relax }{subsection.15.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.3.2}\leavevmode {\color  {Chapter }GeneralizedEmbeddingsInTotalDefects}}{123}{subsection.15.3.2}}
\newlabel{GeneralizedEmbeddingsInTotalDefects}{{15.3.2}{123}{\textcolor {Chapter }{GeneralizedEmbeddingsInTotalDefects}\relax }{subsection.15.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {15.4}\leavevmode {\color  {Chapter }Spectral Sequences: Operations and Functions}}{123}{section.15.4}}
\newlabel{SpectralSequences:Operations}{{15.4}{123}{\textcolor {Chapter }{Spectral Sequences: Operations and Functions}\relax }{section.15.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {15.4.1}\leavevmode {\color  {Chapter }ByASmallerPresentation (for spectral sequences)}}{123}{subsection.15.4.1}}
\newlabel{ByASmallerPresentation:for spectral sequences}{{15.4.1}{123}{\textcolor {Chapter }{ByASmallerPresentation (for spectral sequences)}\relax }{subsection.15.4.1}{}}
\citation{BR}
\@writefile{toc}{\contentsline {chapter}{\numberline {16}\leavevmode {\color  {Chapter }Functors}}{125}{chapter.16}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Functors}{{16}{125}{\textcolor {Chapter }{Functors}\relax }{chapter.16}{}}
\@writefile{brf}{\backcite{BR}{{125}{16}{chapter.16}}}
\@writefile{toc}{\contentsline {section}{\numberline {16.1}\leavevmode {\color  {Chapter }Functors: Category and Representations}}{126}{section.16.1}}
\newlabel{Functors:Category}{{16.1}{126}{\textcolor {Chapter }{Functors: Category and Representations}\relax }{section.16.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.1.1}\leavevmode {\color  {Chapter }IsHomalgFunctor}}{126}{subsection.16.1.1}}
\newlabel{IsHomalgFunctor}{{16.1.1}{126}{\textcolor {Chapter }{IsHomalgFunctor}\relax }{subsection.16.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.1.2}\leavevmode {\color  {Chapter }IsHomalgFunctorRep}}{126}{subsection.16.1.2}}
\newlabel{IsHomalgFunctorRep}{{16.1.2}{126}{\textcolor {Chapter }{IsHomalgFunctorRep}\relax }{subsection.16.1.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {16.2}\leavevmode {\color  {Chapter }Functors: Constructors}}{126}{section.16.2}}
\newlabel{Functors:Constructors}{{16.2}{126}{\textcolor {Chapter }{Functors: Constructors}\relax }{section.16.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.1}\leavevmode {\color  {Chapter }CreateHomalgFunctor (constructor for functors)}}{126}{subsection.16.2.1}}
\newlabel{CreateHomalgFunctor:constructor for functors}{{16.2.1}{126}{\textcolor {Chapter }{CreateHomalgFunctor (constructor for functors)}\relax }{subsection.16.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.2}\leavevmode {\color  {Chapter }InsertObjectInMultiFunctor (constructor for functors given a multi-functor and an object)}}{126}{subsection.16.2.2}}
\newlabel{InsertObjectInMultiFunctor:constructor for functors given a multi-functor and an object}{{16.2.2}{126}{\textcolor {Chapter }{InsertObjectInMultiFunctor (constructor for functors given a multi-functor and an object)}\relax }{subsection.16.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.3}\leavevmode {\color  {Chapter }RightSatelliteOfCofunctor (constructor of the right satellite of a contravariant functor)}}{127}{subsection.16.2.3}}
\newlabel{RightSatelliteOfCofunctor:constructor of the right satellite of a contravariant functor}{{16.2.3}{127}{\textcolor {Chapter }{RightSatelliteOfCofunctor (constructor of the right satellite of a contravariant functor)}\relax }{subsection.16.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.4}\leavevmode {\color  {Chapter }LeftSatelliteOfFunctor (constructor of the left satellite of a covariant functor)}}{127}{subsection.16.2.4}}
\newlabel{LeftSatelliteOfFunctor:constructor of the left satellite of a covariant functor}{{16.2.4}{127}{\textcolor {Chapter }{LeftSatelliteOfFunctor (constructor of the left satellite of a covariant functor)}\relax }{subsection.16.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.5}\leavevmode {\color  {Chapter }RightDerivedCofunctor (constructor of the right derived functor of a contravariant functor)}}{128}{subsection.16.2.5}}
\newlabel{RightDerivedCofunctor:constructor of the right derived functor of a contravariant functor}{{16.2.5}{128}{\textcolor {Chapter }{RightDerivedCofunctor (constructor of the right derived functor of a contravariant functor)}\relax }{subsection.16.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.6}\leavevmode {\color  {Chapter }LeftDerivedFunctor (constructor of the left derived functor of a covariant functor)}}{128}{subsection.16.2.6}}
\newlabel{LeftDerivedFunctor:constructor of the left derived functor of a covariant functor}{{16.2.6}{128}{\textcolor {Chapter }{LeftDerivedFunctor (constructor of the left derived functor of a covariant functor)}\relax }{subsection.16.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.2.7}\leavevmode {\color  {Chapter }ComposeFunctors (constructor for functors given two functors)}}{128}{subsection.16.2.7}}
\newlabel{ComposeFunctors:constructor for functors given two functors}{{16.2.7}{128}{\textcolor {Chapter }{ComposeFunctors (constructor for functors given two functors)}\relax }{subsection.16.2.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {16.3}\leavevmode {\color  {Chapter }Functors: Attributes}}{129}{section.16.3}}
\newlabel{Functors:Attributes}{{16.3}{129}{\textcolor {Chapter }{Functors: Attributes}\relax }{section.16.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.3.1}\leavevmode {\color  {Chapter }Genesis}}{129}{subsection.16.3.1}}
\newlabel{Genesis}{{16.3.1}{129}{\textcolor {Chapter }{Genesis}\relax }{subsection.16.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {16.4}\leavevmode {\color  {Chapter }Basic Functors}}{130}{section.16.4}}
\newlabel{Functors:Basic}{{16.4}{130}{\textcolor {Chapter }{Basic Functors}\relax }{section.16.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.1}\leavevmode {\color  {Chapter }functor{\textunderscore }Cokernel}}{130}{subsection.16.4.1}}
\newlabel{functorCokernel}{{16.4.1}{130}{\textcolor {Chapter }{functor{\textunderscore }Cokernel}\relax }{subsection.16.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.2}\leavevmode {\color  {Chapter }Cokernel}}{131}{subsection.16.4.2}}
\newlabel{Cokernel}{{16.4.2}{131}{\textcolor {Chapter }{Cokernel}\relax }{subsection.16.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.3}\leavevmode {\color  {Chapter }functor{\textunderscore }ImageModule}}{132}{subsection.16.4.3}}
\newlabel{functorImageModule}{{16.4.3}{132}{\textcolor {Chapter }{functor{\textunderscore }ImageModule}\relax }{subsection.16.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.4}\leavevmode {\color  {Chapter }ImageModule}}{132}{subsection.16.4.4}}
\newlabel{ImageModule}{{16.4.4}{132}{\textcolor {Chapter }{ImageModule}\relax }{subsection.16.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.5}\leavevmode {\color  {Chapter }functor{\textunderscore }Kernel}}{133}{subsection.16.4.5}}
\newlabel{functorKernel}{{16.4.5}{133}{\textcolor {Chapter }{functor{\textunderscore }Kernel}\relax }{subsection.16.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.6}\leavevmode {\color  {Chapter }Kernel (for maps)}}{133}{subsection.16.4.6}}
\newlabel{Kernel:for maps}{{16.4.6}{133}{\textcolor {Chapter }{Kernel (for maps)}\relax }{subsection.16.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.7}\leavevmode {\color  {Chapter }functor{\textunderscore }DefectOfExactness}}{134}{subsection.16.4.7}}
\newlabel{functorDefectOfExactness}{{16.4.7}{134}{\textcolor {Chapter }{functor{\textunderscore }DefectOfExactness}\relax }{subsection.16.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.8}\leavevmode {\color  {Chapter }DefectOfExactness}}{134}{subsection.16.4.8}}
\newlabel{DefectOfExactness}{{16.4.8}{134}{\textcolor {Chapter }{DefectOfExactness}\relax }{subsection.16.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.9}\leavevmode {\color  {Chapter }Functor{\textunderscore }Hom}}{135}{subsection.16.4.9}}
\newlabel{FunctorHom}{{16.4.9}{135}{\textcolor {Chapter }{Functor{\textunderscore }Hom}\relax }{subsection.16.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.10}\leavevmode {\color  {Chapter }Hom}}{136}{subsection.16.4.10}}
\newlabel{Hom}{{16.4.10}{136}{\textcolor {Chapter }{Hom}\relax }{subsection.16.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.11}\leavevmode {\color  {Chapter }Functor{\textunderscore }TensorProduct}}{139}{subsection.16.4.11}}
\newlabel{FunctorTensorProduct}{{16.4.11}{139}{\textcolor {Chapter }{Functor{\textunderscore }TensorProduct}\relax }{subsection.16.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.12}\leavevmode {\color  {Chapter }TensorProduct}}{140}{subsection.16.4.12}}
\newlabel{TensorProduct}{{16.4.12}{140}{\textcolor {Chapter }{TensorProduct}\relax }{subsection.16.4.12}{}}
\newlabel{*:TensorProduct}{{16.4.12}{140}{\textcolor {Chapter }{TensorProduct}\relax }{subsection.16.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.13}\leavevmode {\color  {Chapter }Functor{\textunderscore }Ext}}{142}{subsection.16.4.13}}
\newlabel{FunctorExt}{{16.4.13}{142}{\textcolor {Chapter }{Functor{\textunderscore }Ext}\relax }{subsection.16.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.14}\leavevmode {\color  {Chapter }Ext}}{142}{subsection.16.4.14}}
\newlabel{Ext}{{16.4.14}{142}{\textcolor {Chapter }{Ext}\relax }{subsection.16.4.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.15}\leavevmode {\color  {Chapter }Functor{\textunderscore }Tor}}{143}{subsection.16.4.15}}
\newlabel{FunctorTor}{{16.4.15}{143}{\textcolor {Chapter }{Functor{\textunderscore }Tor}\relax }{subsection.16.4.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.16}\leavevmode {\color  {Chapter }Tor}}{143}{subsection.16.4.16}}
\newlabel{Tor}{{16.4.16}{143}{\textcolor {Chapter }{Tor}\relax }{subsection.16.4.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.17}\leavevmode {\color  {Chapter }Functor{\textunderscore }RHom}}{144}{subsection.16.4.17}}
\newlabel{FunctorRHom}{{16.4.17}{144}{\textcolor {Chapter }{Functor{\textunderscore }RHom}\relax }{subsection.16.4.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.18}\leavevmode {\color  {Chapter }RHom}}{144}{subsection.16.4.18}}
\newlabel{RHom}{{16.4.18}{144}{\textcolor {Chapter }{RHom}\relax }{subsection.16.4.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.19}\leavevmode {\color  {Chapter }Functor{\textunderscore }LTensorProduct}}{147}{subsection.16.4.19}}
\newlabel{FunctorLTensorProduct}{{16.4.19}{147}{\textcolor {Chapter }{Functor{\textunderscore }LTensorProduct}\relax }{subsection.16.4.19}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.20}\leavevmode {\color  {Chapter }LTensorProduct}}{147}{subsection.16.4.20}}
\newlabel{LTensorProduct}{{16.4.20}{147}{\textcolor {Chapter }{LTensorProduct}\relax }{subsection.16.4.20}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.21}\leavevmode {\color  {Chapter }Functor{\textunderscore }HomHom}}{150}{subsection.16.4.21}}
\newlabel{FunctorHomHom}{{16.4.21}{150}{\textcolor {Chapter }{Functor{\textunderscore }HomHom}\relax }{subsection.16.4.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.4.22}\leavevmode {\color  {Chapter }Functor{\textunderscore }LHomHom}}{150}{subsection.16.4.22}}
\newlabel{FunctorLHomHom}{{16.4.22}{150}{\textcolor {Chapter }{Functor{\textunderscore }LHomHom}\relax }{subsection.16.4.22}{}}
\@writefile{toc}{\contentsline {section}{\numberline {16.5}\leavevmode {\color  {Chapter }Tool Functors}}{150}{section.16.5}}
\newlabel{Functors:Tool}{{16.5}{150}{\textcolor {Chapter }{Tool Functors}\relax }{section.16.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {16.6}\leavevmode {\color  {Chapter }Other Functors}}{150}{section.16.6}}
\newlabel{Functors:Other}{{16.6}{150}{\textcolor {Chapter }{Other Functors}\relax }{section.16.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {16.7}\leavevmode {\color  {Chapter }Functors: Operations and Functions}}{150}{section.16.7}}
\newlabel{Functors:Operations}{{16.7}{150}{\textcolor {Chapter }{Functors: Operations and Functions}\relax }{section.16.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.7.1}\leavevmode {\color  {Chapter }NameOfFunctor}}{150}{subsection.16.7.1}}
\newlabel{NameOfFunctor}{{16.7.1}{150}{\textcolor {Chapter }{NameOfFunctor}\relax }{subsection.16.7.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.7.2}\leavevmode {\color  {Chapter }InstallFunctor}}{151}{subsection.16.7.2}}
\newlabel{InstallFunctor}{{16.7.2}{151}{\textcolor {Chapter }{InstallFunctor}\relax }{subsection.16.7.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {16.7.3}\leavevmode {\color  {Chapter }InstallDeltaFunctor}}{151}{subsection.16.7.3}}
\newlabel{InstallDeltaFunctor}{{16.7.3}{151}{\textcolor {Chapter }{InstallDeltaFunctor}\relax }{subsection.16.7.3}{}}
\citation{BaSF}
\@writefile{toc}{\contentsline {chapter}{\numberline {17}\leavevmode {\color  {Chapter }Examples}}{153}{chapter.17}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Examples}{{17}{153}{\textcolor {Chapter }{Examples}\relax }{chapter.17}{}}
\@writefile{toc}{\contentsline {section}{\numberline {17.1}\leavevmode {\color  {Chapter }ExtExt}}{153}{section.17.1}}
\newlabel{ExtExt}{{17.1}{153}{\textcolor {Chapter }{ExtExt}\relax }{section.17.1}{}}
\@writefile{brf}{\backcite{BaSF}{{153}{17.1}{section.17.1}}}
\citation{BaSF}
\@writefile{toc}{\contentsline {section}{\numberline {17.2}\leavevmode {\color  {Chapter }Purity}}{154}{section.17.2}}
\newlabel{Purity}{{17.2}{154}{\textcolor {Chapter }{Purity}\relax }{section.17.2}{}}
\@writefile{brf}{\backcite{BaSF}{{154}{17.2}{section.17.2}}}
\citation{BaSF}
\@writefile{toc}{\contentsline {section}{\numberline {17.3}\leavevmode {\color  {Chapter }TorExt-Grothendieck}}{156}{section.17.3}}
\newlabel{TorExt-Grothendieck}{{17.3}{156}{\textcolor {Chapter }{TorExt-Grothendieck}\relax }{section.17.3}{}}
\@writefile{brf}{\backcite{BaSF}{{156}{17.3}{section.17.3}}}
\citation{BaSF}
\@writefile{toc}{\contentsline {section}{\numberline {17.4}\leavevmode {\color  {Chapter }TorExt}}{158}{section.17.4}}
\newlabel{TorExt}{{17.4}{158}{\textcolor {Chapter }{TorExt}\relax }{section.17.4}{}}
\@writefile{brf}{\backcite{BaSF}{{158}{17.4}{section.17.4}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}\leavevmode {\color  {Chapter }Development}}{160}{appendix.A}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{devel}{{A}{160}{\textcolor {Chapter }{Development}\relax }{appendix.A}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.1}\leavevmode {\color  {Chapter }Why was \textsf  {homalg} discontinued in \href  {http://www.maplesoft.com/} {Maple}?}}{160}{section.A.1}}
\newlabel{WhyNotMaple}{{A.1}{160}{\textcolor {Chapter }{Why was \textsf {homalg} discontinued in \href {http://www.maplesoft.com/} {Maple}?}\relax }{section.A.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.2}\leavevmode {\color  {Chapter }Why \href  {http://www.gap-system.org/} {GAP4}?}}{160}{section.A.2}}
\newlabel{WhyGAP4}{{A.2}{160}{\textcolor {Chapter }{Why \href {http://www.gap-system.org/} {GAP4}?}\relax }{section.A.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2.1}\leavevmode {\color  {Chapter }\textsf  {GAP} is free and open software}}{160}{subsection.A.2.1}}
\newlabel{OpenGAP}{{A.2.1}{160}{\textcolor {Chapter }{\textsf {GAP} is free and open software}\relax }{subsection.A.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2.2}\leavevmode {\color  {Chapter }\textsf  {GAP} has an area of expertise}}{161}{subsection.A.2.2}}
\newlabel{ExpertGAP}{{A.2.2}{161}{\textcolor {Chapter }{\textsf {GAP} has an area of expertise}\relax }{subsection.A.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2.3}\leavevmode {\color  {Chapter }\textsf  {GAP4} can communicate}}{161}{subsection.A.2.3}}
\newlabel{GAP-IO}{{A.2.3}{161}{\textcolor {Chapter }{\textsf {GAP4} can communicate}\relax }{subsection.A.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2.4}\leavevmode {\color  {Chapter }\textsf  {GAP4} is a \emph  {mathematical} object-oriented programming language}}{161}{subsection.A.2.4}}
\newlabel{Objectify}{{A.2.4}{161}{\textcolor {Chapter }{\textsf {GAP4} is a \emph {mathematical} object-oriented programming language}\relax }{subsection.A.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.2.5}\leavevmode {\color  {Chapter }\textsf  {GAP4} packages are easily extendible}}{162}{subsection.A.2.5}}
\newlabel{BigGAP}{{A.2.5}{162}{\textcolor {Chapter }{\textsf {GAP4} packages are easily extendible}\relax }{subsection.A.2.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.3}\leavevmode {\color  {Chapter }Why not \href  {http://www.sagemath.org/} {Sage}?}}{162}{section.A.3}}
\newlabel{WhyNotSage}{{A.3}{162}{\textcolor {Chapter }{Why not \href {http://www.sagemath.org/} {Sage}?}\relax }{section.A.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {A.4}\leavevmode {\color  {Chapter }How does \textsf  {homalg} compare to \textsf  {Sage}?}}{162}{section.A.4}}
\newlabel{Sage}{{A.4}{162}{\textcolor {Chapter }{How does \textsf {homalg} compare to \textsf {Sage}?}\relax }{section.A.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.4.1}\leavevmode {\color  {Chapter }They differ in objectives and scale}}{162}{subsection.A.4.1}}
\newlabel{homalg-Sage-objectives}{{A.4.1}{162}{\textcolor {Chapter }{They differ in objectives and scale}\relax }{subsection.A.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.4.2}\leavevmode {\color  {Chapter }They differ in the programming language}}{162}{subsection.A.4.2}}
\newlabel{homalg-Sage-language}{{A.4.2}{162}{\textcolor {Chapter }{They differ in the programming language}\relax }{subsection.A.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.4.3}\leavevmode {\color  {Chapter }They differ in the way they communicate with the outer world}}{162}{subsection.A.4.3}}
\newlabel{homalg-Sage-communicate}{{A.4.3}{162}{\textcolor {Chapter }{They differ in the way they communicate with the outer world}\relax }{subsection.A.4.3}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {B}\leavevmode {\color  {Chapter }The Mathematical Idea behind \textsf  {homalg}}}{164}{appendix.B}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{homalg-Idea}{{B}{164}{\textcolor {Chapter }{The Mathematical Idea behind \textsf {homalg}}\relax }{appendix.B}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {C}\leavevmode {\color  {Chapter }The Basic Matrix Operations}}{165}{appendix.C}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Basic_Operations}{{C}{165}{\textcolor {Chapter }{The Basic Matrix Operations}\relax }{appendix.C}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.1}\leavevmode {\color  {Chapter }Main}}{165}{section.C.1}}
\newlabel{Main}{{C.1}{165}{\textcolor {Chapter }{Main}\relax }{section.C.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.2}\leavevmode {\color  {Chapter }Effective}}{165}{section.C.2}}
\newlabel{Effective}{{C.2}{165}{\textcolor {Chapter }{Effective}\relax }{section.C.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.3}\leavevmode {\color  {Chapter }Relative}}{165}{section.C.3}}
\newlabel{Relative}{{C.3}{165}{\textcolor {Chapter }{Relative}\relax }{section.C.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {C.4}\leavevmode {\color  {Chapter }Reduced}}{166}{section.C.4}}
\newlabel{Reduced}{{C.4}{166}{\textcolor {Chapter }{Reduced}\relax }{section.C.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {D}\leavevmode {\color  {Chapter }The Matrix Tool Operations}}{167}{appendix.D}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Tool_Operations}{{D}{167}{\textcolor {Chapter }{The Matrix Tool Operations}\relax }{appendix.D}{}}
\@writefile{toc}{\contentsline {section}{\numberline {D.1}\leavevmode {\color  {Chapter }The Tool Operations \emph  {without} a Fallback Method}}{167}{section.D.1}}
\newlabel{ToolsNoFallBack}{{D.1}{167}{\textcolor {Chapter }{The Tool Operations \emph {without} a Fallback Method}\relax }{section.D.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.1}\leavevmode {\color  {Chapter }ZeroMatrix (homalgTable entry for initial matrices)}}{167}{subsection.D.1.1}}
\newlabel{ZeroMatrix:homalgTable entry for initial matrices}{{D.1.1}{167}{\textcolor {Chapter }{ZeroMatrix (homalgTable entry for initial matrices)}\relax }{subsection.D.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.2}\leavevmode {\color  {Chapter }IdentityMatrix (homalgTable entry for initial identity matrices)}}{167}{subsection.D.1.2}}
\newlabel{IdentityMatrix:homalgTable entry for initial identity matrices}{{D.1.2}{167}{\textcolor {Chapter }{IdentityMatrix (homalgTable entry for initial identity matrices)}\relax }{subsection.D.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.3}\leavevmode {\color  {Chapter }ZeroMatrix (homalgTable entry)}}{167}{subsection.D.1.3}}
\newlabel{ZeroMatrix:homalgTable entry}{{D.1.3}{167}{\textcolor {Chapter }{ZeroMatrix (homalgTable entry)}\relax }{subsection.D.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.4}\leavevmode {\color  {Chapter }IdentityMatrix (homalgTable entry)}}{168}{subsection.D.1.4}}
\newlabel{IdentityMatrix:homalgTable entry}{{D.1.4}{168}{\textcolor {Chapter }{IdentityMatrix (homalgTable entry)}\relax }{subsection.D.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.5}\leavevmode {\color  {Chapter }Involution (homalgTable entry)}}{168}{subsection.D.1.5}}
\newlabel{Involution:homalgTable entry}{{D.1.5}{168}{\textcolor {Chapter }{Involution (homalgTable entry)}\relax }{subsection.D.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.6}\leavevmode {\color  {Chapter }CertainRows (homalgTable entry)}}{168}{subsection.D.1.6}}
\newlabel{CertainRows:homalgTable entry}{{D.1.6}{168}{\textcolor {Chapter }{CertainRows (homalgTable entry)}\relax }{subsection.D.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.7}\leavevmode {\color  {Chapter }CertainColumns (homalgTable entry)}}{168}{subsection.D.1.7}}
\newlabel{CertainColumns:homalgTable entry}{{D.1.7}{168}{\textcolor {Chapter }{CertainColumns (homalgTable entry)}\relax }{subsection.D.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.8}\leavevmode {\color  {Chapter }UnionOfRows (homalgTable entry)}}{168}{subsection.D.1.8}}
\newlabel{UnionOfRows:homalgTable entry}{{D.1.8}{168}{\textcolor {Chapter }{UnionOfRows (homalgTable entry)}\relax }{subsection.D.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.9}\leavevmode {\color  {Chapter }UnionOfColumns (homalgTable entry)}}{168}{subsection.D.1.9}}
\newlabel{UnionOfColumns:homalgTable entry}{{D.1.9}{168}{\textcolor {Chapter }{UnionOfColumns (homalgTable entry)}\relax }{subsection.D.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.10}\leavevmode {\color  {Chapter }DiagMat (homalgTable entry)}}{169}{subsection.D.1.10}}
\newlabel{DiagMat:homalgTable entry}{{D.1.10}{169}{\textcolor {Chapter }{DiagMat (homalgTable entry)}\relax }{subsection.D.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.11}\leavevmode {\color  {Chapter }KroneckerMat (homalgTable entry)}}{169}{subsection.D.1.11}}
\newlabel{KroneckerMat:homalgTable entry}{{D.1.11}{169}{\textcolor {Chapter }{KroneckerMat (homalgTable entry)}\relax }{subsection.D.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.12}\leavevmode {\color  {Chapter }MulMat (homalgTable entry)}}{169}{subsection.D.1.12}}
\newlabel{MulMat:homalgTable entry}{{D.1.12}{169}{\textcolor {Chapter }{MulMat (homalgTable entry)}\relax }{subsection.D.1.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.13}\leavevmode {\color  {Chapter }AddMat (homalgTable entry)}}{169}{subsection.D.1.13}}
\newlabel{AddMat:homalgTable entry}{{D.1.13}{169}{\textcolor {Chapter }{AddMat (homalgTable entry)}\relax }{subsection.D.1.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.14}\leavevmode {\color  {Chapter }SubMat (homalgTable entry)}}{169}{subsection.D.1.14}}
\newlabel{SubMat:homalgTable entry}{{D.1.14}{169}{\textcolor {Chapter }{SubMat (homalgTable entry)}\relax }{subsection.D.1.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.15}\leavevmode {\color  {Chapter }Compose (homalgTable entry)}}{169}{subsection.D.1.15}}
\newlabel{Compose:homalgTable entry}{{D.1.15}{169}{\textcolor {Chapter }{Compose (homalgTable entry)}\relax }{subsection.D.1.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.16}\leavevmode {\color  {Chapter }IsZeroMatrix (homalgTable entry)}}{170}{subsection.D.1.16}}
\newlabel{IsZeroMatrix:homalgTable entry}{{D.1.16}{170}{\textcolor {Chapter }{IsZeroMatrix (homalgTable entry)}\relax }{subsection.D.1.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.17}\leavevmode {\color  {Chapter }NrRows (homalgTable entry)}}{170}{subsection.D.1.17}}
\newlabel{NrRows:homalgTable entry}{{D.1.17}{170}{\textcolor {Chapter }{NrRows (homalgTable entry)}\relax }{subsection.D.1.17}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.18}\leavevmode {\color  {Chapter }NrColumns (homalgTable entry)}}{171}{subsection.D.1.18}}
\newlabel{NrColumns:homalgTable entry}{{D.1.18}{171}{\textcolor {Chapter }{NrColumns (homalgTable entry)}\relax }{subsection.D.1.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.1.19}\leavevmode {\color  {Chapter }Determinant (homalgTable entry)}}{172}{subsection.D.1.19}}
\newlabel{Determinant:homalgTable entry}{{D.1.19}{172}{\textcolor {Chapter }{Determinant (homalgTable entry)}\relax }{subsection.D.1.19}{}}
\@writefile{toc}{\contentsline {section}{\numberline {D.2}\leavevmode {\color  {Chapter }The Tool Operations with a Fallback Method}}{173}{section.D.2}}
\newlabel{ToolsFallBack}{{D.2}{173}{\textcolor {Chapter }{The Tool Operations with a Fallback Method}\relax }{section.D.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.1}\leavevmode {\color  {Chapter }AreEqualMatrices (homalgTable entry)}}{173}{subsection.D.2.1}}
\newlabel{AreEqualMatrices:homalgTable entry}{{D.2.1}{173}{\textcolor {Chapter }{AreEqualMatrices (homalgTable entry)}\relax }{subsection.D.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.2}\leavevmode {\color  {Chapter }IsIdentityMatrix (homalgTable entry)}}{173}{subsection.D.2.2}}
\newlabel{IsIdentityMatrix:homalgTable entry}{{D.2.2}{173}{\textcolor {Chapter }{IsIdentityMatrix (homalgTable entry)}\relax }{subsection.D.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.3}\leavevmode {\color  {Chapter }IsDiagonalMatrix (homalgTable entry)}}{174}{subsection.D.2.3}}
\newlabel{IsDiagonalMatrix:homalgTable entry}{{D.2.3}{174}{\textcolor {Chapter }{IsDiagonalMatrix (homalgTable entry)}\relax }{subsection.D.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.4}\leavevmode {\color  {Chapter }ZeroRows (homalgTable entry)}}{175}{subsection.D.2.4}}
\newlabel{ZeroRows:homalgTable entry}{{D.2.4}{175}{\textcolor {Chapter }{ZeroRows (homalgTable entry)}\relax }{subsection.D.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.5}\leavevmode {\color  {Chapter }ZeroColumns (homalgTable entry)}}{175}{subsection.D.2.5}}
\newlabel{ZeroColumns:homalgTable entry}{{D.2.5}{175}{\textcolor {Chapter }{ZeroColumns (homalgTable entry)}\relax }{subsection.D.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.6}\leavevmode {\color  {Chapter }GetColumnIndependentUnitPositions (homalgTable entry)}}{176}{subsection.D.2.6}}
\newlabel{GetColumnIndependentUnitPositions:homalgTable entry}{{D.2.6}{176}{\textcolor {Chapter }{GetColumnIndependentUnitPositions (homalgTable entry)}\relax }{subsection.D.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.7}\leavevmode {\color  {Chapter }GetRowIndependentUnitPositions (homalgTable entry)}}{177}{subsection.D.2.7}}
\newlabel{GetRowIndependentUnitPositions:homalgTable entry}{{D.2.7}{177}{\textcolor {Chapter }{GetRowIndependentUnitPositions (homalgTable entry)}\relax }{subsection.D.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.8}\leavevmode {\color  {Chapter }GetUnitPosition (homalgTable entry)}}{178}{subsection.D.2.8}}
\newlabel{GetUnitPosition:homalgTable entry}{{D.2.8}{178}{\textcolor {Chapter }{GetUnitPosition (homalgTable entry)}\relax }{subsection.D.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {D.2.9}\leavevmode {\color  {Chapter }DegreesOfEntries (homalgTable entry)}}{179}{subsection.D.2.9}}
\newlabel{DegreesOfEntries:homalgTable entry}{{D.2.9}{179}{\textcolor {Chapter }{DegreesOfEntries (homalgTable entry)}\relax }{subsection.D.2.9}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {E}\leavevmode {\color  {Chapter }Logic Subpackages}}{181}{appendix.E}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Logic}{{E}{181}{\textcolor {Chapter }{Logic Subpackages}\relax }{appendix.E}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.1}\leavevmode {\color  {Chapter }\textsf  {LIRNG}: Logical Implications for Rings}}{181}{section.E.1}}
\newlabel{Rings:LIRNG}{{E.1}{181}{\textcolor {Chapter }{\textsf {LIRNG}: Logical Implications for Rings}\relax }{section.E.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.2}\leavevmode {\color  {Chapter }\textsf  {LIMAP}: Logical Implications for Ring Maps}}{181}{section.E.2}}
\newlabel{RingMaps:LIMAP}{{E.2}{181}{\textcolor {Chapter }{\textsf {LIMAP}: Logical Implications for Ring Maps}\relax }{section.E.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.3}\leavevmode {\color  {Chapter }\textsf  {LIMAT}: Logical Implications for Matrices}}{181}{section.E.3}}
\newlabel{Matrices:LIMAT}{{E.3}{181}{\textcolor {Chapter }{\textsf {LIMAT}: Logical Implications for Matrices}\relax }{section.E.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.4}\leavevmode {\color  {Chapter }\textsf  {COLEM}: Clever Operations for Lazy Evaluated Matrices}}{181}{section.E.4}}
\newlabel{Matrices:COLEM}{{E.4}{181}{\textcolor {Chapter }{\textsf {COLEM}: Clever Operations for Lazy Evaluated Matrices}\relax }{section.E.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.1}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgInitialMatrix)}}{181}{subsection.E.4.1}}
\newlabel{Eval:for matrices created with HomalgInitialMatrix}{{E.4.1}{181}{\textcolor {Chapter }{Eval (for matrices created with HomalgInitialMatrix)}\relax }{subsection.E.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.2}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgInitialIdentityMatrix)}}{182}{subsection.E.4.2}}
\newlabel{Eval:for matrices created with HomalgInitialIdentityMatrix}{{E.4.2}{182}{\textcolor {Chapter }{Eval (for matrices created with HomalgInitialIdentityMatrix)}\relax }{subsection.E.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.3}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgZeroMatrix)}}{183}{subsection.E.4.3}}
\newlabel{Eval:for matrices created with HomalgZeroMatrix}{{E.4.3}{183}{\textcolor {Chapter }{Eval (for matrices created with HomalgZeroMatrix)}\relax }{subsection.E.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.4}\leavevmode {\color  {Chapter }Eval (for matrices created with HomalgIdentityMatrix)}}{184}{subsection.E.4.4}}
\newlabel{Eval:for matrices created with HomalgIdentityMatrix}{{E.4.4}{184}{\textcolor {Chapter }{Eval (for matrices created with HomalgIdentityMatrix)}\relax }{subsection.E.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.5}\leavevmode {\color  {Chapter }Eval (for matrices created with Involution)}}{185}{subsection.E.4.5}}
\newlabel{Eval:for matrices created with Involution}{{E.4.5}{185}{\textcolor {Chapter }{Eval (for matrices created with Involution)}\relax }{subsection.E.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.6}\leavevmode {\color  {Chapter }Eval (for matrices created with CertainRows)}}{185}{subsection.E.4.6}}
\newlabel{Eval:for matrices created with CertainRows}{{E.4.6}{185}{\textcolor {Chapter }{Eval (for matrices created with CertainRows)}\relax }{subsection.E.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.7}\leavevmode {\color  {Chapter }Eval (for matrices created with CertainColumns)}}{186}{subsection.E.4.7}}
\newlabel{Eval:for matrices created with CertainColumns}{{E.4.7}{186}{\textcolor {Chapter }{Eval (for matrices created with CertainColumns)}\relax }{subsection.E.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.8}\leavevmode {\color  {Chapter }Eval (for matrices created with UnionOfRows)}}{187}{subsection.E.4.8}}
\newlabel{Eval:for matrices created with UnionOfRows}{{E.4.8}{187}{\textcolor {Chapter }{Eval (for matrices created with UnionOfRows)}\relax }{subsection.E.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.9}\leavevmode {\color  {Chapter }Eval (for matrices created with UnionOfColumns)}}{188}{subsection.E.4.9}}
\newlabel{Eval:for matrices created with UnionOfColumns}{{E.4.9}{188}{\textcolor {Chapter }{Eval (for matrices created with UnionOfColumns)}\relax }{subsection.E.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.10}\leavevmode {\color  {Chapter }Eval (for matrices created with DiagMat)}}{189}{subsection.E.4.10}}
\newlabel{Eval:for matrices created with DiagMat}{{E.4.10}{189}{\textcolor {Chapter }{Eval (for matrices created with DiagMat)}\relax }{subsection.E.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.11}\leavevmode {\color  {Chapter }Eval (for matrices created with KroneckerMat)}}{190}{subsection.E.4.11}}
\newlabel{Eval:for matrices created with KroneckerMat}{{E.4.11}{190}{\textcolor {Chapter }{Eval (for matrices created with KroneckerMat)}\relax }{subsection.E.4.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.12}\leavevmode {\color  {Chapter }Eval (for matrices created with MulMat)}}{191}{subsection.E.4.12}}
\newlabel{Eval:for matrices created with MulMat}{{E.4.12}{191}{\textcolor {Chapter }{Eval (for matrices created with MulMat)}\relax }{subsection.E.4.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.13}\leavevmode {\color  {Chapter }Eval (for matrices created with AddMat)}}{191}{subsection.E.4.13}}
\newlabel{Eval:for matrices created with AddMat}{{E.4.13}{191}{\textcolor {Chapter }{Eval (for matrices created with AddMat)}\relax }{subsection.E.4.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.14}\leavevmode {\color  {Chapter }Eval (for matrices created with SubMat)}}{192}{subsection.E.4.14}}
\newlabel{Eval:for matrices created with SubMat}{{E.4.14}{192}{\textcolor {Chapter }{Eval (for matrices created with SubMat)}\relax }{subsection.E.4.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.15}\leavevmode {\color  {Chapter }Eval (for matrices created with Compose)}}{193}{subsection.E.4.15}}
\newlabel{Eval:for matrices created with Compose}{{E.4.15}{193}{\textcolor {Chapter }{Eval (for matrices created with Compose)}\relax }{subsection.E.4.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.16}\leavevmode {\color  {Chapter }Eval (for matrices created with LeftInverse)}}{194}{subsection.E.4.16}}
\newlabel{Eval:for matrices created with LeftInverse}{{E.4.16}{194}{\textcolor {Chapter }{Eval (for matrices created with LeftInverse)}\relax }{subsection.E.4.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {E.4.17}\leavevmode {\color  {Chapter }Eval (for matrices created with RightInverse)}}{194}{subsection.E.4.17}}
\newlabel{Eval:for matrices created with RightInverse}{{E.4.17}{194}{\textcolor {Chapter }{Eval (for matrices created with RightInverse)}\relax }{subsection.E.4.17}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.5}\leavevmode {\color  {Chapter }\textsf  {LIMOD}: Logical Implications for Modules}}{195}{section.E.5}}
\newlabel{Modules:LIMOD}{{E.5}{195}{\textcolor {Chapter }{\textsf {LIMOD}: Logical Implications for Modules}\relax }{section.E.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.6}\leavevmode {\color  {Chapter }\textsf  {LIMOR}: Logical Implications for Morphisms}}{195}{section.E.6}}
\newlabel{Maps:LIMOR}{{E.6}{195}{\textcolor {Chapter }{\textsf {LIMOR}: Logical Implications for Morphisms}\relax }{section.E.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {E.7}\leavevmode {\color  {Chapter }\textsf  {LICPX}: Logical Implications for Complexes}}{195}{section.E.7}}
\newlabel{Complexes:LICPX}{{E.7}{195}{\textcolor {Chapter }{\textsf {LICPX}: Logical Implications for Complexes}\relax }{section.E.7}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {F}\leavevmode {\color  {Chapter }The subpackage \textsf  {ResidueClassRingForHomalg} as a sample ring package}}{196}{appendix.F}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ResidueClassRingForHomalg}{{F}{196}{\textcolor {Chapter }{The subpackage \textsf {ResidueClassRingForHomalg} as a sample ring package}\relax }{appendix.F}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.1}\leavevmode {\color  {Chapter }The Mandatory Basic Operations}}{196}{section.F.1}}
\newlabel{ResidueClassRingForHomalg:BasicNoFallBack}{{F.1}{196}{\textcolor {Chapter }{The Mandatory Basic Operations}\relax }{section.F.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.1}\leavevmode {\color  {Chapter }BasisOfRowModule (ResidueClassRing)}}{196}{subsection.F.1.1}}
\newlabel{BasisOfRowModule:ResidueClassRing}{{F.1.1}{196}{\textcolor {Chapter }{BasisOfRowModule (ResidueClassRing)}\relax }{subsection.F.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.2}\leavevmode {\color  {Chapter }BasisOfColumnModule (ResidueClassRing)}}{196}{subsection.F.1.2}}
\newlabel{BasisOfColumnModule:ResidueClassRing}{{F.1.2}{196}{\textcolor {Chapter }{BasisOfColumnModule (ResidueClassRing)}\relax }{subsection.F.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.3}\leavevmode {\color  {Chapter }DecideZeroRows (ResidueClassRing)}}{197}{subsection.F.1.3}}
\newlabel{DecideZeroRows:ResidueClassRing}{{F.1.3}{197}{\textcolor {Chapter }{DecideZeroRows (ResidueClassRing)}\relax }{subsection.F.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.4}\leavevmode {\color  {Chapter }DecideZeroColumns (ResidueClassRing)}}{197}{subsection.F.1.4}}
\newlabel{DecideZeroColumns:ResidueClassRing}{{F.1.4}{197}{\textcolor {Chapter }{DecideZeroColumns (ResidueClassRing)}\relax }{subsection.F.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.5}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfRows (ResidueClassRing)}}{197}{subsection.F.1.5}}
\newlabel{SyzygiesGeneratorsOfRows:ResidueClassRing}{{F.1.5}{197}{\textcolor {Chapter }{SyzygiesGeneratorsOfRows (ResidueClassRing)}\relax }{subsection.F.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.6}\leavevmode {\color  {Chapter }SyzygiesGeneratorsOfColumns (ResidueClassRing)}}{198}{subsection.F.1.6}}
\newlabel{SyzygiesGeneratorsOfColumns:ResidueClassRing}{{F.1.6}{198}{\textcolor {Chapter }{SyzygiesGeneratorsOfColumns (ResidueClassRing)}\relax }{subsection.F.1.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.7}\leavevmode {\color  {Chapter }BasisOfRowsCoeff (ResidueClassRing)}}{199}{subsection.F.1.7}}
\newlabel{BasisOfRowsCoeff:ResidueClassRing}{{F.1.7}{199}{\textcolor {Chapter }{BasisOfRowsCoeff (ResidueClassRing)}\relax }{subsection.F.1.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.8}\leavevmode {\color  {Chapter }BasisOfColumnsCoeff (ResidueClassRing)}}{199}{subsection.F.1.8}}
\newlabel{BasisOfColumnsCoeff:ResidueClassRing}{{F.1.8}{199}{\textcolor {Chapter }{BasisOfColumnsCoeff (ResidueClassRing)}\relax }{subsection.F.1.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.9}\leavevmode {\color  {Chapter }DecideZeroRowsEffectively (ResidueClassRing)}}{200}{subsection.F.1.9}}
\newlabel{DecideZeroRowsEffectively:ResidueClassRing}{{F.1.9}{200}{\textcolor {Chapter }{DecideZeroRowsEffectively (ResidueClassRing)}\relax }{subsection.F.1.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.10}\leavevmode {\color  {Chapter }DecideZeroColumnsEffectively (ResidueClassRing)}}{200}{subsection.F.1.10}}
\newlabel{DecideZeroColumnsEffectively:ResidueClassRing}{{F.1.10}{200}{\textcolor {Chapter }{DecideZeroColumnsEffectively (ResidueClassRing)}\relax }{subsection.F.1.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.11}\leavevmode {\color  {Chapter }RelativeSyzygiesGeneratorsOfRows (ResidueClassRing)}}{201}{subsection.F.1.11}}
\newlabel{RelativeSyzygiesGeneratorsOfRows:ResidueClassRing}{{F.1.11}{201}{\textcolor {Chapter }{RelativeSyzygiesGeneratorsOfRows (ResidueClassRing)}\relax }{subsection.F.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.1.12}\leavevmode {\color  {Chapter }RelativeSyzygiesGeneratorsOfColumns (ResidueClassRing)}}{201}{subsection.F.1.12}}
\newlabel{RelativeSyzygiesGeneratorsOfColumns:ResidueClassRing}{{F.1.12}{201}{\textcolor {Chapter }{RelativeSyzygiesGeneratorsOfColumns (ResidueClassRing)}\relax }{subsection.F.1.12}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.2}\leavevmode {\color  {Chapter }The Mandatory Tool Operations}}{202}{section.F.2}}
\newlabel{ResidueClassRingForHomalg:ToolsNoFallBack}{{F.2}{202}{\textcolor {Chapter }{The Mandatory Tool Operations}\relax }{section.F.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.1}\leavevmode {\color  {Chapter }ZeroMatrix (ResidueClassRing)}}{202}{subsection.F.2.1}}
\newlabel{ZeroMatrix:ResidueClassRing}{{F.2.1}{202}{\textcolor {Chapter }{ZeroMatrix (ResidueClassRing)}\relax }{subsection.F.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.2}\leavevmode {\color  {Chapter }IdentityMatrix (ResidueClassRing)}}{202}{subsection.F.2.2}}
\newlabel{IdentityMatrix:ResidueClassRing}{{F.2.2}{202}{\textcolor {Chapter }{IdentityMatrix (ResidueClassRing)}\relax }{subsection.F.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.3}\leavevmode {\color  {Chapter }Involution (ResidueClassRing)}}{202}{subsection.F.2.3}}
\newlabel{Involution:ResidueClassRing}{{F.2.3}{202}{\textcolor {Chapter }{Involution (ResidueClassRing)}\relax }{subsection.F.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.4}\leavevmode {\color  {Chapter }CertainRows (ResidueClassRing)}}{203}{subsection.F.2.4}}
\newlabel{CertainRows:ResidueClassRing}{{F.2.4}{203}{\textcolor {Chapter }{CertainRows (ResidueClassRing)}\relax }{subsection.F.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.5}\leavevmode {\color  {Chapter }CertainColumns (ResidueClassRing)}}{203}{subsection.F.2.5}}
\newlabel{CertainColumns:ResidueClassRing}{{F.2.5}{203}{\textcolor {Chapter }{CertainColumns (ResidueClassRing)}\relax }{subsection.F.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.6}\leavevmode {\color  {Chapter }UnionOfRows (ResidueClassRing)}}{204}{subsection.F.2.6}}
\newlabel{UnionOfRows:ResidueClassRing}{{F.2.6}{204}{\textcolor {Chapter }{UnionOfRows (ResidueClassRing)}\relax }{subsection.F.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.7}\leavevmode {\color  {Chapter }UnionOfColumns (ResidueClassRing)}}{204}{subsection.F.2.7}}
\newlabel{UnionOfColumns:ResidueClassRing}{{F.2.7}{204}{\textcolor {Chapter }{UnionOfColumns (ResidueClassRing)}\relax }{subsection.F.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.8}\leavevmode {\color  {Chapter }DiagMat (ResidueClassRing)}}{205}{subsection.F.2.8}}
\newlabel{DiagMat:ResidueClassRing}{{F.2.8}{205}{\textcolor {Chapter }{DiagMat (ResidueClassRing)}\relax }{subsection.F.2.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.9}\leavevmode {\color  {Chapter }KroneckerMat (ResidueClassRing)}}{205}{subsection.F.2.9}}
\newlabel{KroneckerMat:ResidueClassRing}{{F.2.9}{205}{\textcolor {Chapter }{KroneckerMat (ResidueClassRing)}\relax }{subsection.F.2.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.10}\leavevmode {\color  {Chapter }MulMat (ResidueClassRing)}}{206}{subsection.F.2.10}}
\newlabel{MulMat:ResidueClassRing}{{F.2.10}{206}{\textcolor {Chapter }{MulMat (ResidueClassRing)}\relax }{subsection.F.2.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.11}\leavevmode {\color  {Chapter }AddMat (ResidueClassRing)}}{206}{subsection.F.2.11}}
\newlabel{AddMat:ResidueClassRing}{{F.2.11}{206}{\textcolor {Chapter }{AddMat (ResidueClassRing)}\relax }{subsection.F.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.12}\leavevmode {\color  {Chapter }SubMat (ResidueClassRing)}}{206}{subsection.F.2.12}}
\newlabel{SubMat:ResidueClassRing}{{F.2.12}{206}{\textcolor {Chapter }{SubMat (ResidueClassRing)}\relax }{subsection.F.2.12}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.13}\leavevmode {\color  {Chapter }Compose (ResidueClassRing)}}{206}{subsection.F.2.13}}
\newlabel{Compose:ResidueClassRing}{{F.2.13}{206}{\textcolor {Chapter }{Compose (ResidueClassRing)}\relax }{subsection.F.2.13}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.14}\leavevmode {\color  {Chapter }IsZeroMatrix (ResidueClassRing)}}{207}{subsection.F.2.14}}
\newlabel{IsZeroMatrix:ResidueClassRing}{{F.2.14}{207}{\textcolor {Chapter }{IsZeroMatrix (ResidueClassRing)}\relax }{subsection.F.2.14}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.15}\leavevmode {\color  {Chapter }NrRows (ResidueClassRing)}}{207}{subsection.F.2.15}}
\newlabel{NrRows:ResidueClassRing}{{F.2.15}{207}{\textcolor {Chapter }{NrRows (ResidueClassRing)}\relax }{subsection.F.2.15}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.16}\leavevmode {\color  {Chapter }NrColumns (ResidueClassRing)}}{207}{subsection.F.2.16}}
\newlabel{NrColumns:ResidueClassRing}{{F.2.16}{207}{\textcolor {Chapter }{NrColumns (ResidueClassRing)}\relax }{subsection.F.2.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.2.17}\leavevmode {\color  {Chapter }Determinant (ResidueClassRing)}}{207}{subsection.F.2.17}}
\newlabel{Determinant:ResidueClassRing}{{F.2.17}{207}{\textcolor {Chapter }{Determinant (ResidueClassRing)}\relax }{subsection.F.2.17}{}}
\@writefile{toc}{\contentsline {section}{\numberline {F.3}\leavevmode {\color  {Chapter }Some of the Recommended Tool Operations}}{207}{section.F.3}}
\newlabel{ResidueClassRingForHomalg:ToolsFallBack}{{F.3}{207}{\textcolor {Chapter }{Some of the Recommended Tool Operations}\relax }{section.F.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.3.1}\leavevmode {\color  {Chapter }AreEqualMatrices (ResidueClassRing)}}{207}{subsection.F.3.1}}
\newlabel{AreEqualMatrices:ResidueClassRing}{{F.3.1}{207}{\textcolor {Chapter }{AreEqualMatrices (ResidueClassRing)}\relax }{subsection.F.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.3.2}\leavevmode {\color  {Chapter }IsIdentityMatrix (ResidueClassRing)}}{208}{subsection.F.3.2}}
\newlabel{IsIdentityMatrix:ResidueClassRing}{{F.3.2}{208}{\textcolor {Chapter }{IsIdentityMatrix (ResidueClassRing)}\relax }{subsection.F.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.3.3}\leavevmode {\color  {Chapter }IsDiagonalMatrix (ResidueClassRing)}}{208}{subsection.F.3.3}}
\newlabel{IsDiagonalMatrix:ResidueClassRing}{{F.3.3}{208}{\textcolor {Chapter }{IsDiagonalMatrix (ResidueClassRing)}\relax }{subsection.F.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.3.4}\leavevmode {\color  {Chapter }ZeroRows (ResidueClassRing)}}{208}{subsection.F.3.4}}
\newlabel{ZeroRows:ResidueClassRing}{{F.3.4}{208}{\textcolor {Chapter }{ZeroRows (ResidueClassRing)}\relax }{subsection.F.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {F.3.5}\leavevmode {\color  {Chapter }ZeroColumns (ResidueClassRing)}}{208}{subsection.F.3.5}}
\newlabel{ZeroColumns:ResidueClassRing}{{F.3.5}{208}{\textcolor {Chapter }{ZeroColumns (ResidueClassRing)}\relax }{subsection.F.3.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {G}\leavevmode {\color  {Chapter }Debugging \textsf  {homalg}}}{209}{appendix.G}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Debugging}{{G}{209}{\textcolor {Chapter }{Debugging \textsf {homalg}}\relax }{appendix.G}{}}
\@writefile{toc}{\contentsline {section}{\numberline {G.1}\leavevmode {\color  {Chapter }Increase the assertion level}}{209}{section.G.1}}
\newlabel{SetAssertionLevel}{{G.1}{209}{\textcolor {Chapter }{Increase the assertion level}\relax }{section.G.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {G.2}\leavevmode {\color  {Chapter }Use \texttt  {homalgMode}}}{211}{section.G.2}}
\newlabel{use homalgMode}{{G.2}{211}{\textcolor {Chapter }{Use \texttt {homalgMode}}\relax }{section.G.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {G.2.1}\leavevmode {\color  {Chapter }homalgMode}}{211}{subsection.G.2.1}}
\newlabel{homalgMode}{{G.2.1}{211}{\textcolor {Chapter }{homalgMode}\relax }{subsection.G.2.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {H}\leavevmode {\color  {Chapter }The Core Packages and the Idea behind their Splitting}}{213}{appendix.H}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{homalg-Project}{{H}{213}{\textcolor {Chapter }{The Core Packages and the Idea behind their Splitting}\relax }{appendix.H}{}}
\@writefile{toc}{\contentsline {section}{\numberline {H.1}\leavevmode {\color  {Chapter }The 5=1+4 split}}{213}{section.H.1}}
\newlabel{5=1+4}{{H.1}{213}{\textcolor {Chapter }{The 5=1+4 split}\relax }{section.H.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.1.1}\leavevmode {\color  {Chapter }Logically independent}}{213}{subsection.H.1.1}}
\newlabel{homalg-independent}{{H.1.1}{213}{\textcolor {Chapter }{Logically independent}\relax }{subsection.H.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.1.2}\leavevmode {\color  {Chapter }Black boxes}}{213}{subsection.H.1.2}}
\newlabel{black boxes}{{H.1.2}{213}{\textcolor {Chapter }{Black boxes}\relax }{subsection.H.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.1.3}\leavevmode {\color  {Chapter }Summing up}}{214}{subsection.H.1.3}}
\newlabel{summing up}{{H.1.3}{214}{\textcolor {Chapter }{Summing up}\relax }{subsection.H.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {H.2}\leavevmode {\color  {Chapter }The 4=1+1+1+1 split}}{214}{section.H.2}}
\newlabel{4=1+1+1+1}{{H.2}{214}{\textcolor {Chapter }{The 4=1+1+1+1 split}\relax }{section.H.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.1}\leavevmode {\color  {Chapter }\textsf  {HomalgToCAS}}}{214}{subsection.H.2.1}}
\newlabel{HomalgToCAS}{{H.2.1}{214}{\textcolor {Chapter }{\textsf {HomalgToCAS}}\relax }{subsection.H.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.2}\leavevmode {\color  {Chapter }\textsf  {IO{\textunderscore }ForHomalg} and Alternatives}}{214}{subsection.H.2.2}}
\newlabel{IO_ForHomalg}{{H.2.2}{214}{\textcolor {Chapter }{\textsf {IO{\textunderscore }ForHomalg} and Alternatives}\relax }{subsection.H.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.3}\leavevmode {\color  {Chapter }\textsf  {RingsForHomalg}}}{214}{subsection.H.2.3}}
\newlabel{RingsForHomalg}{{H.2.3}{214}{\textcolor {Chapter }{\textsf {RingsForHomalg}}\relax }{subsection.H.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.4}\leavevmode {\color  {Chapter }Your own \textsf  {RingsForHomalg}}}{215}{subsection.H.2.4}}
\newlabel{RingsForHomalg alternatives}{{H.2.4}{215}{\textcolor {Chapter }{Your own \textsf {RingsForHomalg}}\relax }{subsection.H.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.5}\leavevmode {\color  {Chapter }\textsf  {ExamplesForHomalg}}}{215}{subsection.H.2.5}}
\newlabel{ExamplesForHomalg}{{H.2.5}{215}{\textcolor {Chapter }{\textsf {ExamplesForHomalg}}\relax }{subsection.H.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.6}\leavevmode {\color  {Chapter }Documentation}}{215}{subsection.H.2.6}}
\newlabel{Documentation}{{H.2.6}{215}{\textcolor {Chapter }{Documentation}\relax }{subsection.H.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.7}\leavevmode {\color  {Chapter }Crediting}}{215}{subsection.H.2.7}}
\newlabel{Crediting}{{H.2.7}{215}{\textcolor {Chapter }{Crediting}\relax }{subsection.H.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {H.2.8}\leavevmode {\color  {Chapter }Stability}}{215}{subsection.H.2.8}}
\newlabel{Stability}{{H.2.8}{215}{\textcolor {Chapter }{Stability}\relax }{subsection.H.2.8}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {I}\leavevmode {\color  {Chapter }Overview of the \textsf  {homalg} Package Source Code}}{216}{appendix.I}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{FileOverview}{{I}{216}{\textcolor {Chapter }{Overview of the \textsf {homalg} Package Source Code}\relax }{appendix.I}{}}
\@writefile{toc}{\contentsline {section}{\numberline {I.1}\leavevmode {\color  {Chapter }Rings, Ring Maps, Matrices, Relations, and Generators}}{216}{section.I.1}}
\newlabel{ModuleInternals}{{I.1}{216}{\textcolor {Chapter }{Rings, Ring Maps, Matrices, Relations, and Generators}\relax }{section.I.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {I.2}\leavevmode {\color  {Chapter }The Basic Objects}}{217}{section.I.2}}
\newlabel{The Basic Objects}{{I.2}{217}{\textcolor {Chapter }{The Basic Objects}\relax }{section.I.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {I.3}\leavevmode {\color  {Chapter }The Low Level Algorithms}}{217}{section.I.3}}
\newlabel{Low Level Algorithms}{{I.3}{217}{\textcolor {Chapter }{The Low Level Algorithms}\relax }{section.I.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {I.4}\leavevmode {\color  {Chapter }The High Level Algorithms}}{218}{section.I.4}}
\newlabel{Hight Level Algorithms}{{I.4}{218}{\textcolor {Chapter }{The High Level Algorithms}\relax }{section.I.4}{}}
\bibstyle{alpha}
\bibdata{homalgBib.xml}
\@writefile{toc}{\contentsline {section}{\numberline {I.5}\leavevmode {\color  {Chapter }Logical Implications for \textsf  {homalg} Objects}}{219}{section.I.5}}
\newlabel{Logical Implications}{{I.5}{219}{\textcolor {Chapter }{Logical Implications for \textsf {homalg} Objects}\relax }{section.I.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {I.6}\leavevmode {\color  {Chapter }The subpackage \textsf  {ResidueClassRingForHomalg}}}{219}{section.I.6}}
\newlabel{ResidueClassRingForHomalg_subpackage}{{I.6}{219}{\textcolor {Chapter }{The subpackage \textsf {ResidueClassRingForHomalg}}\relax }{section.I.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {I.7}\leavevmode {\color  {Chapter }The homalgTable for \textsf  {GAP4} built-in rings}}{219}{section.I.7}}
\newlabel{The built-in rings}{{I.7}{219}{\textcolor {Chapter }{The homalgTable for \textsf {GAP4} built-in rings}\relax }{section.I.7}{}}
\bibcite{BaSF}{Bar}
\bibcite{BREACA}{BR06}
\bibcite{BR}{BR08}
\bibcite{ce}{CE99}
\bibcite{GM}{GM03}
\bibcite{HS}{HS97}
\bibcite{ML}{ML63}
\bibcite{McCRob}{MR01}
\bibcite{rot}{Rot79}
\bibcite{weihom}{Wei94}
