\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

\bibstyle{amsalpha}
\citation{sage}
\citation{stein:hecke}
\citation{magma}
\citation{cremona:algs}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {chapter}{\hbox to\@tempdima {\hfil }Preface}{5}{chapter*.2}}
\citation{serre:arithmetic}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Modular Forms}{7}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:modform}{{1}{7}{Modular Forms\relax }{chapter.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Basic Definitions}{7}{section.1.1}}
\newlabel{eqn:lft}{{1.1.1}{7}{Basic Definitions\relax }{equation.1.1.1}{}}
\@writefile{default}{\indexentry{modular group|hyperpage}{7}}
\newlabel{eqn:ST}{{1.1.2}{7}{Basic Definitions\relax }{equation.1.1.2}{}}
\@writefile{default}{\indexentry{holomorphic|hyperpage}{8}}
\@writefile{default}{\indexentry{meromorphic|hyperpage}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Modular Forms of Level 1}{8}{section.1.2}}
\newlabel{sec:modform1}{{1.2}{8}{Modular Forms of Level 1\relax }{section.1.2}{}}
\@writefile{default}{\indexentry{weakly modular function|hyperpage}{8}}
\newlabel{eqn:modfunc}{{1.2.1}{8}{Modular Forms of Level 1\relax }{equation.1.2.1}{}}
\citation{serre:arithmetic}
\newlabel{eqn:modfunc2}{{1.2.2}{9}{Modular Forms of Level 1\relax }{equation.1.2.2}{}}
\@writefile{default}{\indexentry{Fourier expansion|hyperpage}{9}}
\@writefile{default}{\indexentry{meromorphic at $\infty $|hyperpage}{9}}
\@writefile{default}{\indexentry{holomorphic at $\infty $|hyperpage}{9}}
\@writefile{default}{\indexentry{modular function|hyperpage}{9}}
\@writefile{default}{\indexentry{modular form|hyperpage}{9}}
\newlabel{eqn:qexp1}{{1.2.3}{9}{Modular Forms of Level 1\relax }{equation.1.2.3}{}}
\@writefile{default}{\indexentry{cusp form|hyperpage}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Modular Forms of Any Level}{10}{section.1.3}}
\newlabel{sec:modformN}{{1.3}{10}{Modular Forms of Any Level\relax }{section.1.3}{}}
\@writefile{default}{\indexentry{congruence subgroup|hyperpage}{10}}
\@writefile{default}{\indexentry{level|hyperpage}{10}}
\@writefile{default}{\indexentry{weight~$k$ right action|hyperpage}{10}}
\@writefile{default}{\indexentry{weakly modular function|hyperpage}{10}}
\newlabel{lem:sl2ztrans}{{1.3.3}{10}{Modular Forms of Any Level\relax }{theorem.1.3.3}{}}
\@writefile{default}{\indexentry{extended upper halfplane|hyperpage}{11}}
\newlabel{eqn:qser}{{1.3.1}{11}{Modular Forms of Any Level\relax }{equation.1.3.1}{}}
\@writefile{default}{\indexentry{holomorphic at the cusp~$\alpha $|hyperpage}{11}}
\newlabel{eqn:prop:holoall}{{1.3.2}{12}{Modular Forms of Any Level\relax }{equation.1.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3.1}Computing Widths of Cusps}{12}{subsection.1.3.1}}
\@writefile{default}{\indexentry{width|hyperpage}{12}}
\@writefile{default}{\indexentry{algorithm!Width of Cusp|hyperpage}{12}}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Examples of Modular Forms of Level $1$}{13}{section.1.4}}
\newlabel{sec:level_one_eisen}{{1.4}{13}{Examples of Modular Forms of Level $1$\relax }{section.1.4}{}}
\@writefile{default}{\indexentry{non-normalized weight~$k$ Eisenstein series|hyperpage}{13}}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4.1}The Cusp Form $\Delta $}{14}{subsection.1.4.1}}
\newlabel{lem:delnz}{{1.4.3}{14}{The Cusp Form $\Delta $\relax }{theorem.1.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4.2}Fourier Expansions of Eisenstein Series}{14}{subsection.1.4.2}}
\newlabel{prop:qexpGk}{{1.4.4}{14}{Fourier Expansions of Eisenstein Series\relax }{theorem.1.4.4}{}}
\@writefile{default}{\indexentry{Bernoulli numbers|hyperpage}{14}}
\newlabel{eqn:def_bernoulli}{{1.4.1}{14}{Fourier Expansions of Eisenstein Series\relax }{equation.1.4.1}{}}
\citation{serre:arithmetic}
\newlabel{prop:zeta_even}{{1.4.5}{15}{Fourier Expansions of Eisenstein Series\relax }{theorem.1.4.5}{}}
\@writefile{default}{\indexentry{normalized Eisenstein series|hyperpage}{15}}
\newlabel{eqn:ekexp}{{1.4.2}{15}{Fourier Expansions of Eisenstein Series\relax }{equation.1.4.2}{}}
\citation{serre:arithmetic}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {section}{\numberline {1.5}Structure Theorem}{16}{section.1.5}}
\newlabel{sec:struct1}{{1.5}{16}{Structure Theorem\relax }{section.1.5}{}}
\newlabel{thm:valence}{{1.5.1}{16}{Structure Theorem\relax }{theorem.1.5.1}{}}
\newlabel{prop:mk_vanish}{{1.5.2}{16}{Structure Theorem\relax }{theorem.1.5.2}{}}
\newlabel{thm:delta_iso}{{1.5.3}{16}{Structure Theorem\relax }{theorem.1.5.3}{}}
\newlabel{cor:dim1}{{1.5.5}{17}{Structure Theorem\relax }{theorem.1.5.5}{}}
\newlabel{thm:mk_one_basis}{{1.5.6}{17}{Structure Theorem\relax }{theorem.1.5.6}{}}
\citation{lang:modular}
\@writefile{default}{\indexentry{algorithm!Basis for $M_k$|hyperpage}{18}}
\newlabel{alg:basis}{{1.5.7}{18}{Structure Theorem\relax }{theorem.1.5.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.6}The Victor Miller Basis}{18}{section.1.6}}
\newlabel{sec:vmthesis}{{1.6}{18}{The Victor Miller Basis\relax }{section.1.6}{}}
\newlabel{lem:vm}{{1.6.1}{18}{The Victor Miller Basis\relax }{theorem.1.6.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.7}Hecke Operators}{20}{section.1.7}}
\newlabel{sec:hecke_one}{{1.7}{20}{Hecke Operators\relax }{section.1.7}{}}
\newlabel{prop:tn_presweak}{{1.7.3}{20}{Hecke Operators\relax }{theorem.1.7.3}{}}
\newlabel{prop:hecke_com}{{1.7.4}{20}{Hecke Operators\relax }{theorem.1.7.4}{}}
\newlabel{eqn:hecke_mul}{{1.7.1}{20}{Hecke Operators\relax }{equation.1.7.1}{}}
\newlabel{eqn:hecke_recur}{{1.7.2}{20}{Hecke Operators\relax }{equation.1.7.2}{}}
\newlabel{prop:qexpTn}{{1.7.6}{21}{Hecke Operators\relax }{theorem.1.7.6}{}}
\citation{serre:arithmetic}
\newlabel{cor:tpres}{{1.7.7}{22}{Hecke Operators\relax }{theorem.1.7.7}{}}
\citation{buzzard:t2}
\citation{farmer-james:maeda}
\@writefile{toc}{\contentsline {section}{\numberline {1.8}Computing Hecke Operators}{23}{section.1.8}}
\@writefile{default}{\indexentry{algorithm!Hecke Operator|hyperpage}{23}}
\newlabel{usevm}{{1.8.1}{23}{Computing Hecke Operators\relax }{theorem.1.8.1}{}}
\citation{MR1413578}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.8.1}A Conjecture about Complexity}{24}{subsection.1.8.1}}
\newlabel{conj:edixhoven}{{1.8.4}{24}{A Conjecture about Complexity\relax }{theorem.1.8.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.9}Exercises}{25}{section.1.9}}
\newlabel{ex:upperhalfpres}{{1}{25}{Exercises\relax }{Item.6}{}}
\newlabel{ex:meromorphic}{{2}{25}{Exercises\relax }{Item.7}{}}
\newlabel{ex:wmfprod}{{3}{25}{Exercises\relax }{Item.10}{}}
\newlabel{ex:nomodformodd}{{4}{25}{Exercises\relax }{Item.15}{}}
\newlabel{ex:conggamma1}{{5}{25}{Exercises\relax }{Item.16}{}}
\newlabel{ex:grpact}{{6}{25}{Exercises\relax }{Item.19}{}}
\newlabel{ex:sl2ztrans}{{7}{25}{Exercises\relax }{Item.20}{}}
\newlabel{ex:expeis}{{8}{25}{Exercises\relax }{Item.21}{}}
\newlabel{ex:vm}{{9}{25}{Exercises\relax }{Item.22}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Dirichlet Characters}{27}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:dirichlet}{{2}{27}{Dirichlet Characters\relax }{chapter.2}{}}
\@writefile{default}{\indexentry{Dirichlet character|hyperpage}{27}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Decomposing Modular Forms Using Dirichlet Characters}{28}{section.2.1}}
\@writefile{default}{\indexentry{diamond-bracket operators|hyperpage}{28}}
\@writefile{default}{\indexentry{has character|hyperpage}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Representation and Arithmetic}{29}{section.2.2}}
\newlabel{lem:dual}{{2.2.1}{29}{Representation and Arithmetic\relax }{theorem.2.2.1}{}}
\newlabel{cor:dir_ord}{{2.2.2}{29}{Representation and Arithmetic\relax }{theorem.2.2.2}{}}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\@writefile{default}{\indexentry{algorithm!Minimal generator for $(\Z /p^r\Z )^*$|hyperpage}{30}}
\newlabel{alg:mingens}{{2.2.4}{30}{Representation and Arithmetic\relax }{theorem.2.2.4}{}}
\newlabel{step:gen_init}{{2.2.4}{30}{Representation and Arithmetic\relax }{theorem.2.2.4}{}}
\newlabel{ex:mingens}{{2.2.6}{30}{Representation and Arithmetic\relax }{theorem.2.2.6}{}}
\newlabel{eqn:epslist}{{2.2.1}{31}{Representation and Arithmetic\relax }{equation.2.2.1}{}}
\newlabel{ex:char}{{2.2.7}{31}{Representation and Arithmetic\relax }{theorem.2.2.7}{}}
\@writefile{default}{\indexentry{algorithm!Evaluate $\eps $|hyperpage}{31}}
\newlabel{alg:eval_eps}{{2.2.8}{31}{Representation and Arithmetic\relax }{theorem.2.2.8}{}}
\newlabel{step:eval_fb}{{2.2.8}{31}{Representation and Arithmetic\relax }{theorem.2.2.8}{}}
\citation{shoup:lower}
\citation{nechaev:lower}
\citation{gordon:dlog}
\citation{gordon:dlp}
\@writefile{default}{\indexentry{algorithm!Baby-Step Giant Step Discrete Log|hyperpage}{32}}
\newlabel{alg:baby_giant_dlog}{{2.2.9}{32}{Representation and Arithmetic\relax }{theorem.2.2.9}{}}
\newlabel{step:find_match}{{2.2.9}{32}{Representation and Arithmetic\relax }{theorem.2.2.9}{}}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\@writefile{default}{\indexentry{algorithm!Values of $\eps $|hyperpage}{33}}
\newlabel{step:add_value}{{2.2.10}{33}{Representation and Arithmetic\relax }{theorem.2.2.10}{}}
\@writefile{default}{\indexentry{algorithm!Kronecker Symbol|hyperpage}{33}}
\newlabel{alg:kronecker}{{2.2.11}{33}{Representation and Arithmetic\relax }{theorem.2.2.11}{}}
\citation{hijikata:trace}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Algorithms}{34}{section.2.3}}
\@writefile{default}{\indexentry{algorithm!Order of Character|hyperpage}{34}}
\newlabel{alg:dir_order}{{2.3.1}{34}{Algorithms\relax }{theorem.2.3.1}{}}
\@writefile{default}{\indexentry{algorithm!Factorization of Character|hyperpage}{34}}
\newlabel{alg:dirfac}{{2.3.3}{34}{Algorithms\relax }{theorem.2.3.3}{}}
\newlabel{step:singletons}{{2.3.3}{34}{Algorithms\relax }{theorem.2.3.3}{}}
\newlabel{step:extra2}{{2.3.3}{35}{Algorithms\relax }{theorem.2.3.3}{}}
\newlabel{ex:prodlocal}{{2.3.4}{35}{Algorithms\relax }{theorem.2.3.4}{}}
\newlabel{defn:conductordir}{{2.3.5}{35}{Algorithms\relax }{theorem.2.3.5}{}}
\@writefile{default}{\indexentry{conductor|hyperpage}{35}}
\@writefile{default}{\indexentry{primitive|hyperpage}{35}}
\@writefile{default}{\indexentry{primitive character associated to|hyperpage}{35}}
\@writefile{default}{\indexentry{algorithm!Conductor|hyperpage}{35}}
\newlabel{alg:conductor}{{2.3.6}{35}{Algorithms\relax }{theorem.2.3.6}{}}
\newlabel{step:factor_dir}{{2.3.6}{35}{Algorithms\relax }{theorem.2.3.6}{}}
\newlabel{step:cond_fac}{{2.3.6}{35}{Algorithms\relax }{theorem.2.3.6}{}}
\newlabel{ex:char_cond}{{2.3.7}{36}{Algorithms\relax }{theorem.2.3.7}{}}
\@writefile{default}{\indexentry{algorithm!Restriction of Character|hyperpage}{36}}
\newlabel{alg:restrict}{{2.3.8}{36}{Algorithms\relax }{theorem.2.3.8}{}}
\newlabel{step:addmod}{{2.3.8}{36}{Algorithms\relax }{theorem.2.3.8}{}}
\@writefile{default}{\indexentry{algorithm!Extension of Character|hyperpage}{36}}
\newlabel{alg:extend}{{2.3.9}{36}{Algorithms\relax }{theorem.2.3.9}{}}
\@writefile{default}{\indexentry{algorithm!Galois Orbit|hyperpage}{37}}
\newlabel{step:nontriv_aut}{{2.3.10}{37}{Algorithms\relax }{theorem.2.3.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Alternative Representations of Characters}{38}{section.2.4}}
\newlabel{sec:alter_rep}{{2.4}{38}{Alternative Representations of Characters\relax }{section.2.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Exercises}{39}{section.2.5}}
\newlabel{ex:cyclic}{{1}{39}{Exercises\relax }{Item.26}{}}
\newlabel{ex:orderalg}{{2}{39}{Exercises\relax }{Item.29}{}}
\newlabel{ex:dlogadd}{{3}{39}{Exercises\relax }{Item.30}{}}
\newlabel{ex:cond2}{{4}{39}{Exercises\relax }{Item.31}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Eisenstein Series}{41}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:eisen}{{3}{41}{Eisenstein Series\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Generalized Bernoulli Numbers}{41}{section.3.1}}
\@writefile{default}{\indexentry{generalized Bernoulli numbers|hyperpage}{41}}
\@writefile{default}{\indexentry{algorithm!Bernoulli Numbers|hyperpage}{41}}
\newlabel{alg:gen_bernoulli}{{3.1.2}{41}{Generalized Bernoulli Numbers\relax }{theorem.3.1.2}{}}
\newlabel{step:ber1}{{3.1.2}{41}{Generalized Bernoulli Numbers\relax }{theorem.3.1.2}{}}
\newlabel{step:ber2}{{3.1.2}{42}{Generalized Bernoulli Numbers\relax }{theorem.3.1.2}{}}
\newlabel{step:ber4}{{3.1.2}{42}{Generalized Bernoulli Numbers\relax }{theorem.3.1.2}{}}
\citation{miyake}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Explicit Basis for the Eisenstein Subspace}{43}{section.3.2}}
\newlabel{eqn:eisen}{{3.2.1}{43}{Explicit Basis for the Eisenstein Subspace\relax }{equation.3.2.1}{}}
\newlabel{thm:eisser}{{3.2.1}{43}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.2.1}{}}
\newlabel{thm:eisgen}{{3.2.2}{44}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.2.2}{}}
\newlabel{thm:eiseigen}{{3.2.3}{44}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.2.3}{}}
\@writefile{default}{\indexentry{algorithm!Enumerating Eisenstein Series|hyperpage}{44}}
\newlabel{alg:enum_eisen}{{3.2.4}{44}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.2.4}{}}
\newlabel{step:enum_eisen3}{{3.2.4}{44}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.2.4}{}}
\newlabel{step:enum_eisen4}{{3.2.4}{44}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.2.4}{}}
\citation{shimura:intro}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Exercises}{45}{section.3.3}}
\newlabel{ex:has_width}{{1}{45}{Exercises\relax }{Item.37}{}}
\newlabel{ex:surjred}{{2}{45}{Exercises\relax }{Item.38}{}}
\newlabel{ex:gamma0}{{3}{45}{Exercises\relax }{Item.39}{}}
\newlabel{ex:diag}{{4}{45}{Exercises\relax }{Item.40}{}}
\newlabel{ex:bern_triv}{{5}{45}{Exercises\relax }{Item.41}{}}
\newlabel{ex:odd_bernoulli}{{6}{45}{Exercises\relax }{Item.42}{}}
\citation{shimura:intro}
\citation{cohen-oesterle:dimensions}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Dimensions Formulas}{47}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:dim}{{4}{47}{Dimensions Formulas\relax }{chapter.4}{}}
\citation{shimura:intro}
\citation{miyake}
\citation{diamond-im}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modular Forms for $\Gamma _0(N)$}{48}{section.4.1}}
\newlabel{sec:dimg0}{{4.1}{48}{Modular Forms for $\Gamma _0(N)$\relax }{section.4.1}{}}
\citation{lang:modular}
\citation{atkin-lehner}
\citation{winnie:newforms}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}New and Old Subspaces}{49}{subsection.4.1.1}}
\newlabel{thm:atkin-lehner}{{4.1.2}{49}{New and Old Subspaces\relax }{theorem.4.1.2}{}}
\newlabel{prop:newg0}{{4.1.3}{50}{New and Old Subspaces\relax }{theorem.4.1.3}{}}
\newlabel{prop:dimg0}{{4.1.1}{50}{New and Old Subspaces\relax }{theorem.4.1.3}{}}
\newlabel{eqn:mumu}{{4.1.1}{50}{New and Old Subspaces\relax }{equation.4.1.1}{}}
\newlabel{ex:new_old}{{4.1.4}{50}{New and Old Subspaces\relax }{theorem.4.1.4}{}}
\citation{csirik-wetherell-zieve:g0}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Modular Forms for $\Gamma _1(N)$}{52}{section.4.2}}
\citation{cohen-oesterle:dimensions}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Modular Forms with Character}{53}{section.4.3}}
\@writefile{default}{\indexentry{algorithm!Compute Sum over $A_4(N)$|hyperpage}{54}}
\newlabel{alg:suma4}{{4.3.1}{54}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:sum1go}{{4.3.1}{54}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:a4_3a}{{4.3.1}{54}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:a4_3b}{{4.3.1}{54}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:a4_3d}{{4.3.1}{54}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\citation{cohen-oesterle:dimensions}
\newlabel{alg:a4_3g}{{4.3.1}{55}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:a4_3h}{{4.3.1}{55}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:a4_3i}{{4.3.1}{55}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:a4_3j}{{4.3.1}{55}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{eqn:a4prodsum}{{4.3.1}{55}{Modular Forms with Character\relax }{equation.4.3.1}{}}
\newlabel{rem:co}{{4.3.2}{55}{Modular Forms with Character\relax }{theorem.4.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Exercises}{56}{section.4.4}}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Linear Algebra}{57}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:linalg}{{5}{57}{Linear Algebra\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Echelon Forms of Matrices}{57}{section.5.1}}
\newlabel{sec:echelon_form}{{5.1}{57}{Echelon Forms of Matrices\relax }{section.5.1}{}}
\@writefile{default}{\indexentry{row echelon form|hyperpage}{57}}
\@writefile{default}{\indexentry{reduced row echelon form|hyperpage}{57}}
\@writefile{default}{\indexentry{pivot column|hyperpage}{57}}
\@writefile{default}{\indexentry{algorithm!Gauss Elimination|hyperpage}{58}}
\newlabel{alg:gauss}{{5.1.3}{58}{Echelon Forms of Matrices\relax }{theorem.5.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Echelon Forms over $\@mathbb {Q}$}{60}{section.5.2}}
\newlabel{sec:modularmethod}{{5.2}{60}{Echelon Forms over $\Q $\relax }{section.5.2}{}}
\@writefile{default}{\indexentry{algorithm!Rational Reconstruction|hyperpage}{60}}
\newlabel{alg:ratrecon}{{5.2.1}{60}{Echelon Forms over $\Q $\relax }{theorem.5.2.1}{}}
\citation{knuth2}
\citation{knuth2}
\newlabel{eqn:xgcdeqn}{{5.2.1}{62}{Echelon Forms over $\Q $\relax }{equation.5.2.1}{}}
\@writefile{default}{\indexentry{height|hyperpage}{62}}
\@writefile{default}{\indexentry{algorithm!Modular Algorithm for Computing Echelon Form|hyperpage}{62}}
\newlabel{alg:modech}{{5.2.3}{62}{Echelon Forms over $\Q $\relax }{theorem.5.2.3}{}}
\newlabel{step:discard}{{5.2.3}{62}{Echelon Forms over $\Q $\relax }{theorem.5.2.3}{}}
\newlabel{eqn:modalgbound}{{5.2.2}{63}{Echelon Forms over $\Q $\relax }{equation.5.2.2}{}}
\@writefile{default}{\indexentry{Magma|hyperpage}{64}}
\@writefile{default}{\indexentry{Magma|hyperpage}{64}}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Polynomials}{65}{section.5.3}}
\@writefile{default}{\indexentry{Magma|hyperpage}{65}}
\@writefile{default}{\indexentry{Magma|hyperpage}{65}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Decomposing Spaces}{65}{section.5.4}}
\newlabel{sec:decompmodsym}{{5.4}{65}{Decomposing Spaces\relax }{section.5.4}{}}
\newlabel{prob:decomp}{{5.4.1}{66}{Decomposing Spaces\relax }{theorem.5.4.1}{}}
\newlabel{rem:rjf}{{5.4.2}{66}{Decomposing Spaces\relax }{theorem.5.4.2}{}}
\@writefile{default}{\indexentry{rational Jordan form|hyperpage}{66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.1}Wiedemann's Minimal Polynomial Algorithm}{66}{subsection.5.4.1}}
\newlabel{sec:wiedemann}{{5.4.1}{66}{Wiedemann's Minimal Polynomial Algorithm\relax }{subsection.5.4.1}{}}
\@writefile{default}{\indexentry{algorithm!Berlekamp-Massey|hyperpage}{67}}
\newlabel{alg:bm}{{5.4.4}{67}{Wiedemann's Minimal Polynomial Algorithm\relax }{theorem.5.4.4}{}}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.2}Polynomial Factorization}{70}{subsection.5.4.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.3}Decomposition Using Kernels}{70}{subsection.5.4.3}}
\@writefile{default}{\indexentry{algorithm!Decomposition Using Kernels|hyperpage}{70}}
\newlabel{alg:decomp}{{5.4.6}{70}{Decomposition Using Kernels\relax }{theorem.5.4.6}{}}
\newlabel{alg:decomp:factor}{{2}{70}{Decomposition Using Kernels\relax }{Item.75}{}}
\newlabel{alg:decomp:ker}{{3}{70}{Decomposition Using Kernels\relax }{Item.76}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4.4}Multi-Modular Decomposition Algorithm}{70}{subsection.5.4.4}}
\@writefile{default}{\indexentry{algorithm!Decomposition Algorithm II|hyperpage}{70}}
\newlabel{alg:decomp2}{{5.4.8}{70}{Multi-Modular Decomposition Algorithm\relax }{theorem.5.4.8}{}}
\newlabel{alg:decomp:factor}{{2}{71}{Multi-Modular Decomposition Algorithm\relax }{Item.81}{}}
\citation{merel:1585}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Modular Symbols}{73}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:modsym}{{6}{73}{Modular Symbols\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Modular Symbols}{74}{section.6.1}}
\@writefile{default}{\indexentry{left action of $G$|hyperpage}{74}}
\@writefile{default}{\indexentry{modular symbols over a ring $R$|hyperpage}{75}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Manin Symbols}{75}{section.6.2}}
\newlabel{sec:manin}{{6.2}{75}{Manin Symbols\relax }{section.6.2}{}}
\@writefile{default}{\indexentry{Manin symbol|hyperpage}{76}}
\newlabel{prop:mangen}{{6.2.1}{76}{Manin Symbols\relax }{theorem.6.2.1}{}}
\citation{mtt}
\citation{merel:1585}
\citation{sokurov:shimura}
\citation{math252}
\citation{manin:parabolic}
\citation{merel:1585}
\newlabel{thm:mansym}{{6.2.3}{77}{Manin Symbols\relax }{theorem.6.2.3}{}}
\citation{cremona:gammaone}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}Coset Representatives and Manin Symbols}{79}{subsection.6.2.1}}
\newlabel{prop:gamma1cosets}{{6.2.4}{79}{Coset Representatives and Manin Symbols\relax }{theorem.6.2.4}{}}
\newlabel{eqn:cos1a}{{6.2.4}{79}{Coset Representatives and Manin Symbols\relax }{equation.6.2.4}{}}
\newlabel{eqn:cos1b}{{6.2.5}{79}{Coset Representatives and Manin Symbols\relax }{equation.6.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Modular Symbols With Character}{80}{subsection.6.2.2}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Hecke Operators}{80}{section.6.3}}
\@writefile{default}{\indexentry{Hecke algebra|hyperpage}{80}}
\@writefile{default}{\indexentry{Hecke operator|hyperpage}{80}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}General Definition of Hecke Operators}{81}{subsection.6.3.1}}
\newlabel{lem:deltan}{{6.3.1}{81}{General Definition of Hecke Operators\relax }{theorem.6.3.1}{}}
\citation{merel:1585}
\citation{mazur:symboles}
\newlabel{eqn:gtilde}{{6.3.1}{82}{General Definition of Hecke Operators\relax }{equation.6.3.1}{}}
\citation{merel:1585}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}Hecke Operators on Manin Symbols}{83}{subsection.6.3.2}}
\@writefile{default}{\indexentry{satisfies condition $C_n$|hyperpage}{83}}
\newlabel{eqn:cn}{{6.3.2}{83}{Hecke Operators on Manin Symbols\relax }{equation.6.3.2}{}}
\newlabel{eqn:tnmanin}{{6.3.3}{83}{Hecke Operators on Manin Symbols\relax }{equation.6.3.3}{}}
\citation{cremona:algs}
\newlabel{prop:heilbronn}{{6.3.2}{84}{Hecke Operators on Manin Symbols\relax }{theorem.6.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.3}Remarks on Complexity}{84}{subsection.6.3.3}}
\citation{basmaji:thesis}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Cuspidal Modular Symbols}{85}{section.6.4}}
\citation{merel:1585}
\@writefile{default}{\indexentry{boundary map|hyperpage}{86}}
\@writefile{default}{\indexentry{cuspidal modular symbols|hyperpage}{86}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}The Pairing Between Modular Symbols and Modular Forms}{86}{section.6.5}}
\newlabel{sec:pairing}{{6.5}{86}{The Pairing Between Modular Symbols and Modular Forms\relax }{section.6.5}{}}
\@writefile{default}{\indexentry{antiholomorphic|hyperpage}{86}}
\newlabel{eqn:intpairing}{{6.5.1}{86}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.1}{}}
\citation{knapp:elliptic}
\newlabel{eqn:lfs}{{6.5.2}{87}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.2}{}}
\newlabel{eqn:lfunc_ms}{{6.5.3}{87}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.3}{}}
\@writefile{default}{\indexentry{critical integers|hyperpage}{87}}
\@writefile{default}{\indexentry{Hecke operators|hyperpage}{87}}
\citation{merel:1585}
\citation{merel:1585}
\newlabel{thm:tequivar}{{6.5.4}{88}{The Pairing Between Modular Symbols and Modular Forms\relax }{theorem.6.5.4}{}}
\newlabel{eqn:bigstuff}{{6.5.4}{89}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.4}{}}
\citation{cremona:algs}
\newlabel{eqn:star}{{6.5.5}{90}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.5}{}}
\@writefile{default}{\indexentry{star involution|hyperpage}{90}}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Explicitly Computing $\@mathbb {M}_k(\Gamma _0(N)$}{90}{section.6.6}}
\newlabel{sec:compg0n}{{6.6}{90}{Explicitly Computing $\sM _k(\Gamma _0(N)$\relax }{section.6.6}{}}
\citation{cremona:algs}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.1}Computing $\@mathbb {P}^1(\@mathbb {Z}/N\@mathbb {Z})$}{91}{subsection.6.6.1}}
\newlabel{sec:p1rep}{{6.6.1}{91}{Computing $\P ^1(\Z /N\Z )$\relax }{subsection.6.6.1}{}}
\@writefile{default}{\indexentry{algorithm!Reduce|hyperpage}{91}}
\newlabel{alg:p1list}{{6.6.1}{91}{Computing $\P ^1(\Z /N\Z )$\relax }{theorem.6.6.1}{}}
\@writefile{default}{\indexentry{algorithm!List $\P ^1(\Z /N\Z )$|hyperpage}{93}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.2}Examples of Computation of $\@mathbb {M}_k(\Gamma _0(N))$}{94}{subsection.6.6.2}}
\newlabel{example:m4_1}{{6.6.5}{94}{Examples of Computation of $\sM _k(\Gamma _0(N))$\relax }{theorem.6.6.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.3}Refined Algorithm For Computing Presentation}{102}{subsection.6.6.3}}
\@writefile{default}{\indexentry{algorithm!Compute Presentation|hyperpage}{102}}
\newlabel{alg:modsympresent}{{6.6.10}{102}{Refined Algorithm For Computing Presentation\relax }{theorem.6.6.10}{}}
\@writefile{default}{\indexentry{algorithm!Quotient By 2-Term Relations|hyperpage}{103}}
\newlabel{alg:twoterm}{{6.6.12}{103}{Refined Algorithm For Computing Presentation\relax }{theorem.6.6.12}{}}
\citation{birch:bsd}
\citation{manin:parabolic}
\citation{merel:1585}
\citation{sokurov:shimura}
\citation{cremona:algs}
\citation{cremona:gammaone}
\citation{basmaji:thesis}
\citation{stein:phd}
\citation{agashe:phd}
\citation{martin:thesis}
\citation{lemelin:dominic}
\citation{frey-muller}
\@writefile{toc}{\contentsline {section}{\numberline {6.7}Applications}{105}{section.6.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.1}Later in this Book}{105}{subsection.6.7.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.2}Discussion of the Literature and Research}{105}{subsection.6.7.2}}
\citation{dembele}
\citation{darmon-pollack}
\citation{mtt}
\@writefile{toc}{\contentsline {section}{\numberline {6.8}Exercises}{106}{section.6.8}}
\citation{atkin-lehner}
\citation{winnie:newforms}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Computing Spaces of Modular Forms}{107}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:modform}{{7}{107}{Computing Spaces of Modular Forms\relax }{chapter.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Atkin-Lehner-Li Theory}{107}{section.7.1}}
\newlabel{sec:qexps}{{7.1}{107}{Atkin-Lehner-Li Theory\relax }{section.7.1}{}}
\newlabel{eqn:decomp}{{7.1.1}{107}{Atkin-Lehner-Li Theory\relax }{equation.7.1.1}{}}
\newlabel{ex:onlyold}{{7.1.2}{107}{Atkin-Lehner-Li Theory\relax }{theorem.7.1.2}{}}
\citation{winnie:newforms}
\@writefile{default}{\indexentry{newform|hyperpage}{108}}
\newlabel{prop:eigncoeffs}{{7.1.5}{108}{Atkin-Lehner-Li Theory\relax }{theorem.7.1.5}{}}
\citation{merel:1585}
\newlabel{eqn:eigenexp}{{7.1.2}{109}{Atkin-Lehner-Li Theory\relax }{equation.7.1.2}{}}
\newlabel{rem:dbdinhecke}{{7.1.6}{109}{Atkin-Lehner-Li Theory\relax }{theorem.7.1.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Computing Cuspforms Using\\Modular Symbols}{109}{section.7.2}}
\@writefile{default}{\indexentry{algorithm!Merel's Algorithm for Computing a Basis|hyperpage}{110}}
\newlabel{alg:merelqexp}{{7.2.1}{110}{Computing Cuspforms Using\\Modular Symbols\relax }{theorem.7.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Computing Systems of Eigenvalues}{110}{section.7.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Computing Projection Onto a Subspace}{110}{subsection.7.3.1}}
\newlabel{sec:projection}{{7.3.1}{110}{Computing Projection Onto a Subspace\relax }{subsection.7.3.1}{}}
\@writefile{default}{\indexentry{algorithm!Projection Matrix|hyperpage}{111}}
\newlabel{alg:proj}{{7.3.1}{111}{Computing Projection Onto a Subspace\relax }{theorem.7.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Systems of Eigenvalues}{111}{subsection.7.3.2}}
\@writefile{default}{\indexentry{algorithm!System of Eigenvalues|hyperpage}{111}}
\newlabel{alg:eigsys}{{7.3.2}{111}{Systems of Eigenvalues\relax }{theorem.7.3.2}{}}
\newlabel{step:eig:v}{{2}{111}{Systems of Eigenvalues\relax }{Item.119}{}}
\newlabel{alg:ap:gen}{{4}{112}{Systems of Eigenvalues\relax }{Item.121}{}}
\citation{mfd}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Periods and Special Values of $L$-functions}{115}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:periods}{{8}{115}{Periods and Special Values of $L$-functions\relax }{chapter.8}{}}
\newlabel{sec:periods}{{8}{115}{Periods and Special Values of $L$-functions\relax }{chapter.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}The Period Mapping and Complex Torus Attached to a Newform}{115}{section.8.1}}
\citation{shimura:surles}
\@writefile{default}{\indexentry{complex torus attached to $f$|hyperpage}{116}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}Extended Modular Symbols}{117}{section.8.2}}
\newlabel{defn:extendedmodsyms}{{8.2}{117}{Extended Modular Symbols\relax }{section.8.2}{}}
\@writefile{default}{\indexentry{extended modular symbols of weight~$k$|hyperpage}{117}}
\newlabel{eqn:extpair}{{8.2.1}{117}{Extended Modular Symbols\relax }{equation.8.2.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}Numerically Approximating Period Integrals}{117}{section.8.3}}
\newlabel{sec:numper}{{8.3}{117}{Numerically Approximating Period Integrals\relax }{section.8.3}{}}
\citation{cremona:algs}
\citation{cremona:algs}
\newlabel{eqn:intsum}{{8.3.3}{118}{Numerically Approximating Period Integrals\relax }{equation.8.3.3}{}}
\newlabel{lem:intexp}{{8.3.1}{118}{Numerically Approximating Period Integrals\relax }{theorem.8.3.1}{}}
\newlabel{intexp}{{8.3.4}{118}{Numerically Approximating Period Integrals\relax }{equation.8.3.4}{}}
\newlabel{modsym-errorterm}{{8.3.2}{118}{Numerically Approximating Period Integrals\relax }{theorem.8.3.2}{}}
\newlabel{eqn:erroreqn}{{8.3.6}{118}{Numerically Approximating Period Integrals\relax }{equation.8.3.5}{}}
\citation{manin:parabolic}
\citation{stein-verrill:transportable}
\@writefile{lof}{\contentsline {figure}{\numberline {8.3.1}{\ignorespaces ``Transporting'' a transportable modular symbol.}}{119}{figure.8.3.1}}
\newlabel{fig:trans}{{8.3.1}{119}{Numerically Approximating Period Integrals\relax }{figure.8.3.1}{}}
\@writefile{default}{\indexentry{algorithm!Period Integrals|hyperpage}{119}}
\newlabel{onlyoo}{{8.3.5}{119}{Numerically Approximating Period Integrals\relax }{theorem.8.3.5}{}}
\@writefile{default}{\indexentry{transportable|hyperpage}{120}}
\citation{cremona:periods}
\@writefile{toc}{\contentsline {section}{\numberline {8.4}Speeding Convergence Using the Atkin-Lehner Operator}{122}{section.8.4}}
\newlabel{sec:wntrick}{{8.4}{122}{Speeding Convergence Using the Atkin-Lehner Operator\relax }{section.8.4}{}}
\newlabel{wntrick}{{8.4.1}{122}{Speeding Convergence Using the Atkin-Lehner Operator\relax }{theorem.8.4.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4.1}Another Atkin-Lehner Trick}{123}{subsection.8.4.1}}
\citation{cohen:course_ant}
\citation{cremona:algs}
\citation{cremona:algs}
\newlabel{eqn:lone}{{8.4.1}{124}{Another Atkin-Lehner Trick\relax }{equation.8.4.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.5}Computing the Period Mapping}{124}{section.8.5}}
\newlabel{sec:computephi}{{8.5}{124}{Computing the Period Mapping\relax }{section.8.5}{}}
\@writefile{default}{\indexentry{Period mapping!computation of|hyperpage}{124}}
\@writefile{default}{\indexentry{rational period mapping|hyperpage}{124}}
\citation{cremona:algs}
\citation{wiles:fermat}
\citation{breuil-conrad-diamond-taylor}
\citation{taylor-wiles:fermat}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {section}{\numberline {8.6}Computing Elliptic Curves of Given Conductor}{125}{section.8.6}}
\newlabel{sec:findall}{{8.6}{125}{Computing Elliptic Curves of Given Conductor\relax }{section.8.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.6.1}Using Modular Symbols}{125}{subsection.8.6.1}}
\@writefile{default}{\indexentry{modular elliptic curves|hyperpage}{126}}
\@writefile{default}{\indexentry{algorithm!Elliptic Curves of Conductor~$N$|hyperpage}{126}}
\newlabel{step:rateigen}{{8.6.1}{126}{Using Modular Symbols\relax }{theorem.8.6.1}{}}
\newlabel{step:ratnew}{{8.6.1}{126}{Using Modular Symbols\relax }{theorem.8.6.1}{}}
\newlabel{step:tau}{{8.6.1}{126}{Using Modular Symbols\relax }{theorem.8.6.1}{}}
\citation{cremona:periods}
\citation{cremona:algs}
\citation{cremona-lingham}
\citation{tate:antwerpiv}
\citation{cremona:algs}
\citation{silverman:aec}
\newlabel{step:correct}{{8.6.1}{127}{Using Modular Symbols\relax }{theorem.8.6.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.6.2}Finding Curves by Finding $S$-Integral Points}{127}{subsection.8.6.2}}
\citation{cremona-lingham}
\citation{empirical}
\citation{empirical}
\citation{empirical}
\@writefile{toc}{\contentsline {section}{\numberline {8.7}Examples}{128}{section.8.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.7.1}Jacobians of genus-two curves}{128}{subsection.8.7.1}}
\@writefile{default}{\indexentry{Jacobian!of genus-two curve|hyperpage}{128}}
\@writefile{default}{\indexentry{Genus-two curves|hyperpage}{128}}
\newlabel{sec:analytic-empirical}{{8.7.1}{128}{Jacobians of genus-two curves\relax }{subsection.8.7.1}{}}
\@writefile{default}{\indexentry{Manin constant|hyperpage}{128}}
\citation{empirical}
\@writefile{lot}{\contentsline {table}{\numberline {8.7.1}{\ignorespaces Volumes associated to level one cusp forms.}}{129}{table.8.7.1}}
\newlabel{table:vols}{{8.7.1}{129}{Level one cusp forms\relax }{table.8.7.1}{}}
\@writefile{default}{\indexentry{Table of!volumes of level one cusp forms|hyperpage}{129}}
\@writefile{default}{\indexentry{Manin constant|hyperpage}{129}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.7.2}Level one cusp forms}{129}{subsection.8.7.2}}
\@writefile{default}{\indexentry{Real volume|hyperpage}{129}}
\@writefile{default}{\indexentry{Minus volume|hyperpage}{129}}
\citation{cremona:algs}
\@writefile{lot}{\contentsline {table}{\numberline {8.7.2}{\ignorespaces CM elliptic curves of weight $>2$.}}{130}{table.8.7.2}}
\newlabel{table:cmcurves}{{8.7.2}{130}{CM elliptic curves of weight greater than two\relax }{table.8.7.2}{}}
\@writefile{default}{\indexentry{Table of!CM elliptic curves of weight $>2$|hyperpage}{130}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.7.3}CM elliptic curves of weight greater than two}{130}{subsection.8.7.3}}
\newlabel{cmellipticcurves}{{8.7.3}{130}{CM elliptic curves of weight greater than two\relax }{subsection.8.7.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.8}Exercises}{130}{section.8.8}}
\newlabel{ex:perp-stable}{{1}{130}{Exercises\relax }{Item.136}{}}
\citation{cremona:algs}
\newlabel{ex:funceqn}{{2}{131}{Exercises\relax }{Item.139}{}}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}Congruences}{133}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:serre}{{9}{133}{Congruences\relax }{chapter.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}Congruences Between Modular Forms}{133}{section.9.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.1}The $j$-invariant}{133}{subsection.9.1.1}}
\newlabel{lem:jform}{{9.1.1}{133}{The $j$-invariant\relax }{theorem.9.1.1}{}}
\citation{sturm:cong}
\citation{sturm:cong}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.2}Congruences for Modular Forms}{134}{subsection.9.1.2}}
\newlabel{thm:sturm}{{9.1.2}{134}{Congruences for Modular Forms\relax }{theorem.9.1.2}{}}
\newlabel{eqn:sturm1}{{9.1.1}{134}{Congruences for Modular Forms\relax }{equation.9.1.1}{}}
\newlabel{eqn:sturm2}{{9.1.2}{134}{Congruences for Modular Forms\relax }{equation.9.1.2}{}}
\newlabel{eqn:sturm_crt}{{9.1.3}{135}{Congruences for Modular Forms\relax }{equation.9.1.3}{}}
\newlabel{eqn:sturm:ords}{{9.1.4}{136}{Congruences for Modular Forms\relax }{equation.9.1.4}{}}
\citation{sturm:cong}
\citation{buzzard-stein:artin}
\citation{buzzard-stein:artin}
\citation{lario-schoof}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1.3}Congruence for Newforms}{137}{subsection.9.1.3}}
\bibdata{biblio}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}Generating the Hecke Algebra as a $\@mathbb {Z}$-module}{138}{section.9.2}}
\newlabel{thm:heckegen}{{9.2.1}{138}{Generating the Hecke Algebra as a $\Z $-module\relax }{theorem.9.2.1}{}}
\newlabel{eqn:perfectR}{{9.2.1}{138}{Generating the Hecke Algebra as a $\Z $-module\relax }{equation.9.2.1}{}}