gp: [N,k,chi] = [600,2,Mod(109,600)]
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("600.109");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(600, base_ring=CyclotomicField(10))
chi = DirichletCharacter(H, H._module([0, 5, 0, 7]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [120,0,-30]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == 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 kernel of the linear operator
\( T_{11}^{120} - 186 T_{11}^{118} + 18969 T_{11}^{116} - 1407040 T_{11}^{114} - 68880 T_{11}^{113} + \cdots + 20\!\cdots\!00 \)
T11^120 - 186*T11^118 + 18969*T11^116 - 1407040*T11^114 - 68880*T11^113 + 85848132*T11^112 + 12680520*T11^111 - 4505515338*T11^110 - 1324142520*T11^109 + 207913437124*T11^108 + 98525257560*T11^107 - 8574308981988*T11^106 - 5834978534040*T11^105 + 320322013315300*T11^104 + 292847053050480*T11^103 - 10917558286372614*T11^102 - 12837240957572640*T11^101 + 341015318691294773*T11^100 + 498394964184508520*T11^99 - 9800633581064196728*T11^98 - 17338702541028318640*T11^97 + 260008040138602871063*T11^96 + 546644693886960960840*T11^95 - 6374663588116757277976*T11^94 - 15713893154723257256160*T11^93 + 144504556891901347495089*T11^92 + 413336160740785351790200*T11^91 - 3031355863046732211918204*T11^90 - 9989956859614158965739920*T11^89 + 58882827856247483640823737*T11^88 + 222905521095671378786842040*T11^87 - 1057612297136648892578381158*T11^86 - 4603209592420823280940135840*T11^85 + 17528774875316382681574964066*T11^84 + 88139767125586223838191278400*T11^83 - 267350257593640122140847978840*T11^82 - 1568186719641897055200450800720*T11^81 + 3732646902528896280191110316356*T11^80 + 25978178964616912120769977155560*T11^79 - 47161758296344696412995997252298*T11^78 - 400674812956786198874334586812120*T11^77 + 529941817951260262672445038818693*T11^76 + 5756841605640533836058316150847560*T11^75 - 5103527524349729160307702496093316*T11^74 - 77086837833367766535161054148752960*T11^73 + 38008972156954946092484042575667987*T11^72 + 961514456976739670531694917350354200*T11^71 - 126470008796959136964958655824418004*T11^70 - 11150125305239404226525884668026982320*T11^69 - 2245632707993380503827987556601095237*T11^68 + 120170592533128443478854717004407107400*T11^67 + 61790117373500131472767229503137929356*T11^66 - 1201383755408202550231359810987091544720*T11^65 - 976694519359921695170735845362433899162*T11^64 + 11107150647751414926452790755964525282240*T11^63 + 12220866556814066770358345309126879598520*T11^62 - 94713196357149410216794545973654933700280*T11^61 - 130416094220791391913130477155255787774619*T11^60 + 743829931768164320491335232046490588691040*T11^59 + 1224388553697544946256683287255162873343428*T11^58 - 5362738627519474550622735151869579068239520*T11^57 - 10223858955747148843279784675985801263428276*T11^56 + 35408976167714450576855837309181735286182440*T11^55 + 76087861710547005188606886536127126028363168*T11^54 - 214681346958803990973421794022734229421116960*T11^53 - 505587488513921991583068705494252475700124163*T11^52 + 1204921070311487326535063821154422212740718600*T11^51 + 3015235511100344024443216802361156478581740208*T11^50 - 6309761506628543680265658712459270062738301480*T11^49 - 16210726440364085218338161333759491956211501167*T11^48 + 30980093938218342650237032681457512660660095760*T11^47 + 78615386154186685869444876286036790347727260494*T11^46 - 143026293378674857108513737601511657290884112040*T11^45 - 342946154472559575926454616728970446254277241398*T11^44 + 621661184433151235312273958459674313338606641320*T11^43 + 1340097114163738940524198228484539296567785511924*T11^42 - 2533808224190347725646811126435233709140221400040*T11^41 - 4652182021095589082127055062029142517100985173879*T11^40 + 9598784753990783163553413086177608921982471943440*T11^39 + 14107376251423505088827343769677333366424782918920*T11^38 - 33404384278714200826407927915531525132414006816200*T11^37 - 36173310674594128538379252180573617758540600197204*T11^36 + 105297074837800274477741528244137875669579476036960*T11^35 + 73559864289680765239115526982439547699410201801364*T11^34 - 295020436605549370339416762308115382891604444974480*T11^33 - 97915678495093938260200733310207044054222155221136*T11^32 + 719928441144969117293742011404183731290887297440320*T11^31 - 14710853447726106891096716171987209072791655533072*T11^30 - 1496324698180262469268927740539098567134593559428960*T11^29 + 579544803845264051953985414731679497513852881747344*T11^28 + 2531596086015557356386662526451968183673319502408320*T11^27 - 2084675939777881030429860692802152458511764487782464*T11^26 - 3017717103161077401810433640278578085317758857729920*T11^25 + 4520152888057833980088741962423573376649682875633600*T11^24 + 1344115029684341695837061228325163621109445379752960*T11^23 - 5639227793239307859979611510151529646467145086222272*T11^22 + 2006456090658926369483827994830283091795267397575680*T11^21 + 2618812222139461174985153363593320003001157202790144*T11^20 - 1799287678572795376336342401971665048729425289740800*T11^19 - 64825514200429637721035920504945392636474313794816*T11^18 - 1554840358152052106002918529842326775964764253227520*T11^17 + 4335047382115839583510328262756780720775310178063616*T11^16 - 4901523930115782205076008318852356841764257989488640*T11^15 + 3386309808420591335015201638160522166243998953292800*T11^14 - 1610879356089172482399471902446880281965901016514560*T11^13 + 551159886969659333697540336444827193530233775672320*T11^12 - 135768173935903203057385839479975856454572829900800*T11^11 + 22811868496736090932392653233560812641796429721600*T11^10 - 2049340423233789552779894871629584896044773990400*T11^9 - 93030606834880885964501516326573334767017881600*T11^8 + 58532400500136864840686902097126496580714496000*T11^7 - 7455939304147690556466871651601104935565312000*T11^6 - 2809978326749029990553205526306846093312000*T11^5 + 142729814126716848337426815078754938984448000*T11^4 - 23833628194503710470559904509073997127680000*T11^3 + 2060920006320269665190739705814431170560000*T11^2 - 98605079893424238294323803600194846720000*T11 + 2085019017428258179177503517065256960000
acting on \(S_{2}^{\mathrm{new}}(600, [\chi])\).