gp: [N,k,chi] = [528,6,Mod(287,528)]
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("528.287");
S:= CuspForms(chi, 6);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(528, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([1, 0, 1, 0]))
N = Newforms(chi, 6, names="a")
Newform invariants
sage: traces = [34,0,-31]
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
This newform subspace can be constructed as the intersection of the kernels of the following linear operators acting on \(S_{6}^{\mathrm{new}}(528, [\chi])\):
\( T_{5}^{34} + 66653 T_{5}^{32} + 1980220725 T_{5}^{30} + 34719695961993 T_{5}^{28} + \cdots + 15\!\cdots\!28 \)
T5^34 + 66653*T5^32 + 1980220725*T5^30 + 34719695961993*T5^28 + 401078957177881707*T5^26 + 3228543090015270925431*T5^24 + 18682297483892420868275031*T5^22 + 79033420182992562767902002003*T5^20 + 246114283670739761928045106088136*T5^18 + 563314859136765875650888565070014864*T5^16 + 938098921888445672579265331566231184384*T5^14 + 1113213157240434182271122014041281891920128*T5^12 + 907544684100097290948360582488415195175520256*T5^10 + 476933334614048444703134234824848366218575392768*T5^8 + 143249085427725087126751322152414803856264092844032*T5^6 + 18595878287831316803483425454025684074724520720072704*T5^4 + 265327416877269093979268564026280269100178997248000000*T5^2 + 150608620417057493861869928213532350135811640003657728
\( T_{23}^{17} - 1303 T_{23}^{16} - 59709975 T_{23}^{15} + 54261762849 T_{23}^{14} + \cdots + 25\!\cdots\!36 \)
T23^17 - 1303*T23^16 - 59709975*T23^15 + 54261762849*T23^14 + 1441089412791495*T23^13 - 741987755735202177*T23^12 - 17864853663418932029133*T23^11 + 2522822502323814839468667*T23^10 + 118965213629298159325614847020*T23^9 + 21716043397555982997983040335180*T23^8 - 402733419248737181558439956241504656*T23^7 - 163938583001209320318877446712855045968*T23^6 + 588141139677163354692856727437404610819008*T23^5 + 263584636922160011301791546137862325178954944*T23^4 - 327084334301770197084662258106033933724670370816*T23^3 - 146032911947125227077749189449031999315893798481920*T23^2 + 58747831611582661729199969549545098693875419378089984*T23 + 25602565513604190815289827242246749135052985232416833536