gp: [N,k,chi] = [6845,2,Mod(1,6845)]
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("6845.1");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(6845, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [36,-6,-6,30,36,-12,-12]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(7)] == 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 \)
\(37\)
\( -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_{2}^{\mathrm{new}}(\Gamma_0(6845))\):
\( T_{2}^{36} + 6 T_{2}^{35} - 33 T_{2}^{34} - 256 T_{2}^{33} + 399 T_{2}^{32} + 4902 T_{2}^{31} + \cdots - 107 \)
T2^36 + 6*T2^35 - 33*T2^34 - 256*T2^33 + 399*T2^32 + 4902*T2^31 - 1144*T2^30 - 55692*T2^29 - 24759*T2^28 + 417930*T2^27 + 364431*T2^26 - 2180916*T2^25 - 2585894*T2^24 + 8105646*T2^23 + 11768817*T2^22 - 21572130*T2^21 - 37062681*T2^20 + 40606014*T2^19 + 82892172*T2^18 - 52030824*T2^17 - 132125676*T2^16 + 41071706*T2^15 + 148302300*T2^14 - 13226472*T2^13 - 114107460*T2^12 - 7495626*T2^11 + 57553122*T2^10 + 9613354*T2^9 - 17786103*T2^8 - 3850128*T2^7 + 3077273*T2^6 + 626202*T2^5 - 275349*T2^4 - 33380*T2^3 + 11286*T2^2 + 222*T2 - 107
\( T_{7}^{36} + 12 T_{7}^{35} - 75 T_{7}^{34} - 1470 T_{7}^{33} + 120 T_{7}^{32} + 76242 T_{7}^{31} + \cdots - 99836492183 \)
T7^36 + 12*T7^35 - 75*T7^34 - 1470*T7^33 + 120*T7^32 + 76242*T7^31 + 179673*T7^30 - 2136606*T7^29 - 9034134*T7^28 + 32964178*T7^27 + 228710574*T7^26 - 197423658*T7^25 - 3521966551*T7^24 - 2313513048*T7^23 + 34216629417*T7^22 + 62397837342*T7^21 - 199135538037*T7^20 - 646488698034*T7^19 + 504724543143*T7^18 + 3827069367024*T7^17 + 1447136447133*T7^16 - 13225695341558*T7^15 - 16367728806891*T7^14 + 22778430872718*T7^13 + 56414438934739*T7^12 - 1539287688528*T7^11 - 91858275203919*T7^10 - 59071112932766*T7^9 + 60383702840223*T7^8 + 82094476379448*T7^7 + 1410662645087*T7^6 - 39215543990304*T7^5 - 14858403751569*T7^4 + 5296493073288*T7^3 + 3841483143672*T7^2 + 291282487530*T7 - 99836492183
\( T_{17}^{36} + 12 T_{17}^{35} - 279 T_{17}^{34} - 3798 T_{17}^{33} + 32070 T_{17}^{32} + \cdots - 18\!\cdots\!23 \)
T17^36 + 12*T17^35 - 279*T17^34 - 3798*T17^33 + 32070*T17^32 + 530796*T17^31 - 1842410*T17^30 - 43097142*T17^29 + 40551045*T17^28 + 2249813530*T17^27 + 1427212863*T17^26 - 78891501534*T17^25 - 139450550355*T17^24 + 1883382564000*T17^23 + 5105105999601*T17^22 - 30300123204258*T17^21 - 110894158355472*T17^20 + 315868379655858*T17^19 + 1553305731692505*T17^18 - 1928070424882554*T17^17 - 14306393442235347*T17^16 + 4572121387437186*T17^15 + 86817584124517638*T17^14 + 18855338909005128*T17^13 - 347966594692545631*T17^12 - 178393460111236692*T17^11 + 921229274593509873*T17^10 + 582180399409805532*T17^9 - 1596025747005642363*T17^8 - 953265559457509062*T17^7 + 1753288141825256144*T17^6 + 739244321525242206*T17^5 - 1117935342418734849*T17^4 - 173702306443959622*T17^3 + 321575566380185406*T17^2 - 18481775308628262*T17 - 18293247735276923