You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
142 lines
16 KiB
142 lines
16 KiB
#include "exam.h"
|
|
#include <cln/rational.h>
|
|
#include <cln/rational_io.h>
|
|
|
|
static div_test rational_div_tests[] = {
|
|
|
|
{ "7013212896988366906/12397903473277899947", "818833870013215068/2125577647443895255",
|
|
"7453564285301859120853045020886215515/5075911640537211768265804260348400698" },
|
|
|
|
{ "-15781329068048599432/14942574238341613337", "4388772934226358350/2640112802717985697",
|
|
"-20832244458230302534551181278529162052/32789782692450857054331267544650656975" },
|
|
|
|
{ "-9015230453321124271/17425619133302730035", "-10422000746814766599/14972344381173680534",
|
|
"134979135022768387806775446187867640714/181609815620990738305316999098032100965" },
|
|
|
|
{ "-14741075237791868512/12448692140900938227", "-1090381863721238817/1060836378253796023",
|
|
"15637868866825840780217685066084527776/13573828137487503515304766902031557459" },
|
|
|
|
{ "-7371815071140740177/4722722556038701367", "3872455829192658988/994203944294825175",
|
|
"-7329087620340161131469364260313555975/18288534491791723206480607737200436596" },
|
|
|
|
{ "-9856364379969390509/7988230468709836259", "-7208901117187058135/7430860779232874136",
|
|
"1093153305924514768551484985555671272/859497963436269188803272225817371895" },
|
|
|
|
{ "-16740689272507881147/56924866550406451570641164619431212169", "-14712532880452686095/143481612520580129383584255576273223983",
|
|
"2401981091525408257128502717450566513166280001357873948501/837508970838236191644285394369194561392491093277901090055" },
|
|
|
|
{ "1874027699956565000/65960003455647360668413772300355814843", "-172394881832672950/2006879686300828197846469567507151887",
|
|
"-75218962452157875130617756878839223573611935155763100/227423340028380523596387094039260091189651621559491937" },
|
|
|
|
{ "851521912886492079/58839621451933520132430725102159653727", "-5525838657334730480/268863138354222710211869290179088409033",
|
|
"-228942853876053297959532391872114722003932597144466549607/325138254802036127673497464266072288930584674567672498960" },
|
|
|
|
{ "2130823024472312937/30463932363736038600114358208342163020", "413938864244113775/131673792970459944919771618253738144891",
|
|
"280573549781056638388629087822719475587456644826399754867/12610205563054396144647765193069861697742251186477600500" },
|
|
|
|
{ "17234694073181371137/253506951459931119968572673772742357160", "8407879684613951161/42697666588937447817581914537644794355",
|
|
"147176244259806896721181660841298454615950364713859506327/426291189417673978158704851675227114861497071554451732552" },
|
|
|
|
{ "14739301038477826821/4801125431810347467140397350459581435", "-1752125940488995048/127905197451270157484305628763539243969",
|
|
"-1885233209620217720514367144506571751170505057476450692549/8412176412616337518572109406238500578932979745867733880" },
|
|
|
|
{ "9194848570227974720/45448499872046683203864930109076126035374684748838016011669264943000310475483", "-4572473918523931944/28941042619577200519536336906341131911598596429670188136734086846500956354149",
|
|
"-33263563043940787786171015409141766453199063320923723716765930467953050399983260590187417389160/25976510037621464639740779963549572814837984766154635046133743883024710122710674726552171566119" },
|
|
|
|
{ "-2662376868940711929/2674240208804755702377222409224408783678596883960539287029565653749020338064", "-5046618244273151929/26826013625152995057141957222948811537350409769204161465077735924332004069058",
|
|
"35710479080747854012875521001477955195584454274704368888444222736697434540936425667291700196441/6747934713661461716612153292457811722283965560031580498434684530869001786777260513409206862728" },
|
|
|
|
{ "646980248518054663/28444849537262537816809349756569888989442483441699293309597267649158853799707", "-10174938507557455325/16470612178414296088079890015341965945714023680627341561729034923083435428747",
|
|
"-10656160760434978971303471120231114671340660575734505071429575384684610862775940451177787597261/289424594898370460244167952344748286246980979584479610186308309369583658143095854438992150589775" },
|
|
|
|
{ "1268676597518744714/6024937921458004492480888468749320142603908196076058575752452561172018490893", "17823595902143962912/85935047374548136904062562443188289405155329832270007415035044821925251080203",
|
|
"18170630585125644385503771892175817370913744757273904248648000044618805359154885235028182716157/17897676474595109057512045856227678061218241143085827332930191066967148125532813505892133626736" },
|
|
|
|
{ "-3035741006152688190/58890268425224581569217175195410848521985674465189565646495474378301884202047", "-4870935665435665519/47998868922405332801456101880162843269583282603435159879276723163289928325531",
|
|
"145712134636693761356266465698326002831562744975420904782663360472436650653549187025441059178890/286850708819506259357726384810790881448875152111132928069815447961129371272624891025817707117393" },
|
|
|
|
{ "-4420263280205408439/38682162086456801604593696710774835436326970692840048042132553053971380151628", "-758651402628235427/1755534012040040367913026343944696058732638465867705260088080517539506722166",
|
|
"3879961265286134914514096239640695384126081133972137242327715997675029567458817030555062379437/14673138261791601182714628661554161812345431143865809776872034934342213839184709418896670662578" },
|
|
|
|
{ "-312487180249669742743295380499853180353/9828632991038934281", "-86131955660561774942466932680637336739/10268762916730341592",
|
|
"3208856768501438660232746468300370677374054716853273141976/846559380988100144557815474234956961169507773676687849659" },
|
|
|
|
{ "105376075880566042097567073713047434893/11411565636673693365", "-220737802783327232867818580441304577024/5817406274606660773",
|
|
"-613015445021032499619145665530563205764250055719854552289/2518963924957071797477174332253152325843619212749200245760" },
|
|
|
|
{ "-311533429150518992652072799089375050497/4403073054828470603", "-320230219907951760832723580313293021909/1370493254961533625",
|
|
"426954463345823097468320537904981772054351338526938461625/1409997052618498081840381197699863669488222338862641441127" },
|
|
|
|
{ "305676222727436457375950609916137360009/2001517485431820526", "324338803123828318219640932070020543912/11123178903397935211",
|
|
"3400091311912189654145957985944153094384781502787164376899/649169785656371151621897383467144093766684841422885937712" },
|
|
|
|
{ "8845112929712368402815105446090151026/8124751572615311799", "-107609110538267962880281203537194473336/8714443449141779053",
|
|
"-38540118213625599008519681983731393728094066419546629189/437148645036763776481446937412401903340367189496615845732" },
|
|
|
|
{ "152921217721894690043853278309581658066/11705615305395353865", "184187448038871874764725486848823516773/4171619104693691390",
|
|
"127585814672335876029018138907883882524550368713261650348/431205482165106014329333719781838993214328411764819575529" },
|
|
|
|
{ "16414254293541341780725162107696242521/155838132618727968561620486302365154071", "323320173010032367023620851618405869489/49801924105617352177018959505967933104",
|
|
"817461446577249670665800625691379410535771218196808189195363718417488315184/50385611999847495177988476252475899813264458225659097815552272081452203039719" },
|
|
|
|
{ "-188149667625860588508273820953820709614/21438745582767797684161462130971215025", "128458309657689922121539794960212789849/134174286369366827879740776978166655691",
|
|
"-25244847384333405496229128525982900130397411994350175944375943735942831513274/2753985018743617742875555653653797261370358442640799457019039857068516281225" },
|
|
|
|
{ "1218460641064115152742257147372113443/1773382194117714970762642066492794929", "-105212349758139121832338365854603836112/35045896682356785176328011712384921341",
|
|
"-42702045738251194875426595475683618047253961691478453648029952948483687063/186581707662369193907913729212042024270164277319717456729276609131940676048" },
|
|
|
|
{ "1467722271775252460214852151179762687/1747611358981474614363356529179985509", "25495740211005247928144692929451604259/29615224810946461612486375021101910565",
|
|
"14488975012885720730598332784736375353299643425098519766594278819666029385/14852215066131169889445443721709162270198753408805825268529301698140894277" },
|
|
|
|
{ "6278399735526726207674375684072448068/13890681759576280617381650633747782321", "-112063146811220963294237186476216238443/46495820670393894026441353693945662660",
|
|
"-291919348200099113895651901892723884699250237261456280525601785996696740880/1556633509331345870779770006255469001211806559199158615405344674499795966203" },
|
|
|
|
{ "248406099260780863433196593538936526373/315762135750029127758352280023694126018", "-24578051912523675039725210046249323571/3033769619337997374435389027823294736",
|
|
"-376803438597807975522050212312559316811899647514236724224019181136008036264/3880409082236781853269738100403484871805889674074731389226471480469265885139" },
|
|
|
|
{ "-305871752543087256004326578375555909668/80170799467978436032303243749692785696371676780847080230403479135749775915991", "-208573266832391890136462745593008906685/96016271562601269514856687672805175650907293023094157826925793080307407361434",
|
|
"29368665255505841438632782694581946057561031972462112644657516768267440383833513431444679871238206541553985530943912/16721485549600848123731461311227384049611071114404954309505697259277905994635125654414916826332204568970567318299835" },
|
|
|
|
{ "-171651126582338417143004525987733942986/48126955023093310081685702171788275811688444573315712039582092051531229683107", "32570134112026732491936310765048378699/18584159151613423191553551933672204731023422884196280183931777685641069715348",
|
|
"-3189991854959918631828923606391779823799241149346421336570141741355492000935500642040047513113849334779592681149128/1567501379505627719887579027549074087653888429037997616626567546431482074522690424133509833932668944596793898937793" },
|
|
|
|
{ "-31304786393644787215292629624842492472/10539846271603297974613179098685212701091372728582260780054561526149580513583", "43496364289252206338797704034889660065/966865502932307025364733802774045297740949567802356684866342045679773834966",
|
|
"-30267518040679809082934454680954168768135550720881039440573156734314284479043791824457029301083428211405425375952/458444992982373700837242411005687390212275114474481688646320865335043970683786989531994936463047685893258985162895" },
|
|
|
|
{ "124366625369659591476708994326732418029/107684759001536292829359995221778346870065030877016948429894748600664800488759", "-90949754058598173499067700725927605729/79727020098830307921496202496061295138733611655702270828135321391380898414003",
|
|
"-9915380440470549523296226431396644117384598256053664887332801972488440466568616812942647849957495261151611303260087/9793902347049141646079571573977765974008832433473016883117384010293158932212528563016145547341801740792289848500311" },
|
|
|
|
{ "26792084925762094333829722201654015569/6815899891200140342329613369008754659665480100088941978786466272502677117648", "179968988142253715757129058636648023126/97033837835570527321466682927970125702018459951415339098532052222053589117353",
|
|
"866579607987744230609336186273867662887766686833260209925103055244528379635362816895584608387230956963010276689619/408883535566062149539621907018509777969515872715944952500700527207173412646715462423653890585029605025758308909216" },
|
|
|
|
{ "320794852821756057819990044473359503428/42380074203350930293358543616207018031675687905746455222111844144668904183229", "-11813439835454851567822019323728871339/51852159737956631156972450987013128151750117741949546305537111598356497409240",
|
|
"-5544635317209327550045071802859986261979158492907374734760649234578367469399038563605323839330681533705071632958240/166884818941132804535892580774781586387104334774784737031184369589400544303785250219152004898392301479219940857877" },
|
|
|
|
{ "63160395612932962868082774785156358041658469338654564454114468396132462549944/5671929772244157797", "19541045450680948617094710246839287171374470593288265457341382295544977156173/10827756125123268218",
|
|
"227961786821047895774887365257727015864174017882302289602409601101722343657899277052494444293264/36945145824164509580938949252327087600266044162541122809277442696583642758457532273140841543627" },
|
|
|
|
{ "31389399613343712511677734270541516183531975055644318154870016415582858008412/11320913214023484367", "-95931706646769408081251897664360951854776052790951374912970042200868629796051/14301831604104230477",
|
|
"-149641969141325406602881756591195860220337618158488775091717625369334526143115090325362684257508/362011508473745439254610688691597507367516106821889963803421575701854031622412859179610532278239" },
|
|
|
|
{ "-50845041077039215658764589763556935122444212169574762080162289087527164772395/482986173890811026", "-51342299909113507561385579724776151277474630060658338514843664853027455595538/3864573616937705869",
|
|
"196494404298439669659681446421686066898686292162412914850963937042669022612531239234324840686255/24797620991857267698917294149872672843409173617406514673128342148521539559341861421304646801988" },
|
|
|
|
{ "76283614020376921713154299810619585257752996149145061806263596894412414185408/337890011287912517039286436540240936661", "70530558237421368381589233382700323659036925075366138096846582768833233488577/12121510300837787759729092713205686989",
|
|
"924672613133132744522463879340347327755455994321131972145048214329608890428265966744607561005512244129921459256512/23831571118985077324412202325831974453532679575894228007993082738742295289254461850021038245882565939546151124021397" },
|
|
|
|
{ "13518475961402756750057330871273933874583566313800024119371308450919239424622/71146816100737230880567880716110051085", "-11914742388051168959634071864657967837347162591767656949770878950409478930980/166466796775669753065110807850377519909",
|
|
"-1125188695291804746273664719520877594103080002716204716437885631737502681157239448228517736957154781558316254899699/423847992785167635691798025732868758201476408654527740579259436528169254792708107390082891890404030666159494556650" },
|
|
|
|
{ "-53624051286117226406327700847140806598091981633622544805551583455315188018537/149060170957501829683988930330276188371", "-49540630291338976658332195799658601133012561780540500265134312414843218811481/313014990314092319823049811442768272842",
|
|
"16785131893926373429171158665038393627227592608630727377590747943991201054188961463248027101037470630205119769672154/7384534820569381535972144752572408048556227885764547207137140227958732266609348654686668662110083737942669493487451" },
|
|
|
|
{ "2634758410586745842739353561704344884865889793873131750193619887157306355755/83106075320614705363810122092414199463231740446254118542567688658288107572919", "10787649314660479714744029413883607304719873485501736976813666398631455642569/2439964488756696481271244145022481444549967702052558191280867337292105066432",
|
|
"2142905652761565172685487282499186838096673751132490328620490049367034561455889328384026705096013173825469773464105722689198047146574263705663366838720/298839732158850477765824602476778580028064205733214070073086531571837859351705342746223206218407306637658483098569582239416197836311325170250187389329637" },
|
|
|
|
{ "-1907320079310938642409293211056905401889419041722087613680756850005726714712/10387378553621846874105702088597026076825105075730032753153301604042569998683", "113647247724474559442709588703965365251731833799417671287796250968092484717057/58756890421232187224353930678527831208703723187770044891160428018937233424397",
|
|
"-37356065632762902117955690133395145368676268194116097031480521390942668514422835237280325034441435052929702455487858500299401976652159912902024146542888/393498994563785425899168694480259206994308562177080555315323154941891277193612821825931878224565302417504072329241812530787363937691786269618438039211977" },
|
|
|
|
{ "-54987418627898620923060954379316763081930842855917193391807940070173620336071/17370345837184638879794373707261631548922174314274224219546763452439685451597", "107349939397731511365417710412808670916754334908520065561311453951414109180973/7800708635318451621630266369706695626474649690647985662113853436261704078874",
|
|
"-428940831324519456770429889832838610542119304716244392653623661175655561457214418178921042544524225772650432309479656622489393939407340321261255371264054/1864705572939408818246392762570376592749103793151936455808919833872532407312841098160841844995663367019074328670998871082130543124576872890789577304863881" },
|
|
|
|
};
|