Equations
- LiLiuBuchstabSharp.closureP0 = Polynomial.C (169314718057 / 300000000000) + Polynomial.X * (Polynomial.C (19314718057 / 900000000000) + Polynomial.X * (Polynomial.C (-93185281943 / 2700000000000) + Polynomial.X * (Polynomial.C (-205685281943 / 8100000000000) + Polynomial.X * (Polynomial.C (-332247781943 / 24300000000000) + Polynomial.X * (Polynomial.C (-484122781943 / 72900000000000) + Polynomial.X * (Polynomial.C (-673966531943 / 218700000000000) + Polynomial.X * (Polynomial.C (-6426359473601 / 4592700000000000) + Polynomial.X * (Polynomial.C (-2167222192619 / 3444525000000000) + Polynomial.X * (Polynomial.C (-728682989561 / 2583393750000000) + Polynomial.X * (Polynomial.C (-15695480567351 / 124002900000000000) + Polynomial.X * (Polynomial.C (-116599288628243 / 2046047850000000000) + Polynomial.X * (Polynomial.C (-2531619819223763 / 98210296800000000000) + Polynomial.X * (Polynomial.C (-44899619271002669 / 3830201575200000000000) + Polynomial.X * (Polynomial.C (-17599420845007459 / 3283029921600000000000) + Polynomial.X * (Polynomial.C (-12139381159808417 / 4924544882400000000000) + Polynomial.X * (Polynomial.C (-1077490760585160563 / 945512617420800000000000) + Polynomial.X * (Polynomial.C (-25531031722525854571 / 48221143488460800000000000) + Polynomial.X * (Polynomial.C (-35750424178678198321 / 144663430465382400000000000) + Polynomial.X * (Polynomial.C (-955181655710999049349 / 8245815536526796800000000000) + Polynomial.X * (Polynomial.C (-5393491121845841900521 / 98949786438321561600000000000) + Polynomial.X * (Polynomial.C (-53482082842939350334897 / 2077945515204752793600000000000) + Polynomial.X * (Polynomial.C (-152002421793658827622919 / 12467673091228516761600000000000) + Polynomial.X * (Polynomial.C (-2491159076405448612390131 / 430134721647383828275200000000000) + Polynomial.X * (Polynomial.C (-113901126830779471953906067 / 41292933278148847514419200000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureP0 · compiled type and proof/definition references.
Equations
- LiLiuBuchstabSharp.closureP1 = Polynomial.C (42051182590588183183310797227096094426486786607419 / 74896367154487940596055402968629903360000000000000) + Polynomial.X * (Polynomial.C (-219008370264086897448153039520881916771736630981 / 299585468617951762384221611874519613440000000000000) + Polynomial.X * (Polynomial.C (-3433679959336286752602318894388898358944085456581 / 1198341874471807049536886447498078453760000000000000) + Polynomial.X * (Polynomial.C (10352471329152411286384067672090621105791604476219 / 4793367497887228198147545789992313815040000000000000) + Polynomial.X * (Polynomial.C (40782259763082873902271654898265674650527294409019 / 19173469991548912792590183159969255260160000000000000) + Polynomial.X * (Polynomial.C (93213065333805484851499855397820372660912030337339 / 76693879966195651170360732639877021040640000000000000) + Polynomial.X * (Polynomial.C (178099335400648542562573110341727336089339514702139 / 306775519864782604681442930559508084162560000000000000) + Polynomial.X * (Polynomial.C (313154814666621784693859574642639372190399496833339 / 1227102079459130418725771722238032336650240000000000000) + Polynomial.X * (Polynomial.C (527783439261295664777355042398373816868302809319739 / 4908408317836521674903086888952129346600960000000000000) + Polynomial.X * (Polynomial.C (870924170223265230027193111405027858987299327822139 / 19633633271346086699612347555808517386403840000000000000) + Polynomial.X * (Polynomial.C (1424718751018731766049889039842414600346095150025019 / 78534533085384346798449390223234069545615360000000000000) + Polynomial.X * (Polynomial.C (2328390606425950752654249961099480411207180995119419 / 314138132341537387193797560892936278182461440000000000000) + Polynomial.X * (Polynomial.C (3820221257813539873505846302433252872161841472457019 / 1256552529366149548775190243571745112729845760000000000000) + Polynomial.X * (Polynomial.C (6311823768634125211736535240825904627872192829180219 / 5026210117464598195100760974286980450919383040000000000000) + Polynomial.X * (Polynomial.C (10520384825491782534093369642790096487185961175599419 / 20104840469858392780403043897147921803677532160000000000000) + Polynomial.X * (Polynomial.C (17705486330310090088781512330691618319491095117809979 / 80419361879433571121612175588591687214710128640000000000000) + Polynomial.X * (Polynomial.C (30095480098719447917491056585674165989456512545573179 / 321677447517734284486448702354366748858840514560000000000000) + Polynomial.X * (Polynomial.C (51658913844660261755115640171524972558875075592177979 / 1286709790070937137945794809417466995435362058240000000000000) + Polynomial.X * (Polynomial.C (89506567489519329452392538214169625159582895724939579 / 5146839160283748551783179237669867981741448232960000000000000) + Polynomial.X * (Polynomial.C (156450224794668879584247516205471756891474879050533179 / 20587356641134994207132716950679471926965792931840000000000000) + Polynomial.X * (Polynomial.C (275690494699342672382162677022188698113983391262951739 / 82349426564539976828530867802717887707863171727360000000000000) + Polynomial.X * (Polynomial.C (489435704963519192441776682998364234226387343278721339 / 329397706258159907314123471210871550831452686909440000000000000) + Polynomial.X * (Polynomial.C (874800508049216216238355245039087022677694191298791739 / 1317590825032639629256493884843486203325810747637760000000000000) + Polynomial.X * (Polynomial.C (1573222373079154836306849090232615083694948142396852539 / 5270363300130558517025975539373944813303242990551040000000000000) + Polynomial.X * (Polynomial.C (2845044191368058758077699391087311903427697079911041339 / 21081453200522234068103902157495779253212971962204160000000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureP1 · compiled type and proof/definition references.
Equations
- LiLiuBuchstabSharp.closureP2 = Polynomial.C (5000631797616574535583577106216736836750801578802871594925925563401468143966989403 / 8906566926088968585205121433191865540344945823421592718195441008640000000000000000) + Polynomial.X * (Polynomial.C (-33605709576727245931256501260200372767578900067834492058073910300670977266597 / 44532834630444842926025607165959327701724729117107963590977205043200000000000000000) + Polynomial.X * (Polynomial.C (2320570300033531480665418165870377450404546260313181174274518312554266208367629 / 31809167593174887804304005118542376929803377940791402564983717888000000000000000000) + Polynomial.X * (Polynomial.C (228914940544996095597055281595632793907517190794825421403318135613050333141773403 / 1113320865761121073150640179148983192543118227927699089774430126080000000000000000000) + Polynomial.X * (Polynomial.C (-372208504925192294823969825203328627085572741046611678813595937834168997930226597 / 5566604328805605365753200895744915962715591139638495448872150630400000000000000000000) + Polynomial.X * (Polynomial.C (-2740258772672394907611878825206014104868782486898012698008273350439704975402226597 / 27833021644028026828766004478724579813577955698192477244360753152000000000000000000000) + Polynomial.X * (Polynomial.C (-8378260279627796540783235081490925872846302314905008272264512609857490114602226597 / 139165108220140134143830022393622899067889778490962386221803765760000000000000000000000) + Polynomial.X * (Polynomial.C (-139440491776325576719119321224926260430121027709048450010597600892027640146215586179 / 4870778787704904695034050783776801467376142247183683517763131801600000000000000000000000) + Polynomial.X * (Polynomial.C (-294817523369548025367159093532434016549680250633929942482823024920201238866215586179 / 24353893938524523475170253918884007336880711235918417588815659008000000000000000000000000) + Polynomial.X * (Polynomial.C (-585782674278064619110428306462550481290003386573739768956041849590797539666215586179 / 121769469692622617375851269594420036684403556179592087944078295040000000000000000000000000) + Polynomial.X * (Polynomial.C (-1125937279820941032019750993841344196689604861718370463884078683901311818066215586179 / 608847348463113086879256347972100183422017780897960439720391475200000000000000000000000000) + Polynomial.X * (Polynomial.C (-2130054021132618834229081798902944276506263374985106704264311890921569098066215586179 / 3044236742315565434396281739860500917110088904489802198601957376000000000000000000000000000) + Polynomial.X * (Polynomial.C (-4010376588604809352253020152775161495351851987664053366993962547746093898066215586179 / 15221183711577827171981408699302504585550444522449010993009786880000000000000000000000000000) + Polynomial.X * (Polynomial.C (-7570072859222255030524558117153785600164938123540840058058640807105837898066215586179 / 76105918557889135859907043496512522927752222612245054965048934400000000000000000000000000000) + Polynomial.X * (Polynomial.C (-14396675443632487999786617313452411995402837031758212211525313514116397898066215586179 / 380529592789445679299535217482562614638761113061225274825244672000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-27671481112560861170894107119946320864803379164850797862673901119804717898066215586179 / 1902647963947228396497676087412813073193805565306126374126223360000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-53852448862252712486351563614731116724452045765082345008098850720060717898066215586179 / 9513239819736141982488380437064065365969027826530631870631116800000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-6247511327086678053320292670813203717104040672572088515409375144436512817533306799187 / 2798011711687100583084817775607078048814419948979597609009152000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-12488331780142530344898321442279603802001342021290328417486572558836512817533306799187 / 13990058558435502915424088878035390244072099744897988045045760000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-25293351077031578175702700602730182379570941054088015910034551054836512817533306799187 / 69950292792177514577120444390176951220360498724489940225228800000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-51872137325681669649045918701237551805475662244546051746514853118836512817533306799187 / 349751463960887572885602221950884756101802493622449701126144000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-107629401938537804131523795514309539212958467849632263999666956718836512817533306799187 / 1748757319804437864428011109754423780509012468112248505630720000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-225738116359854561758804638732413565849637251609642988136801843968836512817533306799187 / 8743786599022189322140055548772118902545062340561242528153600000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-478144409189604294882202550441310608446128132080591976636756339593836512817533306799187 / 43718932995110946610700277743860594512725311702806212640768000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-1021905180492862011890236051038158971665607286798042191809966829144617762817533306799187 / 218594664975554733053501388719302972563626558514031063203840000000000000000000000000000000000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureP2 · compiled type and proof/definition references.
Equations
- LiLiuBuchstabSharp.closureP3 = Polynomial.C (3530743964268460547719637357793964257531842915570173310914560714236733383205285655707497955412492642803880389748887319991 / 6288508435815901373125581708027558512725325093846678213705339297071104000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (32804213237510560336815352228690235440757567795824258477781669466171435605150611124593659006545944902118264512319991 / 37731050614895408238753490248165351076351950563080069282232035782426624000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (47040660788079441516073140684822956311891463063318343826033392071585694422040513300576606914887829515155373887319991 / 226386303689372449432520941488992106458111703378480415693392214694559744000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-5458136750064691613237752750604097485793652020693080687920275957477751879936779084958637034758438662794414938612680009 / 1358317822136234696595125648933952638748670220270882494160353288167358464000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-75280605064927213071909003916638888977470429541709463183372148317022877253781429363391929312264432505873028219862680009 / 8149906932817408179570753893603715832492021321625294964962119729004150784000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (33707370209194717048268337729853042975011923365617006094052939316177457129408193793312110101329813404771503030137319991 / 48899441596904449077424523361622294994952127929751769789772718374024904704000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (836094342588397635158553868846843058353521633698120448964528240064760430397988333174016149514924059315416034280137319991 / 293396649581426694464547140169733769969712767578510618738636310244149428224000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (3359462373147445745814636641769575479383023654108428303839655640522634172158086348262740304340335283680650409280137319991 / 1760379897488560166787282841018402619818276605471063712431817861464896569344000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (9658974456271279227966097857492833021607512712865877565973541305978453823051671125225900666907017069264146503030137319991 / 10562279384931361000723697046110415718909659632826382274590907168789379416064000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (23865897392351020189642454071757808232159917835257421776849898122030127428092766637293271720311477640553209003030137319991 / 63373676309588166004342182276662494313457957796958293647545443012736276496384000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (54352358145749610167875574376082566119099864529385428082822123417145287886824835967094032457988295057545396503030137319991 / 380242057857528996026053093659974965880747746781749761885272658076417658978304000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (118277727553477742992012464195697185090943976632199908838498168122140938099032395655528316899090277694264146503030137319991 / 2281452347145173976156318561959849795284486480690498571311635948458505953869824000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (251305509704070681638219170926482832015442023543090219962915741310523312284646597459366029784302458594654771503030137319991 / 13688714082871043856937911371759098771706918884142991427869815690751035723218944000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (40672090385638929654780620179941439421320148202882492426412164221109896975121532100528174276585724063290751654079241332307 / 6317868038248174087817497556196507125403193331142919120555299549577401103024128000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (85559458515614055977491566476665703372546645966249999719311232363189441986758111422405337346126748711415751654079241332307 / 37907208229489044526904985337179042752419159986857514723331797297464406618144768000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (181169678972435043247059893108983809337732754689474389801745892340054331653289595948283759984012696317315751654079241332307 / 227443249376934267161429912023074256514514959921145088339990783784786439708868608000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (387910879215819487056405868622303525424427038928297522361774238648420331719175058177752985451634387373953251654079241332307 / 1364659496261605602968579472138445539087089759526870530039944702708718638253211648000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (842325600354699279441028051499659803941448968364440161392739778725351978764253075903045287156242414920273251654079241332307 / 8187956977569633617811476832830673234522538557161223180239668216252311829519269888000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (1858014184370677156502405640954516687448260285740914885023938308344320973081227875368349895754798179472769251654079241332307 / 49127741865417801706868860996984039407135231342967339081438009297513870977115619328000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (320471743071475202784287041499658994695350244775168753555129330185132439845370437663714767469918906576180280896467633948639 / 22674342399423600787785628152454172034062414465984925729894465829621786604822593536000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (9495367919811124515367256291625660712415983388695034788851671598977646523662142087443153949852674056350378467654079241332307 / 1768598707155040861447278995891425418656868328346824206931768334710499355176162295808000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (21986005587487247857813080429306749536556084229948037591405067953592907292799218623925912775845506365904703971654079241332307 / 10611592242930245168683673975348552511941209970080945241590610008262996131056973774848000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (51672523129449599916834152913366363815569054110743299744219320255420223330673852204831356521982750647757840458054079241332307 / 63669553457581471012102043852091315071647259820485671449543660049577976786341842649088000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (123140142396145136051885483777988956785328887519013207609992811658366924866226472090320930213201152779971875381574079241332307 / 382017320745488826072612263112547890429883558922914028697261960297467860718051055894528000000000000000000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (297225137933122577639073499910165078097369584611256002369038896202584929085981605986299859958102315232018015543622079241332307 / 2292103924472932956435673578675287342579301353537484172183571761784807164308306335367168000000000000000000000000000000000000000000000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureP3 · compiled type and proof/definition references.
Equations
- LiLiuBuchstabSharp.closureA0 = Polynomial.C 0 + Polynomial.X * (Polynomial.C (169314718057 / 300000000000) + Polynomial.X * (Polynomial.C (19314718057 / 1800000000000) + Polynomial.X * (Polynomial.C (-93185281943 / 8100000000000) + Polynomial.X * (Polynomial.C (-205685281943 / 32400000000000) + Polynomial.X * (Polynomial.C (-332247781943 / 121500000000000) + Polynomial.X * (Polynomial.C (-484122781943 / 437400000000000) + Polynomial.X * (Polynomial.C (-673966531943 / 1530900000000000) + Polynomial.X * (Polynomial.C (-6426359473601 / 36741600000000000) + Polynomial.X * (Polynomial.C (-2167222192619 / 31000725000000000) + Polynomial.X * (Polynomial.C (-728682989561 / 25833937500000000) + Polynomial.X * (Polynomial.C (-15695480567351 / 1364031900000000000) + Polynomial.X * (Polynomial.C (-116599288628243 / 24552574200000000000) + Polynomial.X * (Polynomial.C (-2531619819223763 / 1276733858400000000000) + Polynomial.X * (Polynomial.C (-44899619271002669 / 53622822052800000000000) + Polynomial.X * (Polynomial.C (-17599420845007459 / 49245448824000000000000) + Polynomial.X * (Polynomial.C (-12139381159808417 / 78792718118400000000000) + Polynomial.X * (Polynomial.C (-1077490760585160563 / 16073714496153600000000000) + Polynomial.X * (Polynomial.C (-25531031722525854571 / 867980582792294400000000000) + Polynomial.X * (Polynomial.C (-35750424178678198321 / 2748605178842265600000000000) + Polynomial.X * (Polynomial.C (-955181655710999049349 / 164916310730535936000000000000) + Polynomial.X * (Polynomial.C (-5393491121845841900521 / 2077945515204752793600000000000) + Polynomial.X * (Polynomial.C (-53482082842939350334897 / 45714801334504561459200000000000) + Polynomial.X * (Polynomial.C (-152002421793658827622919 / 286756481098255885516800000000000) + Polynomial.X * (Polynomial.C (-2491159076405448612390131 / 10323233319537211878604800000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureA0 · compiled type and proof/definition references.
Equations
- LiLiuBuchstabSharp.closureA1 = Polynomial.C 0 + Polynomial.X * (Polynomial.C (42051182590588183183310797227096094426486786607419 / 74896367154487940596055402968629903360000000000000) + Polynomial.X * (Polynomial.C (-219008370264086897448153039520881916771736630981 / 599170937235903524768443223749039226880000000000000) + Polynomial.X * (Polynomial.C (-3433679959336286752602318894388898358944085456581 / 3595025623415421148610659342494235361280000000000000) + Polynomial.X * (Polynomial.C (10352471329152411286384067672090621105791604476219 / 19173469991548912792590183159969255260160000000000000) + Polynomial.X * (Polynomial.C (40782259763082873902271654898265674650527294409019 / 95867349957744563962950915799846276300800000000000000) + Polynomial.X * (Polynomial.C (93213065333805484851499855397820372660912030337339 / 460163279797173907022164395839262126243840000000000000) + Polynomial.X * (Polynomial.C (178099335400648542562573110341727336089339514702139 / 2147428639053478232770100513916556589137920000000000000) + Polynomial.X * (Polynomial.C (313154814666621784693859574642639372190399496833339 / 9816816635673043349806173777904258693201920000000000000) + Polynomial.X * (Polynomial.C (527783439261295664777355042398373816868302809319739 / 44175674860528695074127782000569164119408640000000000000) + Polynomial.X * (Polynomial.C (870924170223265230027193111405027858987299327822139 / 196336332713460866996123475558085173864038400000000000000) + Polynomial.X * (Polynomial.C (1424718751018731766049889039842414600346095150025019 / 863879863939227814782943292455574765001768960000000000000) + Polynomial.X * (Polynomial.C (2328390606425950752654249961099480411207180995119419 / 3769657588098448646325570730715235338189537280000000000000) + Polynomial.X * (Polynomial.C (3820221257813539873505846302433252872161841472457019 / 16335182881759944134077473166432686465487994880000000000000) + Polynomial.X * (Polynomial.C (6311823768634125211736535240825904627872192829180219 / 70366941644504374731410653640017726312871362560000000000000) + Polynomial.X * (Polynomial.C (10520384825491782534093369642790096487185961175599419 / 301572607047875891706045658457218827055162982400000000000000) + Polynomial.X * (Polynomial.C (17705486330310090088781512330691618319491095117809979 / 1286709790070937137945794809417466995435362058240000000000000) + Polynomial.X * (Polynomial.C (30095480098719447917491056585674165989456512545573179 / 5468516607801482836269627940024234730600288747520000000000000) + Polynomial.X * (Polynomial.C (51658913844660261755115640171524972558875075592177979 / 23160776221276868483024306569514405917836517048320000000000000) + Polynomial.X * (Polynomial.C (89506567489519329452392538214169625159582895724939579 / 97789944045391222483880405515727491653087516426240000000000000) + Polynomial.X * (Polynomial.C (156450224794668879584247516205471756891474879050533179 / 411747132822699884142654339013589438539315858636800000000000000) + Polynomial.X * (Polynomial.C (275690494699342672382162677022188698113983391262951739 / 1729337957855339513399148223857075641865126606274560000000000000) + Polynomial.X * (Polynomial.C (489435704963519192441776682998364234226387343278721339 / 7246749537679517960910716366639174118291959112007680000000000000) + Polynomial.X * (Polynomial.C (874800508049216216238355245039087022677694191298791739 / 30304588975750711472899359351400182676493647195668480000000000000) + Polynomial.X * (Polynomial.C (1573222373079154836306849090232615083694948142396852539 / 126488719203133404408623412944974675519277831773224960000000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureA1 · compiled type and proof/definition references.
Equations
- LiLiuBuchstabSharp.closureA2 = Polynomial.C 0 + Polynomial.X * (Polynomial.C (5000631797616574535583577106216736836750801578802871594925925563401468143966989403 / 8906566926088968585205121433191865540344945823421592718195441008640000000000000000) + Polynomial.X * (Polynomial.C (-33605709576727245931256501260200372767578900067834492058073910300670977266597 / 89065669260889685852051214331918655403449458234215927181954410086400000000000000000) + Polynomial.X * (Polynomial.C (2320570300033531480665418165870377450404546260313181174274518312554266208367629 / 95427502779524663412912015355627130789410133822374207694951153664000000000000000000) + Polynomial.X * (Polynomial.C (228914940544996095597055281595632793907517190794825421403318135613050333141773403 / 4453283463044484292602560716595932770172472911710796359097720504320000000000000000000) + Polynomial.X * (Polynomial.C (-372208504925192294823969825203328627085572741046611678813595937834168997930226597 / 27833021644028026828766004478724579813577955698192477244360753152000000000000000000000) + Polynomial.X * (Polynomial.C (-2740258772672394907611878825206014104868782486898012698008273350439704975402226597 / 166998129864168160972596026872347478881467734189154863466164518912000000000000000000000) + Polynomial.X * (Polynomial.C (-8378260279627796540783235081490925872846302314905008272264512609857490114602226597 / 974155757540980939006810156755360293475228449436736703552626360320000000000000000000000) + Polynomial.X * (Polynomial.C (-139440491776325576719119321224926260430121027709048450010597600892027640146215586179 / 38966230301639237560272406270214411739009137977469468142105054412800000000000000000000000) + Polynomial.X * (Polynomial.C (-294817523369548025367159093532434016549680250633929942482823024920201238866215586179 / 219185045446720711276532285269956066031926401123265758299340931072000000000000000000000000) + Polynomial.X * (Polynomial.C (-585782674278064619110428306462550481290003386573739768956041849590797539666215586179 / 1217694696926226173758512695944200366844035561795920879440782950400000000000000000000000000) + Polynomial.X * (Polynomial.C (-1125937279820941032019750993841344196689604861718370463884078683901311818066215586179 / 6697320833094243955671819827693102017642195589877564836924306227200000000000000000000000000) + Polynomial.X * (Polynomial.C (-2130054021132618834229081798902944276506263374985106704264311890921569098066215586179 / 36530840907786785212755380878326011005321066853877626383223488512000000000000000000000000000) + Polynomial.X * (Polynomial.C (-4010376588604809352253020152775161495351851987664053366993962547746093898066215586179 / 197875388250511753235758313090932559612155778791837142909127229440000000000000000000000000000) + Polynomial.X * (Polynomial.C (-7570072859222255030524558117153785600164938123540840058058640807105837898066215586179 / 1065482859810447902038698608951175320988531116571430769510685081600000000000000000000000000000) + Polynomial.X * (Polynomial.C (-14396675443632487999786617313452411995402837031758212211525313514116397898066215586179 / 5707943891841685189493028262238439219581416695918379122378670080000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-27671481112560861170894107119946320864803379164850797862673901119804717898066215586179 / 30442367423155654343962817398605009171100889044898021986019573760000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-53852448862252712486351563614731116724452045765082345008098850720060717898066215586179 / 161725076935514413702302467430089111221473473051020741800728985600000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-6247511327086678053320292670813203717104040672572088515409375144436512817533306799187 / 50364210810367810495526719960927404878659559081632756962164736000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-12488331780142530344898321442279603802001342021290328417486572558836512817533306799187 / 265811112610274555393057688682672414637369895153061772855869440000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-25293351077031578175702700602730182379570941054088015910034551054836512817533306799187 / 1399005855843550291542408887803539024407209974489798804504576000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-51872137325681669649045918701237551805475662244546051746514853118836512817533306799187 / 7344780743178639030597646660968579878137852366071443723649024000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-107629401938537804131523795514309539212958467849632263999666956718836512817533306799187 / 38472661035697633017416244414597323171198274298469467123875840000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-225738116359854561758804638732413565849637251609642988136801843968836512817533306799187 / 201107091777510354409221277621758734758536433832908578147532800000000000000000000000000000000000000) + Polynomial.X * (Polynomial.C (-478144409189604294882202550441310608446128132080591976636756339593836512817533306799187 / 1049254391882662718656806665852654268305407480867349103378432000000000000000000000000000000000000000) + Polynomial.X * ⋯))))))))))))))))))))))))
Instances For
Inspect dependencies
LiLiuBuchstabSharp.closureA2 · compiled type and proof/definition references.