gp: [N,k,chi] = [378,2,Mod(67,378)]
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("378.67");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(378, base_ring=CyclotomicField(18))
chi = DirichletCharacter(H, H._module([8, 12]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [72,0,0,0,0,3,-6]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(7)] == 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_{5}^{72} + 3 T_{5}^{70} + 41 T_{5}^{69} - 105 T_{5}^{68} + 207 T_{5}^{67} + 6532 T_{5}^{66} + \cdots + 2678994081 \)
T5^72 + 3*T5^70 + 41*T5^69 - 105*T5^68 + 207*T5^67 + 6532*T5^66 - 7476*T5^65 + 57867*T5^64 + 137570*T5^63 - 299070*T5^62 + 1828671*T5^61 + 26671486*T5^60 - 9793713*T5^59 + 209289699*T5^58 + 595899194*T5^57 - 627929310*T5^56 + 2608930119*T5^55 + 40891516774*T5^54 - 56380480758*T5^53 + 368006322243*T5^52 - 184503499891*T5^51 - 156317954676*T5^50 + 2511997936596*T5^49 + 11157616203154*T5^48 + 3993114932922*T5^47 + 105245881717650*T5^46 + 656306263560*T5^45 - 88460025930909*T5^44 + 513819558753660*T5^43 + 4005157529343414*T5^42 + 6309184326332661*T5^41 + 22649634787486365*T5^40 + 2954624543576262*T5^39 - 29419846024018392*T5^38 - 9171402915775050*T5^37 + 433813460584249188*T5^36 + 1888560291864149136*T5^35 + 4592772347896944576*T5^34 + 5926239747186010425*T5^33 + 3122056898493430104*T5^32 + 1353450509390639061*T5^31 + 24048111525966518859*T5^30 + 114270846032905389927*T5^29 + 309167715803977626480*T5^28 + 612236220846820278471*T5^27 + 1081184393082391948539*T5^26 + 2052674465051479464891*T5^25 + 4401747329240689770708*T5^24 + 9513074825609700866643*T5^23 + 18534325472099184858048*T5^22 + 31012000912299486284973*T5^21 + 43991661064989790741014*T5^20 + 52803874018586272387383*T5^19 + 53610725867069264324571*T5^18 + 45982536098859394345575*T5^17 + 33255678535528628244312*T5^16 + 20256847519427857768059*T5^15 + 10441432432426329974088*T5^14 + 4657265190148416049215*T5^13 + 1897192304230850953947*T5^12 + 755897807446795075113*T5^11 + 299448224543806652835*T5^10 + 111973243623721757082*T5^9 + 37508709350223612423*T5^8 + 10891741526108503326*T5^7 + 2615698995761976948*T5^6 + 470855522641846176*T5^5 + 54877934339340318*T5^4 + 3098164136998545*T5^3 + 80420091965631*T5^2 + 780945640767*T5 + 2678994081
acting on \(S_{2}^{\mathrm{new}}(378, [\chi])\).