gp: [N,k,chi] = [925,2,Mod(32,925)]
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("925.32");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(925, base_ring=CyclotomicField(36))
chi = DirichletCharacter(H, H._module([9, 5]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [144]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(1)] == 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_{2}^{144} - 15 T_{2}^{140} - 898 T_{2}^{138} - 576 T_{2}^{136} + 17874 T_{2}^{134} + 522721 T_{2}^{132} + \cdots + 1073283121 \)
T2^144 - 15*T2^140 - 898*T2^138 - 576*T2^136 + 17874*T2^134 + 522721*T2^132 + 660372*T2^130 - 8782998*T2^128 - 188135222*T2^126 - 328940172*T2^124 + 2729080872*T2^122 + 49822487877*T2^120 + 113119130976*T2^118 - 494361473172*T2^116 - 9088620496728*T2^114 - 25010933469717*T2^112 + 55015423073934*T2^110 + 1230391249554310*T2^108 + 4133423083062510*T2^106 - 1207955288265552*T2^104 - 111868912530974244*T2^102 - 451569085286014455*T2^100 - 383214623561082588*T2^98 + 7069822825442993211*T2^96 + 35442231391037452404*T2^94 + 68835214334753508873*T2^92 - 205797956475361089634*T2^90 - 1517168978964972692181*T2^88 - 3801972283727672648214*T2^86 + 3029474703020400882693*T2^84 + 45534923092520314639134*T2^82 + 143241573266354623429335*T2^80 + 110587737793616920301484*T2^78 - 559214694495343047992349*T2^76 - 2288171324920515755522862*T2^74 - 2468916345514754018597932*T2^72 + 5165294628865399155711432*T2^70 + 25489200495975698025592797*T2^68 + 36559242369051374824362104*T2^66 - 4618041911417893374263256*T2^64 - 133909250884007769849747036*T2^62 - 233377789410169428292844183*T2^60 - 99967403033954909645710014*T2^58 + 470725216565010469174945617*T2^56 + 1132323118678556346186922008*T2^54 + 1472154518641131885242554731*T2^52 + 930291375496822720814959848*T2^50 + 149834057113001565508924335*T2^48 - 546057620497775952134195136*T2^46 - 273670904653348010995097121*T2^44 - 142149036512862309204728754*T2^42 + 203633729839056402734839869*T2^40 + 19609648997431173779816328*T2^38 + 70961940563750987916755186*T2^36 - 80849410058181364027793874*T2^34 + 36160227255799659911504967*T2^32 - 22198118532146392900618704*T2^30 + 10832172867841817854802175*T2^28 - 2809202083684089977964318*T2^26 + 771135669469239020983617*T2^24 - 178451113781699651139114*T2^22 + 19420986574812150289284*T2^20 - 1490870047569526047024*T2^18 + 297810867399412117185*T2^16 + 4775955151344041832*T2^14 - 750284104459792211*T2^12 - 251584840471071912*T2^10 + 9735943174358208*T2^8 + 762726959875496*T2^6 + 19029796070190*T2^4 - 297162974952*T2^2 + 1073283121
acting on \(S_{2}^{\mathrm{new}}(925, [\chi])\).