gp: [N,k,chi] = [230,4,Mod(31,230)]
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("230.31");
S:= CuspForms(chi, 4);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(230, base_ring=CyclotomicField(22))
chi = DirichletCharacter(H, H._module([0, 6]))
N = Newforms(chi, 4, names="a")
Newform invariants
sage: traces = [60,12,-3]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == 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}^{60} + 3 T_{3}^{59} + 51 T_{3}^{58} + 469 T_{3}^{57} + 6348 T_{3}^{56} + 46774 T_{3}^{55} + \cdots + 52\!\cdots\!61 \)
T3^60 + 3*T3^59 + 51*T3^58 + 469*T3^57 + 6348*T3^56 + 46774*T3^55 + 388132*T3^54 - 513097*T3^53 + 30673589*T3^52 - 106374446*T3^51 + 2198356814*T3^50 + 13077341026*T3^49 + 272121543752*T3^48 + 86558600756*T3^47 + 27533433467943*T3^46 - 41610375690413*T3^45 + 1544771544805936*T3^44 - 231532415887820*T3^43 + 92579065405998995*T3^42 - 20317118269266727*T3^41 + 5744598053692203415*T3^40 + 183721611875397348*T3^39 + 171639878266597848021*T3^38 - 87290137465497451675*T3^37 + 6036462432599655733815*T3^36 - 20974288754352070568445*T3^35 + 183005593169322811140185*T3^34 - 1229146854322418423029*T3^33 + 4591287717943250164480960*T3^32 + 26209300692198770833791195*T3^31 + 320168745911629085914925600*T3^30 + 733455266270086231998834548*T3^29 + 15349603653408564126866659925*T3^28 + 9613062758476553606651006365*T3^27 + 405481322789977963952331731307*T3^26 - 184593561619064514245727440285*T3^25 + 5303039065137744305083941861972*T3^24 - 15446154932685846508400012934258*T3^23 + 33242505893537660056576221705980*T3^22 - 164587859962084238499577748118334*T3^21 + 553449548768070863385061058041427*T3^20 - 547761259896596885600765242613273*T3^19 + 1239472205494228805878444170923592*T3^18 + 1427642867872124538831909571390182*T3^17 + 19568010348072653804911896260850306*T3^16 + 78470555033625431320766023066333444*T3^15 + 151771921013089331543516887031224963*T3^14 + 205530274993431957746089286936295863*T3^13 + 236743839200855639220733166983489115*T3^12 - 220180898990666147320117598730211797*T3^11 + 526789139342984752996750906977203915*T3^10 - 766036387682557874719648378722618983*T3^9 + 1774973607247166769569442827993215536*T3^8 - 1454466411134044599865873928540016318*T3^7 + 1685712624051414371024753828352170208*T3^6 - 1270672994877107520226253742519050018*T3^5 + 597812911178856049778341416585650882*T3^4 + 109304664176111268708639407686306773*T3^3 - 74311321722929063950860319039032299*T3^2 - 44168951311727031185853493822382758*T3 + 52040944832873678566681706068411561
acting on \(S_{4}^{\mathrm{new}}(230, [\chi])\).