-
nf_fields • Show schema
{'class_group': [2], 'class_number': 2, 'cm': False, 'coeffs': [284662974336, 8441222075904, 11551268406912, 5938321552896, 2969896724416, 1122667758080, 353271460352, 100368147456, 23314586816, 5143483648, 882147904, 156793344, 23901424, 3205056, 448672, 39680, 9206, -264, 170, -8, 1], 'conductor': 0, 'degree': 20, 'disc_abs': 513006019713288929550454694707222514684527733454667776, 'disc_rad': 318, 'disc_sign': 1, 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': True, 'galois_label': '20T18', 'galt': 18, 'index': 1, 'inessentialp': [], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '20.4.513006019713288929550454694707222514684527733454667776.1', 'local_algs': ['2.4.9.8', '2.16.54.4', '3.4.3.2', '3.16.12.1', '53.10.8.1', '53.10.8.1'], 'maxp': 53, 'monogenic': 0, 'narrow_class_group': [2, 2], 'narrow_class_number': 4, 'num_ram': 3, 'r2': 8, 'ramps': [2, 3, 53], 'rd': 484.7369468199184, 'regulator': 24649276698462750000, 'subfield_mults': [1, 1, 1, 1], 'subfields': ['-3.0.1', '6.0.-6.0.1', '1500.754.152.44.-2.1', '1352769.3128220.772501.334864.90422.15640.2350.176.77.-4.1'], 'torsion_order': 2, 'unit_signature_rank': 3, 'used_grh': True} -
nf_fields_extra • Show schema
{'dirichlet_group': [], 'frobs': [[2, [0]], [3, [0]], [5, [[4, 4], [2, 2]]], [7, [[4, 5]]], [11, [[4, 4], [2, 1], [1, 2]]], [13, [[4, 4], [2, 1], [1, 2]]], [17, [[4, 5]]], [19, [[4, 4], [2, 2]]], [23, [[2, 10]]], [29, [[4, 4], [2, 2]]], [31, [[4, 5]]], [37, [[4, 4], [2, 1], [1, 2]]], [41, [[20, 1]]], [43, [[4, 4], [2, 2]]], [47, [[2, 10]]], [53, [0]], [59, [[4, 4], [2, 1], [1, 2]]]], 'label': '20.4.513006019713288929550454694707222514684527733454667776.1', 'torsion_gen': '\\( -1 \\)', 'units': ['\\( \\frac{391663449196540237810948237522994749341461795}{3382720434985589925544162451561612776033680206602257788544} a^{19} - \\frac{1915475362055053282161942753735213971247878795}{3382720434985589925544162451561612776033680206602257788544} a^{18} + \\frac{17917754515497786082821747944317872364651911249}{1127573478328529975181387483853870925344560068867419262848} a^{17} + \\frac{66382740686859546983523370683514217307755224303}{1691360217492794962772081225780806388016840103301128894272} a^{16} + \\frac{2704340615565135334810033951029576685585567345787}{3382720434985589925544162451561612776033680206602257788544} a^{15} + \\frac{14193331082382188958799147676191368810324910644919}{1691360217492794962772081225780806388016840103301128894272} a^{14} + \\frac{96219537713866008766032003362373213695553272643539}{1691360217492794962772081225780806388016840103301128894272} a^{13} + \\frac{106718783309722015405608720291575947078670117825249}{211420027186599370346510153222600798502105012912641111784} a^{12} + \\frac{5987434230148611929380053973928468252151830087355245}{1691360217492794962772081225780806388016840103301128894272} a^{11} + \\frac{10146296918529286537484803792973982902616470533241827}{422840054373198740693020306445201597004210025825282223568} a^{10} + \\frac{39121857446403484304625549975534035719021175417719819}{281893369582132493795346870963467731336140017216854815712} a^{9} + \\frac{164837101540702331837111837447175220623038227467914479}{211420027186599370346510153222600798502105012912641111784} a^{8} + \\frac{202256962172070857313774818075637459207210489501537625}{52855006796649842586627538305650199625526253228160277946} a^{7} + \\frac{1097344104977761004005777119734444492952296670277115395}{70473342395533123448836717740866932834035004304213703928} a^{6} + \\frac{1020464913990201208519253632487378845501430933123738073}{17618335598883280862209179435216733208508751076053425982} a^{5} + \\frac{4600200886486651463470137041425037827721380040994503917}{26427503398324921293313769152825099812763126614080138973} a^{4} + \\frac{32227909603679200565080185994200503970724070590664428131}{70473342395533123448836717740866932834035004304213703928} a^{3} + \\frac{15514352490606490305863780793142543636089820554002347625}{17618335598883280862209179435216733208508751076053425982} a^{2} + \\frac{56231919633533284778333735647323884204901683282622799499}{35236671197766561724418358870433466417017502152106851964} a + \\frac{28460209742343186360146816225411406727865385683616819079}{8809167799441640431104589717608366604254375538026712991} \\)', '\\( \\frac{391663449196540237810948237522994749341461795}{3382720434985589925544162451561612776033680206602257788544} a^{19} - \\frac{1915475362055053282161942753735213971247878795}{3382720434985589925544162451561612776033680206602257788544} a^{18} + \\frac{17917754515497786082821747944317872364651911249}{1127573478328529975181387483853870925344560068867419262848} a^{17} + \\frac{66382740686859546983523370683514217307755224303}{1691360217492794962772081225780806388016840103301128894272} a^{16} + \\frac{2704340615565135334810033951029576685585567345787}{3382720434985589925544162451561612776033680206602257788544} a^{15} + \\frac{14193331082382188958799147676191368810324910644919}{1691360217492794962772081225780806388016840103301128894272} a^{14} + \\frac{96219537713866008766032003362373213695553272643539}{1691360217492794962772081225780806388016840103301128894272} a^{13} + \\frac{106718783309722015405608720291575947078670117825249}{211420027186599370346510153222600798502105012912641111784} a^{12} + \\frac{5987434230148611929380053973928468252151830087355245}{1691360217492794962772081225780806388016840103301128894272} a^{11} + \\frac{10146296918529286537484803792973982902616470533241827}{422840054373198740693020306445201597004210025825282223568} a^{10} + \\frac{39121857446403484304625549975534035719021175417719819}{281893369582132493795346870963467731336140017216854815712} a^{9} + \\frac{164837101540702331837111837447175220623038227467914479}{211420027186599370346510153222600798502105012912641111784} a^{8} + \\frac{202256962172070857313774818075637459207210489501537625}{52855006796649842586627538305650199625526253228160277946} a^{7} + \\frac{1097344104977761004005777119734444492952296670277115395}{70473342395533123448836717740866932834035004304213703928} a^{6} + \\frac{1020464913990201208519253632487378845501430933123738073}{17618335598883280862209179435216733208508751076053425982} a^{5} + \\frac{4600200886486651463470137041425037827721380040994503917}{26427503398324921293313769152825099812763126614080138973} a^{4} + \\frac{32227909603679200565080185994200503970724070590664428131}{70473342395533123448836717740866932834035004304213703928} a^{3} + \\frac{15514352490606490305863780793142543636089820554002347625}{17618335598883280862209179435216733208508751076053425982} a^{2} + \\frac{56231919633533284778333735647323884204901683282622799499}{35236671197766561724418358870433466417017502152106851964} a + \\frac{10841874143459905497937636790194673519356634607563393097}{8809167799441640431104589717608366604254375538026712991} \\)', '\\( -\\frac{406179871340235567840460509410200984950582111}{563786739164264987590693741926935462672280034433709631424} a^{19} + \\frac{3180580571882626860344375898246608585766790655}{563786739164264987590693741926935462672280034433709631424} a^{18} - \\frac{208825546744690132621727980062267257513455292797}{1691360217492794962772081225780806388016840103301128894272} a^{17} + \\frac{166339024824526935296042170909228794018535734151}{845680108746397481386040612890403194008420051650564447136} a^{16} - \\frac{11885363429834440579296650656269252104788513022981}{1691360217492794962772081225780806388016840103301128894272} a^{15} - \\frac{23108422195218385900737356226693398986524037088509}{845680108746397481386040612890403194008420051650564447136} a^{14} - \\frac{294450634876597004543600925830646938171364049926125}{845680108746397481386040612890403194008420051650564447136} a^{13} - \\frac{165936753908155682550254219742971938521678162977841}{70473342395533123448836717740866932834035004304213703928} a^{12} - \\frac{15182040005480427631100134037987465207223078512652371}{845680108746397481386040612890403194008420051650564447136} a^{11} - \\frac{24972273918944157100488961360705320336863336798591945}{211420027186599370346510153222600798502105012912641111784} a^{10} - \\frac{280702011220254764442524566788811856613389392561832639}{422840054373198740693020306445201597004210025825282223568} a^{9} - \\frac{205844665902526102085412973019931531028391939749082369}{52855006796649842586627538305650199625526253228160277946} a^{8} - \\frac{153721667312141773417080206843198719772212949438654237}{8809167799441640431104589717608366604254375538026712991} a^{7} - \\frac{8112467462991672434887372833019348624316132762065055443}{105710013593299685173255076611300399251052506456320555892} a^{6} - \\frac{6941687518548741105572060617211804648603667967198761805}{26427503398324921293313769152825099812763126614080138973} a^{5} - \\frac{21835951041798766183670355132868493473060641434147875097}{26427503398324921293313769152825099812763126614080138973} a^{4} - \\frac{74137692717561506880394749020465635491755027264084615645}{35236671197766561724418358870433466417017502152106851964} a^{3} - \\frac{35511733307711059603636214115866061335410330177696196399}{8809167799441640431104589717608366604254375538026712991} a^{2} - \\frac{129831767511685641359447933081111959689428932066937010293}{17618335598883280862209179435216733208508751076053425982} a - \\frac{3254191327244720726811066027453189348743700021362368935}{8809167799441640431104589717608366604254375538026712991} \\)', '\\( \\frac{6716545082007778552107065917879650341245119228218254024919}{827638933093141001783138413148741259202907090548685738930432} a^{19} - \\frac{156666419885590553843844182536756596152590978210069736727845}{2482916799279423005349415239446223777608721271646057216791296} a^{18} + \\frac{70071740403138237143992594998197557971298638912745035182183}{51727433318321312611446150821796328700181693159292858683152} a^{17} - \\frac{1542858749922806412791765369471997685149622404071000983536299}{827638933093141001783138413148741259202907090548685738930432} a^{16} + \\frac{15233908162197587939135110920473596832342312298107857772751431}{206909733273285250445784603287185314800726772637171434732608} a^{15} + \\frac{67396619939988898881025137784762547307594943421604025323769081}{206909733273285250445784603287185314800726772637171434732608} a^{14} + \\frac{565564960962894948827583455398739374689205082918221895877237347}{155182299954963937834338452465388986100545079477878576049456} a^{13} + \\frac{32278105609151549058436156481368405224099845432284213561739527003}{1241458399639711502674707619723111888804360635823028608395648} a^{12} + \\frac{119735736522305717102668408717470365152865264550776816066835202667}{620729199819855751337353809861555944402180317911514304197824} a^{11} + \\frac{130778638485853334138234286240278941455563301755946174218835745201}{103454866636642625222892301643592657400363386318585717366304} a^{10} + \\frac{1102400157107200721970519032808198974770183306428566800855922460607}{155182299954963937834338452465388986100545079477878576049456} a^{9} + \\frac{12766549980775334205508430576267558226442631560398874908778300162253}{310364599909927875668676904930777972201090158955757152098912} a^{8} + \\frac{28806709511027940774764724512185514268383367389934293728436999099993}{155182299954963937834338452465388986100545079477878576049456} a^{7} + \\frac{7707921208204648276426307043954110382138425745329828593178027102843}{9698893747185246114646153279086811631284067467367411003091} a^{6} + \\frac{26994719507240233155155612297323284954958762818894405208721526639412}{9698893747185246114646153279086811631284067467367411003091} a^{5} + \\frac{1364781149983078218183817777953020331683425316186993879244886574655493}{155182299954963937834338452465388986100545079477878576049456} a^{4} + \\frac{598185959428631902501368798641151053529468236158871010217875305020401}{25863716659160656305723075410898164350090846579646429341576} a^{3} + \\frac{593816856208160940778646164494262336507340354872722488622028657745113}{12931858329580328152861537705449082175045423289823214670788} a^{2} + \\frac{286727495722278175454239305542229924431073685118426481661031921303832}{3232964582395082038215384426362270543761355822455803667697} a + \\frac{810343832325039963521736364289967792359435434847876950856516673300817}{12931858329580328152861537705449082175045423289823214670788} \\)', '\\( -\\frac{7040849180950433732703700944271260548106769204205985973175}{2482916799279423005349415239446223777608721271646057216791296} a^{19} - \\frac{434287394263870023361587346277370849108604777237560777815}{12931858329580328152861537705449082175045423289823214670788} a^{18} - \\frac{7117198959784480576864549306535214827693761273634471897077}{1241458399639711502674707619723111888804360635823028608395648} a^{17} - \\frac{997464802163710119815745271856269404915975708904213525526695}{155182299954963937834338452465388986100545079477878576049456} a^{16} - \\frac{9992730331999810554973846389186792744687707097855674019975289}{413819466546570500891569206574370629601453545274342869465216} a^{15} - \\frac{105407788833809279537048485597667799733229730420954016753866673}{310364599909927875668676904930777972201090158955757152098912} a^{14} - \\frac{294700153213044366398839930485454946772214029415694195262921289}{103454866636642625222892301643592657400363386318585717366304} a^{13} - \\frac{1149180213590745052986857733921391723027606351283500813662837177}{51727433318321312611446150821796328700181693159292858683152} a^{12} - \\frac{11376969935315347968345724099500121326183437853593951649571313561}{77591149977481968917169226232694493050272539738939288024728} a^{11} - \\frac{148455563190513942426381557001366440694072490726188675139399314287}{155182299954963937834338452465388986100545079477878576049456} a^{10} - \\frac{75432871472418316292560508033058849512237186968062438605960214813}{12931858329580328152861537705449082175045423289823214670788} a^{9} - \\frac{2205506761184742801503443440526326630313866935573090788900329765275}{77591149977481968917169226232694493050272539738939288024728} a^{8} - \\frac{6465678539331038344889748239558532979004796611780131136051116250685}{51727433318321312611446150821796328700181693159292858683152} a^{7} - \\frac{1476438981687409329386378237324455348811709083726819744663656785316}{3232964582395082038215384426362270543761355822455803667697} a^{6} - \\frac{28526578411640543205135265276758433337793755153461544116779519057013}{19397787494370492229292306558173623262568134934734822006182} a^{5} - \\frac{74271764705652487777441080115722003979014399414213402622295335919791}{19397787494370492229292306558173623262568134934734822006182} a^{4} - \\frac{25811951846503304878027692526518532807221513270522081610751672608092}{3232964582395082038215384426362270543761355822455803667697} a^{3} - \\frac{92276118589753131104154717078449125066498870391854224876699624024729}{6465929164790164076430768852724541087522711644911607335394} a^{2} - \\frac{63122874875254789276799295793399122554629873457433415572020723291435}{6465929164790164076430768852724541087522711644911607335394} a - \\frac{1060806943746878419269507124060552686906514499384314348573989331754}{3232964582395082038215384426362270543761355822455803667697} \\)', '\\( -\\frac{3844136762004646256523185039123955084877111426535154396648377}{2482916799279423005349415239446223777608721271646057216791296} a^{19} + \\frac{11190509405928527167534501824376331240474238790612410594336799}{620729199819855751337353809861555944402180317911514304197824} a^{18} - \\frac{246999155472966085608252452940914473436922887492681884145708339}{827638933093141001783138413148741259202907090548685738930432} a^{17} + \\frac{383916458313172611979733715705914784246582765663953572939049629}{310364599909927875668676904930777972201090158955757152098912} a^{16} - \\frac{4244570937350312618791980473316724157945782869936961218780798205}{310364599909927875668676904930777972201090158955757152098912} a^{15} - \\frac{2136627154259086611182277235284811744107633006085495795764998137}{103454866636642625222892301643592657400363386318585717366304} a^{14} - \\frac{153003352295132149748836579319297147623910516368778995923998437773}{413819466546570500891569206574370629601453545274342869465216} a^{13} - \\frac{97435229612378223981860745333768043574354512000275685833244821067}{38795574988740984458584613116347246525136269869469644012364} a^{12} - \\frac{1724117432972255069197679520838837946212668024384169525944023572231}{103454866636642625222892301643592657400363386318585717366304} a^{11} - \\frac{15455204772469575304310918634169262052432023386566098985752669452337}{155182299954963937834338452465388986100545079477878576049456} a^{10} - \\frac{65237307310187066262317953525518390752255556064021047994306459784257}{155182299954963937834338452465388986100545079477878576049456} a^{9} - \\frac{68641847380407826600924282021668514030841716200920618645504616593169}{25863716659160656305723075410898164350090846579646429341576} a^{8} - \\frac{43085577012970327226315488040884352778019510752233961001811906304387}{6465929164790164076430768852724541087522711644911607335394} a^{7} - \\frac{734054191356926140032657691848442447245412327431361838421101542018619}{38795574988740984458584613116347246525136269869469644012364} a^{6} - \\frac{392834404658667462422121299500506899054627899110890551328254814538421}{51727433318321312611446150821796328700181693159292858683152} a^{5} + \\frac{1733084223796579530513256295800293853560088069522447083037890385617611}{19397787494370492229292306558173623262568134934734822006182} a^{4} + \\frac{5230216120698711546783499906027830880315439072739431252765553504476357}{12931858329580328152861537705449082175045423289823214670788} a^{3} + \\frac{20046352076681588520755814831542884086989181056348210144314432294468263}{6465929164790164076430768852724541087522711644911607335394} a^{2} + \\frac{10005148475127876835387241914561331424782678206233200932608313396366614}{3232964582395082038215384426362270543761355822455803667697} a + \\frac{367365734808960918393538618614418204867682948072067710575450642226853}{3232964582395082038215384426362270543761355822455803667697} \\)', '\\( -\\frac{118936360760117321855094597078369455209881658992238753901592040404151}{1655277866186282003566276826297482518405814181097371477860864} a^{19} + \\frac{3241504595804039824853134488772797715373703634235385891780921610859429}{4965833598558846010698830478892447555217442543292114433582592} a^{18} - \\frac{16043403563077131473411868262935482290366446570463705380473827192566911}{1241458399639711502674707619723111888804360635823028608395648} a^{17} + \\frac{20475864952672237872693473511476786660704756293554984322879606040417657}{620729199819855751337353809861555944402180317911514304197824} a^{16} - \\frac{1731233147071671523257347381447106814162961526019856834978737080033605479}{2482916799279423005349415239446223777608721271646057216791296} a^{15} - \\frac{5201218134349729720113277659439759482000446860295142555025294874825750969}{2482916799279423005349415239446223777608721271646057216791296} a^{14} - \\frac{6200278713191120061915544092029761302119059729755530469051233686150997903}{206909733273285250445784603287185314800726772637171434732608} a^{13} - \\frac{245545501181763345337522373041379102684914463366726612256111538017459707011}{1241458399639711502674707619723111888804360635823028608395648} a^{12} - \\frac{932858655316017268317220267566526479056146635860386952811612282297913823875}{620729199819855751337353809861555944402180317911514304197824} a^{11} - \\frac{996881070031106112509531271370915178997697200495128746119346523070882214883}{103454866636642625222892301643592657400363386318585717366304} a^{10} - \\frac{32856877751890393620582176619842395848251572399680102356515388918623124083241}{620729199819855751337353809861555944402180317911514304197824} a^{9} - \\frac{96882625516366597054198126424129305824160677415758359826004414528504351139831}{310364599909927875668676904930777972201090158955757152098912} a^{8} - \\frac{138279876901386162230003927361559831416995649187211242615514544334336555274193}{103454866636642625222892301643592657400363386318585717366304} a^{7} - \\frac{1788288804902783611346069899127880822765548159771889761288800256797802437507153}{310364599909927875668676904930777972201090158955757152098912} a^{6} - \\frac{2969195793750336994714835370149657378530254662267505097136995973092858582585123}{155182299954963937834338452465388986100545079477878576049456} a^{5} - \\frac{9297368091733915934997017026288326431039002472534318313424374112913766227720171}{155182299954963937834338452465388986100545079477878576049456} a^{4} - \\frac{3838384481127383209364151595176691806145909383533100669344754286504780875756835}{25863716659160656305723075410898164350090846579646429341576} a^{3} - \\frac{3436077014677858102247350968324444057546265998127628756585950270674987431103741}{12931858329580328152861537705449082175045423289823214670788} a^{2} - \\frac{14012406375510630760656761435706954335919730086557316712264833605493488406971545}{25863716659160656305723075410898164350090846579646429341576} a - \\frac{60962780079588785643843571985450733017651393367794687192142579889163955481569}{3232964582395082038215384426362270543761355822455803667697} \\)', '\\( -\\frac{14831152982716721841171026336581562594551105983105703560390939437640287}{4965833598558846010698830478892447555217442543292114433582592} a^{19} + \\frac{131758250448500782784289701004109112825793362066205832193824642241871221}{4965833598558846010698830478892447555217442543292114433582592} a^{18} - \\frac{152687497782501640490610969859966116501214605543579022448212700358445361}{310364599909927875668676904930777972201090158955757152098912} a^{17} + \\frac{611497285455601915061194783266370410803973744597706567368755542512752397}{827638933093141001783138413148741259202907090548685738930432} a^{16} - \\frac{49676458582322638834134390505988774654731884041440836833490044793546159761}{2482916799279423005349415239446223777608721271646057216791296} a^{15} - \\frac{344547933000961121890661102626845521611460486810673049292656662307802810479}{2482916799279423005349415239446223777608721271646057216791296} a^{14} - \\frac{63859446960628685675558257606239664373595443002568183224320193973184485543}{77591149977481968917169226232694493050272539738939288024728} a^{13} - \\frac{1302072981290527600504331358157846916920482720615238052887441443672321595685}{155182299954963937834338452465388986100545079477878576049456} a^{12} - \\frac{33976814086338518731144542744357725513237991924639682464815742537182418260065}{620729199819855751337353809861555944402180317911514304197824} a^{11} - \\frac{106066096849211736438227661359668339305649771653659180495537253918676097242891}{310364599909927875668676904930777972201090158955757152098912} a^{10} - \\frac{390011604013572218320262754855743236808521296060757583991963624841559704093697}{206909733273285250445784603287185314800726772637171434732608} a^{9} - \\frac{1113267719319109756270674223868736202342780825386855737025408832019071420051693}{103454866636642625222892301643592657400363386318585717366304} a^{8} - \\frac{4712294463690088766049517023418211580652598733851307678743018795845182479450243}{103454866636642625222892301643592657400363386318585717366304} a^{7} - \\frac{52372170799311451810882894892028773015033188570756602493517641247439103766730347}{310364599909927875668676904930777972201090158955757152098912} a^{6} - \\frac{96624221059226263455850902969370961939269059560092248172029539560701480402509663}{155182299954963937834338452465388986100545079477878576049456} a^{5} - \\frac{10148380899943571297326258989182269392927912385582520820176132242097587780219395}{6465929164790164076430768852724541087522711644911607335394} a^{4} - \\frac{92697218352770286343840873671302761677349193540320398680049103269492595402063161}{25863716659160656305723075410898164350090846579646429341576} a^{3} - \\frac{96753598507080974410359365347562084544358154275598149598703106665543096241765925}{12931858329580328152861537705449082175045423289823214670788} a^{2} - \\frac{139735794519795677868739995429997677656352119352043579445398577764890719662230731}{25863716659160656305723075410898164350090846579646429341576} a - \\frac{588650068696789214246440529463367177549780783768069654075824507588576003558755}{3232964582395082038215384426362270543761355822455803667697} \\)', '\\( -\\frac{3310816612258615273016903815840644198275438338181957232611}{1655277866186282003566276826297482518405814181097371477860864} a^{19} + \\frac{285269953133378005502400170357828359764617203052318305939363}{1655277866186282003566276826297482518405814181097371477860864} a^{18} - \\frac{2105689941192853208870970953699731018669442339932779578802843}{827638933093141001783138413148741259202907090548685738930432} a^{17} + \\frac{5806945823303801492456194175416125585509578957626531423855491}{155182299954963937834338452465388986100545079477878576049456} a^{16} - \\frac{198547269318518742472254817228120037729703496611892436873956263}{827638933093141001783138413148741259202907090548685738930432} a^{15} + \\frac{4869767163658409090156735053363569290953021976942568267944110345}{2482916799279423005349415239446223777608721271646057216791296} a^{14} - \\frac{521930197303997907327499192880422877489199110218875577539835713}{206909733273285250445784603287185314800726772637171434732608} a^{13} + \\frac{39060156784150635129520581637215600833114401410607638050589147953}{1241458399639711502674707619723111888804360635823028608395648} a^{12} + \\frac{82639435766144820122452033273492513510914029641284931472778805183}{310364599909927875668676904930777972201090158955757152098912} a^{11} + \\frac{448626096170671165786441584404359458097833196070523751403171546387}{620729199819855751337353809861555944402180317911514304197824} a^{10} + \\frac{3207883617596432196629731859772464892426989304672683678913248670133}{310364599909927875668676904930777972201090158955757152098912} a^{9} + \\frac{5315643982311231625314304698937687482960957239878982582892202042325}{155182299954963937834338452465388986100545079477878576049456} a^{8} + \\frac{76237028325341451101657249800412730633420835792852338439216028818271}{310364599909927875668676904930777972201090158955757152098912} a^{7} + \\frac{254644095205579663874720364529116599561596215476161766428808169930067}{310364599909927875668676904930777972201090158955757152098912} a^{6} + \\frac{78333655388985358143563896763516238068386029615281885355347020434907}{25863716659160656305723075410898164350090846579646429341576} a^{5} + \\frac{561148089094420908232359811654810433814160910483630419240458518068669}{51727433318321312611446150821796328700181693159292858683152} a^{4} + \\frac{233285421536356456859301007710035177612548015931419317972971467956589}{12931858329580328152861537705449082175045423289823214670788} a^{3} + \\frac{1484123069997125046319240348059076119805254198318814159546876374063701}{25863716659160656305723075410898164350090846579646429341576} a^{2} + \\frac{172042558666224228217211158483843525341879586532082093452827194786074}{3232964582395082038215384426362270543761355822455803667697} a + \\frac{23446469410386873582013036339523852211512331744800785462742742443711}{12931858329580328152861537705449082175045423289823214670788} \\)', '\\( \\frac{26437726116283031852349542220980755067922838658404626681750395951927461}{4965833598558846010698830478892447555217442543292114433582592} a^{19} - \\frac{188047483333669972620405778821764571929133030070587024615651398049669721}{4965833598558846010698830478892447555217442543292114433582592} a^{18} + \\frac{1005782598730660157290874885329140007998751922426111853794927103357427585}{1241458399639711502674707619723111888804360635823028608395648} a^{17} - \\frac{829989317301406104316447855655841395691943102921553182088899175236719563}{2482916799279423005349415239446223777608721271646057216791296} a^{16} + \\frac{98984096587339020917322387437755629700974826765274098318611385745726360921}{2482916799279423005349415239446223777608721271646057216791296} a^{15} + \\frac{591945423080301115096546084813210345093793893691010527776141140323009396197}{2482916799279423005349415239446223777608721271646057216791296} a^{14} + \\frac{2644153246904573506770312324790027819761741323200706593065294953070973626025}{1241458399639711502674707619723111888804360635823028608395648} a^{13} + \\frac{3220818935063090211636413211351640874836477709980855598326527224991550768491}{206909733273285250445784603287185314800726772637171434732608} a^{12} + \\frac{23156032699070890104802829771470192152201565444543585913361421501374747121745}{206909733273285250445784603287185314800726772637171434732608} a^{11} + \\frac{443845750807227472224411174657441512563730255210869461448417804826006786152891}{620729199819855751337353809861555944402180317911514304197824} a^{10} + \\frac{1161830036120764788269831354617736963260978739578751237973343991294127691020325}{310364599909927875668676904930777972201090158955757152098912} a^{9} + \\frac{6302222169947660902717340321557123721223316134946964049256089996885999939029933}{310364599909927875668676904930777972201090158955757152098912} a^{8} + \\frac{8778443084193664385644564745681750912508283628671223918080408953813498462068377}{103454866636642625222892301643592657400363386318585717366304} a^{7} + \\frac{92390632793808799694899778866635062155947756407867966224068118785532935101174023}{310364599909927875668676904930777972201090158955757152098912} a^{6} + \\frac{115214287124613924279738333433560220947993861560529819199338520082362089709919077}{155182299954963937834338452465388986100545079477878576049456} a^{5} + \\frac{100537390603883238517835424154645905659287131456169783019516947755226119149115887}{77591149977481968917169226232694493050272539738939288024728} a^{4} + \\frac{29282375460007670534577012668173926361779794924285933758998448738689974883183033}{25863716659160656305723075410898164350090846579646429341576} a^{3} - \\frac{100276691861508745760402331729910814563439511487409759875556956938261629610152731}{25863716659160656305723075410898164350090846579646429341576} a^{2} - \\frac{30536160427905204970923401276413118267197149787648340374294110838959582113683693}{6465929164790164076430768852724541087522711644911607335394} a - \\frac{1049479807111667204424268288376193571965791071800264870489342943127207421824731}{6465929164790164076430768852724541087522711644911607335394} \\)', '\\( -\\frac{12217698526014061926550404928657409241125775506064194483703339719827036559245899667088476243923}{1655277866186282003566276826297482518405814181097371477860864} a^{19} + \\frac{95288457747498288349447843027749522954646853803139885067012501019362031040965067032580075017283}{4965833598558846010698830478892447555217442543292114433582592} a^{18} - \\frac{2028107323265736943378764229571678387735151205781581785180265264889857919923726983053256994627567}{2482916799279423005349415239446223777608721271646057216791296} a^{17} - \\frac{5646304641228152548892342673168439978865983404413530155442210443981439783391826106377017197917733}{2482916799279423005349415239446223777608721271646057216791296} a^{16} - \\frac{105861336512622184199838292929144017361069425048621816213949727009730514549618459513234304635555671}{2482916799279423005349415239446223777608721271646057216791296} a^{15} - \\frac{249283058647667408220241493856333399367853294014367208121578375241568546553440396374890039014178981}{827638933093141001783138413148741259202907090548685738930432} a^{14} - \\frac{2861537186801704620988403543023725007643829787689797724176106272938917605821265979914257397797130087}{1241458399639711502674707619723111888804360635823028608395648} a^{13} - \\frac{4385937120963931515002458907610551759814950818933108436523154514913357695246318009641414879379311847}{310364599909927875668676904930777972201090158955757152098912} a^{12} - \\frac{254824569935701360810012074804392972245168969480490252455935124873550302356119164531951598944588632}{3232964582395082038215384426362270543761355822455803667697} a^{11} - \\frac{243775913897650285461753634191584221197649565299995067743420086521283029108341826483300325964018469831}{620729199819855751337353809861555944402180317911514304197824} a^{10} - \\frac{804927594515202461107188442488213246878920005432650468954765824189339000065092765231384719147245789235}{620729199819855751337353809861555944402180317911514304197824} a^{9} - \\frac{411225567508859794565775183862136150392232803739206233493470222680673423655907534716707595080251757587}{103454866636642625222892301643592657400363386318585717366304} a^{8} - \\frac{532327867552996481233420702345311082626702499913447952883867867957091009310421932610512244557094401383}{103454866636642625222892301643592657400363386318585717366304} a^{7} + \\frac{2302242178166471702474992682637469292964793940047288219597814986914209597164057036242795204159560697743}{310364599909927875668676904930777972201090158955757152098912} a^{6} + \\frac{9341846186606278356135381714585510479226452507223911209518872396318675442063437961142912057943593888711}{77591149977481968917169226232694493050272539738939288024728} a^{5} + \\frac{10283362130176988825958296066880577928660566693164737772039830373131849054395571329924415936911659025757}{19397787494370492229292306558173623262568134934734822006182} a^{4} + \\frac{17082297635587428607630793850814529093129790366479880097548245506988432426785143478647668491201469679993}{12931858329580328152861537705449082175045423289823214670788} a^{3} + \\frac{97099267189000944015884398841773505894560153898839316122270857202860941805141073525313758938907325298091}{25863716659160656305723075410898164350090846579646429341576} a^{2} + \\frac{81225227545337469089004452656602560123042437471398234267760024688032825367920886658931496660298651621625}{25863716659160656305723075410898164350090846579646429341576} a + \\frac{344471929534678144876793830358271230315766609114807443634469193299663096670202414408282368271837797329}{3232964582395082038215384426362270543761355822455803667697} \\)'], 'zk': ['1', 'a', 'a^2', 'a^3', '1/2*a^4', '1/2*a^5', '1/2*a^6', '1/4*a^7 - 1/2*a^3', '1/4*a^8', '1/4*a^9', '1/8*a^10 - 1/4*a^6', '1/8*a^11 - 1/2*a^3', '1/192*a^12 + 1/24*a^11 - 5/96*a^10 + 1/24*a^9 - 7/96*a^8 + 1/12*a^7 + 1/6*a^6 - 1/6*a^5 - 1/6*a^4 - 1/2*a^3 - 1/4*a^2 - 1/4', '1/384*a^13 - 1/192*a^11 - 1/48*a^10 - 5/64*a^9 + 1/12*a^8 - 1/8*a^7 - 1/6*a^5 - 1/12*a^4 - 1/8*a^3 + 3/8*a', '1/384*a^14 + 1/48*a^11 - 1/192*a^10 - 1/8*a^9 + 5/96*a^8 + 1/12*a^7 - 1/4*a^6 - 1/4*a^5 + 5/24*a^4 - 1/2*a^3 + 1/8*a^2 - 1/4', '1/384*a^15 - 3/64*a^11 - 1/24*a^10 - 11/96*a^9 - 1/8*a^8 - 1/12*a^7 - 1/6*a^6 - 1/8*a^5 + 1/6*a^4 - 3/8*a^3 - 1/4*a', '1/281856*a^16 + 15/23488*a^15 + 35/46976*a^14 - 23/23488*a^13 - 203/140928*a^12 - 343/5872*a^11 - 1949/35232*a^10 - 2257/35232*a^9 + 319/2936*a^8 + 1043/8808*a^7 + 2953/17616*a^6 + 315/1468*a^5 + 725/17616*a^4 + 179/734*a^3 - 37/1468*a^2 - 119/1468*a - 130/367', '1/281856*a^17 + 53/140928*a^15 + 23/70464*a^14 + 1/2936*a^13 - 53/23488*a^12 - 3257/70464*a^11 - 99/2936*a^10 - 3005/70464*a^9 + 1055/35232*a^8 - 619/5872*a^7 + 457/2202*a^6 + 1477/17616*a^5 + 63/734*a^4 - 137/2936*a^3 - 108/367*a^2 + 329/2936*a - 719/1468', '1/98650748465265264675300055200886272*a^18 + 7250230431180794645837472917/6165671779079079042206253450055392*a^17 + 31457696872507757495227025699/24662687116316316168825013800221568*a^16 + 12684956466177727631497145890469/12331343558158158084412506900110784*a^15 + 58832809476985309271803960579/49325374232632632337650027600443136*a^14 - 7573750655390423138820472130119/24662687116316316168825013800221568*a^13 - 55666468395069880480692876239155/24662687116316316168825013800221568*a^12 + 746291658047976343746005102534591/12331343558158158084412506900110784*a^11 - 119691239236398285341330649230909/6165671779079079042206253450055392*a^10 - 1263189919277481076654872195367079/12331343558158158084412506900110784*a^9 + 88721050055346637223397653312627/3082835889539539521103126725027696*a^8 - 5000767683698748002290261221515/385354486192442440137890840628462*a^7 + 790788445766698157170116176177599/6165671779079079042206253450055392*a^6 - 92501676851668100917383333281879/770708972384884880275781681256924*a^5 - 608452195058632928844108588092717/3082835889539539521103126725027696*a^4 + 119605074351671569721222250257663/513805981589923253517187787504616*a^3 - 80451469483148603162287285486045/256902990794961626758593893752308*a^2 + 159047083597947755182559792890639/513805981589923253517187787504616*a + 98723948548960892649101905572059/256902990794961626758593893752308', '1/14897500795676538032096491436677342665652327629876343300747776*a^19 - 29703630813369906139907/40592645219827079106529949418739353312404162479227093462528*a^18 + 805131438725034255417276619232568875380787937424626653/2482916799279423005349415239446223777608721271646057216791296*a^17 - 11431950454612746862819672183482363961545859364566400681/7448750397838269016048245718338671332826163814938171650373888*a^16 - 7555113741201526770633261807242499760962025377626517084865/7448750397838269016048245718338671332826163814938171650373888*a^15 + 199319415446748255930845778817426940281675944323621186279/827638933093141001783138413148741259202907090548685738930432*a^14 - 103295906595296769117453648517772079678001524102395189505/413819466546570500891569206574370629601453545274342869465216*a^13 - 2174387438310939479930674883723472294357366283995863970349/931093799729783627006030714792333916603270476867271456296736*a^12 + 124815547340128040378763399923440410317238324065152431513/6465929164790164076430768852724541087522711644911607335394*a^11 + 20625060172469216982307242342113431420161489496739117332777/931093799729783627006030714792333916603270476867271456296736*a^10 + 181260180090271127691521197391959785491205572064096650887627/1862187599459567254012061429584667833206540953734542912593472*a^9 + 192658612977465120494466489516255771066725987390651628259/3232964582395082038215384426362270543761355822455803667697*a^8 - 35179142631644489776784455795856958970598970017809726638769/310364599909927875668676904930777972201090158955757152098912*a^7 - 86727679036998659283376518161487161381023497087849368482001/931093799729783627006030714792333916603270476867271456296736*a^6 + 8311617386739503520289133209363964458029722155716490984765/77591149977481968917169226232694493050272539738939288024728*a^5 + 3262631696241415378528501851654567358427402702651385618829/232773449932445906751507678698083479150817619216817864074184*a^4 + 11642125651835422200580724514539010937470384672124194441067/38795574988740984458584613116347246525136269869469644012364*a^3 + 682539874711689580388598900776296723929291553764796368767/12931858329580328152861537705449082175045423289823214670788*a^2 + 10529710241335300445714867645526498419991701036363246596189/25863716659160656305723075410898164350090846579646429341576*a - 10029620952574037723726136134642711336219319622060578437981/38795574988740984458584613116347246525136269869469644012364']}
Number field data - 20.4.513006019713288929550454694707222514684527733454667776.1