1 \relax |
1 \relax |
2 \providecommand\hyper@newdestlabel[2]{} |
2 \providecommand\hyper@newdestlabel[2]{} |
3 \@writefile{toc}{\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{15}{chapter.47}} |
3 \@writefile{toc}{\contentsline {chapter}{\numberline {3}Common Identities In Simplification-Related Functions}{25}{chapter.56}} |
4 \@writefile{lof}{\addvspace {10\p@ }} |
4 \@writefile{lof}{\addvspace {10\p@ }} |
5 \@writefile{lot}{\addvspace {10\p@ }} |
5 \@writefile{lot}{\addvspace {10\p@ }} |
6 \newlabel{ChapterX}{{3}{15}{Common Identities In Simplification-Related Functions}{chapter.47}{}} |
6 \newlabel{ChapterX}{{3}{25}{Common Identities In Simplification-Related Functions}{chapter.56}{}} |
7 \@writefile{toc}{\contentsline {section}{\numberline {3.1}Idempotency of $\mathit {simp}$}{15}{section.48}} |
7 \@writefile{toc}{\contentsline {section}{\numberline {3.1}Idempotency of $\mathit {simp}$}{25}{section.57}} |
8 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit {simp}$}{15}{subsection.50}} |
8 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Syntactic Equivalence Under $\mathit {simp}$}{25}{subsection.59}} |
9 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{15}{subsection.51}} |
9 \@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Subsection 2}{25}{subsection.60}} |
10 \@writefile{toc}{\contentsline {section}{\numberline {3.2}Main Section 2}{15}{section.52}} |
10 \@writefile{toc}{\contentsline {section}{\numberline {3.2}Main Section 2}{25}{section.61}} |
11 \@setckpt{Chapters/Chapter3}{ |
11 \@setckpt{Chapters/Chapter3}{ |
12 \setcounter{page}{16} |
12 \setcounter{page}{26} |
13 \setcounter{equation}{1} |
13 \setcounter{equation}{1} |
14 \setcounter{enumi}{0} |
14 \setcounter{enumi}{0} |
15 \setcounter{enumii}{0} |
15 \setcounter{enumii}{0} |
16 \setcounter{enumiii}{0} |
16 \setcounter{enumiii}{0} |
17 \setcounter{enumiv}{0} |
17 \setcounter{enumiv}{0} |
29 \setcounter{LT@tables}{3} |
29 \setcounter{LT@tables}{3} |
30 \setcounter{LT@chunks}{1} |
30 \setcounter{LT@chunks}{1} |
31 \setcounter{ContinuedFloat}{0} |
31 \setcounter{ContinuedFloat}{0} |
32 \setcounter{Item}{0} |
32 \setcounter{Item}{0} |
33 \setcounter{Hfootnote}{1} |
33 \setcounter{Hfootnote}{1} |
34 \setcounter{bookmark@seq@number}{37} |
34 \setcounter{bookmark@seq@number}{40} |
35 \setcounter{tabx@nest}{0} |
35 \setcounter{tabx@nest}{0} |
36 \setcounter{listtotal}{0} |
36 \setcounter{listtotal}{0} |
37 \setcounter{listcount}{0} |
37 \setcounter{listcount}{0} |
38 \setcounter{liststart}{0} |
38 \setcounter{liststart}{0} |
39 \setcounter{liststop}{0} |
39 \setcounter{liststop}{0} |