\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{BrHu}
\citation{BrSa}
\citation{anne-thesis}
\citation{HeWe1}
\citation{anne-thesis}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color  {Chapter }Introduction}}{5}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{intro}{{1}{5}{\textcolor {Chapter }{Introduction}\relax }{chapter.1}{}}
\@writefile{brf}{\backcite{BrHu}{{5}{1}{chapter.1}}}
\@writefile{brf}{\backcite{BrSa}{{5}{1}{chapter.1}}}
\@writefile{brf}{\backcite{anne-thesis}{{5}{1}{chapter.1}}}
\@writefile{brf}{\backcite{HeWe1}{{5}{1}{chapter.1}}}
\@writefile{brf}{\backcite{anne-thesis}{{5}{1}{chapter.1}}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color  {Chapter }Rewriting Systems}}{6}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-rws}{{2}{6}{\textcolor {Chapter }{Rewriting Systems}\relax }{chapter.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color  {Chapter }Identity Y-sequences}}{6}{section.2.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color  {Chapter }Monoid Presentations of FpGroups}}{7}{section.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color  {Chapter }FreeRelatorGroup}}{7}{subsection.2.2.1}}
\newlabel{FreeRelatorGroup}{{2.2.1}{7}{\textcolor {Chapter }{FreeRelatorGroup}\relax }{subsection.2.2.1}{}}
\newlabel{FreeRelatorHomomorphism}{{2.2.1}{7}{\textcolor {Chapter }{FreeRelatorGroup}\relax }{subsection.2.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color  {Chapter }MonoidPresentationFpGroup}}{7}{subsection.2.2.2}}
\newlabel{MonoidPresentationFpGroup}{{2.2.2}{7}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}}
\newlabel{FreeGroupOfPresentation}{{2.2.2}{7}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}}
\newlabel{GroupRelatorsOfPresentation}{{2.2.2}{7}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}}
\newlabel{InverseRelatorsOfPresentation}{{2.2.2}{7}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}}
\newlabel{HomomorphismOfPresentation}{{2.2.2}{7}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color  {Chapter }Rewriting systems for FpGroups}}{8}{section.2.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color  {Chapter }RewritingSystemFpGroup}}{8}{subsection.2.3.1}}
\newlabel{RewritingSystemFpGroup}{{2.3.1}{8}{\textcolor {Chapter }{RewritingSystemFpGroup}\relax }{subsection.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color  {Chapter }OnePassReduceWord}}{9}{subsection.2.3.2}}
\newlabel{OnePassReduceWord}{{2.3.2}{9}{\textcolor {Chapter }{OnePassReduceWord}\relax }{subsection.2.3.2}{}}
\newlabel{ReduceWordKB}{{2.3.2}{9}{\textcolor {Chapter }{OnePassReduceWord}\relax }{subsection.2.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.3}\leavevmode {\color  {Chapter }OnePassKB}}{10}{subsection.2.3.3}}
\newlabel{OnePassKB}{{2.3.3}{10}{\textcolor {Chapter }{OnePassKB}\relax }{subsection.2.3.3}{}}
\newlabel{RewriteReduce}{{2.3.3}{10}{\textcolor {Chapter }{OnePassKB}\relax }{subsection.2.3.3}{}}
\newlabel{KnuthBendix}{{2.3.3}{10}{\textcolor {Chapter }{OnePassKB}\relax }{subsection.2.3.3}{}}
\newlabel{ShorterRule}{{2.3.3}{10}{\textcolor {Chapter }{OnePassKB}\relax }{subsection.2.3.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color  {Chapter }Enumerating elements}}{11}{section.2.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color  {Chapter }ElementsOfMonoidPresentation}}{11}{subsection.2.4.1}}
\newlabel{ElementsOfMonoidPresentation}{{2.4.1}{11}{\textcolor {Chapter }{ElementsOfMonoidPresentation}\relax }{subsection.2.4.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color  {Chapter }Logged Rewriting Systems}}{12}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-rws}{{3}{12}{\textcolor {Chapter }{Logged Rewriting Systems}\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color  {Chapter }Logged Knuth-Bendix Completion}}{12}{section.3.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color  {Chapter }LoggedOnePassKB}}{12}{subsection.3.1.1}}
\newlabel{LoggedOnePassKB}{{3.1.1}{12}{\textcolor {Chapter }{LoggedOnePassKB}\relax }{subsection.3.1.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color  {Chapter }LoggedKnuthBendix}}{13}{subsection.3.1.2}}
\newlabel{LoggedKnuthBendix}{{3.1.2}{13}{\textcolor {Chapter }{LoggedKnuthBendix}\relax }{subsection.3.1.2}{}}
\newlabel{LoggedRewriteReduce}{{3.1.2}{13}{\textcolor {Chapter }{LoggedKnuthBendix}\relax }{subsection.3.1.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}\leavevmode {\color  {Chapter }Logged reduction of a word}}{14}{section.3.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}\leavevmode {\color  {Chapter }LoggedReduceWordKB}}{14}{subsection.3.2.1}}
\newlabel{LoggedReduceWordKB}{{3.2.1}{14}{\textcolor {Chapter }{LoggedReduceWordKB}\relax }{subsection.3.2.1}{}}
\newlabel{LoggedOnePassReduceWord}{{3.2.1}{14}{\textcolor {Chapter }{LoggedReduceWordKB}\relax }{subsection.3.2.1}{}}
\newlabel{ShorterLoggedRule}{{3.2.1}{14}{\textcolor {Chapter }{LoggedReduceWordKB}\relax }{subsection.3.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}\leavevmode {\color  {Chapter }LoggedRewritingSystemFpGroup}}{15}{subsection.3.2.2}}
\newlabel{LoggedRewritingSystemFpGroup}{{3.2.2}{15}{\textcolor {Chapter }{LoggedRewritingSystemFpGroup}\relax }{subsection.3.2.2}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}\leavevmode {\color  {Chapter }Monoid Polynomials}}{16}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-rws}{{4}{16}{\textcolor {Chapter }{Monoid Polynomials}\relax }{chapter.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}\leavevmode {\color  {Chapter }Construction of monoid polynomials}}{16}{section.4.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}\leavevmode {\color  {Chapter }MonoidPolyFromCoeffsWords}}{16}{subsection.4.1.1}}
\newlabel{MonoidPolyFromCoeffsWords}{{4.1.1}{16}{\textcolor {Chapter }{MonoidPolyFromCoeffsWords}\relax }{subsection.4.1.1}{}}
\newlabel{MonoidPoly}{{4.1.1}{16}{\textcolor {Chapter }{MonoidPolyFromCoeffsWords}\relax }{subsection.4.1.1}{}}
\newlabel{ZeroMonoidPoly}{{4.1.1}{16}{\textcolor {Chapter }{MonoidPolyFromCoeffsWords}\relax }{subsection.4.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}\leavevmode {\color  {Chapter }Components of a polynomial}}{17}{section.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}\leavevmode {\color  {Chapter }Terms}}{17}{subsection.4.2.1}}
\newlabel{Terms}{{4.2.1}{17}{\textcolor {Chapter }{Terms}\relax }{subsection.4.2.1}{}}
\newlabel{Coeffs}{{4.2.1}{17}{\textcolor {Chapter }{Terms}\relax }{subsection.4.2.1}{}}
\newlabel{Words}{{4.2.1}{17}{\textcolor {Chapter }{Terms}\relax }{subsection.4.2.1}{}}
\newlabel{LeadTerm}{{4.2.1}{17}{\textcolor {Chapter }{Terms}\relax }{subsection.4.2.1}{}}
\newlabel{LeadCoeffMonoidPoly}{{4.2.1}{17}{\textcolor {Chapter }{Terms}\relax }{subsection.4.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}\leavevmode {\color  {Chapter }Monic}}{17}{subsection.4.2.2}}
\newlabel{Monic}{{4.2.2}{17}{\textcolor {Chapter }{Monic}\relax }{subsection.4.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}\leavevmode {\color  {Chapter }AddTermMonoidPoly}}{18}{subsection.4.2.3}}
\newlabel{AddTermMonoidPoly}{{4.2.3}{18}{\textcolor {Chapter }{AddTermMonoidPoly}\relax }{subsection.4.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}\leavevmode {\color  {Chapter }Monoid Polynomial Operations}}{18}{section.4.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}\leavevmode {\color  {Chapter }Length}}{19}{subsection.4.3.1}}
\newlabel{Length}{{4.3.1}{19}{\textcolor {Chapter }{Length}\relax }{subsection.4.3.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}\leavevmode {\color  {Chapter }Reduction of a Monoid Polynomial}}{19}{section.4.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}\leavevmode {\color  {Chapter }ReduceMonoidPoly}}{19}{subsection.4.4.1}}
\newlabel{ReduceMonoidPoly}{{4.4.1}{19}{\textcolor {Chapter }{ReduceMonoidPoly}\relax }{subsection.4.4.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}\leavevmode {\color  {Chapter }Module Polynomials}}{21}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap-rws}{{5}{21}{\textcolor {Chapter }{Module Polynomials}\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color  {Chapter }Construction of module polynomials}}{21}{section.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color  {Chapter }ModulePoly}}{21}{subsection.5.1.1}}
\newlabel{ModulePoly}{{5.1.1}{21}{\textcolor {Chapter }{ModulePoly}\relax }{subsection.5.1.1}{}}
\newlabel{ModulePoly}{{5.1.1}{21}{\textcolor {Chapter }{ModulePoly}\relax }{subsection.5.1.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color  {Chapter }Components of a module polynomial}}{22}{section.5.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color  {Chapter }Terms}}{22}{subsection.5.2.1}}
\newlabel{Terms}{{5.2.1}{22}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}}
\newlabel{LeadTerm}{{5.2.1}{22}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}}
\newlabel{LeadMonoidPoly}{{5.2.1}{22}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}}
\newlabel{One}{{5.2.1}{22}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}}
\newlabel{Length}{{5.2.1}{22}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}\leavevmode {\color  {Chapter }ZeroModulePoly}}{23}{subsection.5.2.2}}
\newlabel{ZeroModulePoly}{{5.2.2}{23}{\textcolor {Chapter }{ZeroModulePoly}\relax }{subsection.5.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}\leavevmode {\color  {Chapter }AddTermModulePoly}}{23}{subsection.5.2.3}}
\newlabel{AddTermModulePoly}{{5.2.3}{23}{\textcolor {Chapter }{AddTermModulePoly}\relax }{subsection.5.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}\leavevmode {\color  {Chapter }Module Polynomial Operations}}{23}{section.5.3}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}\leavevmode {\color  {Chapter }Identities among relators}}{24}{section.5.4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}\leavevmode {\color  {Chapter }IdentitiesAmongRelators}}{24}{subsection.5.4.1}}
\newlabel{IdentitiesAmongRelators}{{5.4.1}{24}{\textcolor {Chapter }{IdentitiesAmongRelators}\relax }{subsection.5.4.1}{}}
\bibstyle{alpha}
\bibdata{manual}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}\leavevmode {\color  {Chapter }RootIdentities}}{25}{subsection.5.4.2}}
\newlabel{RootIdentities}{{5.4.2}{25}{\textcolor {Chapter }{RootIdentities}\relax }{subsection.5.4.2}{}}
\bibcite{BrHu}{BH82}
\bibcite{BrSa}{BRS99}
\bibcite{anne-thesis}{Hey99}
\bibcite{HeWe1}{HW03}
