gp: [N,k,chi] = [380,2,Mod(7,380)]
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("380.7");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(380, base_ring=CyclotomicField(12))
chi = DirichletCharacter(H, H._module([6, 3, 4]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [216,0]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(2)] == 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_{3}^{216} - 694 T_{3}^{212} + 266097 T_{3}^{208} - 70048138 T_{3}^{204} + 13980235252 T_{3}^{200} + \cdots + 23\!\cdots\!36 \)
T3^216 - 694*T3^212 + 266097*T3^208 - 70048138*T3^204 + 13980235252*T3^200 - 2222618230058*T3^196 + 290633230647455*T3^192 - 31917220850103614*T3^188 + 2988431288867574667*T3^184 - 241129241733128464096*T3^180 + 16899919848369889845918*T3^176 - 1034650339919125264411988*T3^172 + 55553301196901664779242061*T3^168 - 2622647631323328950366976942*T3^164 + 109021865755018936309257603683*T3^160 - 3992278547697381511806572021034*T3^156 + 128740780643036999272407663053300*T3^152 - 3652022907626449854418971319649670*T3^148 + 90986974981141828703434924017991873*T3^144 - 1986669944576757531173055401171789290*T3^140 + 37922955991983632394531144376939790812*T3^136 - 631028289500802744658937049354167250266*T3^132 + 9124642450939500096373136678213012762887*T3^128 - 114256264961696930822763601942496375208702*T3^124 + 1234504108349665644374314917764777983179450*T3^120 - 11464037714598173196101499086392879424619686*T3^116 + 91151698426097411371462982927551452405337789*T3^112 - 617909844198053979427574785412161542558561678*T3^108 + 3557606553346724796201295667854463137472857905*T3^104 - 17322701268599898224756670875826618468552266680*T3^100 + 71122636455449692429582622122154026326420124414*T3^96 - 245499215621540091295625684847165698762879928756*T3^92 + 712183985170058679194868109927614266194784984926*T3^88 - 1733934864387952878341397524949097815063817416100*T3^84 + 3540265573282023407555446324645932376616781541612*T3^80 - 6038944476111797344310064022947279836507433149012*T3^76 + 8565816285502456297097940093429983329588219825702*T3^72 - 10004287714119464794504074511967700410254783994936*T3^68 + 9508526030649372977496637531468133691776422073008*T3^64 - 7202470727424563089174680803327397106251648389812*T3^60 + 4254611854207781578153146322883689562863065971845*T3^56 - 1883400761205818439255834018217914065266263699610*T3^52 + 614763715250882367982173305076050091448026215347*T3^48 - 136997278005679858518973316873653328462900291466*T3^44 + 21981781647384844523579840905681909572007844761*T3^40 - 2311985838560663924135119571854024944287045108*T3^36 + 177549778425140588762019714866705011860079600*T3^32 - 9484315859216462210233760264167082857857408*T3^28 + 372256015285280659996282050650027111937280*T3^24 - 9660837556167708260649047344482350853120*T3^20 + 176565398334219922354521911958708670464*T3^16 - 1699159312321073540615531435711102976*T3^12 + 10902491895111444952516131891380224*T3^8 - 5030371534603866659559309312*T3^4 + 2320828904574718836736
acting on \(S_{2}^{\mathrm{new}}(380, [\chi])\).