Skip to content

Instantly share code, notes, and snippets.

@wwylele
Last active September 7, 2024 00:07
Show Gist options
  • Save wwylele/a6efbc68e15761862cb39edc8e7103bc to your computer and use it in GitHub Desktop.
Save wwylele/a6efbc68e15761862cb39edc8e7103bc to your computer and use it in GitHub Desktop.
Elliptic curve 11.a2 j-parametrization
y^2+y=x^3-x^2-10x-20
N = 11
*** X ***
x(j, jN) = sum{m,n}(`Nume_j{m}_jN{n}` * j^m * jN^n) / sum{m,n}(`Deno_j{m}_jN{n}` * j^m * jN^n)
Nume_j0_jN0 = 1367113046330556187051562246931529529235173270511187871278506926568049114456858932866795018649600000000000000000000000000000000
Nume_j0_jN1 = 172077374923733266210058979716334157205392753267437347302297658019755587516877358694295477944320000000000000000000000000000
Nume_j0_jN2 = -552789772512187113151284771321330488507779196392441002872875423014679654464608838881247441715200000000000000000000000000
Nume_j0_jN3 = 115306161437651131485119279159886334295579735205039155402832479989832602929746998006911074304000000000000000000000000
Nume_j0_jN4 = -3481088240240514581903932077729928741206524092690905860868663675804382634221712445273223987200000000000000000000
Nume_j0_jN5 = -314513976227129682873030318943569326376124656666208803816732588934912667322291297555799080960000000000000000
Nume_j0_jN6 = -558410054788001563666662805564460855320778809304710725790936864543050509000776157296066560000000000000
Nume_j0_jN7 = 65023806698077622499481567302159351366371314289842094821629873907745194906126123008000000000000
Nume_j0_jN8 = -86545244777037993335317425796634695134124597060988555714462836510685175113318400000000
Nume_j0_jN9 = 307153043767704300908439699703402525476150291586568384174099341275955200000
Nume_j0_jN10 = -3434554266771303759120438848322611318253672861216720
Nume_j0_jN11 = 37110777682781460153655962
Nume_j1_jN0 = -374510132719776917916555212626106591068179462911175078762095543442616594887355470979938354462720000000000000000000000000000
Nume_j1_jN1 = -775957499456962764231965007598787608610465487460141085369742693120777478211802254180460968017920000000000000000000000000
Nume_j1_jN2 = 516967528611682593257493294637592163461132809651700693256080414149553819967640773101960665497600000000000000000000000
Nume_j1_jN3 = 363825565300379082067106988499575663127367550008137978000062063876151540975322134194668804505600000000000000000000
Nume_j1_jN4 = 27587212731720473007472632618742609214128171440713878308244647783141611840334714287448234393600000000000000000
Nume_j1_jN5 = 248357514714737462242000101056758263309405158368254947754600155417797983225234514178557870080000000000000
Nume_j1_jN6 = 383528386850427017342021576346948182362694608642403214478277798668181223514513907436748800000000000
Nume_j1_jN7 = -224378958769646787014549164773919543311521999445783776354279108130487636234468746854400000000
Nume_j1_jN8 = -284408511838557911999753216631923880962507369816429588384372415949931687217070080000
Nume_j1_jN9 = -330546338888411933900051728425729689983600072561218827703458588946712800
Nume_j1_jN10 = -334432313484282775366829231734387250154892357769541
Nume_j1_jN11 = -5282993415642995456754218
Nume_j2_jN0 = -33977846589048422468937499751571129376699606632361424006718302673925983200586397870545331814400000000000000000000000000
Nume_j2_jN1 = -278548686045773340300888301979619430654253415896326227685839010553890293036154765643865076531200000000000000000000000
Nume_j2_jN2 = -310544831871192060793738504944776065867833699694435431696724835105590963592020431828993599078400000000000000000000
Nume_j2_jN3 = -59437582888499847626955752051609987950789307234847002501082854044988238945331880703392376422400000000000000000
Nume_j2_jN4 = -2318218111475484384620497486095177172328363537528671741317185861083690582502953871688597504000000000000000
Nume_j2_jN5 = -48996402187652265590318911269811568582611849773263666538946530543496281647065722337099776000000000000
Nume_j2_jN6 = -134811449465799289171535912015202667139299276650293607100369657653000903582134634440294400000000
Nume_j2_jN7 = 89899103972209316704706896019600716732638120861332450072626298609945213142972003778560000
Nume_j2_jN8 = -131584258982166016151866847413468062396023373929823227228186749830424792488608400
Nume_j2_jN9 = 118603870463838753898416596253437480830127430044615191445828545159940
Nume_j2_jN10 = -4566813972378270991957520594798144046895585294392
Nume_j2_jN11 = 151798395219898059341863
Nume_j3_jN0 = 14282483472759668027209376859430830049661271289851277790824994072675504023212866552394153984000000000000000000000000
Nume_j3_jN1 = 37132729672524127954063081697890881542657964333228213178826736478616532659042307290436521164800000000000000000000
Nume_j3_jN2 = -1504243734002319673904916039770398162745004394361369086459032477051862988934535925282635776000000000000000000
Nume_j3_jN3 = 3825253046711491076024118408514212984105422565126073302568444069430662876488266560839541063680000000000000
Nume_j3_jN4 = 208353124291940951776368408018443603150945347761447269721427166742308408434778613119503564800000000000
Nume_j3_jN5 = -1326977721046572933940824877894195241974120356681605114305515607987769525667208829180313600000000
Nume_j3_jN6 = 16223503916245012295709800566550727977374194984584479635323902342432718015487176312094720000
Nume_j3_jN7 = -6137880807437662488234851878224699922905259514595545711227006089421370709446702121600
Nume_j3_jN8 = -12644370516751068294491479906383470955790571780537272343480504187501178815645
Nume_j3_jN9 = -16746807669026838178531982503887957519628074772943248018576433208
Nume_j3_jN10 = -15547719749315235914065031166183387243057653702
Nume_j3_jN11 = -1625000171809918279227
Nume_j4_jN0 = -799902654858222548835155431840171837536541329903995252547573342690227888240666366530761523200000000000000000000
Nume_j4_jN1 = 413830292844006615341026687298193082202385006745559458715469658772487671154668013200238182400000000000000000
Nume_j4_jN2 = 90139325152911753699946239986364280042953405551605902367368627182619783030115636541915136000000000000000
Nume_j4_jN3 = -21010481082678481927981939324779933468421637567974665882313287974995491462354845914732953600000000000
Nume_j4_jN4 = -7277965805474823126185966689416432161328015880140968883574765616813757267919689275041382400000000
Nume_j4_jN5 = 35517808845058510250213182101734814099834061765166485595711564101125903387845843366707200000
Nume_j4_jN6 = 223347167533467502852708788942680460192742868929222396733577947845338082966297749928800
Nume_j4_jN7 = 82101407392794996054450828910225335111409082123165147210528652644716802270987820
Nume_j4_jN8 = -266306998666344940262292964693337102390398874398140522639484388620284432
Nume_j4_jN9 = 877720998013948422749945220199218693574357070175581469787236
Nume_j4_jN10 = -16141521235134429194551835974946957438212646
Nume_j4_jN11 = 8382574129842956641
Nume_j5_jN0 = 1142016999107753948517679650312656438665926872263521970275920854030175163181353028823285760000000000000000
Nume_j5_jN1 = -1221419912859388282491040380130199686848942842280799271086981500057498365788441775355985920000000000000
Nume_j5_jN2 = 172122980093141273481760792470880452038025606198306944918762350813017070430851536047308800000000000
Nume_j5_jN3 = 35101885103018385172386860483312953772771390609715450337365647156320714469756747592499200000000
Nume_j5_jN4 = 4647812865082768208504948005279851357688656913586803243459685088249087833315927162880000000
Nume_j5_jN5 = -436917273149596079369583266708873749479822457765837891804573931713969521637453024522560
Nume_j5_jN6 = -971526937370247461884043184598679031789001611612738894901473016710296661201071274
Nume_j5_jN7 = -232111772824799547356799342004434890556650790069287167423420393332049632540
Nume_j5_jN8 = -1097816262281087352174094827662876669560612846068161741580401093218
Nume_j5_jN9 = -14168553999874262157296044907419092436401886805282505737
Nume_j5_jN10 = -5327941916515779884743046985341349702358
Nume_j5_jN11 = -23747180998090188
Nume_j6_jN0 = -9601530353849969210182672995013831730589101542707566926768734061458573668840437186560000000000000
Nume_j6_jN1 = -12289336540212413229159267092079799944581066455317251976035388049320544531902785126400000000000
Nume_j6_jN2 = -51967078317036937253210192620756013318890311605034420157489354200895234028155070054400000000
Nume_j6_jN3 = 24932079408615470075897006074410745653070280601900179352482207794893576018513977671680000
Nume_j6_jN4 = -2745178267942115002082175892335651080769364406630889789069430271671815490166736151200
Nume_j6_jN5 = 77578791087448619923886536470210915681453884987875727415625790208341441774476992
Nume_j6_jN6 = -249303181082720299923667039509993933259738736944698888516464625746146283232
Nume_j6_jN7 = 63707924091190071584760773456571672350587145040329241154410631540070
Nume_j6_jN8 = -652528790613471844075707728975989032792126846506278595536692
Nume_j6_jN9 = 51189580263320992780535593923451686304862320410306
Nume_j6_jN10 = -513959925951149252045732288347615537
Nume_j6_jN11 = 39496262354207
Nume_j7_jN0 = -11550405134221996890698297390000633001626647820652380133846351224057207193600000000000
Nume_j7_jN1 = -68109712973001227093354157127879958754605212774863215858873742468649956723916800000000
Nume_j7_jN2 = -171393617123521572572879953799392750507796369166231956588221017523310457583042560000
Nume_j7_jN3 = -79552160350477323261466995174229420167804164628018983466079988131236741085737600
Nume_j7_jN4 = -8498131710361312434839258817922705528396421436820266210139236027106066410690
Nume_j7_jN5 = -208285475026525296083111327988216198295160271082747609860240179142471288
Nume_j7_jN6 = -988420548374946797446161405519143083793038524541468008368042766090
Nume_j7_jN7 = -636069785612385060937940685316219873621050086439825410874029
Nume_j7_jN8 = -29247642753916709211474847683383319996129707443016187
Nume_j7_jN9 = -24346159331487781520704933917065283083337548
Nume_j7_jN10 = -11199012827478883840311090520044
Nume_j7_jN11 = -39486910827
Nume_j8_jN0 = -965122546660480561734824652539182058818933286373069258806555526876364800000000
Nume_j8_jN1 = 1458178254585307154811607098872233107465086584032117626385515207237959680000
Nume_j8_jN2 = -804436418461042449159023716406975397302053567629392264605070601637184400
Nume_j8_jN3 = 199188452434175861872183643663864707886951860831996580871994913780970
Nume_j8_jN4 = -22148485655143353010697945124225477995023536620052791724393988272
Nume_j8_jN5 = 994774691654671158834723848104727193123295594000724456173228
Nume_j8_jN6 = -14690471565174112898159053748995596636074742363587057158
Nume_j8_jN7 = 51135054663222972296781622207801574109033095455811
Nume_j8_jN8 = -24228211048001377698321200257298024779125533
Nume_j8_jN9 = 573814465866302182218987294978277326
Nume_j8_jN10 = -29489764458053244098254556
Nume_j8_jN11 = 23298119
Nume_j9_jN0 = -29298331981108659070812769439028574963679340134400000
Nume_j9_jN1 = -33446467926380071087499460649470683318783778984472800
Nume_j9_jN2 = -1587728122949684097273964126562021683696934654612145
Nume_j9_jN3 = -14131378888778217443647952609575016757902447575818
Nume_j9_jN4 = -35372414460361403041038291251885507992988391182
Nume_j9_jN5 = -28890545335857083362749980157900715217579631
Nume_j9_jN6 = -7848482999225672252737568553421501535413
Nume_j9_jN7 = -645470833568359412234312788609264796
Nume_j9_jN8 = -12407796386560180233651578189173
Nume_j9_jN9 = -30134972226926998960521751
Nume_j9_jN10 = -1608280811579599322
Nume_j9_jN11 = -7464
Nume_j10_jN0 = -296470902355240575283200720
Nume_j10_jN1 = 374642006356701393515817612
Nume_j10_jN2 = -27209811658056645815522600
Nume_j10_jN3 = 529134841844639613861795
Nume_j10_jN4 = -4297837238774928467520
Nume_j10_jN5 = 17899526272883039048
Nume_j10_jN6 = -42570393135641712
Nume_j10_jN7 = 61058988656490
Nume_j10_jN8 = -53686822816
Nume_j10_jN9 = 28278756
Nume_j10_jN10 = -8184
Nume_j10_jN11 = 1
Nume_j11_jN0 = -1
Nume_j11_jN1 = 0
Nume_j11_jN2 = 0
Nume_j11_jN3 = 0
Nume_j11_jN4 = 0
Nume_j11_jN5 = 0
Nume_j11_jN6 = 0
Nume_j11_jN7 = 0
Nume_j11_jN8 = 0
Nume_j11_jN9 = 0
Nume_j11_jN10 = 0
Nume_j11_jN11 = 0
Deno_j0_jN0 = -644794597290985569742295251407529580644470401553094613832380536613845235568089442837916066775040000000000000000000000000000000
Deno_j0_jN1 = -364757327166661515997421613517679199707502270941774639041351461802878534128725662965274614169600000000000000000000000000000
Deno_j0_jN2 = 286448852404741952504223977575355807598590371704095454712558543110270358919764035681612988416000000000000000000000000000
Deno_j0_jN3 = -40864605880780169724585128424573889701699552621372634626116212524283185552324695268375134208000000000000000000000000
Deno_j0_jN4 = 717561862388975626726590140918409051464482036116618569235635287913218885773039970884129914880000000000000000000
Deno_j0_jN5 = 62314317952434195235354214320853849300689340133470299393684531513181584548684251715443097600000000000000000
Deno_j0_jN6 = -100351435040541257588071377127737227651286063562004962464698836804873337760780230275891200000000000000
Deno_j0_jN7 = 2648472849516964731786291452122870742522851963089063002717372422135783626161258496000000000000
Deno_j0_jN8 = -1797932773750431800496283876253311115312246740990164645496469118872502864445440000000
Deno_j0_jN9 = 189803844580991366054260065528268402978053645340742192777490726912000000
Deno_j0_jN10 = -85905423370102918375536721372056489462386150400
Deno_j0_jN11 = 473098671409604281800
Deno_j1_jN0 = 23877361251262056273777236992627814644121087685700310132222407431865579282292695234083028992000000000000000000000000000000
Deno_j1_jN1 = 125234764245889308731361823918643008088632407827459354016363257395523516681323424063378423808000000000000000000000000000
Deno_j1_jN2 = -58637588432521585459881861762799988679967972206459978809779883868888091178759764723642662912000000000000000000000000
Deno_j1_jN3 = -8630941448714411970004548474839516620080736834707282490147735257504132080692151865688216043520000000000000000000
Deno_j1_jN4 = -833495487227120558897937589661042428471845024111848149713775103848139852013002255076478156800000000000000000
Deno_j1_jN5 = -13474993499616870910162255858917131346150417334949991127789639128079889026467945407682969600000000000000
Deno_j1_jN6 = 45012949135776955922433990395841068318578495823342093841466996985146104685197854244864000000000000
Deno_j1_jN7 = -3210239910396299061539123451463645919284298298540184226117836226662622776286144102400000000
Deno_j1_jN8 = -2446404076051320473569682646385322720034126395049580771371023705301628275916800000
Deno_j1_jN9 = -134063826702754025297775173430799520480327233319636368588270706073600
Deno_j1_jN10 = -9092774724158412631773984948029750681332241400
Deno_j1_jN11 = -38141443583282670180
Deno_j2_jN0 = 51549474474678116116937542676846756018777111414618622120220623518107901478162190741053584179200000000000000000000000000
Deno_j2_jN1 = 400281898941579405468655354837008649368494516503333642147534349896068080833910423007101190144000000000000000000000000
Deno_j2_jN2 = -6429554871228871804937538192879647764047266658967860592161338571395338436639447355103673057280000000000000000000
Deno_j2_jN3 = -13526662241341729770082487699093328921820162573436799634511518252070548843914525650022983270400000000000000000
Deno_j2_jN4 = 677826654516995030879270635031582011043409974911979674337373286582284681846752161078601318400000000000000
Deno_j2_jN5 = -4974864537695560354492459626904022502368054868795959713708850719440566440288439563714560000000000000
Deno_j2_jN6 = 10661752645691352688494598646278059954810462438962295897048457541315470003030457025822720000000
Deno_j2_jN7 = -1672109196999947843919814616059513303390366265525965415223053972933690231524451942400000
Deno_j2_jN8 = -158356298418122674532211208235441082737861016631222843522419955833314401996800
Deno_j2_jN9 = 17168764046389473313969019683164890212118296305972972355438903200
Deno_j2_jN10 = -93035016637556528135409209402716242162845760
Deno_j2_jN11 = 631138185556080950
Deno_j3_jN0 = -5485110611301236109425087781323889175211754533026774934506683005208947115492654830019674112000000000000000000000000
Deno_j3_jN1 = 24784898895286044922174752323253222850872344843179135171295519778823062256890404582990523924480000000000000000000
Deno_j3_jN2 = 3928750779695758294633433920730015314970242660382477668595076214792046978297808879420545433600000000000000000
Deno_j3_jN3 = -614927014123044279831750350226119263247131006844955476848646589802589859853341148452382310400000000000000
Deno_j3_jN4 = 70796250133119843162183795959287010534298137312799773751456438983791182444149585913839616000000000000
Deno_j3_jN5 = -1384013865924254390321326411504738292718574635733304468304492538587523097779853070685962240000000
Deno_j3_jN6 = -921579387715788205426355285314222138489969550582244270681210461868580837396012125388800000
Deno_j3_jN7 = 115703281750500870866428777559437434508096328858599262263595376244182367164244992000
Deno_j3_jN8 = 29012056175430901544506766173141155998418233677326056604599663113806189600
Deno_j3_jN9 = 2596440051530814898881364509361559833164288122223122655877200
Deno_j3_jN10 = -53299202987624007888632495196972419199310
Deno_j3_jN11 = -3889904574252522
Deno_j4_jN0 = -56268986909350366091155443683724286938398501821709094721650409565189385540576846573333381120000000000000000000
Deno_j4_jN1 = 83659572064263425190244588022398717087781238649766495996664178236378097120431837839307571200000000000000000
Deno_j4_jN2 = -2905713179250834451956331598651356374591694356331181589884144844801780438967806419848396800000000000000
Deno_j4_jN3 = -1123431950202295627150553469449049383863286767207440538044297583023266141385733183635456000000000000
Deno_j4_jN4 = -284350708434457878230004533590457655350196384807268709691342785231870010846040628165345280000000
Deno_j4_jN5 = -22845504877261669423135921679755950503671745337741203288714922451038268945964355944448000000
Deno_j4_jN6 = -27735043325437798839302728439453523876677588119290691602264842552040812337418387507200
Deno_j4_jN7 = 290287217082042444384084948716910812061651333595472013780088968658000806466800
Deno_j4_jN8 = 625187951821848131753227898958144230164366703711121859863623569039680
Deno_j4_jN9 = -384680202107862068636029931095592605652342582581683746490
Deno_j4_jN10 = 404956355844765375584635907611251651608
Deno_j4_jN11 = 11327366012605
Deno_j5_jN0 = 249233499752941295107820107928284446889800749560157829688982174622108545570367853087948800000000000000000
Deno_j5_jN1 = -343025293532919682606371517592788145107632033809631508714151565349226386200544043807539200000000000000
Deno_j5_jN2 = 82054693558306180032849910134886759176261856548139379317361364320316257352257535737856000000000000
Deno_j5_jN3 = 17194425223092968141352890662499408317790884980345420999985603298224922946008417839349760000000
Deno_j5_jN4 = -2043304534616882005645085360001812406065272638896710779673499652098874324657430855680000000
Deno_j5_jN5 = 9446374976502670936696612873835924922265218485796582099524851257441152539747388006400
Deno_j5_jN6 = 8762983317235858489492628593380030712615240200396581069952192741543794171401200
Deno_j5_jN7 = -1103303169555671708573000542755562338403055170225768104483162227915994840
Deno_j5_jN8 = 730425251378451155174817584204910880871263898949632397975177490
Deno_j5_jN9 = 8183492608046880073086575863855392717779952827955770
Deno_j5_jN10 = 353579980769232755114406237346248035
Deno_j5_jN11 = -17312108670
Deno_j6_jN0 = -1441973279044609958312789887514657026694234107717994128582256945147249921259208704000000000000000
Deno_j6_jN1 = -7193971665930985981393714855623240993196410225277872682874563022742900636156690432000000000000
Deno_j6_jN2 = -3742222819216353683011899508111961624775017074730121772139866559256624105975479009280000000
Deno_j6_jN3 = -195670054342689254925141567564698978479590326088950520301076884936642585611809587200000
Deno_j6_jN4 = 10947936888328112977131263492630755988973089025562461383663669052228543957501849600
Deno_j6_jN5 = 213285402304985487736603294321544407956311950708881444944588741092265021690400
Deno_j6_jN6 = 322391840027995837887521993555521405413600069023398216401070459114770240
Deno_j6_jN7 = 20087205611337472719248124167584874814654137554810089581114226610
Deno_j6_jN8 = -172098767720465612614111179180918442746415506109767931728
Deno_j6_jN9 = -22587982987053704796674709773258261440280949240
Deno_j6_jN10 = 61060242335934150025973354698226
Deno_j6_jN11 = 14256527
Deno_j7_jN0 = 138344863692284725208037045684102728584284664296953747944283158258303107072000000000000
Deno_j7_jN1 = -144969790231764440837271020290935820903142370767912779129038316368476661350400000000
Deno_j7_jN2 = 49677729670391942220958328078124870343063391158721040358834364455506306662400000
Deno_j7_jN3 = -6413490849510360154993153090212431640068132152689854035037127503644423987200
Deno_j7_jN4 = 273064736435761953486368772858618050999037929225511268352289726001936800
Deno_j7_jN5 = -2165986431112617726700501253493181098372438463484904600378194562480
Deno_j7_jN6 = -11861775263923960686698689241750402466497204445810921990536730
Deno_j7_jN7 = 31918649638733076557709861401999652355932008009668716410
Deno_j7_jN8 = -2940911858194720010834932350004727955574121656440
Deno_j7_jN9 = 2999975672206446730217473491119930936368
Deno_j7_jN10 = 1873650146489082434012978328
Deno_j7_jN11 = -5978
Deno_j8_jN0 = -8528659677518895068506950457268182370957460861089155645440000000
Deno_j8_jN1 = -787379318149018550213652039574473594041319116125989450547200000
Deno_j8_jN2 = -10189641944020693910554619240056814091951450236257685940096000
Deno_j8_jN3 = -32790113356579609570971850915400056061251598059922796948600
Deno_j8_jN4 = -31986107263123041646363303711426557172679854056996594240
Deno_j8_jN5 = -9797371192248469210798633461933265860542062025178670
Deno_j8_jN6 = -852127683121030201451633538899034033898804224232
Deno_j8_jN7 = -15322829296154748087483383219110193340413965
Deno_j8_jN8 = -18286889102010763737119061628734910414
Deno_j8_jN9 = 8212481015986690659596086815768
Deno_j8_jN10 = 4241589428517072898684
Deno_j8_jN11 = 1
Deno_j9_jN0 = 98789009923184202811458176679936000000
Deno_j9_jN1 = -14617001905730132798759430572281036800
Deno_j9_jN2 = 432311200505383491335318169806320200
Deno_j9_jN3 = -4732036901093922911251840226635620
Deno_j9_jN4 = 24843275381177377300342037912150
Deno_j9_jN5 = -71385924743284588796961663402
Deno_j9_jN6 = 120125487292815877648738765
Deno_j9_jN7 = -121277808806075031608190
Deno_j9_jN8 = 72152866961219633567
Deno_j9_jN9 = -23280861698516378
Deno_j9_jN10 = 3138428376721
Deno_j9_jN11 = 0
Deno_j10_jN0 = 0
Deno_j10_jN1 = 0
Deno_j10_jN2 = 0
Deno_j10_jN3 = 0
Deno_j10_jN4 = 0
Deno_j10_jN5 = 0
Deno_j10_jN6 = 0
Deno_j10_jN7 = 0
Deno_j10_jN8 = 0
Deno_j10_jN9 = 0
Deno_j10_jN10 = 0
Deno_j10_jN11 = 0
Deno_j11_jN0 = 0
Deno_j11_jN1 = 0
Deno_j11_jN2 = 0
Deno_j11_jN3 = 0
Deno_j11_jN4 = 0
Deno_j11_jN5 = 0
Deno_j11_jN6 = 0
Deno_j11_jN7 = 0
Deno_j11_jN8 = 0
Deno_j11_jN9 = 0
Deno_j11_jN10 = 0
Deno_j11_jN11 = 0
*** Y ***
y(j, jN) = sum{m,n}(`Nume_j{m}_jN{n}` * j^m * jN^n) / sum{m,n}(`Deno_j{m}_jN{n}` * j^m * jN^n)
Nume_j0_jN0 = 332683955236868232984546230575113302242045281303985029699446733196668574863127544054567361576960000000000000000000000000000000
Nume_j0_jN1 = -479267864042328202647745318465139983118105913788160497802276584756480083512721863174030517862400000000000000000000000000000
Nume_j0_jN2 = 173650959130380054344334574961126347458781962716715410604027172312560838827546514987745594572800000000000000000000000000
Nume_j0_jN3 = -14769657005453226542950715235050906538099752999770588048971307294226106824790806402546270208000000000000000000000000
Nume_j0_jN4 = -1081159409643674553049076168376885440917302276511338020824473919619557316873467831105219461120000000000000000000
Nume_j0_jN5 = 112156425321781295537856079943119795209645081471954870225122889529737373786641907904308838400000000000000000
Nume_j0_jN6 = 18198052405301000081903259984929807543804724992746572037289016304915755082609936469852160000000000000
Nume_j0_jN7 = -25835803504314656494948136974439236017020390834768329229257319741180122225333764096000000000000
Nume_j0_jN8 = 43005314697132698524464014714403253644128099775488983099067023628686512944578560000000
Nume_j0_jN9 = -254320630005148133029136092739204448326635637446323050606495328357580800000
Nume_j0_jN10 = 3331550890888722409689202969240190813170210040737920
Nume_j0_jN11 = -36322371904101252369059583
Nume_j1_jN0 = -172000562440287447549157189325884028446090226174187899618710339018721792847807702604653684326400000000000000000000000000000
Nume_j1_jN1 = 393348615952195853791546422524585471376413187402483988320563452529471888918581130691788427755520000000000000000000000000
Nume_j1_jN2 = -206851262258787031191958083679845200581317564949425303901162053712089698175635931840309205401600000000000000000000000
Nume_j1_jN3 = -10827636349266843325605393165556781322404761279966278750734847481286956560143662089918291640320000000000000000000
Nume_j1_jN4 = -3433299170864028714838081005386962628156428952670250728916848834718089623093410851483077836800000000000000000
Nume_j1_jN5 = -30436497508266699931211459255355281364984190764700378340384619638806423324125564302870446080000000000000
Nume_j1_jN6 = -31607681738529217973088495815352856571129859720295552679735622992939592393854849069875200000000000
Nume_j1_jN7 = 103355485282593461671180103150515952799741150181700563507786433040473189478505119744000000000
Nume_j1_jN8 = 167061925581386847061726365043146951462152864072218201990221312212278669895270400000
Nume_j1_jN9 = 276689538944816096246789251360709696822350132339657320154600823888275200
Nume_j1_jN10 = 322508565947840117303078470835364598683525460899071
Nume_j1_jN11 = 5196985871948634936264158
Nume_j2_jN0 = 6733524677219764085208367231091102540144598978111272336518760335192528757231801311313264640000000000000000000000000000
Nume_j2_jN1 = 83712592724315710303558733462046677959871530258685591039905416269665806799387723732652497305600000000000000000000000
Nume_j2_jN2 = -94675130087664730182648806483506570101260761746682051185524014106559795993760314375003627847680000000000000000000
Nume_j2_jN3 = 14831348701337583081743175311440926553773126684069189498833087414517377277734039511569006592000000000000000000
Nume_j2_jN4 = 744218089494483005004172746481123045821505294369905696949572045171573785992782817859626598400000000000000
Nume_j2_jN5 = -5613563278338146348722827104443707198146514579309375606604818735642748948818670851509452800000000000
Nume_j2_jN6 = 20948406405460524105862803101277003370772692043975847046714290892627096348528822525624320000000
Nume_j2_jN7 = -57532165147963438750673800453770674554144726490442791288439657776769689699328393216000000
Nume_j2_jN8 = 90312537540534242393151932110694948849759905321175460842457917112575605575081600
Nume_j2_jN9 = -100769983913664843119849098524352547010089718986293611545702572572245
Nume_j2_jN10 = 4383423478037315038632464249430605396027831901912
Nume_j2_jN11 = -149891596255487291805743
Nume_j3_jN0 = 4251375525604622801312908048909778069236733372974042546699910207600238001034124701165892403200000000000000000000000
Nume_j3_jN1 = 12455461226354775487927194097069209010336420533631784467466649607552279296812182912182496788480000000000000000000
Nume_j3_jN2 = -1973880153522456521533670818590215783799525560352098468209122571001771385409529667926360064000000000000000000
Nume_j3_jN3 = 454989726105048002134385041711338398507562982488301241336466517148108892298972148797034987520000000000000
Nume_j3_jN4 = -94422253042256894891865372024105285840339424286878390950640087815303942732003313997945241600000000000
Nume_j3_jN5 = -192922026001463474837866134969846232399895232435053953554588574835302706965416107877335040000000
Nume_j3_jN6 = 8199094625229911966322795695250953050307254865865693808099748604412717824759776713113600000
Nume_j3_jN7 = 6097646675787782126929590465577044089277949262310338777838735151612692213545223705600
Nume_j3_jN8 = 10077624658662035034330024917705284687538435097256822094872883631438239828565
Nume_j3_jN9 = 14524894548364000320372025207038780749442135797663895247236251208
Nume_j3_jN10 = 14872296337805434570093931978740226094791597932
Nume_j3_jN11 = 1609247931483579808272
Nume_j4_jN0 = -342162004348040562971262527122529594738116319947505020054269224180448394928549630133267333120000000000000000000
Nume_j4_jN1 = 120059433523460144823719394772734102485670481571005958890734014216524802422905986662740787200000000000000000
Nume_j4_jN2 = 35618556228605731525684871124435858842030702909028851420868097407325833113747450122941235200000000000000
Nume_j4_jN3 = -2439294604844284622211671466552655146148652082829282809887422465746080158217284203891916800000000000
Nume_j4_jN4 = -135183026525693899480238832753512377253681599128435483759091107414165844696041776668999680000000
Nume_j4_jN5 = 67366593085935832628780891520453875035481259660686546783600595346949078600441746410700800000
Nume_j4_jN6 = 152115033156779391648288290378073182580612702828027672285662269897630232632305493920000
Nume_j4_jN7 = -107873028582013203573575930152465129865806084121111756253252717461944803038193030
Nume_j4_jN8 = 241886556641335115353007889526834862633921142909080350467071282245426992
Nume_j4_jN9 = -782827316372318668239368999536802675784147155935937836771728
Nume_j4_jN10 = 15410676230145852621841848372300665560322560
Nume_j4_jN11 = -8320339018081817412
Nume_j5_jN0 = 158835293227008814769159342267810707195862818087388486092865399984308815673373028148838400000000000000000
Nume_j5_jN1 = -54485016528432063635869817174174363877835843798238642395681186744330513162934832259399680000000000000
Nume_j5_jN2 = -79522180350288908691659662874643458686036009918175378568628822931669215568174631616512000000000000
Nume_j5_jN3 = -1304821135306241689491794630406288491120581962266886700402805644903039041467821420707840000000
Nume_j5_jN4 = 9297427052179230257327437522333814690210757926559946302338257983420589390104933158092800000
Nume_j5_jN5 = 144531440945295955557363625648273062825676878451046870408901286517540628611049278261760
Nume_j5_jN6 = 925518717944772805222959169880838382098068732576714880031078605409846301103528006
Nume_j5_jN7 = 272541962414123913917850356291351666202678183353945622063923283262938141300
Nume_j5_jN8 = 1086878682977703337070522012408201894108861794583828317870436078924
Nume_j5_jN9 = 13088826389763884354452854520718892420713331050963635888
Nume_j5_jN10 = 5087357090102521482473567065075351425272
Nume_j5_jN11 = 23614474283323138
Nume_j6_jN0 = 2314777253894279301693322746264336259303003008006385312150732832755725910794420879360000000000000
Nume_j6_jN1 = -34570297160061957427176535565087137358052122396651683101906598480518492848448444825600000000000
Nume_j6_jN2 = 37382641953133977236631388631933660654927838368800335986761654823081597446887120568320000000
Nume_j6_jN3 = -19291830184058425745044972463324984508700642984274035723090428450525291858870101606400000
Nume_j6_jN4 = 3190692195672139190104582647447342479655500228935911426095576215952267004821111404800
Nume_j6_jN5 = -76843591379639577164844317168292711896398865344841537297202890001518120845585722
Nume_j6_jN6 = 239115460715887431337928397426434728023477485240218433613836628051978466752
Nume_j6_jN7 = -65514082979612136807308660888983125564886769870187963078479157237046
Nume_j6_jN8 = 663123726636022129984083477855608996713274719781560771334784
Nume_j6_jN9 = -49114234092377808881953715846103184782974801823621
Nume_j6_jN10 = 492349436937917612891702752253386680
Nume_j6_jN11 = -39335329187173
Nume_j7_jN0 = -200301887713247639975552620356506064731957479809775459149176840865356080742400000000000
Nume_j7_jN1 = 66421864188358464433346443966456766214376644782275262185971358860805010777702400000000
Nume_j7_jN2 = 172564434520583866460221408705796007810475116940594589087938920086858402955264000000
Nume_j7_jN3 = 79374231470633067027078171697712362010501255291985338653739386481669553062630400
Nume_j7_jN4 = 8499789372621287355361369582084740368371202992123030299697450251481311317370
Nume_j7_jN5 = 208581017826534860939799243086963952769806850096540814759696144200880328
Nume_j7_jN6 = 986045073056252106402110987295556788524690467844390646292155567012
Nume_j7_jN7 = 636231377643615971021986472691888083303398804680590898480848
Nume_j7_jN8 = 29457153886839603862107395048116555991957680083305157
Nume_j7_jN9 = 24068271269786842184702518524285352001651998
Nume_j7_jN10 = 10819218350669530204521227469503
Nume_j7_jN11 = 39376088200
Nume_j8_jN0 = 965122546800321338625668211445871124494343822822469597326228497325096960000000
Nume_j8_jN1 = -1458178248193450000751679711221635250552664584796331433217145576724889600000
Nume_j8_jN2 = 804436454582298242500567281822478072340093977722141463826112234742646400
Nume_j8_jN3 = -199188414412078441084655005114610818801911591056977483629836797964715
Nume_j8_jN4 = 22148488111651443015358121764738737059720492538517587715032559632
Nume_j8_jN5 = -994777127003849972558119609687967843804144551876691514109928
Nume_j8_jN6 = 14690327033605772974416362779785710076459298871084712960
Nume_j8_jN7 = -51133772947301451110866128807459706976435126165575
Nume_j8_jN8 = 24238953623544724006892605881730975768096832
Nume_j8_jN9 = -574034139091492208292897667192023930
Nume_j8_jN10 = 28967924123158123000272892
Nume_j8_jN11 = -23257824
Nume_j9_jN0 = 29298331977958780331189397222168389316241273651200000
Nume_j9_jN1 = 33446467926794549806703946135752987539536289549920000
Nume_j9_jN2 = 1587728122941329476777314559228966970247522576120555
Nume_j9_jN3 = 14131378888828194537309805192197691741656083849118
Nume_j9_jN4 = 35372414460264222873436661033214684118913691172
Nume_j9_jN5 = 28890545335828359939507654031829364509844912
Nume_j9_jN6 = 7848482999550129996250177388481599205323
Nume_j9_jN7 = 645470833153978444338880003406934146
Nume_j9_jN8 = 12407796599222821042888529684093
Nume_j9_jN9 = 30134934583723581933944568
Nume_j9_jN10 = 1607264687033479650
Nume_j9_jN11 = 7458
Nume_j10_jN0 = 296470902356360916401416320
Nume_j10_jN1 = -374642006356702975698718273
Nume_j10_jN2 = 27209811658056645815522600
Nume_j10_jN3 = -529134841844639613861795
Nume_j10_jN4 = 4297837238774928467520
Nume_j10_jN5 = -17899526272883039048
Nume_j10_jN6 = 42570393135641712
Nume_j10_jN7 = -61058988656490
Nume_j10_jN8 = 53686822816
Nume_j10_jN9 = -28278756
Nume_j10_jN10 = 8184
Nume_j10_jN11 = -1
Nume_j11_jN0 = 1
Nume_j11_jN1 = 0
Nume_j11_jN2 = 0
Nume_j11_jN3 = 0
Nume_j11_jN4 = 0
Nume_j11_jN5 = 0
Nume_j11_jN6 = 0
Nume_j11_jN7 = 0
Nume_j11_jN8 = 0
Nume_j11_jN9 = 0
Nume_j11_jN10 = 0
Nume_j11_jN11 = 0
Deno_j0_jN0 = 103259977220661252070618140483873017424359810885537602177165816948488697799762108111075609149440000000000000000000000000000000
Deno_j0_jN1 = 42973794053652108699792267807850235449697350231030665176669266607080967161344020878491679457280000000000000000000000000000
Deno_j0_jN2 = -39188374187987551662417904474194186192784648379930852531131730344343536496731750848260367974400000000000000000000000000
Deno_j0_jN3 = 5886267576434430779091472639719364713801110068559860032409413983061392501289078147118006272000000000000000000000000
Deno_j0_jN4 = -127807010934030949366558151686993872244009701416212609135082591279118935787745503163900231680000000000000000000
Deno_j0_jN5 = -8224031077223729269082061456434294005106592403231366444533273594554168587722149634024407040000000000000000
Deno_j0_jN6 = 9931368086218942518193436070926294947741258698869472623415640814273396124645212175728640000000000000
Deno_j0_jN7 = -223413485379379692238513639211942728153790919240104977687628738378176280710348800000000000000
Deno_j0_jN8 = 130949471957735165173969765130270062844440421951404378977612232989507154083840000000
Deno_j0_jN9 = -1860537669331621153731387189239296403480672862882465190693021286400000
Deno_j0_jN10 = 393742082172509379309420717217791789519445680
Deno_j0_jN11 = -1600722811756633719
Deno_j1_jN0 = -7288959907028000472660907311374279604762324918758059198893648525822098891857562371442689966080000000000000000000000000000
Deno_j1_jN1 = -13119533258989160463230695209366865096052885184168866631974339742005965988249032606116395089920000000000000000000000000
Deno_j1_jN2 = 5118701837127198587182850591299015747497498614078263441106578739334756529539975748110621081600000000000000000000000
Deno_j1_jN3 = 2381689811328609561388966383262334387625336963436204547777965854251984473060110631754551787520000000000000000000
Deno_j1_jN4 = 181758183794661374798487771345710852095761986558267361629408373311278105693316019886699315200000000000000000
Deno_j1_jN5 = 2544640572040086890338423322628501361875482031846898688888119966800625681362061503422791680000000000000
Deno_j1_jN6 = -3884831216564047228013745655516841091621520487295534714566658798258489187671745128038400000000000
Deno_j1_jN7 = 152496445049550579605483960322232143750895716424229922043325001171864834747138048000000000
Deno_j1_jN8 = 123320092939510525793438932759690670080741299054776102793369088015251133562880000
Deno_j1_jN9 = -442352496530571826308273833701183600670275647584520823260452191200
Deno_j1_jN10 = 32108175319848353976035663995641090395188030
Deno_j1_jN11 = 93273415107420702
Deno_j2_jN0 = -7784784583790114431406841310678945681530317773948875824457653779835163480286565468318623334400000000000000000000000000
Deno_j2_jN1 = -55749552379035124167567814110821317093528476023635062329559741671113329350808275309788397568000000000000000000000000
Deno_j2_jN2 = -1822585733714006993268295262057319302957262669465159221770820457521566319822994475736125931520000000000000000000
Deno_j2_jN3 = 1840861987210864475804443915407740896251151638164695073703781109532228761301522590921549414400000000000000000
Deno_j2_jN4 = -88196610964223419928984742661470967000247638525677131250832395617141965710051130726573670400000000000000
Deno_j2_jN5 = 319718975882151471592105712413613538849575383799975310124839936065239110753663669868953600000000000
Deno_j2_jN6 = -1816269880758162552118138148422872494901719239001802585406949374375752764280343646699520000000
Deno_j2_jN7 = 212493815330757621865008438154326563753203069426055673991285047996384225604314071040000
Deno_j2_jN8 = -13109316777525253585608996991079198387912726543572580611859091705090181059600
Deno_j2_jN9 = 1045823425407871766050148136623495710639231400073122754426666405
Deno_j2_jN10 = 46507990445146660377438577382617917473328
Deno_j2_jN11 = -1123115675946022
Deno_j3_jN0 = 986034760359471575211230215229373631695648853036409970233598206605213768753147862194952601600000000000000000000000
Deno_j3_jN1 = -3157017487351200612849912065496858347288723296046755608055184849770433301438835563259263713280000000000000000000
Deno_j3_jN2 = -446224878209575424250581080193802511013162540117009797978818779630960400549264482208055296000000000000000000
Deno_j3_jN3 = 86215049478634983866968900534894891784227390108852345466341379469322596706967981079480238080000000000000
Deno_j3_jN4 = -9205961272972388493637843397865679748281893566300801672234888578062604986723407119358361600000000000
Deno_j3_jN5 = 164567551537389038463496824871049039642220385351668214619501926964398663192493585533501440000000
Deno_j3_jN6 = 251465590737871451712152204915348858858119070326862319223035062540224275890791683194880000
Deno_j3_jN7 = -5641567703689026543738475611774469371485181424304417716858871078272332235163817600
Deno_j3_jN8 = -2612411350272670563919695136866081803321127328463900037885583608168454680
Deno_j3_jN9 = -233951195822796915749975958440726734645387481357906289199128
Deno_j3_jN10 = -1432752407890610209783891748837739787912
Deno_j3_jN11 = 5003281071801
Deno_j4_jN0 = -4710528691447561019924512157271605422897772026550806505412948557610962895404246993920327680000000000000000000
Deno_j4_jN1 = -12976092700861010070348004154275101718562887675907418160327318202354566207118882324978073600000000000000000
Deno_j4_jN2 = 4775372547072618395430312975905929581697498432596713079252337038139134240068068881255628800000000000000
Deno_j4_jN3 = -4998390541255862771354629058541423789506526857264911312761866603562780173283032353996800000000000
Deno_j4_jN4 = -775947786856878347856796233803491386502170168673221982547344180216857595230245376491520000000
Deno_j4_jN5 = 4401388041589624991219071844081617429342679748490627028322852629553307016017086676992000000
Deno_j4_jN6 = 3008924031017013729100185489582738582793785286454770883234373433770071270102920956000
Deno_j4_jN7 = -154208000222059569146823321631769569888390230990335448373863699782561409914910
Deno_j4_jN8 = -5554431244849897122183298204540806922019294891650319286272102330352
Deno_j4_jN9 = 9914831487030544555794082341587271106043760872426751630
Deno_j4_jN10 = -1467463342175365609341426739493906806
Deno_j4_jN11 = -10281486626
Deno_j5_jN0 = -2224433934629675604637228013778675960046098069100526554987145328952801303520661272002560000000000000000
Deno_j5_jN1 = 22896332607495033512375463066652944845123309677652016970226554806969438373973593455329280000000000000
Deno_j5_jN2 = -7618372918475720529615089849099064430337250533227478966797625943244678553105676946636800000000000
Deno_j5_jN3 = -3694557995667379747059964135695659974870852962610660311741673685923041670839580502261760000000
Deno_j5_jN4 = 485577258418393206506517447030152718873669925463844607656434446111817338532314231603200000
Deno_j5_jN5 = -1135871470157847901306590025611872677319986480105499268982925226426175513947830448960
Deno_j5_jN6 = -3918527049015227803248735792521579128111622984675010485408982296656400525603532
Deno_j5_jN7 = 143681133593659002505800623568479679131811071654048072678488493455862100
Deno_j5_jN8 = 180716893267192584993909561094292853255877350859802002606343380
Deno_j5_jN9 = 87157677891424493890830479489991078713481042626171
Deno_j5_jN10 = 1555420747036877041358866704831351
Deno_j5_jN11 = 10536884
Deno_j6_jN0 = -177934511240147234425399052553423148901425443023941944234647359238313209919763906560000000000000
Deno_j6_jN1 = 293924053421419006613271503151240942398146152753779449638081859703757563936479641600000000000
Deno_j6_jN2 = 1023922969725781535333206609889955927408986915329129984116881583946196069105774100480000000
Deno_j6_jN3 = 132944562066534836620117744462996351046197532905421524881924113052573058187809259520000
Deno_j6_jN4 = -3066139492168663607915868331061174998557071386115030624175792860621389706468368800
Deno_j6_jN5 = -86538420709033695379109943602716524172139925341544273817191525452894845644030
Deno_j6_jN6 = -72743067839598466109626251819446806454279083821901189106224298774763312
Deno_j6_jN7 = 9292276723863394593286943986705519502465572379243970454612746742
Deno_j6_jN8 = 74817735125940919715231083290209148811984402282774816716
Deno_j6_jN9 = -1764846810954867046813163832974094683185696449
Deno_j6_jN10 = 879851360107932909311936120723
Deno_j6_jN11 = -5229
Deno_j7_jN0 = 91808742699089737735094665602464344573154961340469491357076485540602603110400000000000
Deno_j7_jN1 = -35276774646207670061603762758773032113966385654835841104340277778679490150400000000
Deno_j7_jN2 = -11778038705495649295177934712048042850298341319550995386252927246536745943040000
Deno_j7_jN3 = 4634675503010817953783649604734158986030894168605167650545838988363991177600
Deno_j7_jN4 = -286734765930156045487115103219750148337140090457896369806727263664947480
Deno_j7_jN5 = 1559930128554165615395898689141696456505884003380842568435138702632
Deno_j7_jN6 = 21343946304716247650744478760491253373785652041322284437787056
Deno_j7_jN7 = -22125022214709649826385429672262889103981635628566992817
Deno_j7_jN8 = 5205329195401025311447739390735032771596996846
Deno_j7_jN9 = 1008175063632109508530001757715881693036
Deno_j7_jN10 = 63537111567543439839003001
Deno_j7_jN11 = 1
Deno_j8_jN0 = -2446284682631071338073918976711276364040107814576854726082560000000
Deno_j8_jN1 = -115047566915389575374294469877274424200306093935964669983457280000
Deno_j8_jN2 = -684220070346765908359460207790713244460430989318550475957104400
Deno_j8_jN3 = -813564444359283207106222355041681043446309927347803395497195
Deno_j8_jN4 = -141902351209116456608046574673438314756165497293631044112
Deno_j8_jN5 = 29606548998571296901008004954302090095179515874811618
Deno_j8_jN6 = 2929041775370181293280872116929868006396165213706
Deno_j8_jN7 = 11073220620961593415671175786129947187226949
Deno_j8_jN8 = -86871685848462821150194499097106799993
Deno_j8_jN9 = -4775938333179360951098883456156
Deno_j8_jN10 = 405610852860098056644
Deno_j8_jN11 = 0
Deno_j9_jN0 = 54140993056028781824415948465271603200000
Deno_j9_jN1 = -7172219750869616001516236516386200876000
Deno_j9_jN2 = 147156820431510540973644614292617016510
Deno_j9_jN3 = -914889457615955640615333459899625858
Deno_j9_jN4 = 2001811347691485479139709456755908
Deno_j9_jN5 = -435832184865590457799505709795
Deno_j9_jN6 = -4223471165422940406499230047
Deno_j9_jN7 = 6092989940405128888714884
Deno_j9_jN8 = -3292870505484554233635
Deno_j9_jN9 = 620882729807575917
Deno_j9_jN10 = 7962789352507
Deno_j9_jN11 = 0
Deno_j10_jN0 = -18674945712720
Deno_j10_jN1 = 25937424601
Deno_j10_jN2 = 0
Deno_j10_jN3 = 0
Deno_j10_jN4 = 0
Deno_j10_jN5 = 0
Deno_j10_jN6 = 0
Deno_j10_jN7 = 0
Deno_j10_jN8 = 0
Deno_j10_jN9 = 0
Deno_j10_jN10 = 0
Deno_j10_jN11 = 0
Deno_j11_jN0 = 0
Deno_j11_jN1 = 0
Deno_j11_jN2 = 0
Deno_j11_jN3 = 0
Deno_j11_jN4 = 0
Deno_j11_jN5 = 0
Deno_j11_jN6 = 0
Deno_j11_jN7 = 0
Deno_j11_jN8 = 0
Deno_j11_jN9 = 0
Deno_j11_jN10 = 0
Deno_j11_jN11 = 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment