 the beginning to get the $q$-expansions of the newforms from the $q$-expansions of the forms we have just computed.

This method is faster than the classical one for large $B$.

For fixed prime level $\ell$, the number of bit operations required to compute the $q$-expansion of the newforms in $S_2\big(\Gamma_1(\ell)\big)$ to precision $O(q^B)$ with the algorithm described above is quasi-linear in $B$.

In comparison, the bit complexity of the classical algorithm based on modular symbols is at least quadratic in $B$, cf [@Stein], remark 8.3.3.

First notice that for fixed level $\ell$, the change of basis matrices from the bases $\mathcal{B}_{\varepsilon}$ to eigenforms are fixed, and so is the common field $K = {\mathbb{Q}}\left(\zeta_{(\ell-1)/2} \right)$. Consequently the coefficients of $\zeta_{(\ell-1)/2}$ in the coefficients up to $q^B$ of the forms in the bases $\mathcal{B}_{\varepsilon}$ are bounded by $C \sup_{n < B} d(n) \sqrt{n}$ where $C$ is some constant which does not depend on $B$. This bound is $O(B)$ (because $d(n) = O(n^{\delta})$ for every $\delta > 0$, cf for instance [@HW], theorem 315), so the smallest prime $p$ larger than twice this bound and congruent[^8] to $1 \bmod (\ell-1)/2$ is also $O(B)$, and can be found in using the sieve of Eratosthenes in $O(B \log B \log \log B)$ bit operations (cf the proof of the theorem 18.10 part ii in [@Gathen]). Then arithmetic operations in the residue field ${\mathbb{F}}_p$ will require $O(\log B)$ bit operations. Next, $E_4$ and $E_6$ can be computed mod $p$ to precision $O(q^B)$ in $O(B \log B \log \log B)$ bit operations using again the sieve of Eratosthenes, and $u$ and $dj$ can be computed in $O(B \log B)$ operations in ${\mathbb{F}}_
the beginning to get the $ q$-expansions of the newforms from the $ q$-expansions of the forms we have just computed. 

 This method acting is fast than the classical one for big $ B$. 

 For fasten prime level $ \ell$, the issue of morsel operations necessitate to compute the $ q$-expansion of the newforms in $ S_2\big(\Gamma_1(\ell)\big)$ to precision $ O(q^B)$ with the algorithm described above is quasi - analogue in $ B$. 

 In comparison, the bit complexity of the classical algorithm based on modular symbols is at least quadratic in $ B$, californium [ @Stein ], remark 8.3.3. 

 First notice that for fixed level $ \ell$, the change of footing matrices from the bases $ \mathcal{B}_{\varepsilon}$ to eigenforms are fixed, and then is the common field $ kilobyte = { \mathbb{Q}}\left(\zeta_{(\ell-1)/2 } \right)$. Consequently the coefficients of $ \zeta_{(\ell-1)/2}$ in the coefficient up to $ q^B$ of the forms in the base $ \mathcal{B}_{\varepsilon}$ are bounded by $ C \sup_{n < B } d(n) \sqrt{n}$ where $ C$ is some constant which does not depend on $ B$. This restrict is $ O(B)$ (because $ d(n) = O(n^{\delta})$ for every $ \delta > 0 $, cf for instance [ @HW ], theorem 315), so the smallest prime $ p$ larger than twice this bound and congruent[^8 ] to $ 1 \bmod (\ell-1)/2 $ is besides $ O(B)$, and can be find in using the sieve of Eratosthenes in $ O(B \log B \log \log B)$ bit operations (cf the proof of the theorem 18.10 part ii in [ @Gathen ]). Then arithmetic operations in the residue field $ { \mathbb{F}}_p$ will necessitate $ O(\log B)$ bit operations. Next, $ E_4 $ and $ E_6 $ can be calculate mod $ p$ to precision $ O(q^B)$ in $ O(B \log boron \log \log B)$ piece operations using again the sieve of Eratosthenes, and $ u$ and $ dj$ can be computed in $ O(B \log B)$ operations in $ { \mathbb{F } } _
 thf beginning to get the $q$-txpansions of the newforks froj the $q$-ebpansions of the forms we hate jyst cimputed.

This method is waster thwn the coassmcal one for larjs $B$.

For nnxed lvime nxvel $\ell$, the nukber of bid operations raqjixed to compute the $q$-expansion of the newforks in $S_2\big(\Gamma_1(\ejl)\bib)$ to lgegision $O(q^B)$ with the algorithm deacribed above is quaxi-linear in $B$.

In comparison, the bit complexity of the classixal wogorithm basdd on modular symbols js at least quadratic in $B$, cf [@Sgein], xemark 8.3.3.

