gp: [N,k,chi] = [912,2,Mod(47,912)]
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("912.47");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(912, base_ring=CyclotomicField(18))
chi = DirichletCharacter(H, H._module([9, 0, 9, 8]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [72,0,0,0,0,0,0,0,6,0,0,0,-30,0,27,0,0,0,0]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(19)] == 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 intersection of the kernels of the following linear operators acting on \(S_{2}^{\mathrm{new}}(912, [\chi])\):
\( T_{5}^{72} + 6 T_{5}^{70} + 48 T_{5}^{68} - 4399 T_{5}^{66} - 8139 T_{5}^{64} - 429600 T_{5}^{62} + \cdots + 43\!\cdots\!96 \)
T5^72 + 6*T5^70 + 48*T5^68 - 4399*T5^66 - 8139*T5^64 - 429600*T5^62 + 15584147*T5^60 - 3710043*T5^58 + 381962649*T5^56 - 15937488344*T5^54 - 43848348081*T5^52 + 133967087520*T5^50 + 12565314071962*T5^48 + 30423759630105*T5^46 - 189957910094808*T5^44 - 4881288789636326*T5^42 - 15205705304689872*T5^40 + 52168420066040754*T5^38 + 1335311114770721529*T5^36 + 6231629113314557115*T5^34 + 13589254446572930397*T5^32 - 65503321304974002830*T5^30 - 391200532617838648965*T5^28 - 909998935760182400952*T5^26 + 3869232982216813234096*T5^24 + 18853144271809713371097*T5^22 + 41017499552951115107667*T5^20 - 27215384300549762277066*T5^18 - 7092737409702937455249*T5^16 - 193231974694207273169637*T5^14 + 78161107269927765782269*T5^12 + 150677419609574892810156*T5^10 + 368807633243562495740160*T5^8 + 259444385378224319650432*T5^6 + 143267267319479399328768*T5^4 - 15356468521924910469120*T5^2 + 431350893116094877696
\( T_{7}^{36} - 72 T_{7}^{34} + 3135 T_{7}^{32} + 558 T_{7}^{31} - 88774 T_{7}^{30} - 32139 T_{7}^{29} + \cdots + 15513200704 \)
T7^36 - 72*T7^34 + 3135*T7^32 + 558*T7^31 - 88774*T7^30 - 32139*T7^29 + 1857858*T7^28 + 1170666*T7^27 - 28506309*T7^26 - 26110377*T7^25 + 331777232*T7^24 + 423391950*T7^23 - 2775730266*T7^22 - 4618351188*T7^21 + 16719517671*T7^20 + 36222310107*T7^19 - 61336260261*T7^18 - 170793261936*T7^17 + 162825536454*T7^16 + 572015133981*T7^15 - 275255114784*T7^14 - 1309416823647*T7^13 + 371753577831*T7^12 + 2181885652710*T7^11 - 356145133038*T7^10 - 2540264443452*T7^9 + 376355075859*T7^8 + 2027402980398*T7^7 - 227230923449*T7^6 - 1049977941930*T7^5 + 175706178852*T7^4 + 315149084640*T7^3 - 43529741136*T7^2 - 50129688960*T7 + 15513200704