-
nf_fields • Show schema
{'class_group': [3], 'class_number': 3, 'cm': False, 'coeffs': [394525193, 1987694596, 3965722697, 3989871708, 1932933080, 92662532, -361190300, -141852516, 7737010, 16130092, 2039902, -792908, -185680, 18636, 7028, -172, -131, 0, 1], 'conductor': 0, 'degree': 18, 'disc_abs': 431144884247498060798327803279650586624, 'disc_rad': 603241854362, 'disc_sign': -1, 'gal_is_abelian': False, 'gal_is_cyclic': False, 'gal_is_solvable': True, 'galois_label': '18T807', 'galt': 807, 'index': 1, 'inessentialp': [], 'is_galois': False, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '18.12.431144884247498060798327803279650586624.1', 'local_algs': ['2.3.6.24a2.9', '7.6.3.12a1.3', '43.1.1.0a1.1', '43.1.1.0a1.1', '43.1.1.0a1.1', '43.2.1.0a1.1', '43.3.1.0a1.1', '43.3.1.0a1.1', '43.3.1.0a1.1', '43.2.2.2a1.2', 'm4129.1.2.0', 'm4129.1.2.0', 'm4129.1.2.0', 'm4129.1.3.0', 'm4129.3.1.2', 'm4129.1.6.0', 'm242689.1.2.0', 'm242689.1.2.0', 'm242689.1.2.0', 'm242689.1.3.0', 'm242689.3.1.2', 'm242689.1.6.0'], 'monogenic': 0, 'narrow_class_group': [3], 'narrow_class_number': 3, 'num_ram': 5, 'r2': 3, 'ramps': [2, 7, 43, 4129, 242689], 'rd': 140.077363067, 'regulator': 2931643563430, 'subfield_mults': [1, 1], 'subfields': ['1.-2.-1.1', '1.0.-2.0.-1.0.1'], 'torsion_order': 2, 'unit_signature_rank': 12, 'used_grh': True} -
nf_fields_extra • Show schema
{'dirichlet_group': [], 'frobs': [[2, [0]], [3, [[6, 3]]], [5, [[6, 2], [3, 2]]], [7, [0]], [11, [[6, 3]]], [13, [[6, 2], [2, 2], [1, 2]]], [17, [[9, 1], [3, 3]]], [19, [[18, 1]]], [23, [[18, 1]]], [29, [[6, 1], [2, 5], [1, 2]]], [31, [[18, 1]]], [37, [[6, 2], [3, 2]]], [41, [[2, 8], [1, 2]]], [43, [0]], [47, [[18, 1]]], [53, [[3, 6]]], [59, [[18, 1]]]], 'label': '18.12.431144884247498060798327803279650586624.1', 'res': {}, 'torsion_gen': '\\( -1 \\)', 'units': ['\\( \\frac{13154619284154064554011568622628939}{8117210436282769183610042916520761332776} a^{17} - \\frac{58404246403970513406692118108678037}{32468841745131076734440171666083045331104} a^{16} - \\frac{1732213318145483936471471926566799023}{8117210436282769183610042916520761332776} a^{15} - \\frac{208081847532688667222044367429268643}{8117210436282769183610042916520761332776} a^{14} + \\frac{190742040404786239384124507304953520481}{16234420872565538367220085833041522665552} a^{13} + \\frac{2989968672011626052442205063019287995}{188772335727506260083954486430715379832} a^{12} - \\frac{2714520807545509307416022015018614432797}{8117210436282769183610042916520761332776} a^{11} - \\frac{7115936277769423566087768079905399293421}{8117210436282769183610042916520761332776} a^{10} + \\frac{5891661840136072294975772659429809533625}{1248801605581964489786160448695501743504} a^{9} + \\frac{334911413506642150409191094784365477250953}{16234420872565538367220085833041522665552} a^{8} - \\frac{140823482489117014658782396271736525786629}{8117210436282769183610042916520761332776} a^{7} - \\frac{1760610063903395672670469419955843471456257}{8117210436282769183610042916520761332776} a^{6} - \\frac{109405503626494762005853384230800060220231}{377544671455012520167908972861430759664} a^{5} + \\frac{4899264300858183873650465256346644673896573}{8117210436282769183610042916520761332776} a^{4} + \\frac{19388064576644720062148535023345727913213897}{8117210436282769183610042916520761332776} a^{3} + \\frac{25583426403993441414041234200030519833274945}{8117210436282769183610042916520761332776} a^{2} + \\frac{31120494122665241628831971465762033515730193}{16234420872565538367220085833041522665552} a + \\frac{14226342056995340395635475181657608087253931}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{4508444232228724224098978433946087}{2029302609070692295902510729130190333194} a^{17} - \\frac{13602346474391405563925635426087561}{4058605218141384591805021458260380666388} a^{16} - \\frac{2317308399856458047381877660909878789}{8117210436282769183610042916520761332776} a^{15} + \\frac{688337019230660316226046806897088441}{16234420872565538367220085833041522665552} a^{14} + \\frac{251724704432372260384542148871260321567}{16234420872565538367220085833041522665552} a^{13} + \\frac{7014697777676695350196200712674635505}{377544671455012520167908972861430759664} a^{12} - \\frac{1779221423597569345829128304006946344397}{4058605218141384591805021458260380666388} a^{11} - \\frac{18199460467473896659394353518140284383485}{16234420872565538367220085833041522665552} a^{10} + \\frac{7675114240242037335184958349022047057549}{1248801605581964489786160448695501743504} a^{9} + \\frac{436940733532756957963363381263845135891665}{16234420872565538367220085833041522665552} a^{8} - \\frac{176026900596746265344000145749157226065491}{8117210436282769183610042916520761332776} a^{7} - \\frac{4612111023403920352761009755031943291155705}{16234420872565538367220085833041522665552} a^{6} - \\frac{148514994383841001545613230184099494565313}{377544671455012520167908972861430759664} a^{5} + \\frac{12592141661690082452335642970868150914505741}{16234420872565538367220085833041522665552} a^{4} + \\frac{12940242552756358571482712286397509032117697}{4058605218141384591805021458260380666388} a^{3} + \\frac{69557941207762113252707687978744629249347069}{16234420872565538367220085833041522665552} a^{2} + \\frac{42842846268752468060764359769412796408929483}{16234420872565538367220085833041522665552} a + \\frac{9818877818609964605681548259947119234684779}{16234420872565538367220085833041522665552} \\)', '\\( \\frac{8993919608166937773355263109042621}{4058605218141384591805021458260380666388} a^{17} - \\frac{90529184998475982152048757009045013}{32468841745131076734440171666083045331104} a^{16} - \\frac{4682688132069884224904803296205203417}{16234420872565538367220085833041522665552} a^{15} - \\frac{171561005488463330985549149758958459}{16234420872565538367220085833041522665552} a^{14} + \\frac{63989514273814528561581149215786118989}{4058605218141384591805021458260380666388} a^{13} + \\frac{7874736068235007095359273101989480351}{377544671455012520167908972861430759664} a^{12} - \\frac{7245590782245876941368766905917090201181}{16234420872565538367220085833041522665552} a^{11} - \\frac{19157719361203983677824391494057153429855}{16234420872565538367220085833041522665552} a^{10} + \\frac{486902091055985847627612482506367820296}{78050100348872780611635028043468858969} a^{9} + \\frac{28250889182439530079911722632739745299916}{1014651304535346147951255364565095166597} a^{8} - \\frac{348828946914846078762891325572634891774911}{16234420872565538367220085833041522665552} a^{7} - \\frac{4734713541270207221681396199978896354857345}{16234420872565538367220085833041522665552} a^{6} - \\frac{19191098673964151603479179512807400770401}{47193083931876565020988621607678844958} a^{5} + \\frac{12838412751252320930364809427358769800262291}{16234420872565538367220085833041522665552} a^{4} + \\frac{53010101412404475157048164314350229132819669}{16234420872565538367220085833041522665552} a^{3} + \\frac{71237834664076837630072811681729649966159419}{16234420872565538367220085833041522665552} a^{2} + \\frac{2742574509862317220987439985257298096584530}{1014651304535346147951255364565095166597} a + \\frac{20215856664106071395738980736976574672284389}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{6507180410908764648812369043428195}{4058605218141384591805021458260380666388} a^{17} - \\frac{230092844071065000129905869701100761}{32468841745131076734440171666083045331104} a^{16} - \\frac{1483488918863804385513990450738404363}{8117210436282769183610042916520761332776} a^{15} + \\frac{8969040639021562826352994187944394239}{16234420872565538367220085833041522665552} a^{14} + \\frac{150717444431699116426630692472060051667}{16234420872565538367220085833041522665552} a^{13} - \\frac{2423216195942669396160875320888865579}{188772335727506260083954486430715379832} a^{12} - \\frac{2145844301222609745688197229523347295719}{8117210436282769183610042916520761332776} a^{11} - \\frac{929652990821681108608600219675125235863}{16234420872565538367220085833041522665552} a^{10} + \\frac{5252358303190539810569775916423411213075}{1248801605581964489786160448695501743504} a^{9} + \\frac{115527350358418983453094009918656599098795}{16234420872565538367220085833041522665552} a^{8} - \\frac{246673424240645071834286763636696179939229}{8117210436282769183610042916520761332776} a^{7} - \\frac{1752965343032144245277127004316336579508559}{16234420872565538367220085833041522665552} a^{6} - \\frac{4601767908180999791118914729086378691933}{377544671455012520167908972861430759664} a^{5} + \\frac{3823400050360053972596945589044936054561641}{8117210436282769183610042916520761332776} a^{4} + \\frac{7795575307120202561532143033745617918991959}{8117210436282769183610042916520761332776} a^{3} + \\frac{13529734002673964664684505892517039602318183}{16234420872565538367220085833041522665552} a^{2} + \\frac{5106868990629347334580994847297925786300233}{16234420872565538367220085833041522665552} a + \\frac{1159368045603810094068612933981122711539075}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{178035400783794882939406917353675201}{32468841745131076734440171666083045331104} a^{17} - \\frac{655476551106102809769495084858030147}{32468841745131076734440171666083045331104} a^{16} - \\frac{10479002923999184133707923188346183673}{16234420872565538367220085833041522665552} a^{15} + \\frac{11621685320373256277214815944424485967}{8117210436282769183610042916520761332776} a^{14} + \\frac{542750404970153403624273823097693756207}{16234420872565538367220085833041522665552} a^{13} - \\frac{483906743450390436801879359435831336}{23596541965938282510494310803839422479} a^{12} - \\frac{15417040027744486440657076975224433136939}{16234420872565538367220085833041522665552} a^{11} - \\frac{1781870451545111641278986218515021648319}{2029302609070692295902510729130190333194} a^{10} + \\frac{9078371786704950329856296800062853004115}{624400802790982244893080224347750871752} a^{9} + \\frac{579203977766892044917510667005513276767463}{16234420872565538367220085833041522665552} a^{8} - \\frac{1445927461899854058597863311333481964967463}{16234420872565538367220085833041522665552} a^{7} - \\frac{3725240207998556334120248268179560129386161}{8117210436282769183610042916520761332776} a^{6} - \\frac{117140391359206947459804609553703716042121}{377544671455012520167908972861430759664} a^{5} + \\frac{1692114148758353946139866631453759433353450}{1014651304535346147951255364565095166597} a^{4} + \\frac{74730375464432408778359316227308438799726139}{16234420872565538367220085833041522665552} a^{3} + \\frac{21146522300688846364210070824909630254087311}{4058605218141384591805021458260380666388} a^{2} + \\frac{92068723835075651691876427324396242794803115}{32468841745131076734440171666083045331104} a + \\frac{19313667130902725180176723663852583309931797}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{279927962143292335315814705842772361}{32468841745131076734440171666083045331104} a^{17} - \\frac{1401154388378144644240008378852970791}{32468841745131076734440171666083045331104} a^{16} - \\frac{30870379975613233667386933052665391781}{32468841745131076734440171666083045331104} a^{15} + \\frac{113143521302155012975645122016734103807}{32468841745131076734440171666083045331104} a^{14} + \\frac{1534190670304264088206755045535684819897}{32468841745131076734440171666083045331104} a^{13} - \\frac{70502209864290951144852259738229783715}{755089342910025040335817945722861519328} a^{12} - \\frac{43498380591435931687007639196311226426821}{32468841745131076734440171666083045331104} a^{11} + \\frac{12444348474454458022595554062283218340255}{32468841745131076734440171666083045331104} a^{10} + \\frac{54194993362989677249436053586567858525459}{2497603211163928979572320897391003487008} a^{9} + \\frac{861465761828201995709381073422248070541309}{32468841745131076734440171666083045331104} a^{8} - \\frac{5474511691401940375561922771402371812340431}{32468841745131076734440171666083045331104} a^{7} - \\frac{15553267350673141394365351272300140480667259}{32468841745131076734440171666083045331104} a^{6} + \\frac{104641790282437848816308667832940273608033}{755089342910025040335817945722861519328} a^{5} + \\frac{75663372412006024104543014407696761986573045}{32468841745131076734440171666083045331104} a^{4} + \\frac{128294175112207018335317371805782940590251625}{32468841745131076734440171666083045331104} a^{3} + \\frac{88313971816106955350380608070648905357895981}{32468841745131076734440171666083045331104} a^{2} + \\frac{4293592784413017937315586280169901627128331}{8117210436282769183610042916520761332776} a - \\frac{2065805803432987864990338825950105152420701}{16234420872565538367220085833041522665552} \\)', '\\( \\frac{475689782489151610069465838522769443}{16234420872565538367220085833041522665552} a^{17} - \\frac{558052354001913394563920358716038903}{8117210436282769183610042916520761332776} a^{16} - \\frac{59408184107101290248242557611822308613}{16234420872565538367220085833041522665552} a^{15} + \\frac{56108632359235319976801422309690078399}{16234420872565538367220085833041522665552} a^{14} + \\frac{397435635323631391161314752728545025385}{2029302609070692295902510729130190333194} a^{13} + \\frac{8869245066247946009843156158580250811}{94386167863753130041977243215357689916} a^{12} - \\frac{90308066135036160000047792636752705984667}{16234420872565538367220085833041522665552} a^{11} - \\frac{168654386199779823118443568363258800189255}{16234420872565538367220085833041522665552} a^{10} + \\frac{12698010813492343883475494445775553835755}{156100200697745561223270056086937717938} a^{9} + \\frac{2296876890246443814513049588917626971220333}{8117210436282769183610042916520761332776} a^{8} - \\frac{6354563773815511578889963153759883580173159}{16234420872565538367220085833041522665552} a^{7} - \\frac{51765601173422842951576593785788790317560723}{16234420872565538367220085833041522665552} a^{6} - \\frac{81786479101993075767282261459905867453829}{23596541965938282510494310803839422479} a^{5} + \\frac{40129224152020000759991927884844404076420947}{4058605218141384591805021458260380666388} a^{4} + \\frac{549540018866168035662911447812231351811295951}{16234420872565538367220085833041522665552} a^{3} + \\frac{686785942728964481598684921153024432099743363}{16234420872565538367220085833041522665552} a^{2} + \\frac{402211408844341188108110579924198164991008549}{16234420872565538367220085833041522665552} a + \\frac{22299598099094050359738021611136166141868031}{4058605218141384591805021458260380666388} \\)', '\\( \\frac{4377988275499148564956081849854225093}{32468841745131076734440171666083045331104} a^{17} - \\frac{3903537867511656658686808718351345869}{16234420872565538367220085833041522665552} a^{16} - \\frac{279397120985028069516961319169446509383}{16234420872565538367220085833041522665552} a^{15} + \\frac{29541690706916511341597909366802994177}{4058605218141384591805021458260380666388} a^{14} + \\frac{15130816746743565445900852919584482362769}{16234420872565538367220085833041522665552} a^{13} + \\frac{328888728223682944319127055734039440551}{377544671455012520167908972861430759664} a^{12} - \\frac{429404739772254362579347516839379665239265}{16234420872565538367220085833041522665552} a^{11} - \\frac{490756017780958387578362087059017344712675}{8117210436282769183610042916520761332776} a^{10} + \\frac{59043209090948927595527678720044682992481}{156100200697745561223270056086937717938} a^{9} + \\frac{24522406300322050699782798210039875109734061}{16234420872565538367220085833041522665552} a^{8} - \\frac{25308518651139452231460924059170262654865713}{16234420872565538367220085833041522665552} a^{7} - \\frac{66303358627557496119993686439963402618552777}{4058605218141384591805021458260380666388} a^{6} - \\frac{7729865694236924614807908374298483378343743}{377544671455012520167908972861430759664} a^{5} + \\frac{767932606596485399038144179365264212053392879}{16234420872565538367220085833041522665552} a^{4} + \\frac{2896632978474347858432352262776283634945121945}{16234420872565538367220085833041522665552} a^{3} + \\frac{1879468801519469069048020548296559176253843043}{8117210436282769183610042916520761332776} a^{2} + \\frac{4511111495368532382005515818752406320908515027}{32468841745131076734440171666083045331104} a + \\frac{127014285689212761231896253864588137388128473}{4058605218141384591805021458260380666388} \\)', '\\( \\frac{1063682736766488748890272270407939565}{32468841745131076734440171666083045331104} a^{17} - \\frac{1867443936525423630330122463976666847}{16234420872565538367220085833041522665552} a^{16} - \\frac{32028415874390229162628258333270790777}{8117210436282769183610042916520761332776} a^{15} + \\frac{17023349158991525156588204163979813869}{2029302609070692295902510729130190333194} a^{14} + \\frac{1690529268858599288944301601784406726861}{8117210436282769183610042916520761332776} a^{13} - \\frac{25097809810777422277842512158706213035}{188772335727506260083954486430715379832} a^{12} - \\frac{24481301877787824058228184806496086845389}{4058605218141384591805021458260380666388} a^{11} - \\frac{37907527842960036614200423334431591924465}{8117210436282769183610042916520761332776} a^{10} + \\frac{119568938714774399536506017467851831750009}{1248801605581964489786160448695501743504} a^{9} + \\frac{1658683970973582881742076351171282221143413}{8117210436282769183610042916520761332776} a^{8} - \\frac{5438148275691545994760827536791557152808673}{8117210436282769183610042916520761332776} a^{7} - \\frac{11172172024369371861070468443280125645414513}{4058605218141384591805021458260380666388} a^{6} - \\frac{122097061751135439466057137945528162965215}{188772335727506260083954486430715379832} a^{5} + \\frac{93166294468466778727564557811008464269352483}{8117210436282769183610042916520761332776} a^{4} + \\frac{24034849845630483730003673054667636170125041}{1014651304535346147951255364565095166597} a^{3} + \\frac{164913191460829358432982932492680582196410259}{8117210436282769183610042916520761332776} a^{2} + \\frac{253159945104336548993880468951128129262413849}{32468841745131076734440171666083045331104} a + \\frac{17203957582696475757483641268772093193498137}{16234420872565538367220085833041522665552} \\)', '\\( \\frac{44716059659547159167479892152383315}{8117210436282769183610042916520761332776} a^{17} - \\frac{353623035870992193962825003209914499}{16234420872565538367220085833041522665552} a^{16} - \\frac{20558275131260078686962541732325325795}{32468841745131076734440171666083045331104} a^{15} + \\frac{51789484099245683235863682719312147863}{32468841745131076734440171666083045331104} a^{14} + \\frac{1045526703361379138991663582058147116723}{32468841745131076734440171666083045331104} a^{13} - \\frac{21825728173838251553981445690200485189}{755089342910025040335817945722861519328} a^{12} - \\frac{29440184241117304068904305404070728040503}{32468841745131076734440171666083045331104} a^{11} - \\frac{19701478332265074153595996523626764281677}{32468841745131076734440171666083045331104} a^{10} + \\frac{34836312159982644420744280108425211749767}{2497603211163928979572320897391003487008} a^{9} + \\frac{989341834087612501965124523187425852790661}{32468841745131076734440171666083045331104} a^{8} - \\frac{2910798024700206637089373461329667134551641}{32468841745131076734440171666083045331104} a^{7} - \\frac{13288842769200176613801838286942530997280491}{32468841745131076734440171666083045331104} a^{6} - \\frac{164377839628285367380930278075678898820029}{755089342910025040335817945722861519328} a^{5} + \\frac{50534595144440622933718537417864635571909075}{32468841745131076734440171666083045331104} a^{4} + \\frac{129556418456915716274832910887534107384361635}{32468841745131076734440171666083045331104} a^{3} + \\frac{140179784342038210457658386989395295445651953}{32468841745131076734440171666083045331104} a^{2} + \\frac{73250424865134385074897328623307321110188917}{32468841745131076734440171666083045331104} a + \\frac{14822879219601128070884324374256037319629141}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{789144878514360336526651868607866383}{32468841745131076734440171666083045331104} a^{17} - \\frac{155672272366309105364372804927954053}{2029302609070692295902510729130190333194} a^{16} - \\frac{12258578299730009049150778200322066893}{4058605218141384591805021458260380666388} a^{15} + \\frac{39620840494848695034398565357156044059}{8117210436282769183610042916520761332776} a^{14} + \\frac{2661607608045723439359156012128320394125}{16234420872565538367220085833041522665552} a^{13} - \\frac{583221650895682729593077903713013849}{377544671455012520167908972861430759664} a^{12} - \\frac{19484331355995565278325216610553024592107}{4058605218141384591805021458260380666388} a^{11} - \\frac{14807216472227149802715427591362436685309}{2029302609070692295902510729130190333194} a^{10} + \\frac{45878140215885506846543633728343544296879}{624400802790982244893080224347750871752} a^{9} + \\frac{3775475676462901264783515481457817980329109}{16234420872565538367220085833041522665552} a^{8} - \\frac{796741897740208214771670474987747957958293}{2029302609070692295902510729130190333194} a^{7} - \\frac{22882104920785376653182877593581731953770377}{8117210436282769183610042916520761332776} a^{6} - \\frac{1086500336580928277190650334253937677892727}{377544671455012520167908972861430759664} a^{5} + \\frac{151025388374971877041051682619362040540217063}{16234420872565538367220085833041522665552} a^{4} + \\frac{31681394156331213694390169846673579529861821}{1014651304535346147951255364565095166597} a^{3} + \\frac{159821118046242660190016982938059444156009559}{4058605218141384591805021458260380666388} a^{2} + \\frac{760913765287403618450882642487491378490887413}{32468841745131076734440171666083045331104} a + \\frac{85681577921181513017403989320627990163476007}{16234420872565538367220085833041522665552} \\)', '\\( \\frac{904200858359231989617124532639151901}{8117210436282769183610042916520761332776} a^{17} - \\frac{7477912300449081947991651783725584185}{32468841745131076734440171666083045331104} a^{16} - \\frac{229674832567545279596893469413634484963}{16234420872565538367220085833041522665552} a^{15} + \\frac{166301579494923713514259863933249222087}{16234420872565538367220085833041522665552} a^{14} + \\frac{6209409571879681526725269660654095270509}{8117210436282769183610042916520761332776} a^{13} + \\frac{45518951907647141767260264518414721603}{94386167863753130041977243215357689916} a^{12} - \\frac{354463696829122931112615295363194512398813}{16234420872565538367220085833041522665552} a^{11} - \\frac{695824718222995441638518927319061873482369}{16234420872565538367220085833041522665552} a^{10} + \\frac{199759114389356520321294932097311644943553}{624400802790982244893080224347750871752} a^{9} + \\frac{18400654680446098969797477736989829708861857}{16234420872565538367220085833041522665552} a^{8} - \\frac{25055144072291225767246893767250712697760293}{16234420872565538367220085833041522665552} a^{7} - \\frac{205713369003868532767248674545892680989169475}{16234420872565538367220085833041522665552} a^{6} - \\frac{2563560962815551772424857627744498875000735}{188772335727506260083954486430715379832} a^{5} + \\frac{160406270879882325207765596693174831428680505}{4058605218141384591805021458260380666388} a^{4} + \\frac{2160672361318829302021584952577965865878825829}{16234420872565538367220085833041522665552} a^{3} + \\frac{2663347139748135233532553355679640842532377373}{16234420872565538367220085833041522665552} a^{2} + \\frac{384006561745423278192592915835196723138153479}{4058605218141384591805021458260380666388} a + \\frac{671391618515250607245825868352647015797163463}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{128656679003481196364893537888171391}{16234420872565538367220085833041522665552} a^{17} - \\frac{430148795345540997613552772633624217}{32468841745131076734440171666083045331104} a^{16} - \\frac{8287473156965538639004377159476221361}{8117210436282769183610042916520761332776} a^{15} + \\frac{3685544190272946341497042917420183395}{8117210436282769183610042916520761332776} a^{14} + \\frac{448868121489352572009557014013852529451}{8117210436282769183610042916520761332776} a^{13} + \\frac{8331389250869237340809468477218722215}{188772335727506260083954486430715379832} a^{12} - \\frac{12718726882144073015214385535076667727317}{8117210436282769183610042916520761332776} a^{11} - \\frac{3258717634550354266623556304675811549364}{1014651304535346147951255364565095166597} a^{10} + \\frac{7086346286207958093606367739267768322797}{312200401395491122446540112173875435876} a^{9} + \\frac{1317596679231602311175368868362701047466439}{16234420872565538367220085833041522665552} a^{8} - \\frac{883498787980952830206944256348434706864985}{8117210436282769183610042916520761332776} a^{7} - \\frac{7196307882033612898648162349103188830917201}{8117210436282769183610042916520761332776} a^{6} - \\frac{172683761646530743532418756352558506672707}{188772335727506260083954486430715379832} a^{5} + \\frac{22436916124143681998619100660268750302697735}{8117210436282769183610042916520761332776} a^{4} + \\frac{72405721576975858499746540182643385444623343}{8117210436282769183610042916520761332776} a^{3} + \\frac{42677922008491042293382392521079223870285019}{4058605218141384591805021458260380666388} a^{2} + \\frac{92046756545323050864664866623249262005109609}{16234420872565538367220085833041522665552} a + \\frac{35613345930599540415044233755274820336120475}{32468841745131076734440171666083045331104} \\)', '\\( \\frac{7403387772970664935898711967665205397}{8117210436282769183610042916520761332776} a^{17} - \\frac{23039824530657644919412086042885068951}{16234420872565538367220085833041522665552} a^{16} - \\frac{1903824159579982231796609814115843432171}{16234420872565538367220085833041522665552} a^{15} + \\frac{208135173168591420400781608811780874069}{8117210436282769183610042916520761332776} a^{14} + \\frac{25852129191115380791240581976409167708727}{4058605218141384591805021458260380666388} a^{13} + \\frac{2673742567135985944155150554577149002369}{377544671455012520167908972861430759664} a^{12} - \\frac{2927795401376553163014894210260353330525947}{16234420872565538367220085833041522665552} a^{11} - \\frac{3590938946937827082641858144171023494610687}{8117210436282769183610042916520761332776} a^{10} + \\frac{198879313509669568800416913316185679275437}{78050100348872780611635028043468858969} a^{9} + \\frac{174389727441186992699691326467304009071676649}{16234420872565538367220085833041522665552} a^{8} - \\frac{156632582770521872367448968630883479777477489}{16234420872565538367220085833041522665552} a^{7} - \\frac{927690912224367355032465518429861455163238593}{8117210436282769183610042916520761332776} a^{6} - \\frac{14309585885380844201946062764465038388728657}{94386167863753130041977243215357689916} a^{5} + \\frac{5190753901633763957039647752249069701842377609}{16234420872565538367220085833041522665552} a^{4} + \\frac{20528986281345875944200338959414241896988473575}{16234420872565538367220085833041522665552} a^{3} + \\frac{13582069170707445324173571585920992289937570987}{8117210436282769183610042916520761332776} a^{2} + \\frac{8274972235092994272778561600623092731566447355}{8117210436282769183610042916520761332776} a + \\frac{1885887721704634620510341156735408239868752637}{8117210436282769183610042916520761332776} \\)'], 'zk': ['1', 'a', 'a^2', '1/2*a^3 - 1/2*a^2 - 1/2*a - 1/2', '1/2*a^4 - 1/2', '1/2*a^5 - 1/2*a', '1/4*a^6 - 1/4*a^4 - 1/4*a^2 + 1/4', '1/4*a^7 - 1/4*a^5 - 1/4*a^3 + 1/4*a', '1/4*a^8 - 1/4', '1/8*a^9 - 1/8*a^8 - 1/4*a^5 - 1/4*a^4 + 1/8*a + 3/8', '1/8*a^10 - 1/8*a^8 - 1/8*a^2 + 1/8', '1/8*a^11 - 1/8*a^8 - 1/4*a^5 - 1/4*a^4 - 1/8*a^3 + 1/4*a + 3/8', '1/16*a^12 + 1/16*a^8 + 3/16*a^4 - 5/16', '1/16*a^13 - 1/16*a^9 - 1/8*a^8 - 1/16*a^5 - 1/4*a^4 + 1/16*a + 3/8', '1/16*a^14 - 1/16*a^10 - 1/8*a^8 - 1/16*a^6 - 1/4*a^4 + 1/16*a^2 + 3/8', '1/32*a^15 - 1/32*a^14 - 1/32*a^13 - 1/32*a^12 + 1/32*a^11 - 1/32*a^10 - 1/32*a^9 - 1/32*a^8 + 3/32*a^7 - 3/32*a^6 - 3/32*a^5 - 3/32*a^4 - 5/32*a^3 + 5/32*a^2 + 5/32*a + 5/32', '1/32*a^16 + 1/16*a^8 - 1/4*a^4 + 5/32', '1/32468841745131076734440171666083045331104*a^17 - 216951110208174424063497197090417096249/16234420872565538367220085833041522665552*a^16 - 8515527875719575284407489004074019440/1014651304535346147951255364565095166597*a^15 + 53147216360250546911555713654381765179/4058605218141384591805021458260380666388*a^14 - 313851163073024974926917475631808063095/16234420872565538367220085833041522665552*a^13 - 5616698921245927613414450985806749799/377544671455012520167908972861430759664*a^12 - 368803495052290865845073812902885185421/8117210436282769183610042916520761332776*a^11 - 34609408994217432299349284296051944970/1014651304535346147951255364565095166597*a^10 - 10967015612073963358020665020243035757/312200401395491122446540112173875435876*a^9 + 841359353862444157528637313422433512845/16234420872565538367220085833041522665552*a^8 + 106132395227759962778561213038829555590/1014651304535346147951255364565095166597*a^7 - 66834648540541837777774852665384540369/2029302609070692295902510729130190333194*a^6 + 74088881411431915804158550209258131605/377544671455012520167908972861430759664*a^5 - 3996049204247656365055620479556485716611/16234420872565538367220085833041522665552*a^4 + 1910712476845765851779823171157831157585/8117210436282769183610042916520761332776*a^3 + 1410779068309237296185956882142255779953/4058605218141384591805021458260380666388*a^2 - 2819169503956938204361385070143858318345/32468841745131076734440171666083045331104*a + 113922253658405752884815828270876869477/4058605218141384591805021458260380666388']}
Number field data - 18.12.431144884247498060798327803279650586624.1