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 = [224,0,0,0,0]
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}^{112} + 3650 T_{7}^{108} + 5942355 T_{7}^{104} + 5712795030 T_{7}^{100} + 3622786310365 T_{7}^{96} + \cdots + 56\!\cdots\!00 \)
T7^112 + 3650*T7^108 + 5942355*T7^104 + 5712795030*T7^100 + 3622786310365*T7^96 + 1605568484922764*T7^92 + 514808355753192570*T7^88 + 122171055636638327380*T7^84 + 21803881585203375199100*T7^80 + 2961050830492891112189400*T7^76 + 308702264454736346445955476*T7^72 + 24868852428294011307896889840*T7^68 + 1555049736545594917972234305495*T7^64 + 75662086104259794067453850256710*T7^60 + 2865621687669347991191552556228505*T7^56 + 84325507351139007724114194097574714*T7^52 + 1919756358826595301096936420345872720*T7^48 + 33578655673944449515591953419599112070*T7^44 + 446712149526660410221170352399329608665*T7^40 + 4456963627146076357109551249582802588070*T7^36 + 32708935153709613974958289653957267485401*T7^32 + 171825572597664643062823713036104509506400*T7^28 + 621164640344935778564554949488892864618000*T7^24 + 1455489524345695783636581295805025972600000*T7^20 + 2001279350405228176058484780906399881500000*T7^16 + 1328960229518088693807705256754707600000000*T7^12 + 243625270143635534484193927346182000000000*T7^8 + 1019941687522160888416773796875000000000*T7^4 + 566425149531759137153842562500000000
\( T_{13}^{56} - 4 T_{13}^{55} + 8 T_{13}^{54} - 150 T_{13}^{53} - 922 T_{13}^{52} + 5372 T_{13}^{51} + \cdots + 11\!\cdots\!00 \)
T13^56 - 4*T13^55 + 8*T13^54 - 150*T13^53 - 922*T13^52 + 5372*T13^51 - 2482*T13^50 + 124482*T13^49 + 1425771*T13^48 - 14294802*T13^47 + 38109128*T13^46 - 14633776*T13^45 - 2219444296*T13^44 + 21419370854*T13^43 - 71933426532*T13^42 - 110870162854*T13^41 + 3166711964547*T13^40 - 15694020837750*T13^39 + 13383716192198*T13^38 + 192113738179588*T13^37 - 1176035754623142*T13^36 + 2575066190560244*T13^35 + 3204299129826602*T13^34 - 25307742019205070*T13^33 + 72066876620805267*T13^32 - 366618676653322022*T13^31 + 1350062775179789932*T13^30 - 346603960060893742*T13^29 - 15220311943918258946*T13^28 + 48071686151074847582*T13^27 - 6822084073912424258*T13^26 - 236314389053727929074*T13^25 + 546306854144416734126*T13^24 - 873039805607519392584*T13^23 - 361358463949049051628*T13^22 + 11118246340444553388684*T13^21 - 22859674569461882801842*T13^20 - 22322205824949115181420*T13^19 + 118125908280234559418172*T13^18 - 86852433470817305614518*T13^17 - 95479589597671623253644*T13^16 + 125091731169242089181660*T13^15 + 52534387592074957692010*T13^14 - 154566827047050026949060*T13^13 + 149266378719345858247720*T13^12 - 124006558901564972626250*T13^11 + 73836768548358519202150*T13^10 - 45636185584074210537950*T13^9 + 21693977561605763461025*T13^8 - 4229764488340435762000*T13^7 + 7114803882380413928000*T13^6 + 1267426817782437316000*T13^5 + 1237931812356616048000*T13^4 + 206125189690309760000*T13^3 + 75791178625682880000*T13^2 + 5626548723544320000*T13 + 1148021388597760000
\( T_{17}^{112} + 40 T_{17}^{110} - 2658 T_{17}^{108} - 261640 T_{17}^{106} + 1393643 T_{17}^{104} + \cdots + 88\!\cdots\!16 \)
T17^112 + 40*T17^110 - 2658*T17^108 - 261640*T17^106 + 1393643*T17^104 + 696618280*T17^102 + 10220541914*T17^100 - 1057510135500*T17^98 - 21524963588255*T17^96 + 1758203491539120*T17^94 + 53384283162083738*T17^92 - 2376758171285854600*T17^90 - 108401155463748224664*T17^88 + 1338469026370910684280*T17^86 + 143238806604502103515634*T17^84 + 1392946820338991695908960*T17^82 - 57026012356736282811342708*T17^80 - 277917933026384404935107460*T17^78 + 50736604278315291056381369250*T17^76 + 498069699440205896090129679380*T17^74 - 22971941614139114588080405397253*T17^72 - 314162837364979364629826466879360*T17^70 + 9187833873256643756633712085929534*T17^68 + 92980140611591081147136302653459400*T17^66 - 2891077904239842414196328746733605839*T17^64 - 9728784828938430002096066827641997640*T17^62 + 729522895319173274637925130311629379458*T17^60 + 857284860739878985635546778342200517900*T17^58 - 91654907559873499434505703549155558859905*T17^56 + 12719628268264141919404798814879139861700*T17^54 + 5806034767603759767097342499618987642462558*T17^52 - 9222878487993311525603624951316619467430720*T17^50 - 107134890092905810197129121733563596185598344*T17^48 + 1091299660369793323211260249071791098212407720*T17^46 + 10402403004592219275274702604103787003643197014*T17^44 + 34530201421939402553402228742100606141783150360*T17^42 + 47901968191738205687967735974701748623575184912*T17^40 - 3067566303554123268815592252965671534722371720*T17^38 - 49666457749236524908365771515589191645109369230*T17^36 + 53608082560706000146750652311361632872760694940*T17^34 + 68707667231504335667690416101661287297895908597*T17^32 - 115425308216083559461865398975504093157858753960*T17^30 + 37027680941945285595356011487927631144616576794*T17^28 + 3899519461718336528785549616829780962217197960*T17^26 + 2440238352073822553975190129804343367964401591*T17^24 - 2228724209763854223388190800386584802283232120*T17^22 + 164222191947718269657778324442033390474518598*T17^20 + 103710148481630889216295386001369798983774920*T17^18 - 5416948441090084069618728802873679674209295*T17^16 - 7212336927455535964373733497653476374256000*T17^14 + 357414396712941185904269375555544539617024*T17^12 + 512852480943602100742950414133875929175040*T17^10 + 33720388271645445409647185443489858019328*T17^8 - 12272378162234779969245904061476305633280*T17^6 + 1141924437570563207074648660239689449472*T17^4 - 49858759258615654154507609289575628800*T17^2 + 883763198344796033175495176844476416