gp: [N,k,chi] = [1445,4,Mod(1,1445)]
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("1445.1");
S:= CuspForms(chi, 4);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(1445, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0, 0]))
N = Newforms(chi, 4, names="a")
Newform invariants
sage: traces = [27,6,-18,132,-135]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(5)] == 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
\(5\)
\( +1 \)
\(17\)
\( +1 \)
This newform does not admit any (nontrivial ) inner twists .
This newform subspace can be constructed as the intersection of the kernels of the following linear operators acting on \(S_{4}^{\mathrm{new}}(\Gamma_0(1445))\):
\( T_{2}^{27} - 6 T_{2}^{26} - 156 T_{2}^{25} + 935 T_{2}^{24} + 10662 T_{2}^{23} - 63651 T_{2}^{22} + \cdots - 160646823936 \)
T2^27 - 6*T2^26 - 156*T2^25 + 935*T2^24 + 10662*T2^23 - 63651*T2^22 - 420546*T2^21 + 2491155*T2^20 + 10611621*T2^19 - 62053464*T2^18 - 179549892*T2^17 + 1028867601*T2^16 + 2080982832*T2^15 - 11545667439*T2^14 - 16663773486*T2^13 + 87574287901*T2^12 + 92649824508*T2^11 - 442115541240*T2^10 - 359998050408*T2^9 + 1441480324416*T2^8 + 977404397376*T2^7 - 2870742190528*T2^6 - 1797293922816*T2^5 + 3105111969792*T2^4 + 2018631106560*T2^3 - 1285835931648*T2^2 - 1034054664192*T2 - 160646823936
\( T_{3}^{27} + 18 T_{3}^{26} - 351 T_{3}^{25} - 7722 T_{3}^{24} + 46476 T_{3}^{23} + 1435500 T_{3}^{22} + \cdots - 46\!\cdots\!16 \)
T3^27 + 18*T3^26 - 351*T3^25 - 7722*T3^24 + 46476*T3^23 + 1435500*T3^22 - 2312771*T3^21 - 152246880*T3^20 - 80272953*T3^19 + 10200550328*T3^18 + 17917403376*T3^17 - 451334366106*T3^16 - 1141495078068*T3^15 + 13384530819066*T3^14 + 40657328082102*T3^13 - 264459801922098*T3^12 - 892383329324112*T3^11 + 3397231281759996*T3^10 + 12160106850904814*T3^9 - 27189432037614228*T3^8 - 99003245460079623*T3^7 + 128621542441767432*T3^6 + 442252077651810219*T3^5 - 353122104738044202*T3^4 - 922304114541140065*T3^3 + 618058447652457228*T3^2 + 667910154359360640*T3 - 466704604659300416