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 = [36,8,24,144,180]
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}^{36} - 8 T_{2}^{35} - 184 T_{2}^{34} + 1568 T_{2}^{33} + 15024 T_{2}^{32} - 138752 T_{2}^{31} + \cdots + 33651927040000 \)
T2^36 - 8*T2^35 - 184*T2^34 + 1568*T2^33 + 15024*T2^32 - 138752*T2^31 - 714756*T2^30 + 7336232*T2^29 + 21786817*T2^28 - 258500840*T2^27 - 436605896*T2^26 + 6410182808*T2^25 + 5510153822*T2^24 - 115152376608*T2^23 - 33252013892*T2^22 + 1519618665904*T2^21 - 182624587283*T2^20 - 14780998245072*T2^19 + 6229458268328*T2^18 + 105362588034936*T2^17 - 68332107767726*T2^16 - 542144955402640*T2^15 + 447130674058496*T2^14 + 1960259407836536*T2^13 - 1901240305409455*T2^12 - 4761978387690128*T2^11 + 5276115268318432*T2^10 + 7179362860433280*T2^9 - 9228375472192032*T2^8 - 5658492500295936*T2^7 + 9409511825120512*T2^6 + 1085861320093696*T2^5 - 4746494483812352*T2^4 + 993475989217280*T2^3 + 752298296934400*T2^2 - 332799754240000*T2 + 33651927040000
\( T_{3}^{36} - 24 T_{3}^{35} - 360 T_{3}^{34} + 12528 T_{3}^{33} + 34056 T_{3}^{32} + \cdots - 41\!\cdots\!92 \)
T3^36 - 24*T3^35 - 360*T3^34 + 12528*T3^33 + 34056*T3^32 - 2901632*T3^31 + 4376164*T3^30 + 393790928*T3^29 - 1486184531*T3^28 - 34832463080*T3^27 + 185275679708*T3^26 + 2113726600336*T3^25 - 13918142405262*T3^24 - 90258735860592*T3^23 + 703891459165568*T3^22 + 2741677564269120*T3^21 - 25020377113291316*T3^20 - 59405827397914624*T3^19 + 636495248480858648*T3^18 + 919913090396834768*T3^17 - 11645572077721748812*T3^16 - 10331819685747403120*T3^15 + 152577609235739049488*T3^14 + 88625755645023353536*T3^13 - 1411837424287666696712*T3^12 - 637234221961673902656*T3^11 + 8980646518277873684608*T3^10 + 3992278346096363159008*T3^9 - 37374914648775396571392*T3^8 - 19339892744416237838816*T3^7 + 92572357394507045380544*T3^6 + 58643875478795846626784*T3^5 - 110171894443110447186492*T3^4 - 82799348105512056255232*T3^3 + 28190971359662246162032*T3^2 + 17960403182888608117248*T3 - 4125508223594299199992