1\relax 2\providecommand\hyper@newdestlabel[2]{} 3\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} 4\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined 5\global\let\oldcontentsline\contentsline 6\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} 7\global\let\oldnewlabel\newlabel 8\gdef\newlabel#1#2{\newlabelxx{#1}#2} 9\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} 10\AtEndDocument{\ifx\hyper@anchor\@undefined 11\let\contentsline\oldcontentsline 12\let\newlabel\oldnewlabel 13\fi} 14\fi} 15\global\let\hyper@last\relax 16\gdef\HyperFirstAtBeginDocument#1{#1} 17\providecommand\HyField@AuxAddToFields[1]{} 18\providecommand\HyField@AuxAddToCoFields[2]{} 19\@writefile{toc}{\contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }Resolutions in Hap}}{4}{chapter.1}} 20\@writefile{lof}{\addvspace {10\p@ }} 21\@writefile{lot}{\addvspace {10\p@ }} 22\newlabel{hapresolution}{{1}{4}{\textcolor {Chapter }{Resolutions in Hap}}{chapter.1}{}} 23\@writefile{toc}{\contentsline {section}{\numberline {1.1}\leavevmode {\color {Chapter }The Standard Representation \texttt {HapResolutionRep}}}{4}{section.1.1}} 24\newlabel{hapresolutionrep}{{1.1}{4}{\textcolor {Chapter }{The Standard Representation \texttt {HapResolutionRep}}}{section.1.1}{}} 25\@writefile{toc}{\contentsline {section}{\numberline {1.2}\leavevmode {\color {Chapter }The \texttt {HapLargeGroupResolutionRep} Representation}}{5}{section.1.2}} 26\newlabel{largegrouprep}{{1.2}{5}{\textcolor {Chapter }{The \texttt {HapLargeGroupResolutionRep} Representation}}{section.1.2}{}} 27\@writefile{toc}{\contentsline {chapter}{\numberline {2}\leavevmode {\color {Chapter }Accessing and Manipulating Resolutions}}{6}{chapter.2}} 28\@writefile{lof}{\addvspace {10\p@ }} 29\@writefile{lot}{\addvspace {10\p@ }} 30\@writefile{toc}{\contentsline {section}{\numberline {2.1}\leavevmode {\color {Chapter }Representation-Independent Access Methods}}{6}{section.2.1}} 31\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}\leavevmode {\color {Chapter }StrongestValidRepresentationForLetter}}{6}{subsection.2.1.1}} 32\newlabel{StrongestValidRepresentationForLetter}{{2.1.1}{6}{\textcolor {Chapter }{StrongestValidRepresentationForLetter}}{subsection.2.1.1}{}} 33\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}\leavevmode {\color {Chapter }StrongestValidRepresentationForWord}}{6}{subsection.2.1.2}} 34\newlabel{StrongestValidRepresentationForWord}{{2.1.2}{6}{\textcolor {Chapter }{StrongestValidRepresentationForWord}}{subsection.2.1.2}{}} 35\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}\leavevmode {\color {Chapter }PositionInGroupOfResolution}}{6}{subsection.2.1.3}} 36\newlabel{PositionInGroupOfResolution}{{2.1.3}{6}{\textcolor {Chapter }{PositionInGroupOfResolution}}{subsection.2.1.3}{}} 37\newlabel{PositionInGroupOfResolutionNC}{{2.1.3}{6}{\textcolor {Chapter }{PositionInGroupOfResolution}}{subsection.2.1.3}{}} 38\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.4}\leavevmode {\color {Chapter }IsValidGroupInt}}{7}{subsection.2.1.4}} 39\newlabel{IsValidGroupInt}{{2.1.4}{7}{\textcolor {Chapter }{IsValidGroupInt}}{subsection.2.1.4}{}} 40\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.5}\leavevmode {\color {Chapter }GroupElementFromPosition}}{7}{subsection.2.1.5}} 41\newlabel{GroupElementFromPosition}{{2.1.5}{7}{\textcolor {Chapter }{GroupElementFromPosition}}{subsection.2.1.5}{}} 42\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.6}\leavevmode {\color {Chapter }MultiplyGroupElts}}{7}{subsection.2.1.6}} 43\newlabel{MultiplyGroupElts}{{2.1.6}{7}{\textcolor {Chapter }{MultiplyGroupElts}}{subsection.2.1.6}{}} 44\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.7}\leavevmode {\color {Chapter }MultiplyFreeZGLetterWithGroupElt}}{7}{subsection.2.1.7}} 45\newlabel{MultiplyFreeZGLetterWithGroupElt}{{2.1.7}{7}{\textcolor {Chapter }{MultiplyFreeZGLetterWithGroupElt}}{subsection.2.1.7}{}} 46\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.8}\leavevmode {\color {Chapter }MultiplyFreeZGWordWithGroupElt}}{7}{subsection.2.1.8}} 47\newlabel{MultiplyFreeZGWordWithGroupElt}{{2.1.8}{7}{\textcolor {Chapter }{MultiplyFreeZGWordWithGroupElt}}{subsection.2.1.8}{}} 48\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.9}\leavevmode {\color {Chapter }BoundaryOfFreeZGLetter}}{7}{subsection.2.1.9}} 49\newlabel{BoundaryOfFreeZGLetter}{{2.1.9}{7}{\textcolor {Chapter }{BoundaryOfFreeZGLetter}}{subsection.2.1.9}{}} 50\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.10}\leavevmode {\color {Chapter }BoundaryOfFreeZGWord}}{8}{subsection.2.1.10}} 51\newlabel{BoundaryOfFreeZGWord}{{2.1.10}{8}{\textcolor {Chapter }{BoundaryOfFreeZGWord}}{subsection.2.1.10}{}} 52\@writefile{toc}{\contentsline {section}{\numberline {2.2}\leavevmode {\color {Chapter }Converting Between Representations}}{8}{section.2.2}} 53\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color {Chapter }ConvertStandardLetter}}{8}{subsection.2.2.1}} 54\newlabel{ConvertStandardLetter}{{2.2.1}{8}{\textcolor {Chapter }{ConvertStandardLetter}}{subsection.2.2.1}{}} 55\newlabel{ConvertStandardLetterNC}{{2.2.1}{8}{\textcolor {Chapter }{ConvertStandardLetter}}{subsection.2.2.1}{}} 56\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\leavevmode {\color {Chapter }ConvertStandardWord}}{8}{subsection.2.2.2}} 57\newlabel{ConvertStandardWord}{{2.2.2}{8}{\textcolor {Chapter }{ConvertStandardWord}}{subsection.2.2.2}{}} 58\newlabel{ConvertStandardWordNC}{{2.2.2}{8}{\textcolor {Chapter }{ConvertStandardWord}}{subsection.2.2.2}{}} 59\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}\leavevmode {\color {Chapter }ConvertLetterToStandardRep}}{8}{subsection.2.2.3}} 60\newlabel{ConvertLetterToStandardRep}{{2.2.3}{8}{\textcolor {Chapter }{ConvertLetterToStandardRep}}{subsection.2.2.3}{}} 61\newlabel{ConvertLetterToStandardRepNC}{{2.2.3}{8}{\textcolor {Chapter }{ConvertLetterToStandardRep}}{subsection.2.2.3}{}} 62\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.4}\leavevmode {\color {Chapter }ConvertWordToStandardRep}}{8}{subsection.2.2.4}} 63\newlabel{ConvertWordToStandardRep}{{2.2.4}{8}{\textcolor {Chapter }{ConvertWordToStandardRep}}{subsection.2.2.4}{}} 64\newlabel{ConvertWordToStandardRepNC}{{2.2.4}{8}{\textcolor {Chapter }{ConvertWordToStandardRep}}{subsection.2.2.4}{}} 65\@writefile{toc}{\contentsline {section}{\numberline {2.3}\leavevmode {\color {Chapter }Special Methods for \texttt {HapResolutionRep}}}{9}{section.2.3}} 66\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}\leavevmode {\color {Chapter }IsFreeZGLetter}}{9}{subsection.2.3.1}} 67\newlabel{IsFreeZGLetter}{{2.3.1}{9}{\textcolor {Chapter }{IsFreeZGLetter}}{subsection.2.3.1}{}} 68\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}\leavevmode {\color {Chapter }IsFreeZGWord}}{9}{subsection.2.3.2}} 69\newlabel{IsFreeZGWord}{{2.3.2}{9}{\textcolor {Chapter }{IsFreeZGWord}}{subsection.2.3.2}{}} 70\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.3}\leavevmode {\color {Chapter }MultiplyGroupEltsNC}}{9}{subsection.2.3.3}} 71\newlabel{MultiplyGroupEltsNC}{{2.3.3}{9}{\textcolor {Chapter }{MultiplyGroupEltsNC}}{subsection.2.3.3}{}} 72\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.4}\leavevmode {\color {Chapter }MultiplyFreeZGLetterWithGroupEltNC}}{9}{subsection.2.3.4}} 73\newlabel{MultiplyFreeZGLetterWithGroupEltNC}{{2.3.4}{9}{\textcolor {Chapter }{MultiplyFreeZGLetterWithGroupEltNC}}{subsection.2.3.4}{}} 74\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.5}\leavevmode {\color {Chapter }MultiplyFreeZGWordWithGroupEltNC}}{9}{subsection.2.3.5}} 75\newlabel{MultiplyFreeZGWordWithGroupEltNC}{{2.3.5}{9}{\textcolor {Chapter }{MultiplyFreeZGWordWithGroupEltNC}}{subsection.2.3.5}{}} 76\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.6}\leavevmode {\color {Chapter }BoundaryOfFreeZGLetterNC}}{9}{subsection.2.3.6}} 77\newlabel{BoundaryOfFreeZGLetterNC}{{2.3.6}{9}{\textcolor {Chapter }{BoundaryOfFreeZGLetterNC}}{subsection.2.3.6}{}} 78\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.7}\leavevmode {\color {Chapter }BoundaryOfFreeZGWordNC}}{10}{subsection.2.3.7}} 79\newlabel{BoundaryOfFreeZGWordNC}{{2.3.7}{10}{\textcolor {Chapter }{BoundaryOfFreeZGWordNC}}{subsection.2.3.7}{}} 80\@writefile{toc}{\contentsline {section}{\numberline {2.4}\leavevmode {\color {Chapter }The \texttt {HapLargeGroupResolutionRep} Representation}}{10}{section.2.4}} 81\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}\leavevmode {\color {Chapter }GroupRingOfResolution}}{10}{subsection.2.4.1}} 82\newlabel{GroupRingOfResolution}{{2.4.1}{10}{\textcolor {Chapter }{GroupRingOfResolution}}{subsection.2.4.1}{}} 83\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}\leavevmode {\color {Chapter }MultiplyGroupElts{\textunderscore }LargeGroupRep}}{10}{subsection.2.4.2}} 84\newlabel{MultiplyGroupEltsuScoreLargeGroupRep}{{2.4.2}{10}{\textcolor {Chapter }{MultiplyGroupElts{\textunderscore }LargeGroupRep}}{subsection.2.4.2}{}} 85\newlabel{MultiplyGroupEltsNCuScoreLargeGroupRep}{{2.4.2}{10}{\textcolor {Chapter }{MultiplyGroupElts{\textunderscore }LargeGroupRep}}{subsection.2.4.2}{}} 86\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.3}\leavevmode {\color {Chapter }IsFreeZGLetterNoTermCheck{\textunderscore }LargeGroupRep}}{10}{subsection.2.4.3}} 87\newlabel{IsFreeZGLetterNoTermCheckuScoreLargeGroupRep}{{2.4.3}{10}{\textcolor {Chapter }{IsFreeZGLetterNoTermCheck{\textunderscore }LargeGroupRep}}{subsection.2.4.3}{}} 88\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.4}\leavevmode {\color {Chapter }IsFreeZGWordNoTermCheck{\textunderscore }LargeGroupRep}}{10}{subsection.2.4.4}} 89\newlabel{IsFreeZGWordNoTermCheckuScoreLargeGroupRep}{{2.4.4}{10}{\textcolor {Chapter }{IsFreeZGWordNoTermCheck{\textunderscore }LargeGroupRep}}{subsection.2.4.4}{}} 90\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.5}\leavevmode {\color {Chapter }IsFreeZGLetter{\textunderscore }LargeGroupRep}}{11}{subsection.2.4.5}} 91\newlabel{IsFreeZGLetteruScoreLargeGroupRep}{{2.4.5}{11}{\textcolor {Chapter }{IsFreeZGLetter{\textunderscore }LargeGroupRep}}{subsection.2.4.5}{}} 92\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.6}\leavevmode {\color {Chapter }IsFreeZGWord{\textunderscore }LargeGroupRep}}{11}{subsection.2.4.6}} 93\newlabel{IsFreeZGWorduScoreLargeGroupRep}{{2.4.6}{11}{\textcolor {Chapter }{IsFreeZGWord{\textunderscore }LargeGroupRep}}{subsection.2.4.6}{}} 94\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.7}\leavevmode {\color {Chapter }MultiplyFreeZGLetterWithGroupElt{\textunderscore }LargeGroupRep}}{11}{subsection.2.4.7}} 95\newlabel{MultiplyFreeZGLetterWithGroupEltuScoreLargeGroupRep}{{2.4.7}{11}{\textcolor {Chapter }{MultiplyFreeZGLetterWithGroupElt{\textunderscore }LargeGroupRep}}{subsection.2.4.7}{}} 96\newlabel{MultiplyFreeZGLetterWithGroupEltNCuScoreLargeGroupRep}{{2.4.7}{11}{\textcolor {Chapter }{MultiplyFreeZGLetterWithGroupElt{\textunderscore }LargeGroupRep}}{subsection.2.4.7}{}} 97\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.8}\leavevmode {\color {Chapter }MultiplyFreeZGWordWithGroupElt{\textunderscore }LargeGroupRep}}{11}{subsection.2.4.8}} 98\newlabel{MultiplyFreeZGWordWithGroupEltuScoreLargeGroupRep}{{2.4.8}{11}{\textcolor {Chapter }{MultiplyFreeZGWordWithGroupElt{\textunderscore }LargeGroupRep}}{subsection.2.4.8}{}} 99\newlabel{MultiplyFreeZGWordWithGroupEltNCuScoreLargeGroupRep}{{2.4.8}{11}{\textcolor {Chapter }{MultiplyFreeZGWordWithGroupElt{\textunderscore }LargeGroupRep}}{subsection.2.4.8}{}} 100\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.9}\leavevmode {\color {Chapter }GeneratorsOfModuleOfResolution{\textunderscore }LargeGroupRep}}{11}{subsection.2.4.9}} 101\newlabel{GeneratorsOfModuleOfResolutionuScoreLargeGroupRep}{{2.4.9}{11}{\textcolor {Chapter }{GeneratorsOfModuleOfResolution{\textunderscore }LargeGroupRep}}{subsection.2.4.9}{}} 102\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.10}\leavevmode {\color {Chapter }BoundaryOfGenerator{\textunderscore }LargeGroupRep}}{11}{subsection.2.4.10}} 103\newlabel{BoundaryOfGeneratoruScoreLargeGroupRep}{{2.4.10}{11}{\textcolor {Chapter }{BoundaryOfGenerator{\textunderscore }LargeGroupRep}}{subsection.2.4.10}{}} 104\newlabel{BoundaryOfGeneratorNCuScoreLargeGroupRep}{{2.4.10}{11}{\textcolor {Chapter }{BoundaryOfGenerator{\textunderscore }LargeGroupRep}}{subsection.2.4.10}{}} 105\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.11}\leavevmode {\color {Chapter }BoundaryOfFreeZGLetterNC{\textunderscore }LargeGroupRep}}{12}{subsection.2.4.11}} 106\newlabel{BoundaryOfFreeZGLetterNCuScoreLargeGroupRep}{{2.4.11}{12}{\textcolor {Chapter }{BoundaryOfFreeZGLetterNC{\textunderscore }LargeGroupRep}}{subsection.2.4.11}{}} 107\newlabel{BoundaryOfFreeZGLetteruScoreLargeGroupRep}{{2.4.11}{12}{\textcolor {Chapter }{BoundaryOfFreeZGLetterNC{\textunderscore }LargeGroupRep}}{subsection.2.4.11}{}} 108\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.12}\leavevmode {\color {Chapter }BoundaryOfFreeZGWord{\textunderscore }LargeGroupRep}}{12}{subsection.2.4.12}} 109\newlabel{BoundaryOfFreeZGWorduScoreLargeGroupRep}{{2.4.12}{12}{\textcolor {Chapter }{BoundaryOfFreeZGWord{\textunderscore }LargeGroupRep}}{subsection.2.4.12}{}} 110\@writefile{toc}{\contentsline {chapter}{\numberline {3}\leavevmode {\color {Chapter }Contracting Homotopies}}{13}{chapter.3}} 111\@writefile{lof}{\addvspace {10\p@ }} 112\@writefile{lot}{\addvspace {10\p@ }} 113\@writefile{toc}{\contentsline {section}{\numberline {3.1}\leavevmode {\color {Chapter }The \texttt {PartialContractingHomotopy} Data Type}}{13}{section.3.1}} 114\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}\leavevmode {\color {Chapter }ResolutionOfContractingHomotopy}}{13}{subsection.3.1.1}} 115\newlabel{ResolutionOfContractingHomotopy}{{3.1.1}{13}{\textcolor {Chapter }{ResolutionOfContractingHomotopy}}{subsection.3.1.1}{}} 116\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}\leavevmode {\color {Chapter }PartialContractingHomotopyLookup}}{13}{subsection.3.1.2}} 117\newlabel{PartialContractingHomotopyLookup}{{3.1.2}{13}{\textcolor {Chapter }{PartialContractingHomotopyLookup}}{subsection.3.1.2}{}} 118\newlabel{PartialContractingHomotopyLookupNC}{{3.1.2}{13}{\textcolor {Chapter }{PartialContractingHomotopyLookup}}{subsection.3.1.2}{}} 119