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} - 57 T_{5}^{67} + 5130 T_{5}^{66} + \cdots + 18\!\cdots\!89 \)
T5^72 - 3*T5^70 + 41*T5^69 + 105*T5^68 - 57*T5^67 + 5130*T5^66 + 9936*T5^65 - 18243*T5^64 + 77040*T5^63 + 684360*T5^62 + 1479843*T5^61 + 15612168*T5^60 + 46857969*T5^59 + 48338505*T5^58 + 322650720*T5^57 + 1823500746*T5^56 + 4068399051*T5^55 + 23282298336*T5^54 + 71469798156*T5^53 + 15744317805*T5^52 - 53789537577*T5^51 + 1182475597032*T5^50 + 2296807167924*T5^49 + 5533800870708*T5^48 + 27577180014084*T5^47 + 30306589055244*T5^46 - 71658350816986*T5^45 + 249294252863079*T5^44 + 1109507766999348*T5^43 + 2008336889738956*T5^42 + 4131237297460089*T5^41 + 3239235387231465*T5^40 - 12018861886728870*T5^39 + 53783671329467874*T5^38 + 148878581567989266*T5^37 + 158934871912785432*T5^36 + 232878233408586516*T5^35 + 234809796156450426*T5^34 - 1478806906452196239*T5^33 + 4864471434612914184*T5^32 + 9329617112627489139*T5^31 + 9228536356235390199*T5^30 + 18995268316706593533*T5^29 + 3173884168110064812*T5^28 - 92748848927600278665*T5^27 + 348307523984541460887*T5^26 + 14906745777775980933*T5^25 + 462788024714640905058*T5^24 + 194590847871205097787*T5^23 - 1704968316355059282690*T5^22 - 292392160038065713311*T5^21 + 2663403843262000390164*T5^20 - 3679109001387446019975*T5^19 + 12361380473614112197821*T5^18 - 12468833609291124027471*T5^17 + 7220134855909346259132*T5^16 - 5586134727077598084705*T5^15 + 4971968520534394780068*T5^14 - 5486180487521730743061*T5^13 + 10990196962677287148591*T5^12 - 5024069518134931813341*T5^11 - 3013271376445732826871*T5^10 - 218339119162461893184*T5^9 + 3294152992846268845461*T5^8 + 592342883383696992810*T5^7 - 65484280268956311066*T5^6 - 395727475629131956494*T5^5 - 171730289677778725248*T5^4 + 62471912431530521313*T5^3 + 50169797917044942591*T5^2 + 6609195619994576349*T5 + 1868500722364663689
acting on \(S_{2}^{\mathrm{new}}(378, [\chi])\).