-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [-1600, -4800, 32400, 193200, 379680, -749160, -883320, 592680, 570666, -613030, 382065, 46644, 16107, 3867, -846, 69, -15, -3, 1], 'conductor': 0, 'degree': 18, 'dirichlet_group': [], 'disc_abs': 21655026155451642797719955871000000000000, 'disc_rad': 1158630, 'disc_sign': 1, 'frobs': [[2, [0]], [3, [0]], [5, [0]], [7, [[4, 3], [2, 3]]], [11, [0]], [13, [[12, 1], [6, 1]]], [17, [[4, 3], [2, 3]]], [19, [[6, 2], [3, 1], [2, 1], [1, 1]]], [23, [[12, 1], [4, 1], [2, 1]]], [29, [[6, 1], [3, 4]]], [31, [[3, 6]]], [37, [[12, 1], [6, 1]]], [41, [[2, 7], [1, 4]]], [43, [[12, 1], [4, 1], [2, 1]]], [47, [[4, 4], [2, 1]]], [53, [[12, 1], [6, 1]]], [59, [[6, 1], [3, 4]]]], 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': True, 'galois_label': '18T576', 'galt': 576, 'inessentialp': [2], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '18.6.21655026155451642797719955871000000000000.1', 'local_algs': ['2.2.1.0a1.1', '2.2.2.4a2.2', '2.4.1.0a1.1', '2.4.2.8a3.1', '3.2.9.24a21.1', '5.1.2.1a1.1', '5.2.2.2a1.2', '5.1.4.3a1.4', '5.2.4.6a1.2', '11.1.3.2a1.1', '11.3.1.0a1.1', '11.2.3.4a1.2', '11.6.1.0a1.1', 'm3511.1.3.0', 'm3511.1.3.0', 'm3511.1.6.0', 'm3511.2.3.3'], 'monogenic': -1, 'narrow_class_group': [2], 'narrow_class_number': 2, 'num_ram': 5, 'r2': 6, 'ramps': [2, 3, 5, 11, 3511], 'rd': 174.126300443, 'regulator': 49924278928300, 'res': {}, 'subfield_mults': [1, 1], 'subfields': ['-1.-1.1', '99.198.99.-21.-21.0.1'], 'torsion_gen': '\\( -1 \\)', 'torsion_order': 2, 'units': ['\\( \\frac{1636169647979017842033608060367}{24290402350074460228858049482463680} a^{17} - \\frac{4791303754745351216527530306459}{24290402350074460228858049482463680} a^{16} - \\frac{24874676003906738940293823799851}{24290402350074460228858049482463680} a^{15} + \\frac{110962891334580201036620425154313}{24290402350074460228858049482463680} a^{14} - \\frac{344016035857937196819534485357991}{6072600587518615057214512370615920} a^{13} + \\frac{6230979060431947451510666579167797}{24290402350074460228858049482463680} a^{12} + \\frac{26782735977007328621354476870276323}{24290402350074460228858049482463680} a^{11} + \\frac{39189624463214992085337345998766771}{12145201175037230114429024741231840} a^{10} + \\frac{630458761024893425938267964835639563}{24290402350074460228858049482463680} a^{9} - \\frac{23979991297715172661709894908054437}{607260058751861505721451237061592} a^{8} + \\frac{431795714841545178445675783286001891}{12145201175037230114429024741231840} a^{7} + \\frac{244741029220894234105772799304441833}{6072600587518615057214512370615920} a^{6} - \\frac{8122297635160778817221692122705897}{151815014687965376430362809265398} a^{5} - \\frac{34995120248763446006404303644716571}{607260058751861505721451237061592} a^{4} + \\frac{5658871879930137606435286621797663}{303630029375930752860725618530796} a^{3} + \\frac{5288572181746012761963006805098825}{303630029375930752860725618530796} a^{2} + \\frac{1649768133848223704658742191704385}{303630029375930752860725618530796} a + \\frac{2058095429267691575099489849179}{151815014687965376430362809265398} \\)', '\\( \\frac{16371280733289263812436165377992561469681210656689}{79325287444452055460120520502825763069184007954527680} a^{17} - \\frac{10814154478950050035947051793208888791119098618885}{15865057488890411092024104100565152613836801590905536} a^{16} - \\frac{229783120333957298204929375318205486304132143845089}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{240326586487071905795536162163264731486078812142855}{15865057488890411092024104100565152613836801590905536} a^{14} - \\frac{1775855561044527078394700633695886200892763846116337}{9915660930556506932515065062853220383648000994315960} a^{13} + \\frac{67557996092532848822189965776922240370206914050112099}{79325287444452055460120520502825763069184007954527680} a^{12} + \\frac{48754591923850284088335789758934600022414840086684165}{15865057488890411092024104100565152613836801590905536} a^{11} + \\frac{343493478121536044995456180866710626567538979972802107}{39662643722226027730060260251412881534592003977263840} a^{10} + \\frac{6039820909244491206730284649097491884619269632220537317}{79325287444452055460120520502825763069184007954527680} a^{9} - \\frac{2970020053588066189290616846102106857306333690164891933}{19831321861113013865030130125706440767296001988631920} a^{8} + \\frac{6377503389283446446643524131781942227303167051655172197}{39662643722226027730060260251412881534592003977263840} a^{7} + \\frac{1621344485072586129585891994625651111194935885855778203}{19831321861113013865030130125706440767296001988631920} a^{6} - \\frac{531878691189447924892080686072641158876836511743549939}{2478915232639126733128766265713305095912000248578990} a^{5} - \\frac{178260202815352818464570921707133535935286062105109795}{1983132186111301386503013012570644076729600198863192} a^{4} + \\frac{116048093343165320851467867903798722458535805294545245}{991566093055650693251506506285322038364800099431596} a^{3} + \\frac{5204116143126067939742963239342820041515071355532879}{991566093055650693251506506285322038364800099431596} a^{2} - \\frac{2367351589874679227016467857434052831606121371412953}{991566093055650693251506506285322038364800099431596} a + \\frac{89745209055356737183490311409383577757808095312791}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{1357158004295637266747200015161587702912475336791}{4957830465278253466257532531426610191824000497157980} a^{17} - \\frac{17429439208336630598091997556003332541657960618521}{19831321861113013865030130125706440767296001988631920} a^{16} - \\frac{15550823657397664624499315710215936045882821757987}{3966264372222602773006026025141288153459200397726384} a^{15} + \\frac{391001249271415821402691838386886600295654251515247}{19831321861113013865030130125706440767296001988631920} a^{14} - \\frac{935033199368648901003127480879146204542761149275493}{3966264372222602773006026025141288153459200397726384} a^{13} + \\frac{10988316914782195847884932154571336645103876320689437}{9915660930556506932515065062853220383648000994315960} a^{12} + \\frac{82809368338029824570266675741670536785872993336709387}{19831321861113013865030130125706440767296001988631920} a^{11} + \\frac{235737614563394881718706245872272137687061560085949839}{19831321861113013865030130125706440767296001988631920} a^{10} + \\frac{50616957577771194709581078776392050986942648849300433}{495783046527825346625753253142661019182400049715798} a^{9} - \\frac{3753135818898097721114654147191915310134462894438512303}{19831321861113013865030130125706440767296001988631920} a^{8} + \\frac{973452599639456046940548986763508411306770435118460111}{4957830465278253466257532531426610191824000497157980} a^{7} + \\frac{605149119552414994950503500212575146136012064597527109}{4957830465278253466257532531426610191824000497157980} a^{6} - \\frac{332251914786949270541279464442355690993992652258828712}{1239457616319563366564383132856652547956000124289495} a^{5} - \\frac{146271970300552431970001506559198968521702988231598583}{991566093055650693251506506285322038364800099431596} a^{4} + \\frac{33632074827912959312133829785589699202931241105028827}{247891523263912673312876626571330509591200024857899} a^{3} + \\frac{5618758137605651689793069997517748236780927513060426}{247891523263912673312876626571330509591200024857899} a^{2} + \\frac{755076097080770332887736001926392073313570549347358}{247891523263912673312876626571330509591200024857899} a - \\frac{447549875773991565650878730206702185563639532270213}{247891523263912673312876626571330509591200024857899} \\)', '\\( \\frac{4097181307086688825540088592054946225197686362373}{79325287444452055460120520502825763069184007954527680} a^{17} - \\frac{9748415991266858702156499315390374310350732538329}{79325287444452055460120520502825763069184007954527680} a^{16} - \\frac{69004561674670173425604056018552005497686870495217}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{244414722608185861443540158539962214614357180064283}{79325287444452055460120520502825763069184007954527680} a^{14} - \\frac{823066663019133008834049329286881196871059811080867}{19831321861113013865030130125706440767296001988631920} a^{13} + \\frac{13696407627411001820000125299839476012637511970494943}{79325287444452055460120520502825763069184007954527680} a^{12} + \\frac{75764485050405082029215875767933663533555546129719073}{79325287444452055460120520502825763069184007954527680} a^{11} + \\frac{116151842220265324897413608927398513940556560203808229}{39662643722226027730060260251412881534592003977263840} a^{10} + \\frac{1685725245546262706615941017775511219760685555843906641}{79325287444452055460120520502825763069184007954527680} a^{9} - \\frac{191808267826569742579104413959060341888514025435356541}{9915660930556506932515065062853220383648000994315960} a^{8} + \\frac{407970441131100288213570349774702741511698140247523669}{39662643722226027730060260251412881534592003977263840} a^{7} + \\frac{193500500658999370103556986289069725101215412343615647}{3966264372222602773006026025141288153459200397726384} a^{6} - \\frac{66233375400849976918488013829853351171122151240145541}{2478915232639126733128766265713305095912000248578990} a^{5} - \\frac{130380701590921454955397461763401352519334438988915429}{1983132186111301386503013012570644076729600198863192} a^{4} - \\frac{4683026098164292994502782691706753700749632177194895}{991566093055650693251506506285322038364800099431596} a^{3} + \\frac{20150543088159151594048189711073340738453378359382461}{991566093055650693251506506285322038364800099431596} a^{2} + \\frac{7346691426969086143150197866281312855406201150383963}{991566093055650693251506506285322038364800099431596} a + \\frac{634328896814625326599439215967523474066858190941071}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{7779840275016453803352837090593976092140982790095}{15865057488890411092024104100565152613836801590905536} a^{17} - \\frac{25461650403477596344599767708084830197971243480415}{15865057488890411092024104100565152613836801590905536} a^{16} - \\frac{109781065311135688529945170350002808365956465589935}{15865057488890411092024104100565152613836801590905536} a^{15} + \\frac{567511081320508912477449785267980660282687289233629}{15865057488890411092024104100565152613836801590905536} a^{14} - \\frac{842236741323241614849011815753472330349576938074077}{1983132186111301386503013012570644076729600198863192} a^{13} + \\frac{31910093444906967313857513969381684512801503080568245}{15865057488890411092024104100565152613836801590905536} a^{12} + \\frac{116672152304300808462866880666284184055038896627149071}{15865057488890411092024104100565152613836801590905536} a^{11} + \\frac{165195416877060757015154509639059860737504656006366677}{7932528744445205546012052050282576306918400795452768} a^{10} + \\frac{2884231254420766456169769980885721783357132419270545251}{15865057488890411092024104100565152613836801590905536} a^{9} - \\frac{1386467339029916797857247765912716082041500922796957009}{3966264372222602773006026025141288153459200397726384} a^{8} + \\frac{2988704023160021389518093579865110852001274802559510895}{7932528744445205546012052050282576306918400795452768} a^{7} + \\frac{817644498567461942135612946511944721505658477812117705}{3966264372222602773006026025141288153459200397726384} a^{6} - \\frac{252645888018240568159955991616346756845257874646838831}{495783046527825346625753253142661019182400049715798} a^{5} - \\frac{409787973132500605849685754947112955922028364627153389}{1983132186111301386503013012570644076729600198863192} a^{4} + \\frac{271516324733787751469462109466259695373901188029759151}{991566093055650693251506506285322038364800099431596} a^{3} - \\frac{1618259452374509933819209585415286773463064042894685}{991566093055650693251506506285322038364800099431596} a^{2} - \\frac{10141262801830927601300058119669319386801362946971115}{991566093055650693251506506285322038364800099431596} a + \\frac{329358149636824537655257192140629217346462741725581}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{108008944720703973081991309654314008374865495942861}{15865057488890411092024104100565152613836801590905536} a^{17} - \\frac{1867156647036276685351648600046205625187726966764541}{79325287444452055460120520502825763069184007954527680} a^{16} - \\frac{7354296042520472727229249124473119713136066497567589}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{40971875175611840693782502832318853314644229979391087}{79325287444452055460120520502825763069184007954527680} a^{14} - \\frac{118522648040396377236905146857054831442517139236795963}{19831321861113013865030130125706440767296001988631920} a^{13} + \\frac{2297361759337636301888874506812637092000230909394435563}{79325287444452055460120520502825763069184007954527680} a^{12} + \\frac{7740118104265274290157902600659396580294049444394457149}{79325287444452055460120520502825763069184007954527680} a^{11} + \\frac{10606492887288181602026444959199608864589448415192598429}{39662643722226027730060260251412881534592003977263840} a^{10} + \\frac{194992356712930168715215098620336908090996543056381408149}{79325287444452055460120520502825763069184007954527680} a^{9} - \\frac{53108717587343147061138829154535449080025946167222036367}{9915660930556506932515065062853220383648000994315960} a^{8} + \\frac{231283509636495107064954554361467356630490486728955244737}{39662643722226027730060260251412881534592003977263840} a^{7} + \\frac{45896095856462677935924699107596815534815693814172534801}{19831321861113013865030130125706440767296001988631920} a^{6} - \\frac{39851441582059843244508469178598218313385706659113005117}{4957830465278253466257532531426610191824000497157980} a^{5} - \\frac{20467996882232126627338159842760843963970100424102390003}{9915660930556506932515065062853220383648000994315960} a^{4} + \\frac{4918061387073748073603161383109931776705971563756096003}{991566093055650693251506506285322038364800099431596} a^{3} - \\frac{317919575529410442719571251829068152524168375719400543}{991566093055650693251506506285322038364800099431596} a^{2} - \\frac{305193851076304678462007894858863854480949896632467653}{991566093055650693251506506285322038364800099431596} a - \\frac{2100332874630481466937371218696663826045044882654819}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{4199457466389588793344470946501520923401894571422815373}{79325287444452055460120520502825763069184007954527680} a^{17} - \\frac{8273951591099919155326734893581842915240044067269103457}{79325287444452055460120520502825763069184007954527680} a^{16} - \\frac{71512334766737962615071774975180294454274006196228119801}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{43224545400588467216118004049048130320449756295253991199}{15865057488890411092024104100565152613836801590905536} a^{14} - \\frac{832545171442559106721428735472777152390633230182915873221}{19831321861113013865030130125706440767296001988631920} a^{13} + \\frac{12810009011049120654247891917954075242325855212693054262079}{79325287444452055460120520502825763069184007954527680} a^{12} + \\frac{80832072484747670925133999345982286036038754123358938005457}{79325287444452055460120520502825763069184007954527680} a^{11} + \\frac{139558072650464503768163672182942230164442732131559057831669}{39662643722226027730060260251412881534592003977263840} a^{10} + \\frac{1891880743127860462476013929347807504638599843900959808076929}{79325287444452055460120520502825763069184007954527680} a^{9} - \\frac{19569959417949885263324088321909956381569407687425201779307}{2478915232639126733128766265713305095912000248578990} a^{8} + \\frac{175149027124618587572992306330695671217964729163318650501241}{7932528744445205546012052050282576306918400795452768} a^{7} + \\frac{1073138986871408347588260305070141128340338759516645069354673}{19831321861113013865030130125706440767296001988631920} a^{6} + \\frac{4441905442408586525053482620478679701540652925409994372651}{495783046527825346625753253142661019182400049715798} a^{5} - \\frac{301813701118844865915826517262948885568066825863103788168549}{9915660930556506932515065062853220383648000994315960} a^{4} - \\frac{11150028322951588363037243103477419005810605149821081639339}{991566093055650693251506506285322038364800099431596} a^{3} - \\frac{1338387572503088326349090371706420025087097805077187807917}{991566093055650693251506506285322038364800099431596} a^{2} + \\frac{323599529550513033790718733164786855960911989538719623771}{991566093055650693251506506285322038364800099431596} a + \\frac{40767113937523594904554674218299381561509930900952297257}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{1152795177374301594982557691446337137472743145308741381}{79325287444452055460120520502825763069184007954527680} a^{17} - \\frac{2154324816122370675774229443919551931986604031549042561}{79325287444452055460120520502825763069184007954527680} a^{16} - \\frac{19878657160594162281313464017368915587879297615334322001}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{57381293310047288693908571566377766354312452965020819603}{79325287444452055460120520502825763069184007954527680} a^{14} - \\frac{45394229146415256454987194364615738985555850943335201449}{3966264372222602773006026025141288153459200397726384} a^{13} + \\frac{684528855682113474639133196127830564102605881046420609779}{15865057488890411092024104100565152613836801590905536} a^{12} + \\frac{22560498497962675645178974144442037468545526094012559961697}{79325287444452055460120520502825763069184007954527680} a^{11} + \\frac{39405079122302593265552294978377276569665376221467314037637}{39662643722226027730060260251412881534592003977263840} a^{10} + \\frac{526820168179810101897967065402570928443705067737303484020161}{79325287444452055460120520502825763069184007954527680} a^{9} - \\frac{15020521057296758045870172674607509293069902054220710077569}{9915660930556506932515065062853220383648000994315960} a^{8} + \\frac{228035254792983650044232287627418711392661565763684257712601}{39662643722226027730060260251412881534592003977263840} a^{7} + \\frac{308391650091457140559262859094349829766477695084033597015333}{19831321861113013865030130125706440767296001988631920} a^{6} + \\frac{1876618912822043901730331702744403829507355770135235333041}{495783046527825346625753253142661019182400049715798} a^{5} - \\frac{83369121690768133127248556517104168012420599772004571376117}{9915660930556506932515065062853220383648000994315960} a^{4} - \\frac{3884114660166584724074805724743702765448558034674148563775}{991566093055650693251506506285322038364800099431596} a^{3} - \\frac{501209592092307025291861817278807828675908444400010272727}{991566093055650693251506506285322038364800099431596} a^{2} + \\frac{80466142508778084955067768745230053272930625285465652683}{991566093055650693251506506285322038364800099431596} a + \\frac{16546808796188350436820904206639921397914747809602271361}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{112323669916797991331586586195050110779914340867}{15865057488890411092024104100565152613836801590905536} a^{17} + \\frac{9064362724168844797532617741919714364548960317745}{15865057488890411092024104100565152613836801590905536} a^{16} - \\frac{772386978192847664443252995781661157700056273986883}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{553242730801033527171816223930291363660170632849637}{15865057488890411092024104100565152613836801590905536} a^{14} + \\frac{5263387064045993117144876823337004394200578651377433}{19831321861113013865030130125706440767296001988631920} a^{13} - \\frac{159571119182483919326769273356962885569443971410850747}{79325287444452055460120520502825763069184007954527680} a^{12} + \\frac{282252509307362411919493021329617426207648922708786427}{79325287444452055460120520502825763069184007954527680} a^{11} - \\frac{426385125790395367449874557590216576371339276904373361}{39662643722226027730060260251412881534592003977263840} a^{10} + \\frac{1931152190872600109722819046082085701885480520141628811}{79325287444452055460120520502825763069184007954527680} a^{9} + \\frac{591060906357454750770809265301806466580617193489103379}{991566093055650693251506506285322038364800099431596} a^{8} - \\frac{74408578838242366202137979909818650609017544071692718393}{39662643722226027730060260251412881534592003977263840} a^{7} + \\frac{12013246102938969851673105324080720406365708316070961235}{3966264372222602773006026025141288153459200397726384} a^{6} - \\frac{10801589790260085962821668271048722220630637246994865743}{4957830465278253466257532531426610191824000497157980} a^{5} + \\frac{1159115514193256645995209249153424243125517310094925687}{9915660930556506932515065062853220383648000994315960} a^{4} + \\frac{211346513228030072961835691228624579521853389020193203}{991566093055650693251506506285322038364800099431596} a^{3} + \\frac{74379777562828890319346358264953614613814772425946529}{991566093055650693251506506285322038364800099431596} a^{2} - \\frac{2113256440969392953194310333517065019990301915877951}{991566093055650693251506506285322038364800099431596} a - \\frac{1570856345097020777263400757871763048251807975204685}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{53816426583908372498691241511378226679280857408215572933}{79325287444452055460120520502825763069184007954527680} a^{17} - \\frac{122187271862442564922138450433316660557911651936506141101}{79325287444452055460120520502825763069184007954527680} a^{16} - \\frac{896385838416335556479861510856173962303967223880400901181}{79325287444452055460120520502825763069184007954527680} a^{15} + \\frac{3059343501315832793633401314143603134218894137292930453007}{79325287444452055460120520502825763069184007954527680} a^{14} - \\frac{5412092023440401105674681321546506672676914560099530243551}{9915660930556506932515065062853220383648000994315960} a^{13} + \\frac{35304332805126331147689211655094082366621360699572072542947}{15865057488890411092024104100565152613836801590905536} a^{12} + \\frac{199119658679342225342377866446268689895426859530592173107761}{15865057488890411092024104100565152613836801590905536} a^{11} + \\frac{323657429223270157254934756941742534748517576787934153019447}{7932528744445205546012052050282576306918400795452768} a^{10} + \\frac{22922673819966082765602924051517071572625744291612400949940601}{79325287444452055460120520502825763069184007954527680} a^{9} - \\frac{813411639328754993983768327039709979696410471210741372020747}{3966264372222602773006026025141288153459200397726384} a^{8} + \\frac{9421617447586369931721347549511790179476478590160052625607877}{39662643722226027730060260251412881534592003977263840} a^{7} + \\frac{11410706759191360472926892827339440293247418065620993947360097}{19831321861113013865030130125706440767296001988631920} a^{6} - \\frac{444968346307417642569546246609545272528609015710787548801881}{2478915232639126733128766265713305095912000248578990} a^{5} - \\frac{6338110289916607404641509385649253107827817768136586380684637}{9915660930556506932515065062853220383648000994315960} a^{4} - \\frac{206978049251637305943372873755379702390786018323840633446617}{991566093055650693251506506285322038364800099431596} a^{3} - \\frac{21036128574010525273116501770198062894311520733193474166869}{991566093055650693251506506285322038364800099431596} a^{2} + \\frac{6448130801689453175540273240442414542768832339802083962351}{991566093055650693251506506285322038364800099431596} a + \\frac{737657057057609741636126998091540813667158101898461675601}{495783046527825346625753253142661019182400049715798} \\)', '\\( \\frac{16160911316339677015987472552430415974756012071451346807}{79325287444452055460120520502825763069184007954527680} a^{17} - \\frac{124518854259794063440137166775692849324687309810181707639}{79325287444452055460120520502825763069184007954527680} a^{16} + \\frac{324819534291505656140945255145664350232507265410309761737}{79325287444452055460120520502825763069184007954527680} a^{15} - \\frac{270563959800090793194233923234141035477011459754561304019}{79325287444452055460120520502825763069184007954527680} a^{14} - \\frac{39895808010358918664952995967920446011772655605765485301}{247891523263912673312876626571330509591200024857899} a^{13} + \\frac{122854989460269789948303849038592155969539702319189492574709}{79325287444452055460120520502825763069184007954527680} a^{12} - \\frac{302998000744194871944173105580932278823569886676686952644737}{79325287444452055460120520502825763069184007954527680} a^{11} + \\frac{1019270112842677772369500341163720234401548604924126230040373}{39662643722226027730060260251412881534592003977263840} a^{10} - \\frac{3074237503355220022138503771581256324002632929385329710042317}{79325287444452055460120520502825763069184007954527680} a^{9} + \\frac{556089400789398559169752815955479780365365273111470673877849}{19831321861113013865030130125706440767296001988631920} a^{8} + \\frac{218887693605941499634077077926788073974798785832282862508595}{7932528744445205546012052050282576306918400795452768} a^{7} - \\frac{780290164371148422583890283742711743601250713358855441994957}{19831321861113013865030130125706440767296001988631920} a^{6} - \\frac{34770605812449756290233647946746575209019446495939180232653}{1239457616319563366564383132856652547956000124289495} a^{5} + \\frac{229298009476230418902183212311045222245621509402444460908399}{9915660930556506932515065062853220383648000994315960} a^{4} + \\frac{2916817068242968508975930209227373847948873221157386958915}{991566093055650693251506506285322038364800099431596} a^{3} + \\frac{511451921911178162447854679089750215961080620523270864231}{991566093055650693251506506285322038364800099431596} a^{2} - \\frac{379782503327679246055467822748762735909175252884006340387}{991566093055650693251506506285322038364800099431596} a + \\frac{8128882811657251306551834151533860048694347726189131001}{495783046527825346625753253142661019182400049715798} \\)'], 'used_grh': True, 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', 'a^7', 'a^8', 'a^9', '1/2*a^10 - 1/2*a^9 - 1/2*a^8 - 1/2*a^7 - 1/2*a^5 - 1/2*a^4 - 1/2*a^2', '1/2*a^11 - 1/2*a^7 - 1/2*a^6 - 1/2*a^4 - 1/2*a^3 - 1/2*a^2', '1/4*a^12 - 1/4*a^11 - 1/4*a^10 - 1/4*a^9 - 1/4*a^7 + 1/4*a^6 - 1/2*a^5 + 1/4*a^4 - 1/2*a^2', '1/4*a^13 + 1/4*a^9 + 1/4*a^8 + 1/4*a^6 + 1/4*a^5 + 1/4*a^4 - 1/2*a^2', '1/40*a^14 - 3/40*a^13 - 1/8*a^12 - 1/40*a^11 + 1/10*a^10 - 3/40*a^9 + 7/40*a^8 - 3/20*a^7 + 3/8*a^6 + 1/4*a^5 - 1/10*a^4 - 1/2*a^3 - 1/2*a^2', '1/40*a^15 - 1/10*a^13 + 1/10*a^12 + 1/40*a^11 + 9/40*a^10 + 1/5*a^9 + 1/8*a^8 + 17/40*a^7 - 3/8*a^6 + 2/5*a^5 - 1/20*a^4 - 1/2*a^3', '1/80*a^16 - 1/80*a^15 - 1/80*a^14 - 1/80*a^13 - 1/10*a^12 - 1/16*a^11 + 1/80*a^10 + 9/40*a^9 - 7/80*a^8 + 1/4*a^7 - 17/40*a^6 - 1/10*a^5 - 1/4*a^4 - 1/2*a^3 - 1/2*a^2', '1/79325287444452055460120520502825763069184007954527680*a^17 + 466956642717837695109519195943062206766166966896811/79325287444452055460120520502825763069184007954527680*a^16 + 710997289011407002004587755095686577996393195619019/79325287444452055460120520502825763069184007954527680*a^15 - 834612324746942615285796257829819678440956618478281/79325287444452055460120520502825763069184007954527680*a^14 - 1963796753541856604991716386500989543942327275606241/19831321861113013865030130125706440767296001988631920*a^13 + 9596036630068586955765861278912714926011769248297067/79325287444452055460120520502825763069184007954527680*a^12 - 15117468540889647953704623437948926137240356020600339/79325287444452055460120520502825763069184007954527680*a^11 - 8978048784267232543382808539770272519725840498665227/39662643722226027730060260251412881534592003977263840*a^10 - 31678533434282533339203628325772950982876423380842491/79325287444452055460120520502825763069184007954527680*a^9 - 42947460879868247445343668036708971826202428392253/1983132186111301386503013012570644076729600198863192*a^8 + 7909807966615886185796417472641620902618295208337909/39662643722226027730060260251412881534592003977263840*a^7 + 5175009941491515766538537312543180143042788706829011/19831321861113013865030130125706440767296001988631920*a^6 - 1186884500536196151218464173807166550090029007076449/4957830465278253466257532531426610191824000497157980*a^5 - 966556720310576994441067513541345580453014837781999/9915660930556506932515065062853220383648000994315960*a^4 + 156522008201819479555182377558038924924674622598935/991566093055650693251506506285322038364800099431596*a^3 - 193988339482075680376624536500503118246648214097343/991566093055650693251506506285322038364800099431596*a^2 + 447845046568559577306885903902229901121470958791123/991566093055650693251506506285322038364800099431596*a - 139717361908281276976042521656402487150294038503867/495783046527825346625753253142661019182400049715798']}