Skip to content

Commit 8c0fb55

Browse files
authored
Merge pull request #227 from mohabsafey/sign-coordinates-real-roots
Sign coordinates real roots
2 parents 5a1bbdd + 068ea91 commit 8c0fb55

17 files changed

Lines changed: 504 additions & 302 deletions
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
[0, [1,
2-
[[[-121722272026806639175856903448929079302848245474621385201239705897079472942038956314423425753112602377323173273174623183253070934886329550162115952343737243158086979185162746275824177474560982414644740502255844544648901616361099177697297175384973010766534875461537061482054482628866692571871217860524253137660670103 / 2^1024, -60861136013403319587928451724464539651424122737310692600619852948539736471019478157211712876556301188661586636587311591626535467443164775081057976171868621579043489592581373137912088737280491207322370251127922272324450808180549588848648587692486505383267437730768530741027241314433346285935608930262126568830335051 / 2^1023], [252984634308875205806967596955718077650558918408715819253084888140725924207082192196031120855505004873563811770654313903159684496722108827746523775474053335182918310694389344612271370978919546452867868777549561023444186404465571443864425337398327435421017000697036246972830310025928915784766084100646684762102406757 / 2^1023, 505969268617750411613935193911436155301117836817431638506169776281451848414164384392062241711010009747127623541308627806319368993444217655493047550948106670365836621388778689224542741957839092905735737555099122046888372808931142887728850674796654870842034001394072493945660620051857831569532168201293369524204813515 / 2^1024], [1974753744297339254025542889635096362532383855582341518499522801642374084092110859263964427763533465989029469814452603178688540020753960481831921556427738414024151152302576007040120358917118165579307881644576209105210581038098050471546721436117420459659492440224046057894899482864113381959777192895928395858673591553 / 2^1024, 987376872148669627012771444817548181266191927791170759249761400821187042046055429631982213881766732994514734907226301589344270010376980240915960778213869207012075576151288003520060179458559082789653940822288104552605290519049025235773360718058710229829746220112023028947449741432056690979888596447964197929336795777 / 2^1023], [-3, -3]], [[-33764749602400856733933461153049947678983289957234152326206136077169369991412129897598343572515924596883356549908497836678013861494551913177338492718140168594837311271339554498762604718670104453446074892261857800275299222964158913199243930913478850318409387044534705527482745161921630076444010545190557574399 / 2^1033, -67529499204801713467866922306099895357966579914468304652412272154338739982824259795196687145031849193766713099816995673356027722989103826354676985436280337189674622542679108997525209437340208906892149784523715600550598445928317826398487861826957700636818774089069411054965490323843260152888021090380922550793 / 2^1034], [-249967288607545985492469579679352716064965676298922636998958681335186834673644947602622708260426272361634763756988142214654561158631728697204525322943166502072646456871044209853091752602791185582874682693267028594714320389489307422490311952625901651248952860227656404507466188489052299759433704505472377036519 / 2^1031, -249967288607545985492469579679352716064965676298922636998958681335186834673644947602622708260426272361634763756988142214654561158631728697204525322943166502072646456871044209853091752602791185582874682693267028594714320389489307422490311952625901651248952860227656404507466188489052299759433704505472276963713 / 2^1031], [164728499189295132708452563689169255855432794064864268543703854513401726499052515055266143836985265829308451722443651337092032433466631877233222764362444277754414091562389230171640921845792211347928326750849054580017358873265240566433165179931340831531052623188469724187502218022915587121591839148153547773645 / 2^1032, 329456998378590265416905127378338511710865588129728537087407709026803452998105030110532287673970531658616903444887302674184064866933263754466445528724888555508828183124778460343281843691584422695856653501698109160034717746530481132866330359862681663062105246376939448375004436045831174243183678296308657848779 / 2^1033], [107861588091738954463758311447341484017078618736538394364058048694639605483300577879625086393444521612672068327922836014595273861288649973495708458383684474626660736054919291165781331760747656471671849771251003461302890409405477728884347866324496342298010306410751778943968347563087829782901213797774534482329 / 2^1024, 53930794045869477231879155723670742008539309368269197182029024347319802741650288939812543196722260806336034163961418007297636930644324986747854229191842237313330368027459645582890665880373828235835924885625501730651445204702738864442173933162248171149005153205375889471984173781543914891450606898887267241165 / 2^1023]]]
2+
[[[-121722272026806639175856903448929079302848245474621385201239705897079472942038956314423425753112602377323173273174623183253070934886329550162115952343737243158086979185162746275824177474560982414644740502255844544648901616361099177697297175384973010766534875461537061482054482628866692571871217860524253137660670103 / 2^1024, -60861136013403319587928451724464539651424122737310692600619852948539736471019478157211712876556301188661586636587311591626535467443164775081057976171868621579043489592581373137912088737280491207322370251127922272324450808180549588848648587692486505383267437730768530741027241314433346285935608930262126568830335051 / 2^1023], [252984634308875205806967596955718077650558918408715819253084888140725924207082192196031120855505004873563811770654313903159684496722108827746523775474053335182918310694389344612271370978919546452867868777549561023444186404465571443864425337398327435421017000697036246972830310025928915784766084100646684762102406757 / 2^1023, 505969268617750411613935193911436155301117836817431638506169776281451848414164384392062241711010009747127623541308627806319368993444217655493047550948106670365836621388778689224542741957839092905735737555099122046888372808931142887728850674796654870842034001394072493945660620051857831569532168201293369524204813515 / 2^1024], [1974753744297339254025542889635096362532383855582341518499522801642374084092110859263964427763533465989029469814452603178688540020753960481831921556427738414024151152302576007040120358917118165579307881644576209105210581038098050471546721436117420459659492440224046057894899482864113381959777192895928395858673591553 / 2^1024, 987376872148669627012771444817548181266191927791170759249761400821187042046055429631982213881766732994514734907226301589344270010376980240915960778213869207012075576151288003520060179458559082789653940822288104552605290519049025235773360718058710229829746220112023028947449741432056690979888596447964197929336795777 / 2^1023], [-3, -3]], [[-11855206750113502103311882662209982064575230534577529423462242275842091439842813214031337036221924814437879130371418472770149651281421671062025062338772776474389722140089795968182576295998995858971790395717140300973635234472493288476256447928440277530740102637963484726595576292634279100763694292326663036702607427543841991927506802326057628760700178593810835827803491594755224586488438286417795818513476022179774186591106108926429614085371372017654174291965272414486725787665842213619150037367207212182764917655436072435576611246918873636658140669435974032330096298896498727882911020853377752965450048535834260147 / 2^2048, -5927603375056751051655941331104991032287615267288764711731121137921045719921406607015668518110962407218939565185709236385074825640710835531012531169386388237194861070044897984091288147999497929485895197858570150486817617236246644238128223964220138765370051318981742363297788146317139550381847146163331518351303713771920995963753401163028814380350089296905417913901745797377612293244219143208897909256738011089887093295553054463214807042685686008827087145982636207243362893832921106809575018683603606091382458827718036217788305623459436818329070334717987016165048149448249363941455510426688876482725024267917036031 / 2^2047], [-87766499740221212517055741548149918006923791790721323169884042413368942724451188047450970152683820775740399780196624716394452867849910116336425427687673643829485166464757216313191244491987656373837024841590404594195192941518972356717040559527627312280393327618747555137249240070309120250567722314956827374258441221047502360508641776665692884847270085262687211927307499288788186778792717534165771409919099948678060198017463786809808646143167440312090720089060080142122607468007960787878667366584876801598178103165656962197600427467900872554434459692495667541631520205269921092731388559652033095807227249814995964517 / 2^2046, -43883249870110606258527870774074959003461895895360661584942021206684471362225594023725485076341910387870199890098312358197226433924955058168212713843836821914742583232378608156595622245993828186918512420795202297097596470759486178358520279763813656140196663809373777568624620035154560125283861157478413687129220610523751180254320888332846442423635042631343605963653749644394093389396358767082885704959549974339030099008731893404904323071583720156045360044530040071061303734003980393939333683292438400799089051582828481098800213733950436277217229846247833770815760102634960546365694279826016547903613624907497884531 / 2^2045], [115676285979987668623791853160363481780249228052280811113422561272838982588733358466669492460248451015256978427094642819088814092288836871382049080935273195076047762827925232128661583219642515276453237947125599264787184185526438494497717312497778937446677379332799956583765488158033876811672963391606709022398459007020002160201998868524558142645197788338793216534542662429367113547729039548846155349276301633468174074766226108267439001687312584883723979919129893994234052124557922445211440504776986722123528844760054064954063311530233974931001715413080554431331264125877368320914425991569952546803305119145589184781 / 2^2048, 14459535747498458577973981645045435222531153506535101389177820159104872823591669808333686557531056376907122303386830352386101761536104608922756135116909149384505970353490654016082697902455314409556654743390699908098398023190804811812214664062222367180834672416599994572970686019754234601459120423950838627799807375877500270025249858565569767830649723542349152066817832803670889193466129943605769418659537704183521759345778263533429875210914073110465497489891236749279256515569740305651430063097123340265441105595006758119257913941279246866375214426635069303916408015734671040114303248946244068350413139893199029519 / 2^2045], [19390203642786604380428926013201971176266461601829290419278207256514793083320734535918320846913748078213230776553138811696471735490294552657052891431868969872378526420380597655050118650233791264077634583030440540966075331185571853697102856603085702282348987511221783025732545534924639485164531439474358231313148600033801005452410984871938741696913705621195793234846683395598615715625076188490155155718506270035566162231077114414559010691380987542642218567939972338736275410826492125835094261036158794081807125548394018761027598361011799182929315099833662401326161281259937762787191087162971288916133512166635757738393 / 2^2048, 9695101821393302190214463006600985588133230800914645209639103628257396541660367267959160423456874039106615388276569405848235867745147276328526445715934484936189263210190298827525059325116895632038817291515220270483037665592785926848551428301542851141174493755610891512866272767462319742582265719737179115656574300016900502726205492435969370848456852810597896617423341697799307857812538094245077577859253135017783081115538557207279505345690493771321109283969986169368137705413246062917547130518079397040903562774197009380513799180505899591464657549916831200663080640629968881393595543581485644458066756083317878869197 / 2^2047]]]
33
]]:

0 commit comments

Comments
 (0)