\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{stein:hecke}
\citation{magma}
\citation{cremona:algs}
\citation{cohen:course_ant}
\citation{python}
\@writefile{toc}{\contentsline {chapter}{\hbox to\@tempdima {\hfil }Preface}{7}{chapter*.2}}
\citation{serre:arithmetic}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Modular Forms of Level One}{9}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:levelone}{{1}{9}{Modular Forms of Level One\relax }{chapter.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Basic Definitions}{9}{section.1.1}}
\@vwritefile{default}{\indexentry{modular group|hyperpage}{9}}
\@vwritefile{default}{\indexentry{weakly modular function|hyperpage}{9}}
\newlabel{eqn:modfunc}{{1.1.1}{9}{Basic Definitions\relax }{equation.1.1.1}{}}
\citation{serre:arithmetic}
\citation{serre:arithmetic}
\newlabel{eqn:modfunc2}{{1.1.2}{10}{Basic Definitions\relax }{equation.1.1.2}{}}
\@vwritefile{default}{\indexentry{meromorphic at $\infty $|hyperpage}{10}}
\@vwritefile{default}{\indexentry{holomorphic at $\infty $|hyperpage}{10}}
\@vwritefile{default}{\indexentry{modular function|hyperpage}{10}}
\@vwritefile{default}{\indexentry{modular form|hyperpage}{10}}
\@vwritefile{default}{\indexentry{modular form|hyperpage}{10}}
\@vwritefile{default}{\indexentry{cusp form|hyperpage}{10}}
\newlabel{thm:valence}{{1.1.6}{10}{Basic Definitions\relax }{theorem.1.1.6}{}}
\citation{serre:arithmetic}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Eisenstein Series and Delta}{11}{section.1.2}}
\newlabel{sec:level_one_eisen}{{1.2}{11}{Eisenstein Series and Delta\relax }{section.1.2}{}}
\@vwritefile{default}{\indexentry{weight~$k$ Eisenstein series|hyperpage}{11}}
\citation{serre:arithmetic}
\citation{serre:arithmetic}
\newlabel{prop:qexpGk}{{1.2.3}{12}{Eisenstein Series and Delta\relax }{theorem.1.2.3}{}}
\@vwritefile{default}{\indexentry{Bernoulli numbers|hyperpage}{12}}
\newlabel{eqn:def_bernoulli}{{1.2.1}{12}{Eisenstein Series and Delta\relax }{equation.1.2.1}{}}
\newlabel{prop:zeta_even}{{1.2.4}{12}{Eisenstein Series and Delta\relax }{theorem.1.2.4}{}}
\@vwritefile{default}{\indexentry{normalized Eisenstein series|hyperpage}{12}}
\citation{serre:arithmetic}
\newlabel{eqn:ekexp}{{1.2.2}{13}{Eisenstein Series and Delta\relax }{equation.1.2.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Structure Theorem}{13}{section.1.3}}
\newlabel{prop:mk_vanish}{{1.3.1}{13}{Structure Theorem\relax }{theorem.1.3.1}{}}
\newlabel{thm:delta_iso}{{1.3.2}{13}{Structure Theorem\relax }{theorem.1.3.2}{}}
\newlabel{cor:dim1}{{1.3.4}{14}{Structure Theorem\relax }{theorem.1.3.4}{}}
\newlabel{thm:mk_one_basis}{{1.3.5}{14}{Structure Theorem\relax }{theorem.1.3.5}{}}
\@vwritefile{default}{\indexentry{algorithm!Basis|hyperpage}{14}}
\newlabel{alg:basis}{{1.3.6}{14}{Structure Theorem\relax }{theorem.1.3.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Hecke Operators}{15}{section.1.4}}
\newlabel{sec:hecke_one}{{1.4}{15}{Hecke Operators\relax }{section.1.4}{}}
\newlabel{prop:tn_presweak}{{1.4.3}{16}{Hecke Operators\relax }{theorem.1.4.3}{}}
\newlabel{eqn:hecke_mul}{{1.4.1}{16}{Hecke Operators\relax }{equation.1.4.1}{}}
\newlabel{eqn:hecke_recur}{{1.4.2}{16}{Hecke Operators\relax }{equation.1.4.2}{}}
\citation{iwaniec:topics}
\citation{serre:asymptotique}
\citation{serre:arithmetic}
\newlabel{prop:qexpTn}{{1.4.7}{18}{Hecke Operators\relax }{theorem.1.4.7}{}}
\citation{lang:modular}
\@writefile{toc}{\contentsline {section}{\numberline {1.5}The Victor Miller Basis}{19}{section.1.5}}
\newlabel{sec:vmthesis}{{1.5}{19}{The Victor Miller Basis\relax }{section.1.5}{}}
\newlabel{lem:vm}{{1.5.1}{19}{The Victor Miller Basis\relax }{theorem.1.5.1}{}}
\@vwritefile{default}{\indexentry{algorithm!Hecke Operator|hyperpage}{20}}
\citation{buzzard:t2}
\citation{farmer-james:maeda}
\newlabel{usevm}{{4}{21}{The Victor Miller Basis\relax }{Item.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {1.6}Can One Compute the Coefficients of $\Delta $ in Polynomial Time?}{21}{section.1.6}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Dirichlet Characters}{23}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:dirichlet}{{2}{23}{Dirichlet Characters\relax }{chapter.2}{}}
\@vwritefile{default}{\indexentry{Dirichlet character|hyperpage}{23}}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Representation and Arithmetic}{24}{section.2.1}}
\newlabel{lem:dual}{{2.1.1}{24}{Representation and Arithmetic\relax }{theorem.2.1.1}{}}
\newlabel{cor:dir_ord}{{2.1.2}{24}{Representation and Arithmetic\relax }{theorem.2.1.2}{}}
\@vwritefile{default}{\indexentry{algorithm!Minimal generator for $(\Z /p^r\Z )^*$|hyperpage}{24}}
\newlabel{alg:mingens}{{2.1.4}{24}{Representation and Arithmetic\relax }{theorem.2.1.4}{}}
\newlabel{step:gen_init}{{2}{24}{Representation and Arithmetic\relax }{Item.13}{}}
\newlabel{ex:mingens}{{2.1.6}{25}{Representation and Arithmetic\relax }{theorem.2.1.6}{}}
\newlabel{eqn:epslist}{{2.1.1}{25}{Representation and Arithmetic\relax }{equation.2.1.1}{}}
\newlabel{ex:char}{{2.1.7}{25}{Representation and Arithmetic\relax }{theorem.2.1.7}{}}
\@vwritefile{default}{\indexentry{algorithm!Evaluate $\eps $|hyperpage}{26}}
\newlabel{alg:eval_eps}{{2.1.8}{26}{Representation and Arithmetic\relax }{theorem.2.1.8}{}}
\newlabel{step:eval_fb}{{2}{26}{Representation and Arithmetic\relax }{Item.19}{}}
\@vwritefile{default}{\indexentry{algorithm!Baby-Step Giant Step Discrete Log|hyperpage}{26}}
\newlabel{alg:baby_giant_dlog}{{2.1.9}{26}{Representation and Arithmetic\relax }{theorem.2.1.9}{}}
\citation{shoup:lower}
\citation{nechaev:lower}
\citation{gordon:dlog}
\citation{gordon:dlp}
\newlabel{step:find_match}{{2}{27}{Representation and Arithmetic\relax }{Item.22}{}}
\citation{cohen:course_ant}
\citation{cohen:course_ant}
\@vwritefile{default}{\indexentry{algorithm!Values of $\eps $|hyperpage}{29}}
\newlabel{step:add_value}{{2}{29}{Representation and Arithmetic\relax }{Item.24}{}}
\@vwritefile{default}{\indexentry{algorithm!Kronecker Symbol|hyperpage}{29}}
\newlabel{alg:kronecker}{{2.1.12}{29}{Representation and Arithmetic\relax }{theorem.2.1.12}{}}
\citation{hijikata:trace}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Algorithms}{30}{section.2.2}}
\@vwritefile{default}{\indexentry{algorithm!Order of Character|hyperpage}{30}}
\newlabel{alg:dir_order}{{2.2.1}{30}{Algorithms\relax }{theorem.2.2.1}{}}
\@vwritefile{default}{\indexentry{algorithm!Factorization of Character|hyperpage}{31}}
\newlabel{alg:dirfac}{{2.2.3}{31}{Algorithms\relax }{theorem.2.2.3}{}}
\newlabel{step:singletons}{{2}{31}{Algorithms\relax }{Item.32}{}}
\newlabel{step:extra2}{{3}{31}{Algorithms\relax }{Item.33}{}}
\newlabel{ex:prodlocal}{{2.2.4}{31}{Algorithms\relax }{theorem.2.2.4}{}}
\@vwritefile{default}{\indexentry{conductor|hyperpage}{31}}
\@vwritefile{default}{\indexentry{primitive|hyperpage}{31}}
\@vwritefile{default}{\indexentry{primitive character associated to|hyperpage}{31}}
\@vwritefile{default}{\indexentry{algorithm!Conductor|hyperpage}{31}}
\newlabel{alg:conductor}{{2.2.6}{31}{Algorithms\relax }{theorem.2.2.6}{}}
\newlabel{step:factor_dir}{{1}{31}{Algorithms\relax }{Item.34}{}}
\newlabel{step:cond_fac}{{3}{31}{Algorithms\relax }{Item.36}{}}
\newlabel{ex:char_cond}{{2.2.7}{32}{Algorithms\relax }{theorem.2.2.7}{}}
\@vwritefile{default}{\indexentry{algorithm!Restriction of Character|hyperpage}{32}}
\newlabel{alg:restrict}{{2.2.8}{32}{Algorithms\relax }{theorem.2.2.8}{}}
\newlabel{step:addmod}{{3}{32}{Algorithms\relax }{Item.41}{}}
\@vwritefile{default}{\indexentry{algorithm!Extension of Character|hyperpage}{33}}
\newlabel{alg:extend}{{2.2.9}{33}{Algorithms\relax }{theorem.2.2.9}{}}
\@vwritefile{default}{\indexentry{algorithm!Galois Orbit|hyperpage}{33}}
\newlabel{step:nontriv_aut}{{2}{33}{Algorithms\relax }{Item.47}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Alternative Representations of Characters}{34}{section.2.3}}
\newlabel{sec:alter_rep}{{2.3}{34}{Alternative Representations of Characters\relax }{section.2.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Exercises}{35}{section.2.4}}
\newlabel{ex:cyclic}{{1}{35}{Exercises\relax }{Item.49}{}}
\newlabel{ex:orderalg}{{2}{35}{Exercises\relax }{Item.52}{}}
\newlabel{ex:dlogadd}{{3}{35}{Exercises\relax }{Item.53}{}}
\newlabel{ex:cond2}{{4}{36}{Exercises\relax }{Item.54}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Modular Forms and Eisenstein Series of\\Higher Level}{37}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:eisen}{{3}{37}{Modular Forms and Eisenstein Series of\\Higher Level\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Modular Forms of Higher Level}{37}{section.3.1}}
\@vwritefile{default}{\indexentry{holomorphic|hyperpage}{37}}
\@vwritefile{default}{\indexentry{congruence subgroup|hyperpage}{38}}
\@vwritefile{default}{\indexentry{level|hyperpage}{38}}
\@vwritefile{default}{\indexentry{width of the cusp|hyperpage}{38}}
\@vwritefile{default}{\indexentry{algorithm!Width of Cusp|hyperpage}{38}}
\@vwritefile{default}{\indexentry{diamond-bracket operators|hyperpage}{39}}
\@vwritefile{default}{\indexentry{has character|hyperpage}{40}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Generalized Bernoulli Numbers}{40}{section.3.2}}
\@vwritefile{default}{\indexentry{generalized Bernoulli numbers|hyperpage}{40}}
\@vwritefile{default}{\indexentry{algorithm!Bernoulli Numbers|hyperpage}{40}}
\newlabel{alg:gen_bernoulli}{{3.2.2}{40}{Generalized Bernoulli Numbers\relax }{theorem.3.2.2}{}}
\newlabel{step:ber1}{{1}{41}{Generalized Bernoulli Numbers\relax }{Item.65}{}}
\newlabel{step:ber2}{{2}{41}{Generalized Bernoulli Numbers\relax }{Item.66}{}}
\newlabel{step:ber4}{{3}{41}{Generalized Bernoulli Numbers\relax }{Item.67}{}}
\citation{miyake}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Explicit Basis for the Eisenstein Subspace}{42}{section.3.3}}
\newlabel{eqn:eisen}{{3.3.1}{42}{Explicit Basis for the Eisenstein Subspace\relax }{equation.3.3.1}{}}
\newlabel{thm:eisser}{{3.3.1}{42}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.3.1}{}}
\newlabel{thm:eisgen}{{3.3.2}{43}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.3.2}{}}
\newlabel{thm:eiseigen}{{3.3.3}{43}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.3.3}{}}
\@vwritefile{default}{\indexentry{algorithm!Enumerating Eisenstein Series|hyperpage}{43}}
\newlabel{alg:enum_eisen}{{3.3.4}{43}{Explicit Basis for the Eisenstein Subspace\relax }{theorem.3.3.4}{}}
\newlabel{step:enum_eisen3}{{3}{43}{Explicit Basis for the Eisenstein Subspace\relax }{Item.70}{}}
\newlabel{step:enum_eisen4}{{4}{43}{Explicit Basis for the Eisenstein Subspace\relax }{Item.71}{}}
\citation{shimura:intro}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Exercises}{44}{section.3.4}}
\newlabel{ex:has_width}{{1}{44}{Exercises\relax }{Item.73}{}}
\newlabel{ex:surjred}{{2}{44}{Exercises\relax }{Item.74}{}}
\newlabel{ex:gamma0}{{3}{44}{Exercises\relax }{Item.75}{}}
\newlabel{ex:diag}{{4}{44}{Exercises\relax }{Item.76}{}}
\newlabel{ex:bern_triv}{{5}{44}{Exercises\relax }{Item.77}{}}
\newlabel{ex:odd_bernoulli}{{6}{44}{Exercises\relax }{Item.78}{}}
\citation{shimura:intro}
\citation{cohen-oesterle:dimensions}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Computing Dimensions of Spaces of Modular Forms}{45}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:dim}{{4}{45}{Computing Dimensions of Spaces of Modular Forms\relax }{chapter.4}{}}
\citation{shimura:intro}
\citation{miyake}
\citation{diamond-im}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modular Forms for $\Gamma _0(N)$}{46}{section.4.1}}
\newlabel{sec:dimg0}{{4.1}{46}{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}{47}{subsection.4.1.1}}
\newlabel{thm:atkin-lehner}{{4.1.2}{47}{New and Old Subspaces\relax }{theorem.4.1.2}{}}
\newlabel{prop:newg0}{{4.1.3}{48}{New and Old Subspaces\relax }{theorem.4.1.3}{}}
\newlabel{prop:dimg0}{{4.1.1}{48}{New and Old Subspaces\relax }{theorem.4.1.3}{}}
\newlabel{eqn:mumu}{{4.1.1}{48}{New and Old Subspaces\relax }{equation.4.1.1}{}}
\newlabel{ex:new_old}{{4.1.4}{48}{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)$}{50}{section.4.2}}
\citation{cohen-oesterle:dimensions}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Modular Forms with Character}{51}{section.4.3}}
\@vwritefile{default}{\indexentry{algorithm!Compute Sum over $A_4(N)$|hyperpage}{52}}
\newlabel{alg:suma4}{{4.3.1}{52}{Modular Forms with Character\relax }{theorem.4.3.1}{}}
\newlabel{alg:sum1go}{{3}{52}{Modular Forms with Character\relax }{Item.81}{}}
\newlabel{alg:a4_3a}{{3a}{52}{Modular Forms with Character\relax }{Item.82}{}}
\newlabel{alg:a4_3b}{{3b}{52}{Modular Forms with Character\relax }{Item.83}{}}
\newlabel{alg:a4_3d}{{3d}{52}{Modular Forms with Character\relax }{Item.85}{}}
\citation{cohen-oesterle:dimensions}
\newlabel{alg:a4_3g}{{3g}{53}{Modular Forms with Character\relax }{Item.88}{}}
\newlabel{alg:a4_3h}{{3h}{53}{Modular Forms with Character\relax }{Item.89}{}}
\newlabel{alg:a4_3i}{{3i}{53}{Modular Forms with Character\relax }{Item.90}{}}
\newlabel{alg:a4_3j}{{3j}{53}{Modular Forms with Character\relax }{Item.91}{}}
\newlabel{eqn:a4prodsum}{{4.3.1}{53}{Modular Forms with Character\relax }{equation.4.3.1}{}}
\newlabel{rem:co}{{4.3.2}{53}{Modular Forms with Character\relax }{theorem.4.3.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Exercises}{54}{section.4.4}}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Linear Algebra}{55}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:linalg}{{5}{55}{Linear Algebra\relax }{chapter.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Echelon Form}{55}{section.5.1}}
\newlabel{sec:echelon_form}{{5.1}{55}{Echelon Form\relax }{section.5.1}{}}
\@vwritefile{default}{\indexentry{row echelon form|hyperpage}{55}}
\@vwritefile{default}{\indexentry{reduced row echelon form|hyperpage}{55}}
\@vwritefile{default}{\indexentry{pivot column|hyperpage}{55}}
\@vwritefile{default}{\indexentry{algorithm!Gauss Elimination|hyperpage}{56}}
\newlabel{alg:gauss}{{5.1.3}{56}{Echelon Form\relax }{theorem.5.1.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Echelon Forms over $\@mathbb {Q}$}{57}{section.5.2}}
\newlabel{sec:modularmethod}{{5.2}{57}{Echelon Forms over $\Q $\relax }{section.5.2}{}}
\@vwritefile{default}{\indexentry{algorithm!Rational Reconstruction|hyperpage}{58}}
\newlabel{alg:ratrecon}{{5.2.1}{58}{Echelon Forms over $\Q $\relax }{theorem.5.2.1}{}}
\citation{knuth2}
\citation{knuth2}
\newlabel{eqn:xgcdeqn}{{5.2.1}{59}{Echelon Forms over $\Q $\relax }{equation.5.2.1}{}}
\@vwritefile{default}{\indexentry{height|hyperpage}{59}}
\@vwritefile{default}{\indexentry{algorithm!Modular Algorithm for Computing Echelon Form|hyperpage}{59}}
\newlabel{alg:modech}{{5.2.3}{60}{Echelon Forms over $\Q $\relax }{theorem.5.2.3}{}}
\newlabel{step:discard}{{5}{60}{Echelon Forms over $\Q $\relax }{Item.106}{}}
\newlabel{eqn:modalgbound}{{5.2.2}{60}{Echelon Forms over $\Q $\relax }{Item.110}{}}
\@vwritefile{default}{\indexentry{Magma|hyperpage}{61}}
\@vwritefile{default}{\indexentry{Magma|hyperpage}{61}}
\citation{cohen:course_ant}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Polynomials}{63}{section.5.3}}
\@vwritefile{default}{\indexentry{Magma|hyperpage}{63}}
\@vwritefile{default}{\indexentry{Magma|hyperpage}{63}}
\citation{merel:1585}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Modular Symbols}{65}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:modsym}{{6}{65}{Modular Symbols\relax }{chapter.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Modular Symbols}{66}{section.6.1}}
\@vwritefile{default}{\indexentry{left action of $G$|hyperpage}{66}}
\@vwritefile{default}{\indexentry{modular symbols over a ring $R$|hyperpage}{67}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Manin Symbols}{67}{section.6.2}}
\newlabel{sec:manin}{{6.2}{67}{Manin Symbols\relax }{section.6.2}{}}
\@vwritefile{default}{\indexentry{Manin symbol|hyperpage}{68}}
\newlabel{prop:mangen}{{6.2.1}{68}{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}{69}{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}{71}{subsection.6.2.1}}
\newlabel{prop:gamma1cosets}{{6.2.4}{71}{Coset Representatives and Manin Symbols\relax }{theorem.6.2.4}{}}
\newlabel{eqn:cos1a}{{6.2.4}{71}{Coset Representatives and Manin Symbols\relax }{equation.6.2.4}{}}
\newlabel{eqn:cos1b}{{6.2.5}{71}{Coset Representatives and Manin Symbols\relax }{equation.6.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Modular Symbols With Character}{72}{subsection.6.2.2}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Hecke Operators}{72}{section.6.3}}
\@vwritefile{default}{\indexentry{Hecke algebra|hyperpage}{72}}
\@vwritefile{default}{\indexentry{Hecke operator|hyperpage}{72}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}General Definition of Hecke Operators}{73}{subsection.6.3.1}}
\newlabel{lem:deltan}{{6.3.1}{73}{General Definition of Hecke Operators\relax }{theorem.6.3.1}{}}
\citation{merel:1585}
\citation{mazur:symboles}
\newlabel{eqn:gtilde}{{6.3.1}{74}{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}{75}{subsection.6.3.2}}
\@vwritefile{default}{\indexentry{satisfies condition $C_n$|hyperpage}{75}}
\newlabel{eqn:cn}{{6.3.2}{75}{Hecke Operators on Manin Symbols\relax }{equation.6.3.2}{}}
\newlabel{eqn:tnmanin}{{6.3.3}{75}{Hecke Operators on Manin Symbols\relax }{equation.6.3.3}{}}
\citation{cremona:algs}
\newlabel{prop:heilbronn}{{6.3.2}{76}{Hecke Operators on Manin Symbols\relax }{theorem.6.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.3}Remarks on Complexity}{76}{subsection.6.3.3}}
\citation{basmaji:thesis}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Cuspidal Modular Symbols}{77}{section.6.4}}
\citation{merel:1585}
\@vwritefile{default}{\indexentry{boundary map|hyperpage}{78}}
\@vwritefile{default}{\indexentry{cuspidal modular symbols|hyperpage}{78}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}The Pairing Between Modular Symbols and Modular Forms}{78}{section.6.5}}
\@vwritefile{default}{\indexentry{antiholomorphic|hyperpage}{78}}
\newlabel{eqn:intpairing}{{6.5.1}{78}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.1}{}}
\citation{knapp:elliptic}
\newlabel{eqn:lfs}{{6.5.2}{79}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.2}{}}
\@vwritefile{default}{\indexentry{critical integers|hyperpage}{79}}
\@vwritefile{default}{\indexentry{Hecke operators|hyperpage}{79}}
\citation{merel:1585}
\citation{merel:1585}
\newlabel{eqn:bigstuff}{{6.5.3}{81}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.3}{}}
\citation{cremona:algs}
\newlabel{eqn:star}{{6.5.4}{82}{The Pairing Between Modular Symbols and Modular Forms\relax }{equation.6.5.4}{}}
\@vwritefile{default}{\indexentry{star involution|hyperpage}{82}}
\citation{cremona:algs}
\citation{cremona:algs}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Explicitly Computing $\@mathbb {M}_k(\Gamma _0(N)$}{83}{section.6.6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.1}Computing $\@mathbb {P}^1(\@mathbb {Z}/N\@mathbb {Z})$}{83}{subsection.6.6.1}}
\newlabel{sec:p1rep}{{6.6.1}{83}{Computing $\P ^1(\Z /N\Z )$\relax }{subsection.6.6.1}{}}
\@vwritefile{default}{\indexentry{algorithm!Reduce|hyperpage}{83}}
\newlabel{alg:p1list}{{6.6.1}{83}{Computing $\P ^1(\Z /N\Z )$\relax }{theorem.6.6.1}{}}
\@vwritefile{default}{\indexentry{algorithm!List $\P ^1(\Z /N\Z )$|hyperpage}{85}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.2}Examples of Computation of $\@mathbb {M}_k(\Gamma _0(N))$}{86}{subsection.6.6.2}}
\newlabel{example:m4_1}{{6.6.5}{86}{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}{94}{subsection.6.6.3}}
\@vwritefile{default}{\indexentry{algorithm!Compute Presentation|hyperpage}{94}}
\newlabel{alg:modsympresent}{{6.6.10}{94}{Refined Algorithm For Computing Presentation\relax }{theorem.6.6.10}{}}
\@vwritefile{default}{\indexentry{algorithm!Quotient By 2-Term Relations|hyperpage}{95}}
\newlabel{alg:twoterm}{{6.6.12}{95}{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}
\@writefile{toc}{\contentsline {section}{\numberline {6.7}Applications}{97}{section.6.7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.1}Later in this Book}{97}{subsection.6.7.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.2}Discussion of the Literature and Research}{97}{subsection.6.7.2}}
\citation{basmaji:thesis}
\citation{stein:phd}
\citation{agashe:phd}
\citation{diderot:thesis}
\citation{lemelin:dominic}
\citation{frey-muller}
\citation{dembele}
\citation{darmon-pollack}
\citation{mtt}
\@writefile{toc}{\contentsline {section}{\numberline {6.8}Exercises}{98}{section.6.8}}
\citation{atkin-lehner}
\citation{winnie:newforms}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Using Modular Symbols to Compute Spaces of Modular Forms}{101}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:modform}{{7}{101}{Using Modular Symbols to Compute Spaces of Modular Forms\relax }{chapter.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}$q$-expansions of Newforms}{101}{section.7.1}}
\newlabel{sec:qexps}{{7.1}{101}{$q$-expansions of Newforms\relax }{section.7.1}{}}
\newlabel{eqn:decomp}{{7.1.1}{101}{$q$-expansions of Newforms\relax }{equation.7.1.1}{}}
\newlabel{ex:onlyold}{{7.1.2}{101}{$q$-expansions of Newforms\relax }{theorem.7.1.2}{}}
\citation{winnie:newforms}
\@vwritefile{default}{\indexentry{newform|hyperpage}{102}}
\newlabel{prop:eigncoeffs}{{7.1.5}{102}{$q$-expansions of Newforms\relax }{theorem.7.1.5}{}}
\citation{merel:1585}
\newlabel{eqn:eigenexp}{{7.1.2}{103}{$q$-expansions of Newforms\relax }{equation.7.1.2}{}}
\newlabel{rem:dbdinhecke}{{7.1.6}{103}{$q$-expansions of Newforms\relax }{theorem.7.1.6}{}}
\@vwritefile{default}{\indexentry{algorithm!Merel's Algorithm for Computing a Basis|hyperpage}{103}}
\newlabel{alg:merelqexp}{{7.1.7}{103}{$q$-expansions of Newforms\relax }{theorem.7.1.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Decomposing Spaces of Modular Symbols}{104}{section.7.2}}
\newlabel{prob:decomp}{{7.2.1}{104}{Decomposing Spaces of Modular Symbols\relax }{theorem.7.2.1}{}}
\@vwritefile{default}{\indexentry{rational Jordan form|hyperpage}{105}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}Weiedemann's Minimal Polynomial Algorithm}{105}{subsection.7.2.1}}
\citation{cohen:course_ant}
\@vwritefile{default}{\indexentry{algorithm!Berlekamp-Massey|hyperpage}{106}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}Polynomial Factorization}{106}{subsection.7.2.2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}Decomposition Using Kernels}{106}{subsection.7.2.3}}
\@vwritefile{default}{\indexentry{algorithm!Decomposition Using Kernels|hyperpage}{106}}
\newlabel{alg:decomp}{{7.2.4}{106}{Decomposition Using Kernels\relax }{theorem.7.2.4}{}}
\newlabel{alg:decomp:factor}{{2}{107}{Decomposition Using Kernels\relax }{Item.149}{}}
\newlabel{alg:decomp:ker}{{3}{107}{Decomposition Using Kernels\relax }{Item.150}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.4}A Multi-Modular Decomposition Algorithm}{107}{subsection.7.2.4}}
\@vwritefile{default}{\indexentry{algorithm!Decomposition Algorithm II|hyperpage}{107}}
\newlabel{alg:decomp2}{{7.2.5}{107}{A Multi-Modular Decomposition Algorithm\relax }{theorem.7.2.5}{}}
\newlabel{alg:decomp:factor}{{2}{107}{A Multi-Modular Decomposition Algorithm\relax }{Item.155}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Computing Systems of Eigenvalues}{108}{section.7.3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Computing Projection Onto a Subspace}{108}{subsection.7.3.1}}
\newlabel{sec:projection}{{7.3.1}{108}{Computing Projection Onto a Subspace\relax }{subsection.7.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Systems of Eigenvalues Algorithm}{108}{subsection.7.3.2}}
\@vwritefile{default}{\indexentry{algorithm!System of Eigenvalues|hyperpage}{108}}
\newlabel{step:eig:v}{{2}{109}{Systems of Eigenvalues Algorithm\relax }{Item.164}{}}
\newlabel{alg:ap:gen}{{4}{109}{Systems of Eigenvalues Algorithm\relax }{Item.166}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Period Mappings Associated to Newforms}{111}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{sec:periods}{{8}{111}{Period Mappings Associated to Newforms\relax }{chapter.8}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}Complex Period Mapping}{111}{section.8.1}}
\@vwritefile{default}{\indexentry{algorithm!Complex Period Mapping|hyperpage}{111}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}Rational and Integral Period Mapping}{111}{section.8.2}}
\newlabel{sec:ratpm}{{8.2}{111}{Rational and Integral Period Mapping\relax }{section.8.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}Special Values of $L$-Functions}{111}{section.8.3}}
\@vwritefile{default}{\indexentry{algorithm!|hyperpage}{111}}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}Modular Curves and Modular Abelian Varieties}{113}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:modabvar}{{9}{113}{Modular Curves and Modular Abelian Varieties\relax }{chapter.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}Modular Curves}{113}{section.9.1}}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}Modular Abelian Varieties}{113}{section.9.2}}
\@writefile{toc}{\contentsline {section}{\numberline {9.3}The Birch and Swinnerton-Dyer Conjecture}{113}{section.9.3}}
\@vwritefile{default}{\indexentry{algorithm!The BSD Ratio|hyperpage}{113}}
\@writefile{toc}{\contentsline {section}{\numberline {9.4}How Cremona Computes all Elliptic Curves of Conductor\nobreakspace  {}$N$}{113}{section.9.4}}
\newlabel{sec:cremona_all}{{9.4}{113}{How Cremona Computes all Elliptic Curves of Conductor~$N$\relax }{section.9.4}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {10}Application: Serre's Conjecture}{115}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:serre}{{10}{115}{Application: Serre's Conjecture\relax }{chapter.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {10.1}Congruences and Reduction Modulo a Prime}{115}{section.10.1}}
\@writefile{toc}{\contentsline {section}{\numberline {10.2}Statement of the Conjecture}{115}{section.10.2}}
\@writefile{toc}{\contentsline {section}{\numberline {10.3}Determining Irreducibility}{115}{section.10.3}}
\@vwritefile{default}{\indexentry{algorithm!Irreducible|hyperpage}{115}}
\@writefile{toc}{\contentsline {section}{\numberline {10.4}Computing the Serre Invariants}{115}{section.10.4}}
\@vwritefile{default}{\indexentry{algorithm!Serre Weight|hyperpage}{115}}
\@vwritefile{default}{\indexentry{algorithm!Serre Level|hyperpage}{116}}
\@writefile{toc}{\contentsline {section}{\numberline {10.5}Finding the Newforms that Give Rise to a Representation}{116}{section.10.5}}
\@vwritefile{default}{\indexentry{algorithm!Newforms Attached to a Representation|hyperpage}{116}}
\@writefile{toc}{\contentsline {chapter}{\numberline {11}Software for Computing With Modular Forms}{117}{chapter.11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:manin}{{11}{117}{Software for Computing With Modular Forms\relax }{chapter.11}{}}
\@writefile{toc}{\contentsline {section}{\numberline {11.1}MAGMA}{117}{section.11.1}}
\@writefile{toc}{\contentsline {section}{\numberline {11.2}Python / MANIN}{117}{section.11.2}}
\@writefile{toc}{\contentsline {section}{\numberline {11.3}Cremona's mwrank}{118}{section.11.3}}
\@writefile{toc}{\contentsline {section}{\numberline {11.4}HECKE C++ Library}{118}{section.11.4}}
\@writefile{toc}{\contentsline {section}{\numberline {11.5}PARI/GP Package}{118}{section.11.5}}
\@writefile{toc}{\contentsline {chapter}{\hbox to\@tempdima {\hfil }Appendix: GNU Free Documentation License}{119}{chapter*.3}}
\bibdata{biblio}
\bibcite{agashe:phd}{Aga00}
\bibcite{atkin-lehner}{AL70}
\bibcite{basmaji:thesis}{Bas96}
\bibcite{magma}{BCP97}
\bibcite{birch:bsd}{Bir71}
\bibcite{buzzard:t2}{Buz96}
\bibcite{cohen-oesterle:dimensions}{CO77}
\bibcite{cohen:course_ant}{Coh93}
\bibcite{cremona:gammaone}{Cre92}
\bibcite{cremona:algs}{Cre97}
\bibcite{csirik-wetherell-zieve:g0}{CWZ01}
\bibcite{dembele}{Dem04}
\bibcite{diamond-im}{DI95}
\bibcite{diderot:thesis}{Did01}
\bibcite{darmon-pollack}{DP04}
\bibcite{farmer-james:maeda}{FJ02}
\bibcite{frey-muller}{FM99}
\bibcite{gordon:dlp}{Gor}
\bibcite{gordon:dlog}{Gor93}
\bibcite{hijikata:trace}{Hij74}
\bibcite{iwaniec:topics}{Iwa97}
\bibcite{knapp:elliptic}{Kna92}
\bibcite{knuth2}{Knu}
\bibcite{lang:modular}{Lan95}
\bibcite{lemelin:dominic}{Lem01}
\bibcite{winnie:newforms}{Li75}
\bibcite{manin:parabolic}{Man72}
\bibcite{mazur:symboles}{Maz73}
\bibcite{merel:1585}{Mer94}
\bibcite{miyake}{Miy89}
\bibcite{mtt}{MTT86}
\bibcite{nechaev:lower}{Nec94}
\bibcite{python}{Ros}
\bibcite{serre:arithmetic}{Ser73}
\bibcite{serre:asymptotique}{Ser97}
\bibcite{shimura:intro}{Shi94}
\bibcite{shoup:lower}{Sho97}
\bibcite{sokurov:shimura}{{\v {S}}ok80}
\bibcite{stein:hecke}{Ste99}
\bibcite{stein:phd}{Ste00}
\bibcite{math252}{Ste03}