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

\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Introduction}}{8}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Resolutions}}{9}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Resolution}{{2}{9}{\textcolor {Chapter }{Resolutions}\relax }{chapter.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }The \texttt  {HAPResolution} datatype in \textsf  {HAPprime}}}{9}{section.2.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Implementation: Constructing resolutions}}{9}{section.2.2}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Resolution construction functions}}{10}{section.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color  {Chapter }LengthOneResolutionPrimePowerGroup}}{10}{subsection.2.3.1}}
\newlabel{LengthOneResolutionPrimePowerGroup}{{2.3.1}{10}{\textcolor {Chapter }{LengthOneResolutionPrimePowerGroup}\relax }{subsection.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color  {Chapter }LengthZeroResolutionPrimePowerGroup}}{10}{subsection.2.3.2}}
\newlabel{LengthZeroResolutionPrimePowerGroup}{{2.3.2}{10}{\textcolor {Chapter }{LengthZeroResolutionPrimePowerGroup}\relax }{subsection.2.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Resolution data access functions}}{11}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }ResolutionLength}}{11}{subsection.2.4.1}}
\newlabel{ResolutionLength}{{2.4.1}{11}{\textcolor {Chapter }{ResolutionLength}\relax }{subsection.2.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color  {Chapter }ResolutionGroup}}{11}{subsection.2.4.2}}
\newlabel{ResolutionGroup}{{2.4.2}{11}{\textcolor {Chapter }{ResolutionGroup}\relax }{subsection.2.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.3}\leavevmode {\color  {Chapter }ResolutionFpGModuleGF}}{11}{subsection.2.4.3}}
\newlabel{ResolutionFpGModuleGF}{{2.4.3}{11}{\textcolor {Chapter }{ResolutionFpGModuleGF}\relax }{subsection.2.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.4}\leavevmode {\color  {Chapter }ResolutionModuleRank}}{11}{subsection.2.4.4}}
\newlabel{ResolutionModuleRank}{{2.4.4}{11}{\textcolor {Chapter }{ResolutionModuleRank}\relax }{subsection.2.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.5}\leavevmode {\color  {Chapter }ResolutionModuleRanks}}{11}{subsection.2.4.5}}
\newlabel{ResolutionModuleRanks}{{2.4.5}{11}{\textcolor {Chapter }{ResolutionModuleRanks}\relax }{subsection.2.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.6}\leavevmode {\color  {Chapter }BoundaryFpGModuleHomomorphismGF}}{11}{subsection.2.4.6}}
\newlabel{BoundaryFpGModuleHomomorphismGF}{{2.4.6}{11}{\textcolor {Chapter }{BoundaryFpGModuleHomomorphismGF}\relax }{subsection.2.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.7}\leavevmode {\color  {Chapter }ResolutionsAreEqual}}{11}{subsection.2.4.7}}
\newlabel{ResolutionsAreEqual}{{2.4.7}{11}{\textcolor {Chapter }{ResolutionsAreEqual}\relax }{subsection.2.4.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}\leavevmode {\color  {Chapter }Example: Computing and working with resolutions}}{12}{section.2.5}}
\newlabel{ResolutionExample}{{2.5}{12}{\textcolor {Chapter }{Example: Computing and working with resolutions}\relax }{section.2.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}\leavevmode {\color  {Chapter }Miscellaneous resolution functions}}{13}{section.2.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6.1}\leavevmode {\color  {Chapter }BestCentralSubgroupForResolutionFiniteExtension}}{13}{subsection.2.6.1}}
\newlabel{BestCentralSubgroupForResolutionFiniteExtension}{{2.6.1}{13}{\textcolor {Chapter }{BestCentralSubgroupForResolutionFiniteExtension}\relax }{subsection.2.6.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Graded algebras}}{14}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{GradedAlgebra}{{3}{14}{\textcolor {Chapter }{Graded algebras}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Graded algebras in \textsf  {HAP} (and \textsf  {HAPprime})}}{14}{section.3.1}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }Data access functions}}{14}{section.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }ModPRingGeneratorDegrees}}{14}{subsection.3.2.1}}
\newlabel{ModPRingGeneratorDegrees}{{3.2.1}{14}{\textcolor {Chapter }{ModPRingGeneratorDegrees}\relax }{subsection.3.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color  {Chapter }ModPRingNiceBasis}}{15}{subsection.3.2.2}}
\newlabel{ModPRingNiceBasis}{{3.2.2}{15}{\textcolor {Chapter }{ModPRingNiceBasis}\relax }{subsection.3.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}\leavevmode {\color  {Chapter }ModPRingNiceBasisAsPolynomials}}{15}{subsection.3.2.3}}
\newlabel{ModPRingNiceBasisAsPolynomials}{{3.2.3}{15}{\textcolor {Chapter }{ModPRingNiceBasisAsPolynomials}\relax }{subsection.3.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.4}\leavevmode {\color  {Chapter }ModPRingBasisAsPolynomials}}{15}{subsection.3.2.4}}
\newlabel{ModPRingBasisAsPolynomials}{{3.2.4}{15}{\textcolor {Chapter }{ModPRingBasisAsPolynomials}\relax }{subsection.3.2.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}\leavevmode {\color  {Chapter }Other functions}}{15}{section.3.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}\leavevmode {\color  {Chapter }PresentationOfGradedStructureConstantAlgebra}}{15}{subsection.3.3.1}}
\newlabel{PresentationOfGradedStructureConstantAlgebra}{{3.3.1}{15}{\textcolor {Chapter }{PresentationOfGradedStructureConstantAlgebra}\relax }{subsection.3.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}\leavevmode {\color  {Chapter }Example: Graded algebras and mod-$p$ cohomology rings}}{16}{section.3.4}}
\newlabel{RingsExample}{{3.4}{16}{\textcolor {Chapter }{Example: Graded algebras and mod-$p$ cohomology rings}\relax }{section.3.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Presentations of graded algebras}}{17}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{GradedAlgebraPresentationDatatype}{{4}{17}{\textcolor {Chapter }{Presentations of graded algebras}\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }The \texttt  {GradedAlgebraPresentation} datatype}}{17}{section.4.1}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Construction function}}{17}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }GradedAlgebraPresentation construction functions}}{17}{subsection.4.2.1}}
\newlabel{GradedAlgebraPresentationConstructors}{{4.2.1}{17}{\textcolor {Chapter }{GradedAlgebraPresentation construction functions}\relax }{subsection.4.2.1}{}}
\newlabel{GradedAlgebraPresentation}{{4.2.1}{17}{\textcolor {Chapter }{GradedAlgebraPresentation construction functions}\relax }{subsection.4.2.1}{}}
\newlabel{GradedAlgebraPresentationNC}{{4.2.1}{17}{\textcolor {Chapter }{GradedAlgebraPresentation construction functions}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter }Data access functions}}{18}{section.4.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }BaseRing}}{18}{subsection.4.3.1}}
\newlabel{BaseRing}{{4.3.1}{18}{\textcolor {Chapter }{BaseRing}\relax }{subsection.4.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}\leavevmode {\color  {Chapter }CoefficientsRing}}{18}{subsection.4.3.2}}
\newlabel{CoefficientsRing}{{4.3.2}{18}{\textcolor {Chapter }{CoefficientsRing}\relax }{subsection.4.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}\leavevmode {\color  {Chapter }IndeterminatesOfGradedAlgebraPresentation}}{18}{subsection.4.3.3}}
\newlabel{IndeterminatesOfGradedAlgebraPresentation}{{4.3.3}{18}{\textcolor {Chapter }{IndeterminatesOfGradedAlgebraPresentation}\relax }{subsection.4.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}\leavevmode {\color  {Chapter }GeneratorsOfPresentationIdeal}}{18}{subsection.4.3.4}}
\newlabel{GeneratorsOfPresentationIdeal}{{4.3.4}{18}{\textcolor {Chapter }{GeneratorsOfPresentationIdeal}\relax }{subsection.4.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.5}\leavevmode {\color  {Chapter }PresentationIdeal}}{18}{subsection.4.3.5}}
\newlabel{PresentationIdeal}{{4.3.5}{18}{\textcolor {Chapter }{PresentationIdeal}\relax }{subsection.4.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.6}\leavevmode {\color  {Chapter }IndeterminateDegrees}}{18}{subsection.4.3.6}}
\newlabel{IndeterminateDegrees}{{4.3.6}{18}{\textcolor {Chapter }{IndeterminateDegrees}\relax }{subsection.4.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.7}\leavevmode {\color  {Chapter }Example: Constructing and accessing data of a \texttt  {GradedAlgebraPresentation}}}{18}{subsection.4.3.7}}
\newlabel{GradedAlgebraExample1}{{4.3.7}{18}{\textcolor {Chapter }{Example: Constructing and accessing data of a \texttt {GradedAlgebraPresentation}}\relax }{subsection.4.3.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color  {Chapter }Other functions}}{19}{section.4.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color  {Chapter }TensorProduct}}{19}{subsection.4.4.1}}
\newlabel{TensorProduct:for two algebra presentations}{{4.4.1}{19}{\textcolor {Chapter }{TensorProduct}\relax }{subsection.4.4.1}{}}
\newlabel{TensorProduct:for collection of algebra presentations}{{4.4.1}{19}{\textcolor {Chapter }{TensorProduct}\relax }{subsection.4.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}\leavevmode {\color  {Chapter }IsIsomorphicGradedAlgebra}}{19}{subsection.4.4.2}}
\newlabel{IsIsomorphicGradedAlgebra}{{4.4.2}{19}{\textcolor {Chapter }{IsIsomorphicGradedAlgebra}\relax }{subsection.4.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.3}\leavevmode {\color  {Chapter }IsAssociatedGradedRing}}{19}{subsection.4.4.3}}
\newlabel{IsAssociatedGradedRing}{{4.4.3}{19}{\textcolor {Chapter }{IsAssociatedGradedRing}\relax }{subsection.4.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.4}\leavevmode {\color  {Chapter }DegreeOfRepresentative}}{19}{subsection.4.4.4}}
\newlabel{DegreeOfRepresentative}{{4.4.4}{19}{\textcolor {Chapter }{DegreeOfRepresentative}\relax }{subsection.4.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.5}\leavevmode {\color  {Chapter }MaximumDegreeForPresentation}}{20}{subsection.4.4.5}}
\newlabel{MaximumDegreeForPresentation}{{4.4.5}{20}{\textcolor {Chapter }{MaximumDegreeForPresentation}\relax }{subsection.4.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.6}\leavevmode {\color  {Chapter }SubspaceDimensionDegree}}{20}{subsection.4.4.6}}
\newlabel{SubspaceDimensionDegree:for one degree}{{4.4.6}{20}{\textcolor {Chapter }{SubspaceDimensionDegree}\relax }{subsection.4.4.6}{}}
\newlabel{SubspaceDimensionDegree:for list of degrees}{{4.4.6}{20}{\textcolor {Chapter }{SubspaceDimensionDegree}\relax }{subsection.4.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.7}\leavevmode {\color  {Chapter }SubspaceBasisRepsByDegree}}{20}{subsection.4.4.7}}
\newlabel{SubspaceBasisRepsByDegree:for one degree}{{4.4.7}{20}{\textcolor {Chapter }{SubspaceBasisRepsByDegree}\relax }{subsection.4.4.7}{}}
\newlabel{SubspaceBasisRepsByDegree:for list of degrees}{{4.4.7}{20}{\textcolor {Chapter }{SubspaceBasisRepsByDegree}\relax }{subsection.4.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.8}\leavevmode {\color  {Chapter }CoefficientsOfPoincareSeries}}{20}{subsection.4.4.8}}
\newlabel{CoefficientsOfPoincareSeries}{{4.4.8}{20}{\textcolor {Chapter }{CoefficientsOfPoincareSeries}\relax }{subsection.4.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.9}\leavevmode {\color  {Chapter }HilbertPoincareSeries}}{20}{subsection.4.4.9}}
\newlabel{HilbertPoincareSeries}{{4.4.9}{20}{\textcolor {Chapter }{HilbertPoincareSeries}\relax }{subsection.4.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.10}\leavevmode {\color  {Chapter }LHSSpectralSequence}}{20}{subsection.4.4.10}}
\newlabel{LHSSpectralSequence}{{4.4.10}{20}{\textcolor {Chapter }{LHSSpectralSequence}\relax }{subsection.4.4.10}{}}
\newlabel{LHSSpectralSequenceLastSheet}{{4.4.10}{20}{\textcolor {Chapter }{LHSSpectralSequence}\relax }{subsection.4.4.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}\leavevmode {\color  {Chapter }Example: Computing the Lyndon-Hoschild-Serre spectral sequence and mod-$p$ cohomology ring for a small $p$-group}}{21}{section.4.5}}
\newlabel{GradedAlgebraExample2}{{4.5}{21}{\textcolor {Chapter }{Example: Computing the Lyndon-Hoschild-Serre spectral sequence and mod-$p$ cohomology ring for a small $p$-group}\relax }{section.4.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }$\@mathbb {F}G$-modules}}{23}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{FpGModuleGF}{{5}{23}{\textcolor {Chapter }{$\mathbb {F}G$-modules}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }The \texttt  {FpGModuleGF} datatype}}{23}{section.5.1}}
\newlabel{FpGModuleGFdatatype}{{5.1}{23}{\textcolor {Chapter }{The \texttt {FpGModuleGF} datatype}\relax }{section.5.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Implementation details: Block echelon form}}{24}{section.5.2}}
\newlabel{FpGModuleGFalgo}{{5.2}{24}{\textcolor {Chapter }{Implementation details: Block echelon form}\relax }{section.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }Generating vectors and their block structure}}{24}{subsection.5.2.1}}
\newlabel{FpGModuleGFalgoblock}{{5.2.1}{24}{\textcolor {Chapter }{Generating vectors and their block structure}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color  {Chapter }Matrix echelon reduction and head elements}}{24}{subsection.5.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color  {Chapter }Echelon block structure and minimal generators}}{25}{subsection.5.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}\leavevmode {\color  {Chapter }Intersection of two modules}}{26}{subsection.5.2.4}}
\newlabel{FpGModuleGFalgoint}{{5.2.4}{26}{\textcolor {Chapter }{Intersection of two modules}\relax }{subsection.5.2.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}\leavevmode {\color  {Chapter }Construction functions}}{27}{section.5.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.1}\leavevmode {\color  {Chapter }FpGModuleGF construction functions}}{27}{subsection.5.3.1}}
\newlabel{FpGModuleConstructors}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction from generators, group and action}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction from generators and groupAndAction}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction of empty module from group and action}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction of empty module from groupAndAction}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction of full canonical module}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction of full canonical module from groupAndAction}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGF:construction from FpGModule}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGFNC:construction from generators, group and action}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGFNC:construction for empty module with group and action}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\newlabel{FpGModuleGFNC:construction from generators and groupAndAction}{{5.3.1}{27}{\textcolor {Chapter }{FpGModuleGF construction functions}\relax }{subsection.5.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.2}\leavevmode {\color  {Chapter }FpGModuleFromFpGModuleGF}}{28}{subsection.5.3.2}}
\newlabel{FpGModuleFromFpGModuleGF}{{5.3.2}{28}{\textcolor {Chapter }{FpGModuleFromFpGModuleGF}\relax }{subsection.5.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.3}\leavevmode {\color  {Chapter }MutableCopyModule}}{28}{subsection.5.3.3}}
\newlabel{MutableCopyModule}{{5.3.3}{28}{\textcolor {Chapter }{MutableCopyModule}\relax }{subsection.5.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.4}\leavevmode {\color  {Chapter }CanonicalAction}}{28}{subsection.5.3.4}}
\newlabel{CanonicalAction}{{5.3.4}{28}{\textcolor {Chapter }{CanonicalAction}\relax }{subsection.5.3.4}{}}
\newlabel{CanonicalActionOnRight}{{5.3.4}{28}{\textcolor {Chapter }{CanonicalAction}\relax }{subsection.5.3.4}{}}
\newlabel{CanonicalGroupAndAction}{{5.3.4}{28}{\textcolor {Chapter }{CanonicalAction}\relax }{subsection.5.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3.5}\leavevmode {\color  {Chapter }Example: Constructing a \texttt  {FpGModuleGF}}}{29}{subsection.5.3.5}}
\newlabel{FPGModuleExample0}{{5.3.5}{29}{\textcolor {Chapter }{Example: Constructing a \texttt {FpGModuleGF}}\relax }{subsection.5.3.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}\leavevmode {\color  {Chapter }Data access functions}}{30}{section.5.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}\leavevmode {\color  {Chapter }ModuleGroup}}{30}{subsection.5.4.1}}
\newlabel{ModuleGroup}{{5.4.1}{30}{\textcolor {Chapter }{ModuleGroup}\relax }{subsection.5.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}\leavevmode {\color  {Chapter }ModuleGroupOrder}}{30}{subsection.5.4.2}}
\newlabel{ModuleGroupOrder}{{5.4.2}{30}{\textcolor {Chapter }{ModuleGroupOrder}\relax }{subsection.5.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.3}\leavevmode {\color  {Chapter }ModuleAction}}{30}{subsection.5.4.3}}
\newlabel{ModuleAction}{{5.4.3}{30}{\textcolor {Chapter }{ModuleAction}\relax }{subsection.5.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.4}\leavevmode {\color  {Chapter }ModuleActionBlockSize}}{30}{subsection.5.4.4}}
\newlabel{ModuleActionBlockSize}{{5.4.4}{30}{\textcolor {Chapter }{ModuleActionBlockSize}\relax }{subsection.5.4.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.5}\leavevmode {\color  {Chapter }ModuleGroupAndAction}}{30}{subsection.5.4.5}}
\newlabel{ModuleGroupAndAction}{{5.4.5}{30}{\textcolor {Chapter }{ModuleGroupAndAction}\relax }{subsection.5.4.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.6}\leavevmode {\color  {Chapter }ModuleCharacteristic}}{31}{subsection.5.4.6}}
\newlabel{ModuleCharacteristic}{{5.4.6}{31}{\textcolor {Chapter }{ModuleCharacteristic}\relax }{subsection.5.4.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.7}\leavevmode {\color  {Chapter }ModuleField}}{31}{subsection.5.4.7}}
\newlabel{ModuleField}{{5.4.7}{31}{\textcolor {Chapter }{ModuleField}\relax }{subsection.5.4.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.8}\leavevmode {\color  {Chapter }ModuleAmbientDimension}}{31}{subsection.5.4.8}}
\newlabel{ModuleAmbientDimension}{{5.4.8}{31}{\textcolor {Chapter }{ModuleAmbientDimension}\relax }{subsection.5.4.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.9}\leavevmode {\color  {Chapter }AmbientModuleDimension}}{31}{subsection.5.4.9}}
\newlabel{AmbientModuleDimension}{{5.4.9}{31}{\textcolor {Chapter }{AmbientModuleDimension}\relax }{subsection.5.4.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.10}\leavevmode {\color  {Chapter }DisplayBlocks (for FpGModuleGF)}}{31}{subsection.5.4.10}}
\newlabel{DisplayBlocks:for FpGModuleGF}{{5.4.10}{31}{\textcolor {Chapter }{DisplayBlocks (for FpGModuleGF)}\relax }{subsection.5.4.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.11}\leavevmode {\color  {Chapter }Example: Accessing data about a \texttt  {FpGModuleGF}}}{32}{subsection.5.4.11}}
\newlabel{FPGModuleExample1}{{5.4.11}{32}{\textcolor {Chapter }{Example: Accessing data about a \texttt {FpGModuleGF}}\relax }{subsection.5.4.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}\leavevmode {\color  {Chapter }Generator and vector space functions}}{33}{section.5.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.1}\leavevmode {\color  {Chapter }ModuleGenerators}}{33}{subsection.5.5.1}}
\newlabel{ModuleGenerators}{{5.5.1}{33}{\textcolor {Chapter }{ModuleGenerators}\relax }{subsection.5.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.2}\leavevmode {\color  {Chapter }ModuleGeneratorsAreMinimal}}{33}{subsection.5.5.2}}
\newlabel{ModuleGeneratorsAreMinimal}{{5.5.2}{33}{\textcolor {Chapter }{ModuleGeneratorsAreMinimal}\relax }{subsection.5.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.3}\leavevmode {\color  {Chapter }ModuleGeneratorsAreEchelonForm}}{33}{subsection.5.5.3}}
\newlabel{ModuleGeneratorsAreEchelonForm}{{5.5.3}{33}{\textcolor {Chapter }{ModuleGeneratorsAreEchelonForm}\relax }{subsection.5.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.4}\leavevmode {\color  {Chapter }ModuleIsFullCanonical}}{33}{subsection.5.5.4}}
\newlabel{ModuleIsFullCanonical}{{5.5.4}{33}{\textcolor {Chapter }{ModuleIsFullCanonical}\relax }{subsection.5.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.5}\leavevmode {\color  {Chapter }ModuleGeneratorsForm}}{33}{subsection.5.5.5}}
\newlabel{ModuleGeneratorsForm}{{5.5.5}{33}{\textcolor {Chapter }{ModuleGeneratorsForm}\relax }{subsection.5.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.6}\leavevmode {\color  {Chapter }ModuleRank}}{34}{subsection.5.5.6}}
\newlabel{ModuleRank}{{5.5.6}{34}{\textcolor {Chapter }{ModuleRank}\relax }{subsection.5.5.6}{}}
\newlabel{ModuleRankDestructive}{{5.5.6}{34}{\textcolor {Chapter }{ModuleRank}\relax }{subsection.5.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.7}\leavevmode {\color  {Chapter }ModuleVectorSpaceBasis}}{34}{subsection.5.5.7}}
\newlabel{ModuleVectorSpaceBasis}{{5.5.7}{34}{\textcolor {Chapter }{ModuleVectorSpaceBasis}\relax }{subsection.5.5.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.8}\leavevmode {\color  {Chapter }ModuleVectorSpaceDimension}}{34}{subsection.5.5.8}}
\newlabel{ModuleVectorSpaceDimension}{{5.5.8}{34}{\textcolor {Chapter }{ModuleVectorSpaceDimension}\relax }{subsection.5.5.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.9}\leavevmode {\color  {Chapter }MinimalGeneratorsModule}}{34}{subsection.5.5.9}}
\newlabel{MinimalGeneratorsModule}{{5.5.9}{34}{\textcolor {Chapter }{MinimalGeneratorsModule}\relax }{subsection.5.5.9}{}}
\newlabel{MinimalGeneratorsModuleGF}{{5.5.9}{34}{\textcolor {Chapter }{MinimalGeneratorsModule}\relax }{subsection.5.5.9}{}}
\newlabel{MinimalGeneratorsModuleGFDestructive}{{5.5.9}{34}{\textcolor {Chapter }{MinimalGeneratorsModule}\relax }{subsection.5.5.9}{}}
\newlabel{MinimalGeneratorsModuleRadical}{{5.5.9}{34}{\textcolor {Chapter }{MinimalGeneratorsModule}\relax }{subsection.5.5.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.10}\leavevmode {\color  {Chapter }RadicalOfModule}}{35}{subsection.5.5.10}}
\newlabel{RadicalOfModule}{{5.5.10}{35}{\textcolor {Chapter }{RadicalOfModule}\relax }{subsection.5.5.10}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5.11}\leavevmode {\color  {Chapter }Example: Generators and basis vectors of a \texttt  {FpGModuleGF}}}{35}{subsection.5.5.11}}
\newlabel{FPGModuleExample2}{{5.5.11}{35}{\textcolor {Chapter }{Example: Generators and basis vectors of a \texttt {FpGModuleGF}}\relax }{subsection.5.5.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}\leavevmode {\color  {Chapter }Block echelon functions}}{36}{section.5.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.1}\leavevmode {\color  {Chapter }EchelonModuleGenerators}}{36}{subsection.5.6.1}}
\newlabel{EchelonModuleGenerators}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{EchelonModuleGeneratorsDestructive}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{SemiEchelonModuleGenerators}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{SemiEchelonModuleGeneratorsDestructive}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{EchelonModuleGeneratorsMinMem}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{EchelonModuleGeneratorsMinMemDestructive}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{SemiEchelonModuleGeneratorsMinMem}{{5.6.1}{36}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\newlabel{SemiEchelonModuleGeneratorsMinMemDestructive}{{5.6.1}{37}{\textcolor {Chapter }{EchelonModuleGenerators}\relax }{subsection.5.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.2}\leavevmode {\color  {Chapter }ReverseEchelonModuleGenerators}}{37}{subsection.5.6.2}}
\newlabel{ReverseEchelonModuleGenerators}{{5.6.2}{37}{\textcolor {Chapter }{ReverseEchelonModuleGenerators}\relax }{subsection.5.6.2}{}}
\newlabel{ReverseEchelonModuleGeneratorsDestructive}{{5.6.2}{37}{\textcolor {Chapter }{ReverseEchelonModuleGenerators}\relax }{subsection.5.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6.3}\leavevmode {\color  {Chapter }Example: Converting a \texttt  {FpGModuleGF} to block echelon form}}{38}{subsection.5.6.3}}
\newlabel{FPGModuleExample3}{{5.6.3}{38}{\textcolor {Chapter }{Example: Converting a \texttt {FpGModuleGF} to block echelon form}\relax }{subsection.5.6.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}\leavevmode {\color  {Chapter }Sum and intersection functions}}{39}{section.5.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7.1}\leavevmode {\color  {Chapter }DirectSumOfModules}}{39}{subsection.5.7.1}}
\newlabel{DirectSumOfModules:for two modules}{{5.7.1}{39}{\textcolor {Chapter }{DirectSumOfModules}\relax }{subsection.5.7.1}{}}
\newlabel{DirectSumOfModules:for collection of modules}{{5.7.1}{39}{\textcolor {Chapter }{DirectSumOfModules}\relax }{subsection.5.7.1}{}}
\newlabel{DirectSumOfModules:for n copies of the same module}{{5.7.1}{39}{\textcolor {Chapter }{DirectSumOfModules}\relax }{subsection.5.7.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7.2}\leavevmode {\color  {Chapter }DirectDecompositionOfModule}}{39}{subsection.5.7.2}}
\newlabel{DirectDecompositionOfModule}{{5.7.2}{39}{\textcolor {Chapter }{DirectDecompositionOfModule}\relax }{subsection.5.7.2}{}}
\newlabel{DirectDecompositionOfModuleDestructive}{{5.7.2}{39}{\textcolor {Chapter }{DirectDecompositionOfModule}\relax }{subsection.5.7.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7.3}\leavevmode {\color  {Chapter }IntersectionModules}}{40}{subsection.5.7.3}}
\newlabel{IntersectionModules}{{5.7.3}{40}{\textcolor {Chapter }{IntersectionModules}\relax }{subsection.5.7.3}{}}
\newlabel{IntersectionModulesGF}{{5.7.3}{40}{\textcolor {Chapter }{IntersectionModules}\relax }{subsection.5.7.3}{}}
\newlabel{IntersectionModulesGFDestructive}{{5.7.3}{40}{\textcolor {Chapter }{IntersectionModules}\relax }{subsection.5.7.3}{}}
\newlabel{IntersectionModulesGF2}{{5.7.3}{40}{\textcolor {Chapter }{IntersectionModules}\relax }{subsection.5.7.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7.4}\leavevmode {\color  {Chapter }SumModules}}{40}{subsection.5.7.4}}
\newlabel{SumModules}{{5.7.4}{40}{\textcolor {Chapter }{SumModules}\relax }{subsection.5.7.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7.5}\leavevmode {\color  {Chapter }Example: Sum and intersection of \texttt  {FpGModuleGF}s}}{41}{subsection.5.7.5}}
\newlabel{FPGModuleExample4}{{5.7.5}{41}{\textcolor {Chapter }{Example: Sum and intersection of \texttt {FpGModuleGF}s}\relax }{subsection.5.7.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}\leavevmode {\color  {Chapter }Miscellaneous functions}}{42}{section.5.8}}
\newlabel{FpGModuleGFmisc}{{5.8}{42}{\textcolor {Chapter }{Miscellaneous functions}\relax }{section.5.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8.1}\leavevmode {\color  {Chapter }= (for FpGModuleGF)}}{42}{subsection.5.8.1}}
\newlabel{=:for FpGModuleGF}{{5.8.1}{42}{\textcolor {Chapter }{= (for FpGModuleGF)}\relax }{subsection.5.8.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8.2}\leavevmode {\color  {Chapter }IsModuleElement}}{42}{subsection.5.8.2}}
\newlabel{IsModuleElement:for element}{{5.8.2}{42}{\textcolor {Chapter }{IsModuleElement}\relax }{subsection.5.8.2}{}}
\newlabel{IsModuleElement:for collection of elements}{{5.8.2}{42}{\textcolor {Chapter }{IsModuleElement}\relax }{subsection.5.8.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8.3}\leavevmode {\color  {Chapter }IsSubModule}}{42}{subsection.5.8.3}}
\newlabel{IsSubModule}{{5.8.3}{42}{\textcolor {Chapter }{IsSubModule}\relax }{subsection.5.8.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8.4}\leavevmode {\color  {Chapter }RandomElement}}{42}{subsection.5.8.4}}
\newlabel{RandomElement}{{5.8.4}{42}{\textcolor {Chapter }{RandomElement}\relax }{subsection.5.8.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.8.5}\leavevmode {\color  {Chapter }Random Submodule}}{43}{subsection.5.8.5}}
\newlabel{RandomSubmodule}{{5.8.5}{43}{\textcolor {Chapter }{Random Submodule}\relax }{subsection.5.8.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}\leavevmode {\color  {Chapter }$\@mathbb {F}G$-module homomorphisms}}{44}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{FpGModuleGFHom}{{6}{44}{\textcolor {Chapter }{$\mathbb {F}G$-module homomorphisms}\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}\leavevmode {\color  {Chapter }The \texttt  {FpGModuleHomomorphismGF} datatype}}{44}{section.6.1}}
\newlabel{FpGModuleHomGFdatatype}{{6.1}{44}{\textcolor {Chapter }{The \texttt {FpGModuleHomomorphismGF} datatype}\relax }{section.6.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}\leavevmode {\color  {Chapter }Calculating the kernel of a $\@mathbb {F}G$-module homorphism by splitting into two homomorphisms}}{44}{section.6.2}}
\newlabel{FpGModuleHomGFkernel}{{6.2}{44}{\textcolor {Chapter }{Calculating the kernel of a $\mathbb {F}G$-module homorphism by splitting into two homomorphisms}\relax }{section.6.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}\leavevmode {\color  {Chapter }Calculating the kernel of a $\@mathbb {F}G$-module homorphism by column reduction and partitioning}}{45}{section.6.3}}
\newlabel{FpGModuleHomGFkernel2}{{6.3}{45}{\textcolor {Chapter }{Calculating the kernel of a $\mathbb {F}G$-module homorphism by column reduction and partitioning}\relax }{section.6.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}\leavevmode {\color  {Chapter }Construction functions}}{46}{section.6.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\leavevmode {\color  {Chapter }FpGModuleHomomorphismGF construction functions}}{46}{subsection.6.4.1}}
\newlabel{FpGModuleHomomorphismGF}{{6.4.1}{46}{\textcolor {Chapter }{FpGModuleHomomorphismGF construction functions}\relax }{subsection.6.4.1}{}}
\newlabel{FpGModuleHomomorphismGFNC}{{6.4.1}{46}{\textcolor {Chapter }{FpGModuleHomomorphismGF construction functions}\relax }{subsection.6.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\leavevmode {\color  {Chapter }Example: Constructing a \texttt  {FpGModuleHomomorphismGF}}}{46}{subsection.6.4.2}}
\newlabel{FPGModuleHomExample0}{{6.4.2}{46}{\textcolor {Chapter }{Example: Constructing a \texttt {FpGModuleHomomorphismGF}}\relax }{subsection.6.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}\leavevmode {\color  {Chapter }Data access functions}}{47}{section.6.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}\leavevmode {\color  {Chapter }SourceModule}}{47}{subsection.6.5.1}}
\newlabel{SourceModule}{{6.5.1}{47}{\textcolor {Chapter }{SourceModule}\relax }{subsection.6.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}\leavevmode {\color  {Chapter }TargetModule}}{47}{subsection.6.5.2}}
\newlabel{TargetModule}{{6.5.2}{47}{\textcolor {Chapter }{TargetModule}\relax }{subsection.6.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}\leavevmode {\color  {Chapter }ModuleHomomorphismGeneratorMatrix}}{47}{subsection.6.5.3}}
\newlabel{ModuleHomomorphismGeneratorMatrix}{{6.5.3}{47}{\textcolor {Chapter }{ModuleHomomorphismGeneratorMatrix}\relax }{subsection.6.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}\leavevmode {\color  {Chapter }DisplayBlocks (for FpGModuleHomomorphismGF)}}{47}{subsection.6.5.4}}
\newlabel{DisplayBlocks:for FpGModuleHomomorphismGF}{{6.5.4}{47}{\textcolor {Chapter }{DisplayBlocks (for FpGModuleHomomorphismGF)}\relax }{subsection.6.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.5}\leavevmode {\color  {Chapter }DisplayModuleHomomorphismGeneratorMatrix}}{47}{subsection.6.5.5}}
\newlabel{DisplayModuleHomomorphismGeneratorMatrix}{{6.5.5}{47}{\textcolor {Chapter }{DisplayModuleHomomorphismGeneratorMatrix}\relax }{subsection.6.5.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.6}\leavevmode {\color  {Chapter }DisplayModuleHomomorphismGeneratorMatrixBlocks}}{47}{subsection.6.5.6}}
\newlabel{DisplayModuleHomomorphismGeneratorMatrixBlocks}{{6.5.6}{47}{\textcolor {Chapter }{DisplayModuleHomomorphismGeneratorMatrixBlocks}\relax }{subsection.6.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.7}\leavevmode {\color  {Chapter }Example: Accessing data about a \texttt  {FpGModuleHomomorphismGF}}}{48}{subsection.6.5.7}}
\newlabel{FPGModuleHomExample1}{{6.5.7}{48}{\textcolor {Chapter }{Example: Accessing data about a \texttt {FpGModuleHomomorphismGF}}\relax }{subsection.6.5.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}\leavevmode {\color  {Chapter }Image and kernel functions}}{49}{section.6.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.1}\leavevmode {\color  {Chapter }ImageOfModuleHomomorphism}}{49}{subsection.6.6.1}}
\newlabel{ImageOfModuleHomomorphism:image of homomorphism}{{6.6.1}{49}{\textcolor {Chapter }{ImageOfModuleHomomorphism}\relax }{subsection.6.6.1}{}}
\newlabel{ImageOfModuleHomomorphism:of module}{{6.6.1}{49}{\textcolor {Chapter }{ImageOfModuleHomomorphism}\relax }{subsection.6.6.1}{}}
\newlabel{ImageOfModuleHomomorphism:of element}{{6.6.1}{49}{\textcolor {Chapter }{ImageOfModuleHomomorphism}\relax }{subsection.6.6.1}{}}
\newlabel{ImageOfModuleHomomorphism:of collections of elements}{{6.6.1}{49}{\textcolor {Chapter }{ImageOfModuleHomomorphism}\relax }{subsection.6.6.1}{}}
\newlabel{ImageOfModuleHomomorphismDestructive:of element}{{6.6.1}{49}{\textcolor {Chapter }{ImageOfModuleHomomorphism}\relax }{subsection.6.6.1}{}}
\newlabel{ImageOfModuleHomomorphismDestructive:of collection of elements}{{6.6.1}{49}{\textcolor {Chapter }{ImageOfModuleHomomorphism}\relax }{subsection.6.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.2}\leavevmode {\color  {Chapter }PreImageRepresentativeOfModuleHomomorphism}}{49}{subsection.6.6.2}}
\newlabel{PreImageRepresentativeOfModuleHomomorphism:for element}{{6.6.2}{49}{\textcolor {Chapter }{PreImageRepresentativeOfModuleHomomorphism}\relax }{subsection.6.6.2}{}}
\newlabel{PreImageRepresentativeOfModuleHomomorphism:for collection of elements}{{6.6.2}{49}{\textcolor {Chapter }{PreImageRepresentativeOfModuleHomomorphism}\relax }{subsection.6.6.2}{}}
\newlabel{PreImageRepresentativeOfModuleHomomorphism:for module}{{6.6.2}{49}{\textcolor {Chapter }{PreImageRepresentativeOfModuleHomomorphism}\relax }{subsection.6.6.2}{}}
\newlabel{PreImageRepresentativeOfModuleHomomorphismGF:for element}{{6.6.2}{49}{\textcolor {Chapter }{PreImageRepresentativeOfModuleHomomorphism}\relax }{subsection.6.6.2}{}}
\newlabel{PreImageRepresentativeOfModuleHomomorphismGF:for collection of elements}{{6.6.2}{49}{\textcolor {Chapter }{PreImageRepresentativeOfModuleHomomorphism}\relax }{subsection.6.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.3}\leavevmode {\color  {Chapter }KernelOfModuleHomomorphism}}{49}{subsection.6.6.3}}
\newlabel{KernelOfModuleHomomorphism}{{6.6.3}{49}{\textcolor {Chapter }{KernelOfModuleHomomorphism}\relax }{subsection.6.6.3}{}}
\newlabel{KernelOfModuleHomomorphismSplit}{{6.6.3}{49}{\textcolor {Chapter }{KernelOfModuleHomomorphism}\relax }{subsection.6.6.3}{}}
\newlabel{KernelOfModuleHomomorphismIndependentSplit}{{6.6.3}{50}{\textcolor {Chapter }{KernelOfModuleHomomorphism}\relax }{subsection.6.6.3}{}}
\newlabel{KernelOfModuleHomomorphismGF}{{6.6.3}{50}{\textcolor {Chapter }{KernelOfModuleHomomorphism}\relax }{subsection.6.6.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.4}\leavevmode {\color  {Chapter }Example: Kernel and Image of a \texttt  {FpGModuleHomomorphismGF}}}{50}{subsection.6.6.4}}
\newlabel{FPGModuleHomExample2}{{6.6.4}{50}{\textcolor {Chapter }{Example: Kernel and Image of a \texttt {FpGModuleHomomorphismGF}}\relax }{subsection.6.6.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}\leavevmode {\color  {Chapter }Ring homomorphisms}}{52}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{RingHomomorphism}{{7}{52}{\textcolor {Chapter }{Ring homomorphisms}\relax }{chapter.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}\leavevmode {\color  {Chapter }The \texttt  {HAPRingHomomorphism} datatype}}{52}{section.7.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}\leavevmode {\color  {Chapter }Implementation details}}{52}{subsection.7.1.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}\leavevmode {\color  {Chapter }Elimination orderings}}{53}{subsection.7.1.2}}
\newlabel{RingHomEliminationOrdering}{{7.1.2}{53}{\textcolor {Chapter }{Elimination orderings}\relax }{subsection.7.1.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}\leavevmode {\color  {Chapter }Construction functions}}{54}{section.7.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}\leavevmode {\color  {Chapter }HAPRingToSubringHomomorphism}}{54}{subsection.7.2.1}}
\newlabel{HAPRingToSubringHomomorphism}{{7.2.1}{54}{\textcolor {Chapter }{HAPRingToSubringHomomorphism}\relax }{subsection.7.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}\leavevmode {\color  {Chapter }HAPSubringToRingHomomorphism}}{54}{subsection.7.2.2}}
\newlabel{HAPSubringToRingHomomorphism:for relations defined at source}{{7.2.2}{54}{\textcolor {Chapter }{HAPSubringToRingHomomorphism}\relax }{subsection.7.2.2}{}}
\newlabel{HAPSubringToRingHomomorphism:for relations defined at image}{{7.2.2}{54}{\textcolor {Chapter }{HAPSubringToRingHomomorphism}\relax }{subsection.7.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}\leavevmode {\color  {Chapter }HAPRingHomomorphismByIndeterminateMap}}{54}{subsection.7.2.3}}
\newlabel{HAPRingHomomorphismByIndeterminateMap}{{7.2.3}{54}{\textcolor {Chapter }{HAPRingHomomorphismByIndeterminateMap}\relax }{subsection.7.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.4}\leavevmode {\color  {Chapter }HAPRingReductionHomomorphism (for ring presentation)}}{54}{subsection.7.2.4}}
\newlabel{HAPRingReductionHomomorphism:for ring presentation}{{7.2.4}{54}{\textcolor {Chapter }{HAPRingReductionHomomorphism (for ring presentation)}\relax }{subsection.7.2.4}{}}
\newlabel{HAPRingReductionHomomorphism:for image of ring homomorphism}{{7.2.4}{54}{\textcolor {Chapter }{HAPRingReductionHomomorphism (for ring presentation)}\relax }{subsection.7.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.5}\leavevmode {\color  {Chapter }HAPZeroRingHomomorphism}}{55}{subsection.7.2.5}}
\newlabel{HAPZeroRingHomomorphism}{{7.2.5}{55}{\textcolor {Chapter }{HAPZeroRingHomomorphism}\relax }{subsection.7.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.6}\leavevmode {\color  {Chapter }InverseRingHomomorphism}}{55}{subsection.7.2.6}}
\newlabel{InverseRingHomomorphism}{{7.2.6}{55}{\textcolor {Chapter }{InverseRingHomomorphism}\relax }{subsection.7.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.7}\leavevmode {\color  {Chapter }CompositionRingHomomorphism}}{55}{subsection.7.2.7}}
\newlabel{CompositionRingHomomorphism}{{7.2.7}{55}{\textcolor {Chapter }{CompositionRingHomomorphism}\relax }{subsection.7.2.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}\leavevmode {\color  {Chapter }Data access functions}}{55}{section.7.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}\leavevmode {\color  {Chapter }SourceGenerators}}{55}{subsection.7.3.1}}
\newlabel{SourceGenerators}{{7.3.1}{55}{\textcolor {Chapter }{SourceGenerators}\relax }{subsection.7.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}\leavevmode {\color  {Chapter }SourceRelations}}{55}{subsection.7.3.2}}
\newlabel{SourceRelations}{{7.3.2}{55}{\textcolor {Chapter }{SourceRelations}\relax }{subsection.7.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.3}\leavevmode {\color  {Chapter }SourcePolynomialRing}}{55}{subsection.7.3.3}}
\newlabel{SourcePolynomialRing}{{7.3.3}{55}{\textcolor {Chapter }{SourcePolynomialRing}\relax }{subsection.7.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.4}\leavevmode {\color  {Chapter }ImageGenerators}}{56}{subsection.7.3.4}}
\newlabel{ImageGenerators}{{7.3.4}{56}{\textcolor {Chapter }{ImageGenerators}\relax }{subsection.7.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.5}\leavevmode {\color  {Chapter }ImageRelations}}{56}{subsection.7.3.5}}
\newlabel{ImageRelations}{{7.3.5}{56}{\textcolor {Chapter }{ImageRelations}\relax }{subsection.7.3.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.6}\leavevmode {\color  {Chapter }ImagePolynomialRing}}{56}{subsection.7.3.6}}
\newlabel{ImagePolynomialRing}{{7.3.6}{56}{\textcolor {Chapter }{ImagePolynomialRing}\relax }{subsection.7.3.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}\leavevmode {\color  {Chapter }General functions}}{56}{section.7.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.1}\leavevmode {\color  {Chapter }ImageOfRingHomomorphism}}{56}{subsection.7.4.1}}
\newlabel{ImageOfRingHomomorphism:for one polynomial}{{7.4.1}{56}{\textcolor {Chapter }{ImageOfRingHomomorphism}\relax }{subsection.7.4.1}{}}
\newlabel{ImageOfRingHomomorphism:for collection of polynomials}{{7.4.1}{56}{\textcolor {Chapter }{ImageOfRingHomomorphism}\relax }{subsection.7.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.2}\leavevmode {\color  {Chapter }PreimageOfRingHomomorphism}}{56}{subsection.7.4.2}}
\newlabel{PreimageOfRingHomomorphism:for one polynomial}{{7.4.2}{56}{\textcolor {Chapter }{PreimageOfRingHomomorphism}\relax }{subsection.7.4.2}{}}
\newlabel{PreimageOfRingHomomorphism:for collection of polynomials}{{7.4.2}{56}{\textcolor {Chapter }{PreimageOfRingHomomorphism}\relax }{subsection.7.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}\leavevmode {\color  {Chapter }Example: Constructing and using a \texttt  {HAPRingHomomorphism}}}{56}{section.7.5}}
\newlabel{RingHomomorphismExample}{{7.5}{56}{\textcolor {Chapter }{Example: Constructing and using a \texttt {HAPRingHomomorphism}}\relax }{section.7.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}\leavevmode {\color  {Chapter }Derivations}}{59}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Derivation}{{8}{59}{\textcolor {Chapter }{Derivations}\relax }{chapter.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}\leavevmode {\color  {Chapter }The \texttt  {HAPDerivation} datatype}}{59}{section.8.1}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}\leavevmode {\color  {Chapter }Computing the kernel and homology of a derivation}}{59}{section.8.2}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}\leavevmode {\color  {Chapter }Construction function}}{60}{section.8.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}\leavevmode {\color  {Chapter }HAPDerivation construction functions}}{60}{subsection.8.3.1}}
\newlabel{HAPDerivationConstructors}{{8.3.1}{60}{\textcolor {Chapter }{HAPDerivation construction functions}\relax }{subsection.8.3.1}{}}
\newlabel{HAPDerivation}{{8.3.1}{60}{\textcolor {Chapter }{HAPDerivation construction functions}\relax }{subsection.8.3.1}{}}
\newlabel{HAPDerivationNC}{{8.3.1}{60}{\textcolor {Chapter }{HAPDerivation construction functions}\relax }{subsection.8.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.4}\leavevmode {\color  {Chapter }Data access function}}{60}{section.8.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4.1}\leavevmode {\color  {Chapter }DerivationRing}}{60}{subsection.8.4.1}}
\newlabel{DerivationRing}{{8.4.1}{60}{\textcolor {Chapter }{DerivationRing}\relax }{subsection.8.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4.2}\leavevmode {\color  {Chapter }DerivationImages}}{61}{subsection.8.4.2}}
\newlabel{DerivationImages}{{8.4.2}{61}{\textcolor {Chapter }{DerivationImages}\relax }{subsection.8.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4.3}\leavevmode {\color  {Chapter }DerivationRelations}}{61}{subsection.8.4.3}}
\newlabel{DerivationRelations}{{8.4.3}{61}{\textcolor {Chapter }{DerivationRelations}\relax }{subsection.8.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4.4}\leavevmode {\color  {Chapter }Example: Constructing and accessing data of a \texttt  {HAPDerivation}}}{61}{subsection.8.4.4}}
\newlabel{DerivationExample1}{{8.4.4}{61}{\textcolor {Chapter }{Example: Constructing and accessing data of a \texttt {HAPDerivation}}\relax }{subsection.8.4.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.5}\leavevmode {\color  {Chapter }Image, kernel and homology functions}}{61}{section.8.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5.1}\leavevmode {\color  {Chapter }ImageOfDerivation}}{61}{subsection.8.5.1}}
\newlabel{ImageOfDerivation}{{8.5.1}{61}{\textcolor {Chapter }{ImageOfDerivation}\relax }{subsection.8.5.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5.2}\leavevmode {\color  {Chapter }KernelOfDerivation}}{61}{subsection.8.5.2}}
\newlabel{KernelOfDerivation}{{8.5.2}{61}{\textcolor {Chapter }{KernelOfDerivation}\relax }{subsection.8.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5.3}\leavevmode {\color  {Chapter }HomologyOfDerivation}}{62}{subsection.8.5.3}}
\newlabel{HomologyOfDerivation}{{8.5.3}{62}{\textcolor {Chapter }{HomologyOfDerivation}\relax }{subsection.8.5.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.5.4}\leavevmode {\color  {Chapter }Example: Homology of a \texttt  {HAPDerivation}}}{62}{subsection.8.5.4}}
\newlabel{DerivationExample3}{{8.5.4}{62}{\textcolor {Chapter }{Example: Homology of a \texttt {HAPDerivation}}\relax }{subsection.8.5.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}\leavevmode {\color  {Chapter }Poincar{\'e} series}}{64}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Poincare}{{9}{64}{\textcolor {Chapter }{Poincar{\a 'e} series}\relax }{chapter.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}\leavevmode {\color  {Chapter }Computing the Poincar{\'e} series using spectral sequences}}{64}{section.9.1}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}\leavevmode {\color  {Chapter }Computing the Poincar{\'e} series using a minimal resolution}}{64}{section.9.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}\leavevmode {\color  {Chapter }PoincareSeriesAutoMem}}{65}{subsection.9.2.1}}
\newlabel{PoincareSeriesAutoMem}{{9.2.1}{65}{\textcolor {Chapter }{PoincareSeriesAutoMem}\relax }{subsection.9.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.3}\leavevmode {\color  {Chapter }Example Poincar{\'e} series computations}}{65}{section.9.3}}
\newlabel{PoincareExample}{{9.3}{65}{\textcolor {Chapter }{Example Poincar{\a 'e} series computations}\relax }{section.9.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.4}\leavevmode {\color  {Chapter }The Poincar{\'e} series of groups of order 64 and 128}}{66}{section.9.4}}
\@writefile{toc}{\contentsline {chapter}{\numberline {10}\leavevmode {\color  {Chapter }General Functions}}{67}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{GeneralFunctions}{{10}{67}{\textcolor {Chapter }{General Functions}\relax }{chapter.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.1}\leavevmode {\color  {Chapter }Matrices}}{67}{section.10.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.1}\leavevmode {\color  {Chapter }SumIntersectionMatDestructive}}{67}{subsection.10.1.1}}
\newlabel{SumIntersectionMatDestructive}{{10.1.1}{67}{\textcolor {Chapter }{SumIntersectionMatDestructive}\relax }{subsection.10.1.1}{}}
\newlabel{SumIntersectionMatDestructiveSE}{{10.1.1}{67}{\textcolor {Chapter }{SumIntersectionMatDestructive}\relax }{subsection.10.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.2}\leavevmode {\color  {Chapter }SolutionMat (for multiple vectors)}}{68}{subsection.10.1.2}}
\newlabel{SolutionMat:for multiple vectors}{{10.1.2}{68}{\textcolor {Chapter }{SolutionMat (for multiple vectors)}\relax }{subsection.10.1.2}{}}
\newlabel{SolutionMatDestructive:for multiple vectors}{{10.1.2}{68}{\textcolor {Chapter }{SolutionMat (for multiple vectors)}\relax }{subsection.10.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.3}\leavevmode {\color  {Chapter }IsSameSubspace}}{68}{subsection.10.1.3}}
\newlabel{IsSameSubspace}{{10.1.3}{68}{\textcolor {Chapter }{IsSameSubspace}\relax }{subsection.10.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.4}\leavevmode {\color  {Chapter }PrintDimensionsMat}}{68}{subsection.10.1.4}}
\newlabel{PrintDimensionsMat}{{10.1.4}{68}{\textcolor {Chapter }{PrintDimensionsMat}\relax }{subsection.10.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.1.5}\leavevmode {\color  {Chapter }Example: matrices and vector spaces}}{68}{subsection.10.1.5}}
\@writefile{toc}{\contentsline {section}{\numberline {10.2}\leavevmode {\color  {Chapter }Polynomials}}{69}{section.10.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.1}\leavevmode {\color  {Chapter }TermsOfPolynomial}}{69}{subsection.10.2.1}}
\newlabel{TermsOfPolynomial}{{10.2.1}{69}{\textcolor {Chapter }{TermsOfPolynomial}\relax }{subsection.10.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.2}\leavevmode {\color  {Chapter }IsMonomial (for polynomial)}}{69}{subsection.10.2.2}}
\newlabel{IsMonomial:for polynomial}{{10.2.2}{69}{\textcolor {Chapter }{IsMonomial (for polynomial)}\relax }{subsection.10.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.3}\leavevmode {\color  {Chapter }UnivariateMonomialsOfMonomial}}{69}{subsection.10.2.3}}
\newlabel{UnivariateMonomialsOfMonomial}{{10.2.3}{69}{\textcolor {Chapter }{UnivariateMonomialsOfMonomial}\relax }{subsection.10.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.4}\leavevmode {\color  {Chapter }IndeterminateAndExponentOfUnivariateMonomial}}{69}{subsection.10.2.4}}
\newlabel{IndeterminateAndExponentOfUnivariateMonomial}{{10.2.4}{69}{\textcolor {Chapter }{IndeterminateAndExponentOfUnivariateMonomial}\relax }{subsection.10.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.5}\leavevmode {\color  {Chapter }IndeterminatesOfPolynomial}}{69}{subsection.10.2.5}}
\newlabel{IndeterminatesOfPolynomial}{{10.2.5}{69}{\textcolor {Chapter }{IndeterminatesOfPolynomial}\relax }{subsection.10.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.6}\leavevmode {\color  {Chapter }ReduceIdeal}}{69}{subsection.10.2.6}}
\newlabel{ReduceIdeal:for Ideal}{{10.2.6}{69}{\textcolor {Chapter }{ReduceIdeal}\relax }{subsection.10.2.6}{}}
\newlabel{ReduceIdeal:for list of relations}{{10.2.6}{69}{\textcolor {Chapter }{ReduceIdeal}\relax }{subsection.10.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.7}\leavevmode {\color  {Chapter }ReducedPolynomialRingPresentation}}{70}{subsection.10.2.7}}
\newlabel{ReducedPolynomialRingPresentation}{{10.2.7}{70}{\textcolor {Chapter }{ReducedPolynomialRingPresentation}\relax }{subsection.10.2.7}{}}
\newlabel{ReducedPolynomialRingPresentationMap}{{10.2.7}{70}{\textcolor {Chapter }{ReducedPolynomialRingPresentation}\relax }{subsection.10.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.2.8}\leavevmode {\color  {Chapter }Example: monomials, polynomials and ring presentations}}{70}{subsection.10.2.8}}
\@writefile{toc}{\contentsline {section}{\numberline {10.3}\leavevmode {\color  {Chapter }Singular}}{71}{section.10.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.1}\leavevmode {\color  {Chapter }SingularSetNormalFormIdeal}}{71}{subsection.10.3.1}}
\newlabel{SingularSetNormalFormIdeal}{{10.3.1}{71}{\textcolor {Chapter }{SingularSetNormalFormIdeal}\relax }{subsection.10.3.1}{}}
\newlabel{SingularSetNormalFormIdealNC}{{10.3.1}{71}{\textcolor {Chapter }{SingularSetNormalFormIdeal}\relax }{subsection.10.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.2}\leavevmode {\color  {Chapter }SingularPolynomialNormalForm}}{71}{subsection.10.3.2}}
\newlabel{SingularPolynomialNormalForm}{{10.3.2}{71}{\textcolor {Chapter }{SingularPolynomialNormalForm}\relax }{subsection.10.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.3}\leavevmode {\color  {Chapter }SingularGroebnerBasis}}{71}{subsection.10.3.3}}
\newlabel{SingularGroebnerBasis}{{10.3.3}{71}{\textcolor {Chapter }{SingularGroebnerBasis}\relax }{subsection.10.3.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.4}\leavevmode {\color  {Chapter }SingularReducedGroebnerBasis}}{72}{subsection.10.3.4}}
\newlabel{SingularReducedGroebnerBasis}{{10.3.4}{72}{\textcolor {Chapter }{SingularReducedGroebnerBasis}\relax }{subsection.10.3.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.4}\leavevmode {\color  {Chapter }Groups}}{72}{section.10.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.1}\leavevmode {\color  {Chapter }HallSeniorNumber}}{72}{subsection.10.4.1}}
\newlabel{HallSeniorNumber:for SmallGroup library ref}{{10.4.1}{72}{\textcolor {Chapter }{HallSeniorNumber}\relax }{subsection.10.4.1}{}}
\newlabel{HallSeniorNumber:for group}{{10.4.1}{72}{\textcolor {Chapter }{HallSeniorNumber}\relax }{subsection.10.4.1}{}}
