\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}}{8}{subsection.2.2.2}} \newlabel{MonoidPresentationFpGroup}{{2.2.2}{8}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}} \newlabel{FreeGroupOfPresentation}{{2.2.2}{8}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}} \newlabel{GroupRelatorsOfPresentation}{{2.2.2}{8}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}} \newlabel{InverseRelatorsOfPresentation}{{2.2.2}{8}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}} \newlabel{HomomorphismOfPresentation}{{2.2.2}{8}{\textcolor {Chapter }{MonoidPresentationFpGroup}\relax }{subsection.2.2.2}{}} \@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color {Chapter }Rewriting systems for FpGroups}}{9}{section.2.3}} \@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color {Chapter }RewritingSystemFpGroup}}{9}{subsection.2.3.1}} \newlabel{RewritingSystemFpGroup}{{2.3.1}{9}{\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-logrws}{{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-monpoly}{{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}}{17}{subsection.4.2.3}} \newlabel{AddTermMonoidPoly}{{4.2.3}{17}{\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}}{18}{subsection.4.3.1}} \newlabel{Length}{{4.3.1}{18}{\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}}{20}{chapter.5}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{chap-modpoly}{{5}{20}{\textcolor {Chapter }{Module Polynomials}\relax }{chapter.5}{}} \@writefile{toc}{\contentsline {section}{\numberline {5.1}\leavevmode {\color {Chapter }Construction of module polynomials}}{20}{section.5.1}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}\leavevmode {\color {Chapter }ModulePoly}}{20}{subsection.5.1.1}} \newlabel{ModulePoly}{{5.1.1}{20}{\textcolor {Chapter }{ModulePoly}\relax }{subsection.5.1.1}{}} \newlabel{ModulePoly}{{5.1.1}{20}{\textcolor {Chapter }{ModulePoly}\relax }{subsection.5.1.1}{}} \newlabel{ZeroModulePoly}{{5.1.1}{20}{\textcolor {Chapter }{ModulePoly}\relax }{subsection.5.1.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {5.2}\leavevmode {\color {Chapter }Components of a module polynomial}}{21}{section.5.2}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}\leavevmode {\color {Chapter }Terms}}{21}{subsection.5.2.1}} \newlabel{Terms}{{5.2.1}{21}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}} \newlabel{LeadTerm}{{5.2.1}{21}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}} \newlabel{LeadMonoidPoly}{{5.2.1}{21}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}} \newlabel{One}{{5.2.1}{21}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}} \newlabel{Length}{{5.2.1}{21}{\textcolor {Chapter }{Terms}\relax }{subsection.5.2.1}{}} \citation{HeWe1} \citation{BrSa} \citation{HeWe1} \@writefile{toc}{\contentsline {section}{\numberline {5.3}\leavevmode {\color {Chapter }Module Polynomial Operations}}{22}{section.5.3}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.3.1}\leavevmode {\color {Chapter }AddTermModulePoly}}{22}{subsection.5.3.1}} \newlabel{AddTermModulePoly}{{5.3.1}{22}{\textcolor {Chapter }{AddTermModulePoly}\relax }{subsection.5.3.1}{}} \@writefile{toc}{\contentsline {section}{\numberline {5.4}\leavevmode {\color {Chapter }Identities among relators}}{22}{section.5.4}} \@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}\leavevmode {\color {Chapter }IdentityYSequences}}{22}{subsection.5.4.1}} \newlabel{IdentityYSequences}{{5.4.1}{22}{\textcolor {Chapter }{IdentityYSequences}\relax }{subsection.5.4.1}{}} \newlabel{IdentityModulePolynomials}{{5.4.1}{22}{\textcolor {Chapter }{IdentityYSequences}\relax }{subsection.5.4.1}{}} \newlabel{IdentitiesAmongRelators}{{5.4.1}{22}{\textcolor {Chapter }{IdentityYSequences}\relax }{subsection.5.4.1}{}} \@writefile{brf}{\backcite{HeWe1}{{22}{5.4.1}{subsection.5.4.1}}} \@writefile{brf}{\backcite{BrSa}{{22}{5.4.1}{subsection.5.4.1}}} \@writefile{brf}{\backcite{HeWe1}{{22}{5.4.1}{subsection.5.4.1}}} \bibstyle{alpha} \bibdata{manual} \@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}\leavevmode {\color {Chapter }RootIdentities}}{23}{subsection.5.4.2}} \newlabel{RootIdentities}{{5.4.2}{23}{\textcolor {Chapter }{RootIdentities}\relax }{subsection.5.4.2}{}} \bibcite{BrHu}{BH82} \bibcite{BrSa}{BRS99} \bibcite{anne-thesis}{Hey99} \bibcite{HeWe1}{HW03}