noncomputable def G67CenteredEvaluation.profileCoeffs (s : ℝ) : ℝ

Equations

• G67CenteredEvaluation.profileCoeffs s = 2575978094364993687156346919124622815944210490555272113187222313776883572885305494115445778033352580412322995385084969104225108758743572376468430419945735258385559022368226246884163609027 / 1033110022210932651473784955200416546640869098278974009365993127650399143189991327749760499369976699448132395769880024663159055210224268065148231343438804127071668284389556548840197600 * s ^ 0 + -1875858690876693465897315223196129792174460630803058502356 / 5631925408637669556712753112457165070731594608664997 * s ^ 1 + 121596453340825689130805549858718574521023707151480876245632 / 5631925408637669556712753112457165070731594608664997 * s ^ 2 + -15274287744306853594896812824229626576727801515461863339794432 / 16895776225913008670138259337371495212194783825994991 * s ^ 3 + 154758943844382017281884528473670905432871042199923063275450880 / 5631925408637669556712753112457165070731594608664997 * s ^ 4 + -18192283102145349165031761743689703065510238106799686406204219392 / 28159627043188347783563765562285825353657973043324985 * s ^ 5 + 206518825873563939382202602725230527089007435689892322642750144512 / 16895776225913008670138259337371495212194783825994991 * s ^ 6 + -7537024456603780605058139260092276434791537186520360943895554686976 / 39423477860463686896989271787200155495121162260654979 * s ^ 7 + 14192826091069638288779495343276536709008517611764532137377103773696 / 5631925408637669556712753112457165070731594608664997 * s ^ 8 + -479799476164287878491652904117354411822691686898568478008275081625600 / 16895776225913008670138259337371495212194783825994991 * s ^ 9 + 1557446538261333278588322172619818900220670730544346615876940424282112 / 5631925408637669556712753112457165070731594608664997 * s ^ 10 + -145377945679250767192383294854001536958482216963078218164944176718807040 / 61951179495014365123840284237028815778047540695314967 * s ^ 11 + 98356262097868182316175268883785405734687865806545337172199193895239680 / 5631925408637669556712753112457165070731594608664997 * s ^ 12 + -8386416791712754157705742310210200711345951702384296323831586071699783680 / 73215030312289704237265790461943145919510729912644961 * s ^ 13 + 26199438484040217975152041161384277897942653910106697398306503601317478400 / 39423477860463686896989271787200155495121162260654979 * s ^ 14 + -19258501381818238913035781268313308581619786432147129758277774934263463936 / 5631925408637669556712753112457165070731594608664997 * s ^ 15 + 88034371832015430572081655834020722783066220126118316698725861849070305280 / 5631925408637669556712753112457165070731594608664997 * s ^ 16 + -6082658833234251649468113146277993752856529239927542097851338007769325240320 / 95742731946840382464116802911771806202437108347304949 * s ^ 17 + 3879044193213804826154230837046548596561868152186017687870945405033418588160 / 16895776225913008670138259337371495212194783825994991 * s ^ 18 + -78873263283313670291510066451858495104354949910144815737638062526990123008000 / 107006582764115721577542309136686136343900297564634943 * s ^ 19 + 11820548831894267250644523644893053923180607270513320383928361845005291094016 / 5631925408637669556712753112457165070731594608664997 * s ^ 20 + -208428178335149661057614793932361651231442904011380070107424605155650258862080 / 39423477860463686896989271787200155495121162260654979 * s ^ 21 + 727185047734732913117860606422157645086023078663111334974075039553764909383680 / 61951179495014365123840284237028815778047540695314967 * s ^ 22 + -2960905108774723539667563804014490923724396512898580899887522585342778204487680 / 129534284398666399804393321586514796626826675999294931 * s ^ 23 + 218481786853895540756669062579196846630299906395408714995559042869183842877440 / 5631925408637669556712753112457165070731594608664997 * s ^ 24 + -8012061921427471326332766432969724651074820450086634259779993974427067489452032 / 140798135215941738917818827811429126768289865216624925 * s ^ 25 + 5225338750291943883793791111686376716081031806101279318479949150431757134200832 / 73215030312289704237265790461943145919510729912644961 * s ^ 26 + -11473352518558620886132893619380138888650013036782304481140609741299340296585216 / 152061986033217078031244334036343456909753054433954919 * s ^ 27 + 2600267507613594286957828901383405285399111916891346143150148426214273085079552 / 39423477860463686896989271787200155495121162260654979 * s ^ 28 + -7580149674377196412076632940044124299517095213659314703929992275472485219041280 / 163325836850492417144669840261257787051216243651284913 * s ^ 29 + 2134491598646457683351643322634233943691304237832668631252664922383085400489984 / 84478881129565043350691296686857476060973919129974955 * s ^ 30 + -1743877912891224676142136532558817636310945653503309683038633689686336860061696 / 174589687667767756258095346486172117192679432868614907 * s ^ 31 + 14369576123595102727604697454636602227616962735802432981243088052506457014272 / 5631925408637669556712753112457165070731594608664997 * s ^ 32 + -58760219663935609948203898452233097957898417841882884475438884477518869430272 / 185853538485043095371520852711086447334142622085944901 * s ^ 33

theorem G67CenteredEvaluation.profileCoeffs_eq (s : ℝ) : G67Centered.profilePolynomial s = profileCoeffs s

noncomputable def G67CenteredEvaluation.reciprocalCoeffs (s : ℝ) : ℝ

Equations

• G67CenteredEvaluation.reciprocalCoeffs s = 256 / 1 * s ^ 0 + -15360 / 1 * s ^ 1 + 604160 / 1 * s ^ 2 + -17203200 / 1 * s ^ 3 + 378011648 / 1 * s ^ 4 + -6667501568 / 1 * s ^ 5 + 96957366272 / 1 * s ^ 6 + -1184739885056 / 1 * s ^ 7 + 12336169484288 / 1 * s ^ 8 + -110619634171904 / 1 * s ^ 9 + 861096516780032 / 1 * s ^ 10 + -5854157462306816 / 1 * s ^ 11 + 34915380434567168 / 1 * s ^ 12 + -183269299652132864 / 1 * s ^ 13 + 848341691197816832 / 1 * s ^ 14 + -3466557852238217216 / 1 * s ^ 15 + 12504968943556886528 / 1 * s ^ 16 + -39783677606330630144 / 1 * s ^ 17 + 111403300978543296512 / 1 * s ^ 18 + -273717104140045254656 / 1 * s ^ 19 + 587477119941925142528 / 1 * s ^ 20 + -1094868416560181018624 / 1 * s ^ 21 + 1757780830260561969152 / 1 * s ^ 22 + -2405714834550262071296 / 1 * s ^ 23 + 2767804244590849949696 / 1 * s ^ 24 + -2626643417870549123072 / 1 * s ^ 25 + 2002048192749789773824 / 1 * s ^ 26 + -1178285777708197609472 / 1 * s ^ 27 + 502673776008585281536 / 1 * s ^ 28 + -138350580552821637120 / 1 * s ^ 29 + 18446744073709551616 / 1 * s ^ 30

theorem G67CenteredEvaluation.reciprocalCoeffs_eq (s : ℝ) : G67Centered.reciprocalPolynomial s = reciprocalCoeffs s