Skip to content

Instantly share code, notes, and snippets.

@edgarcosta
Created June 7, 2024 17:05
Show Gist options
  • Save edgarcosta/ee2aa9a9d6c07feceb689e3d4fdceb7a to your computer and use it in GitHub Desktop.
Save edgarcosta/ee2aa9a9d6c07feceb689e3d4fdceb7a to your computer and use it in GitHub Desktop.
L<nu> := NumberField(PolynomialRing(Rationals())![-1,-1,1]);
sigma := InfinitePlaces(L)[2];
R<x,y> := PolynomialRing(L, 2);
f := x^6 + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-542408078294515535220827139572326432750541018047101605937544020321824834961935983007257719157210288106304876707200529890905026275353163812401173896631794710462269403386890592578125000*nu + 9759410210076552760162389122197190275726675735661709686853610219348767948327374875605999530079934945901823567735612966273093447524939780987989216217556943851772614698267038443238712890625)*x^5*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-542408078294515535220827139572325669773932684953195596316655383474460012874601115560725013761238551130008312957029084208408221604787008528565000883815564220330232921043047008203125000*nu + 9759410210076552760162389122197190281180969227561325557647266660415992361422762301029960106769306512540335450709171558674742653448881931769530046293943403312303415436758484895545850376273)*x^5 + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-2709024659196012791249023894862371228614928192154748103450230967923008793051746687581897294552522833458318142467044775808366178301897062661423836299336943523287901243592572171484375000*nu + 24364229447395650429890368083996080370373496167700699207107371226712385040888647039217852036641432203618086891969539450900300724465892846691296874524946391580077794182947479201770833984375)*x^4*y^2 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-5418049318392025582498047789724740171730366565702959168730059312792522596448660571359205269240028132512654292106112509980796933186939876064693465703424560196746822342603617450781250000*nu + 48728458894791300859780736167992160757087267506410265764269071461115637371121736348614880580840568277390398480082656649671267062223152788553690111015209171381427456233005950965270042968750)*x^4*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-5418049318392025582498047789724738267719180913643375135370101008162716118596028760809637761644143164806958830259165732314491705491746032188160722931347865268438522595843933000781250000*nu + 48728458894791300859780736167992160770700395931469325178926572248272892421442361450735979135247850418644863705589714885539152669267889443106437096952317053475671032210968468737165894549190)*x^4 + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-5412023788686450827604783787843734653233277109971333670996241321156841554111691729110636618248439142308922121907241552117829389477293242343461154879939924061718839560839843525292968750*nu + 32439974795947637706140117486713537818650168724108130279511361087710272930224764747508969100594720936652696508141438853477688373418419802688519666922326511386519537205253488638232037109375)*x^3*y^3 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-16236071366059352482814351363531201677627025651392774621296797910763775709535025614904895520050192070691040586790621823457459744355667477764723554288492664408447045573204808783691406250*nu + 97319924387842913118420352460140613472268206346384562988527376653884588965610221014759148210691822285699718354243789469958544938239374702287340307746165143498731664349833799610482548828125)*x^3*y^2 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-32472142732118704965628702727062399933858184855046364978294945027640801008297368486858057030642642196112620612133026501940830352267337581627204391321955776688389635000070937429101562500*nu + 194639848775685826236840704920281226969001675455385036602014175585431284636420074438893189985420111587805582020054735885032716705801296445432695048468043311565173500234258770331673785156250)*x^3*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-21648095154745803310419135151374931706559991516649140654585922977116578892302256632053445269057461669071937735314073090254549424578920380889336126308534722772567447420503439542578125000*nu + 129759899183790550824560469946854151323985724879322643690530426942920907198199062882917091243315001355556789508430939402644099989430427836929481563803779576033305616804973335542383406238040)*x^3 + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-5406004189178295940991306740908497174348077537890683227819110409320475593961880405819056769277855557227156847357156095842999132148679944734452790786527484590062148349852943420410156250*nu + 24295780408291314744989512828400146082179835156353328121777904201389390790462297143212601199987180057450114145944601131151474629835691671914682575579989119813740421421507654308319091796875)*x^2*y^4 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-21624016756713183763965226963633987937842386721234824233174332587259682273283456632356911212649708856270114700871083441844131295725267444299170012868314808823680096344740533997265625000*nu + 97183121633165258979958051313600584334151059107098929024904621271115168268919559417195664836346197653463030560555519968008722356231295784809746464928864514156881139806928613430269148437500)*x^2*y^3 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-64872050270139551291895680890901962675913792711981359861062633638065760988558199710526293211911549129012668926406178917396812400605551453614416542947222591749689534424865243834765625000*nu + 291549364899495776939874153940801753010589482679323550613096230514641435040501827398506654163777195493505999197088169779471898670367416998771397229123724842506815255416443162033892570312500)*x^2*y^2 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-86496067026852735055860907854535950048657479981141268871416776502353341595750169679943430827639961028576810353483880480809332216146471077847357819378948303984772273481506534857421875000*nu + 388732486532661035919832205254402337348784273531344376381147128111388212523148054401595189194379099707515641788145355745862409285172799252601143910125460816182973409049011005285590000000000)*x^2*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-43248033513426367527930453927267975501614262581110226341424795875957295213822872646556089129429863057700832099915274285510631219061093557646330317630290050121586102454590285928125000000*nu + 194366243266330517959916102627201168670980407951359357534923070722016904698415179294634063464185834898452074967679657978777724282005488677765718784801185718585160338715657555593010607426360)*x^2 + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-2699995257609581880824193098891114692895488843537576101178747219736850010031905465111177700187539510927079067822416894281585421491321807190858122858985523930785673426741905212402343750*nu + 9704650926352424647205449253773339734632215274126092950542276305625272224216279583507747152443918286500981206289748943976616579831318952849930706209422522251203405019697135504913330078125)*x*y^5 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-13499976288047909404120965494455573464477444217687880505893736098684250050159527325555888500937697554635395339112084471407927107456609035954290614294927619653928367133709526062011718750*nu + 48523254631762123236027246268866698673161076370630464752711381528126361121081397917538735762219591432504906031448744719883082899156594764249653531047112611256017025098485677524566650390625)*x*y^4 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-53999905152191637616483861977822294237684738585915476362625998919748110251920141797683211935981646904860837700727108356395641046261162311136483032318608043383997717062173724090234375000*nu + 194093018527048492944108985075466794689928446241679050741949023879726641930790406247982313030679627018188337137406421157830919678182114508423106042883996427573108373333493711999770210937500)*x*y^3 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-107999810304383275232967723955644589804296590225943334548815222101815098296235076112836137739662126775312390296991706693105676856254878270778110039330195753526406638807913700733203125000*nu + 388186037054096985888217970150933589370353263867825216087478146610900887828684731371626792730973270812029995390410234171316648334085847097062661536131775586120642259486364209413537062500000)*x*y^2 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-107999810304383275232967723955644591512428159097296753985198567738705071365727258692487331749373485554168996917931553809465265448844182212377618512575749365191934761694598739338281250000*nu + 388186037054096985888217970150933589358137533466283409511597456561916515051207600531649072849007753409977680667533756068489546777916288629165058375049847883749677160307188554246505328125000)*x*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-43199924121753310093187089582257837363836579991739110200704416364976230411436853084686122260984848321791229058986304418557453051198022726541432648603109488723570383497063041484375000000*nu + 155274414821638794355287188060373435737827803850628411774168834158025191886863975837432502735215814043410988297563157317839892819348746902171051997990691359224364589036245190486210881639728)*x + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-539398276216239835325520280371318765332547908808905934544168025095146898977941240202252012069925918240675353377687340975352686006650841057322571235756848738279056417548599243164062500*nu + 1615168116954163599234088519924505964351229261912458989434411759241590396384547031761566529771343885258154161819990264000538039850281531920796421594439435456064294795387259966278076171875)*y^6 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-3236389657297439011953121682227912591995287452853435607265008150570881393867647441213512072419555509444052120266124045852116116039905046343935427414541092429674338505291595458984375000*nu + 9691008701724981595404531119547035786107375571474753936606470555449542378307282190569399178628063311548924970919941584003228239101689191524778529566636612736385768772323559797668457031250)*y^5 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-16181948286487195059765608411139562959976437264267178036325040752854406969338237206067560362097777547220260601330620229260580580199525231719677137072705462148371692526457977294921875000*nu + 48455043508624907977022655597735178930536877857373769683032352777247711891536410952846995893140316557744624854599707920016141195508445957623892647833183063681928843861617798988342285156250)*y^4 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-43151862097299186826041622429705501163308005752185149040358266253443233576354960466936884643555597344867485546168525532900892777792946256699252269670731638267610471982665336146093750000*nu + 129213449356333087938727081593960477148550984159803853866235691111457032136352960111287427384740633939290880776997314073659945174429899978426298407772563839393636871474388963651995492187500)*y^3 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-64727793145948780239062433644558251460130787341904757806249108486406517826070916328810583516160253502561786061043710446278389704363374759559387973151924283825202521578496289337500000000*nu + 193820174034499631908090622390940715724863370670337887001025913341769650119680829233560613590760004942809786406787389401765976700478048379071078672637186272178675102506920194051865531250000)*y^2 + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-51782234516759024191249946915646600712374675815327061038138021359111882199318294068496877294251174778466321235700443792105992623769028406864325688354862349338220919029994287659375000000*nu + 155056139227599705526472497912752572583149727625281679523496533352750283159986885893455646894446490408445373511496180787454475662515556161547472635675093838684091754478074952959688093750000)*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-17260744838919674730416648971882199984274917461666384120011970769696554074617788397800379889510175654013506586888647787283878448309486311073420563925805493521915075812306640440625000000*nu + 51685379742533235175490832637584190862860482035655765353763179272769296088793556944160398854275727222191673443805336658787141809500773840640971412198903296220359549452991658388590298925856);
SetSeed(2357842530, 174257);
RS := RiemannSurface(f, sigma : Precision := 1010);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment