gp: [N,k,chi] = [351,2,Mod(40,351)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
magma: //Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("351.40");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(351, base_ring=CyclotomicField(18))
chi = DirichletCharacter(H, H._module([8, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [108]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(1)] == traces)
gp: f = lf[1] \\ Warning: the index may be different
The algebraic \(q\)-expansion of this newform has not been computed, but we have computed the trace expansion .
For each embedding \(\iota_m\) of the coefficient field, the values \(\iota_m(a_n)\) are shown below.
For more information on an embedded modular form you can click on its label.
gp: mfembed(f)
Refresh table
This newform subspace can be constructed as the kernel of the linear operator
\( T_{2}^{108} - 14 T_{2}^{105} + 12 T_{2}^{103} + 872 T_{2}^{102} - 132 T_{2}^{101} - 168 T_{2}^{100} + \cdots + 37246609 \)
T2^108 - 14*T2^105 + 12*T2^103 + 872*T2^102 - 132*T2^101 - 168*T2^100 - 6868*T2^99 + 1902*T2^98 + 3960*T2^97 + 412470*T2^96 - 79617*T2^95 + 10980*T2^94 - 2626636*T2^93 + 478068*T2^92 - 339909*T2^91 + 121162138*T2^90 - 20928189*T2^89 + 13137165*T2^88 - 465118403*T2^87 + 96916530*T2^86 - 467421639*T2^85 + 23452310898*T2^84 - 3078996420*T2^83 + 4631671206*T2^82 - 73791444752*T2^81 + 3467364567*T2^80 - 138949511337*T2^79 + 3066223732784*T2^78 - 116497139892*T2^77 + 621022949178*T2^76 - 6495285625114*T2^75 - 599658608547*T2^74 - 21164799554412*T2^73 + 265362392024679*T2^72 + 22201781843250*T2^71 + 46281904286580*T2^70 - 650885031101755*T2^69 - 156240179415981*T2^68 - 2006431454277111*T2^67 + 14219813199016744*T2^66 + 3036050669439150*T2^65 + 4589759180883327*T2^64 - 30555497525408984*T2^63 - 12215086433436756*T2^62 - 93644167930387155*T2^61 + 494283274669554579*T2^60 + 150519104946891111*T2^59 + 157757205362922504*T2^58 - 1187311364965552580*T2^57 - 163297112521621812*T2^56 - 2396029904602189176*T2^55 + 9654370566793264967*T2^54 + 4434310432292157075*T2^53 + 5058486922700692845*T2^52 - 17084136982000797199*T2^51 - 8266126130845539195*T2^50 - 24933044951266403019*T2^49 + 100367879277648926700*T2^48 + 48344850950371537053*T2^47 + 4056965102746646172*T2^46 - 124535458333969127800*T2^45 + 42485313734792907501*T2^44 - 6450999727196805480*T2^43 + 557893421595405744253*T2^42 - 33102916507543067724*T2^41 - 66116952878318692296*T2^40 - 218224298447975104640*T2^39 + 350288872371438775920*T2^38 + 64264087650482130273*T2^37 + 817401123989489385840*T2^36 - 156706128129221050050*T2^35 - 143082081827402410845*T2^34 + 195911136153517199638*T2^33 + 304632547113514758210*T2^32 + 18831792598595467131*T2^31 + 1025717145292754860607*T2^30 - 187735700946002915625*T2^29 + 142883645732111762094*T2^28 + 121043357781195153275*T2^27 + 155763316096396681665*T2^26 + 231874366624626010410*T2^25 + 181292149811402177742*T2^24 + 88555696367753545521*T2^23 + 42495332303324039922*T2^22 + 33921563217294961661*T2^21 + 49743442739205444408*T2^20 + 63243475613748756669*T2^19 + 60312949364552212402*T2^18 + 45335349007064272986*T2^17 + 27958216012649719785*T2^16 + 14313599109360825142*T2^15 + 6122225498403711972*T2^14 + 2204872461824221812*T2^13 + 677327092631997975*T2^12 + 183535821086634366*T2^11 + 46996334999882649*T2^10 + 12193609675734460*T2^9 + 3176997483664644*T2^8 + 757854515884905*T2^7 + 148044252485132*T2^6 + 21112681098135*T2^5 + 1853141731854*T2^4 + 58208455031*T2^3 - 2850636105*T2^2 + 104873952*T2 + 37246609
acting on \(S_{2}^{\mathrm{new}}(351, [\chi])\).