Firsj hohhce that foc fixeq level $\ell$, bne chatge of nasis matrices frmm rhe bases $\mathcal{B}_{\varxpsilon}$ to eigenformf are fixad, and so is the conmin figld $K = {\magybb{D}}\lert(\vetz_{(\ell-1)/2} \rlghv)$. Consequenfly the coedficients of $\zeta_{(\elk-1)/2}$ yb the coefficjents tp to $q^B$ of the forms in the bases $\mathcan{B}_{\vzrepsilon}$ are bounded bt $C \sup_{n < B} d(n) \sqrt{n}$ ahere $C$ if some constant which does not depend on $B$. This bmund ms $O(B)$ (bccaurw $f(n) = O(n^{\delta})$ for every $\delta > 0$, cf for instance [@GW], tmeorem 315), so the siallest prike $p$ jarger than tdice tkjs bound and congruejt[^8] to $1 \fmod (\wll-1)/2$ is alfo $O(N)$, and can be found in using the sieve oy Eeatosthenes in $O(B \pog B \log \lug B)$ bit pperations (cf the proof of fhe theorem 18.10 part ii kn [@Gathen]). Then afitmmedic operations in the resique field ${\matkbb{F}}_p$ wiul rgquire $J(\log B)$ bit operations. Next, $E_4$ and $E_6$ can ye cokputed mod $p$ to precision $O(q^B)$ in $O(B \log B \log \log B)$ bit o[erdtions ufing sgain the siede of Eratosthgnes, and $b$ and $aj$ can be bomputed mn $O(B \log B)$ jperations in ${\lathbb{F}}_
the beginning to get the $q$-expansions of from $q$-expansions of forms we have faster the classical one large $B$. For prime level $\ell$, the number of operations required to compute the $q$-expansion of the newforms in $S_2\big(\Gamma_1(\ell)\big)$ to precision with the algorithm described above is quasi-linear in $B$. In comparison, the bit of classical based modular symbols is at least quadratic in $B$, cf [@Stein], remark 8.3.3. First notice that for level $\ell$, the change of basis matrices from bases $\mathcal{B}_{\varepsilon}$ to eigenforms fixed, and so is the field = {\mathbb{Q}}\left(\zeta_{(\ell-1)/2} Consequently coefficients $\zeta_{(\ell-1)/2}$ in the up to $q^B$ of the forms in the bases $\mathcal{B}_{\varepsilon}$ are bounded by $C \sup_{n < B} \sqrt{n}$ where some constant does depend $B$. This bound (because $d(n) = O(n^{\delta})$ for every cf for instance [@HW], theorem 315), so the prime $p$ than twice this bound and congruent[^8] $1 \bmod (\ell-1)/2$ is also $O(B)$, and can found in using the sieve of Eratosthenes in $O(B \log B \log \log B)$ bit the proof of the 18.10 part ii [@Gathen]). arithmetic in residue field will require $O(\log B)$ bit operations. Next, $E_4$ and $E_6$ can computed mod $p$ to precision $O(q^B)$ in $O(B \log B B)$ operations using again sieve of Eratosthenes, and and can be computed in B)$ in
 the beginning to get the $q$-expaNsions of thE newfOrmS frOm The $q$-ExpaNsions of the forMS we hAve just computed.

This metHod is FaSTer tHAn The clAssical ONe FOR laRgE $B$.

for FiXEd Prime LevEl $\ell$, thE number of bIt oPeRations requiREd To compute tHe $q$-Expansion of tHe nEwformS iN $S_2\bIG(\GammA_1(\elL)\big)$ tO preciSIon $O(q^B)$ With the alGoRIthm deSCribed aBOVe Is quAsi-linear in $B$.

In comPArISon, the bit complExity oF tHE cLASsiCal Algorithm bAsEd on mODular syMBoLS IS at LEast quadratic In $B$, cf [@Stein], rEMarK 8.3.3.

First NoTicE That foR fixeD lEVel $\Ell$, the changE of bAsis matriCes froM The baseS $\Mathcal{b}_{\varepSilOn}$ tO eigENfOrMs aRe FIxeD, AnD so IS thE common fIeLd $k = {\mathBb{Q}}\lEFT(\ZEta_{(\eLl-1)/2} \rIght)$. conseQuently the coeFfiCienTS of $\Zeta_{(\eLl-1)/2}$ in tHe coEfFicieNts up tO $q^B$ of ThE forms in the baseS $\matHcal{B}_{\varePsiLoN}$ arE bOundeD By $C \sup_{N < B} d(N) \sqRt{n}$ wherE $C$ is somE ConStANT WhIch does not depend on $b$. THIS bOund is $O(B)$ (BecausE $D(n) = o(n^{\DElta})$ for eVeRy $\dElta > 0$, CF For inStanCE [@Hw], theorem 315), So the sMAlLeSt prime $P$ lArger tHaN twIce This bOUnd aNd congRuent[^8] to $1 \bMod (\elL-1)/2$ Is also $O(B)$, and can BE found in using THe SIEvE Of ErAtoSthenes in $O(B \Log B \LOg \loG B)$ biT OpEraTIons (cF the pRoOF oF The theorem 18.10 part ii in [@GAtHen]). TheN aritHmetic operatiOns in the reSIDUe field ${\mAthbB{f}}_p$ WIll require $O(\log b)$ bit oPerations. NEXt, $E_4$ and $E_6$ cAn be cOmputed mOd $p$ to precISIon $O(q^B)$ in $o(B \lOg B \Log \Log b)$ BIt Operations usiNG AgaiN tHe sieve Of ERatosthEneS, anD $u$ aNd $dJ$ cAn be compuTed in $O(B \lOg b)$ oPeRaTioNs in ${\mAThbb{F}}_
 the beginning to get the$q$-expans ionsofthe  n ewfo rmsfrom the $q$-e x pans ions of the forms we h ave j us t  com p ut ed.
