gp: [N,k,chi] = [961,6,Mod(1,961)]
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("961.1");
S:= CuspForms(chi, 6);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(961, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0]))
N = Newforms(chi, 6, names="a")
Newform invariants
sage: traces = [52,32,0]
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
\( p \)
Sign
\(31\)
\( -1 \)
This newform subspace can be constructed as the intersection of the kernels of the following linear operators acting on \(S_{6}^{\mathrm{new}}(\Gamma_0(961))\):
\( T_{2}^{26} - 16 T_{2}^{25} - 512 T_{2}^{24} + 8878 T_{2}^{23} + 111413 T_{2}^{22} + \cdots - 17\!\cdots\!88 \)
T2^26 - 16*T2^25 - 512*T2^24 + 8878*T2^23 + 111413*T2^22 - 2149392*T2^21 - 13355359*T2^20 + 298519614*T2^19 + 949132602*T2^18 - 26306932852*T2^17 - 39226591201*T2^16 + 1536510680808*T2^15 + 775609807232*T2^14 - 60339488651712*T2^13 + 2693386681424*T2^12 + 1583546209319040*T2^11 - 437430998753024*T2^10 - 27091129810107392*T2^9 + 6590873806915584*T2^8 + 288080355548274688*T2^7 + 5471788510220288*T2^6 - 1738901917872021504*T2^5 - 752400461149745152*T2^4 + 4633323315642564608*T2^3 + 4054569327156658176*T2^2 - 705798414404026368*T2 - 176432039292633088
\( T_{3}^{52} - 8748 T_{3}^{50} + 35543006 T_{3}^{48} - 89097940744 T_{3}^{46} + 154408423260132 T_{3}^{44} + \cdots + 25\!\cdots\!08 \)
T3^52 - 8748*T3^50 + 35543006*T3^48 - 89097940744*T3^46 + 154408423260132*T3^44 - 196483915082608224*T3^42 + 190348916227955668112*T3^40 - 143680353828007468683520*T3^38 + 85794665151635935848684896*T3^36 - 40926609083706575913644413952*T3^34 + 15689574235511398922300936563520*T3^32 - 4847654965978749840580457080855296*T3^30 + 1207553817545035002735833050650997824*T3^28 - 242022666844311571358737150641094726912*T3^26 + 38859510257109720065398931050280706039680*T3^24 - 4964639138344280552549080564593263472496128*T3^22 + 499918049466308843425433151590021101335763200*T3^20 - 39175319512117299998254236771098171141668306944*T3^18 + 2349727198721895709518864630852162206283925524480*T3^16 - 105575639318217442077362090880516329339839465193472*T3^14 + 3455376405577921951290893687167092245738749929603072*T3^12 - 79396787864260976183491076361167745126037626580893696*T3^10 + 1218576410495868078578972095864598295825394446802354176*T3^8 - 11637638234483273264327621193299073336025512072135573504*T3^6 + 61688184833911449672602387694027073338314444328910454784*T3^4 - 140472517947135087914940509258128572639343786549070266368*T3^2 + 25354631883428686190811555705070472670614798282740727808