gp: [N,k,chi] = [900,2,Mod(127,900)]
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("900.127");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(900, base_ring=CyclotomicField(20))
chi = DirichletCharacter(H, H._module([10, 0, 1]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [96,10,0,-10,20]
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
This newform subspace can be constructed as the intersection of the kernels of the following linear operators acting on \(S_{2}^{\mathrm{new}}(900, [\chi])\):
\( T_{7}^{96} + 2332 T_{7}^{92} + 2432078 T_{7}^{88} + 1507630344 T_{7}^{84} + 622128956825 T_{7}^{80} + \cdots + 75\!\cdots\!00 \)
T7^96 + 2332*T7^92 + 2432078*T7^88 + 1507630344*T7^84 + 622128956825*T7^80 + 181241854492704*T7^76 + 38553169334099998*T7^72 + 6105868262360989852*T7^68 + 727304142224994396836*T7^64 + 65361078793831914436380*T7^60 + 4419530688048723723783550*T7^56 + 223051840183903019101685000*T7^52 + 8292782529787219220514193625*T7^48 + 222988236796228004730807560000*T7^44 + 4233766431049161386956526618750*T7^40 + 55058011301358792351286738812500*T7^36 + 472148512850451687053024940640625*T7^32 + 2549013718946066918114559620625000*T7^28 + 8187723823659872713286817356250000*T7^24 + 14245396470405342825121579250000000*T7^20 + 10954514950104120060133242000000000*T7^16 + 2052918011153401297912660000000000*T7^12 + 81464693220185734481000000000000*T7^8 + 18162341721851432000000000000*T7^4 + 753014359696000000000000
\( T_{13}^{48} + 10 T_{13}^{47} + 55 T_{13}^{46} + 190 T_{13}^{45} - 218 T_{13}^{44} + \cdots + 57\!\cdots\!25 \)
T13^48 + 10*T13^47 + 55*T13^46 + 190*T13^45 - 218*T13^44 - 2800*T13^43 - 39815*T13^42 - 264440*T13^41 - 745237*T13^40 - 1736790*T13^39 + 18191665*T13^38 + 94834600*T13^37 + 513703454*T13^36 + 1224502950*T13^35 + 3514439415*T13^34 + 2587559130*T13^33 + 30053647150*T13^32 + 105314769470*T13^31 + 1182370120725*T13^30 + 4692990759550*T13^29 + 21230345518814*T13^28 + 54678462145620*T13^27 + 116215796402805*T13^26 + 39861601424340*T13^25 - 535721901370202*T13^24 - 2742051283597860*T13^23 - 6433741244114680*T13^22 - 10857578753119710*T13^21 + 366056440460127*T13^20 + 36959901446275180*T13^19 + 131381995342237535*T13^18 + 262507602777413640*T13^17 + 393377157007463671*T13^16 + 515876336036624820*T13^15 + 760073194281092395*T13^14 + 199897574808377250*T13^13 - 204001982125711655*T13^12 + 51096477407303500*T13^11 - 332124108579571775*T13^10 - 1166844350357430750*T13^9 + 1399892315115674150*T13^8 - 686693735425031500*T13^7 + 11958360820827000*T13^6 + 634849152840123750*T13^5 - 481630955976585125*T13^4 + 4446915827938750*T13^3 + 118658954394019375*T13^2 - 46655137859693750*T13 + 5748448733175625
\( T_{17}^{48} - 10 T_{17}^{47} + 15 T_{17}^{46} + 480 T_{17}^{45} - 4203 T_{17}^{44} + \cdots + 29\!\cdots\!00 \)
T17^48 - 10*T17^47 + 15*T17^46 + 480*T17^45 - 4203*T17^44 + 2620*T17^43 + 123380*T17^42 - 680010*T17^41 + 964543*T17^40 + 13030190*T17^39 - 105517830*T17^38 + 215711440*T17^37 + 804022299*T17^36 - 7441765510*T17^35 + 37711146150*T17^34 - 75916071330*T17^33 - 295937175590*T17^32 + 2298560468020*T17^31 - 8971727083990*T17^30 + 25203972563340*T17^29 + 366112455969*T17^28 - 310610297742890*T17^27 + 1704976242079745*T17^26 - 6281974257854830*T17^25 + 9807176876982653*T17^24 + 19635805645969560*T17^23 - 115513883217590125*T17^22 + 193435489562262110*T17^21 + 514643298482207662*T17^20 - 3358190751134830870*T17^19 + 4707688981490483155*T17^18 + 3568286435308453580*T17^17 - 26189296119848180499*T17^16 + 41414468992383738040*T17^15 + 78597463663089452000*T17^14 - 9634384348297340680*T17^13 - 386144471783869288380*T17^12 - 1112230876694715878800*T17^11 - 231107796752846886800*T17^10 + 3730659662908017720800*T17^9 + 13221976310746655512400*T17^8 + 27732829634529096616000*T17^7 + 40155271741749398152000*T17^6 + 45311833993314576544000*T17^5 + 38119707124113768968000*T17^4 + 22619065383837227680000*T17^3 + 9430874560719665280000*T17^2 + 1968754485861951040000*T17 + 296934393608083360000