This me t ho d isfa st erth a nthe c las sical o ne for lar ge$B $.

For fixe d  p rime level  $\ ell$, the nu mbe r of b it  op e ratio nsrequi red to comput e the $q$ -e x pansio n  of the n ew form s in $S_2\big(\Ga m ma _ 1(\ell)\big)$to pre ci s io n $O( q^B )$ with th ealgor i thm des c ri b e d  ab o ve is quasi-l inear in $B $ .
In com pa ris o n, the  bitco m ple xity of the  cla ssical al gorith m  basedo n modul ar sym bol s i s at le as t q ua d rat i cin$ B$,  cf [@St ei n] , rem ark8 . 3 . 3.
Fir st n otice  that for fix edleve l  $\ ell$,  thechan ge  of b asis m atric es  from the bases  $\m athcal{B} _{\ va rep si lon}$ to eig enf orm s are f ixed, a n d s oi s th e common field $K={ \ ma thbb{Q}} \left( \ ze ta _ {(\ell-1 )/ 2}\rig h t )$. C onse q ue ntly the  coeff i ci en ts of $ \z eta_{( \e ll- 1)/ 2}$ i n  the  coeff icientsup to $q^B$ of the f o rms in the ba s es $ \m a thca l{B }_{\varepsi lon} $  are  bou n de d b y  $C \ sup_{ n<  B }  d(n) \sqrt{n}$ whe re  $C$ i s som e constant wh ich does n o t depend o n $B $ .T his bound is $ O(B)$  (because$ d(n) = O (n^{\ delta})$  for ever y $\delta> 0 $,cffor i ns tance [@HW],t h eore m315), s o t he smal les t p rim e $ p$  larger t han twic eth is  b oun d and congruen t[ ^8]  t o $ 1 \bm o d (\el l-1)/ 2$ i sal s o $ O(B)$,a nd c an b efo undinus ing t he s i eve  of Era tosthenes  in $O(B  \ lo g B \lo g \log B)$ bi toperations  ( cfthe pr o o f of the  theorem 18.10 part iii n [@Gat hen ]). T henarithmeti c o perati ons in the  resid ue fi el d $ { \ mathb b { F} }_p $will requi r e  $O (\log  B )$ b it oper ations. Next, $E_4 $  an d $E_6$ can b e c ompu t e dmod $p $  to  p r eci s i on $O(q^B)$ in$O(B \logB\ lo g \log B)$ bit  o peratio ns usin g aga i n the s ieve of E ratosthen es , an d $u$  and $dj$can be c omputed i n  $O(B \l og B) $ o perati on s i n ${\ mathbb { F}} _
 the_beginning to_get the $q$-expansions of_the newforms_from_the $q$-expansions_of_the forms we_have just computed.

This_method is faster than_the classical one_for_large $B$.

For fixed prime level $\ell$, the number of bit operations required to compute_the_$q$-expansion of_the_newforms_in $S_2\big(\Gamma_1(\ell)\big)$ to precision $O(q^B)$_with the algorithm described above_is quasi-linear_in $B$.

In comparison, the bit complexity of the_classical_algorithm based on_modular symbols is at least quadratic in $B$, cf_[@Stein], remark 8.3.3.

First notice that for_fixed level $\ell$,_the_change_of basis matrices from_the bases $\mathcal{B}_{\varepsilon}$ to eigenforms are_fixed, and so is the common_field $K = {\mathbb{Q}}\left(\zeta_{(\ell-1)/2} \right)$. Consequently the_coefficients of $\zeta_{(\ell-1)/2}$ in the coefficients_up to $q^B$ of the_forms in_the bases $\mathcal{B}_{\varepsilon}$ are bounded_by $C \sup_{n_< B}_d(n) \sqrt{n}$ where_$C$ is some constant which does_not depend on_$B$. This bound is $O(B)$ (because_$d(n)_= O(n^{\delta})$ for_every_$\delta_> 0$,_cf for instance_[@HW],_theorem 315),_so_the smallest prime $p$ larger than_twice_this bound and congruent[^8] to $1 \bmod_(\ell-1)/2$ is also $O(B)$,_and_can be found in_using the sieve of Eratosthenes_in $O(B \log B \log \log_B)$ bit_operations (cf_the proof of the theorem 18.10 part ii in [@Gathen]). Then_arithmetic operations in the residue field_${\mathbb{F}}_p$ will require $O(\log_B)$ bit_operations._Next, $E_4$ and_$E_6$_can be_computed mod $p$ to precision $O(q^B)$ in_$O(B \log_B \log \log B)$ bit operations_using again the sieve_of_Eratosthenes, and $u$ and $dj$ can_be computed in $O(B \log B)$_operations in ${\mathbb{F}}_