cln_mirror/tests/exam_RA_minus.cc

#include "exam.h"
#include <cln/rational.h>
#include <cln/rational_io.h>

static minus_test rational_minus_tests[] = {

{ "8229768172162771789/4094631553683915058", "14916542302144281688/9648520391570031013",
  "18327341244785642013243791303754634353/39507136041685332578233153660317693754" },

{ "13554976081719376860/5850035209629724601", "-6813034992928443315/16012083383654426278",
  "256899901877002811987490932642058619395/93671251573905451634945335611797465078" },

{ "-221798849980968127/896588178875000428", "-10118632981534633697/16809799818197706916",
  "333990778095757160537366868413422249/941966737890699707694484674257410003" },

{ "-10398409463665680242/10672871071680021919", "908300169382593227/1663860017749090135",
  "-2076589873614048366639515256135965791/1366012573135328609279238070700513005" },

{ "-2198518713248421187/494031967775171833", "162489257999262168/3608560229859558061",
  "-8013762081101965644053022173225152351/1782744111192743850497670941715295813" },

{ "4025149216228566945/640594137312937394", "5467380276809034025/15813352732084653151",
  "60148732603712157399679443099667862845/10129941051434949990590527231467828494" },

{ "45649282670476595/278386580761220266717341154184065537", "-8637266763647548631/320617180101036447149595031898805939080",
  "17040443444897688379155017841073877168061229451634462447/89255520501631886327999278515127058459530587144975987720686743155549485960" },

{ "5648415331928005377/86815630814151297970860026950116430492", "-3858618729527320883/27855468652821710859204555976171379400",
  "123081918822962876101148539477322308270739795776139149559/604572520679633516300271119677141637780408278090307422820905500994965166200" },

{ "9781572955588417059/112881800445343004034168709823458687843", "-5059688483724168531/4577416283528891230944530353546966748",
  "615921077060787960354561606126348783111829996215681822765/516706991472571912574910836774186280180852506048696459094758451180832844564" },

{ "-4967914039344839478/238170260180199675500515253723794945205", "1851848905279976507/5731170327270969184071911155742503278",
  "-469527297115675955424190428047537920421409443442551107819/1364994327983166854234805393053180119374354994464588574791772715189542881990" },

{ "-16853061581795824324/96404437352723357070647888504166371117", "2887610208906060444/32980643277330946266739822018299212963",
  "-834203249643667606680245846951263316484378801689149307960/3179480358681967952651970543397987660141008737601948320258541111852875189671" },

{ "-10766003534404571638/1736320411127247334175538439020437437", "-220564366893542891/24024005562370344889629855466198025799",
  "-11228676451427374102904112111967705085778332338188090365/1813624835433832784217556253227924899981441517333394378436857197512671181" },

{ "-4039872531792560303/2717817538621352660433068255065439787147153801016478776178010367557953211548", "-17969900169229544519/10371230759745501411127733226376204123221866394120596070959771442399588297129",
  "6940459580028931824293913174633904994365279610168782399332846513086074139209123514834476635325/28187112855925579976299840753672542065528422968220885043792832460046226866036339425358907691441054924266606457279617295071355282523744922239122018045692" },

{ "11905720953886477738/26349991043344773150817457299711471013733618033386232710348739943906972457535", "-1868508269239354100/7915113871665192715310471309271830385175189228544536787145345883401181858893",
  "15941145914794937177093386304443205602552827651536706608400845076162777444155363739893353329726/23173686625047977587990304423741788120258508897732978034793987736019678129860415537604628640859289817332994555163435451240013483415438259775849311623195" },

{ "-2449440712560236858/3924161613720467738425590715321110829708355586356453490516463081317902575263", "3313932993860824279/18392642760231276916239249302906853654153090246504347205856270072174622214792",
  "-19352032211145724571420568734409847660231095572377236173431089875006133635431666731719362137971/24058567564857748536604240288023690440577404826273237225585673569644473540232022448230431237781096357243673961302816983638647478040822458289501843963432" },

{ "2375854596996813469/17171542567603713573317138241061150416263899780234956304631913156611236192733", "-1690236091628058998/115698505401619203741389026136939663329574241316722960060260525901879106902321",
  "303906786920788985464713527121698374469813384178920405503303785899916213843318155692692663023083/1986721810512032345893371071989737461519340072368099757524397292434629497187713075053126253107235936414498803590298681018206068059043963268488989361033293" },

{ "-9066703779833220052/53996509329904595759286231403247566365148374715934463324003880626270687736687", "10104829441267883881/34350188217372122913844475743718288066233853695548819225257606841719829170673",
  "-857068498550946301314281599902676812596945461499639532351672507051201056365247232693696093577243/1854790258563312749374056592838765632813507083399863975139987272744324437901043103651094837595789610803765303659351781344942305171362498886075754606580351" },

{ "-712905705954993103/38361275706852471555340413672243335795384295466685977818182375699688812583403", "-3487523845474404757/24004509207225606167828624323100421869226668573968691661898194620137716910067",
  "116672912187985693533424614379662678476187446315443107971581372764612623068602629062267386180170/920843595906060126846114857872490000269306626188013726759480780006531676144330596572087176480154495471428384288229491172449159350622326294294528887818001" },

{ "-104068455909264700529593875361271227125/3443783531459345396", "94266182755532992545775726171008609186/10986871169556601787",
  "-1468019045636814162670978305715811638938423723806410280031/37836405995984502494576730289263822652" },

{ "6250188382163250356218308848100308290/74975517450841979", "10057222263694104272437942231238950849/1377150882331486572",
  "7853407001895533030925726629648778749078643531548391709/103252600010686800286181264132405988" },

{ "-325869560300902552275820653500571757882/6390430580148850471", "94468553562411191993094256419298214695/11908765973274803007",
  "-4484399064985071999330976874105690617426359030318059422519/76102142247451389303559481900024166297" },

{ "-93570528036598407567281714804477572547/1681213810574384291", "-244906502561054838674546679498356325029/6878656438675875801",
  "-231899320744132980638168050942881155823492361410591515708/11564492202898292712047439710761442091" },

{ "-81411835730261219386583131450337332863/716127167248934", "305772198898084305417824619321954306670/5852119619187572757",
  "-476650772889757879179369019399921041943854248979406203071/4190861845290706865359628655691038" },

{ "8378821874364768218652992773582270365/264620166167099506", "-235085292482743132422942426826553295351/5218853722286899445",
  "105936154887632142427944491040385766054707164161382644031/1381013939193345109641609957531174170" },

{ "-46932041053326337601984043288899377207/83004348019257810472659105973646518650", "-172752976692389001100875729845538600392/64697064048458368935602368307247306331",
  "11302882932785858045495103305619355060523322049764297548269071809310077113283/5370137620102451116225827082734739449691101289924623877117727128768254573150" },

{ "-5215113722152182902641295804790889582/37267147737183802417372262122851319461", "-174324915479281952095382231256728338942/198797486533978895289571841018885549001",
  "1819946959828587625889363843813156766676787993042778284071188313098762447560/2469538433480866339929667414220581052912334718874062150193407525506073469487" },

{ "-308468863588547635528373349890793262605/277175417813474671446046438490775760091", "-88071245580784145343997181342216325733/109042592277517238289414020635536175644",
  "-9225060231388102579469362745283215538990500777711808852192407359260779270917/30223926073985207174135233898799350451872811382182855106546181559011381423604" },

{ "-139281160373255540085888405052544101003/21590054032847718908692432707921390245", "-175128181843395150044469443628898278945/101874815793501611839718166887463701141",
  "-10408215647857282226079103083273257459322595128147732742048301223816698452898/2199482777568107961766315941206227462112836158088743951492692685709912769545" },

{ "-13653637423911886957204229566898836211/6724361745919744069899921221745423919", "60537422461958273742622747790343370991/323722395245687564470126807800714703749",
  "-4827063738484690108652046326448960810791170812913084889649499536314520788768/2176826490887613088066161490358401961235974091796973399049221882998503572331" },

{ "207284509647982883454717074874778610186/315575836476247924963087075944676754095", "59454580888278446469281150437143941047/3799382139920332759258392540934029749",
  "-17974876032324524053425850245755672169670471578477359535347261991433397414151/1198993196898275844180025803639723883733761367273976879884312817813487572155" },

{ "-149255714031984711085009662216310611563/61209488724728410476016289765233999883959861482512968048939594260689484910535", "-206353007879160639705730135450663155/12341134377195982958424940281067948493740598784362073339140017508008773524522",
  "-1829354061323966095884091779117676852909282652562065419187935424186237303685407507859167669375269438805585201409961/755394525511335693198081866608161950899365908489933659716533239785460293292606918153507868614180865950008697266433342863460741791684603303270127798639270" },

{ "286228990947356503137685907205210886138/64525193112922470913382853022276019736227442678252533126077234112153953877503", "-93778927468512815169462456699065596479/70019706577332037325570327903202382111804035215024271930215402736305222068556",
  "26092773364888269343302672267572690894453186378630697330693315371426642609003667116358459590920104883240139740188665/4518035088612517412858008269349176355736855744033363257986123715832709510554983209440815107866748014413528943649032845277041680450752670951433682692095668" },

{ "128067958966292694713545212085241612749/50804897676960765097908813878456128842417954009101908722816951877006748778869", "-331437715897535092432788513322484606485/102911257177761006574263802557003927106564530572416215828322919550454967864323",
  "30018293903870953799879886574342637699455128356488843398998059810000258259055116602688738404467489640369684487419392/5228395890723542025866546462435908982096651119675992137235094920338650164475761939608730060759309002063498665792819192135030537577109853650729817121390687" },

{ "27065789167947870065829490227927612633/10795458608984562931374526676297845621730864739104955678079256994070639461197", "53314096352440087811254806167289750292/44807028208492548064750449353871285104149154384082409595945081934090139448067",
  "637187458285170434834128234123875152637450428605039275620795715002449318075555518355578432548587274399560043210887/483712418416385035748598509413117409273155809870339120248356475239836262578288026980177669113025449532258001487616187498682131415946755647640047843156199" },

{ "275528434092876314751862670579225752027/23290954563951481764306221308726902093226107549717031306984541394996363441752", "118398743375843543978994815511147957868/26050691402435592629863948804505350954161759382372519491414484055670238339031",
  "4420086456754111377514058698455330162869575963826459083894390154200727636413353382047981846196341965799691593361101/606745469813648893293125236863835131523556569847025597910312571817347251611730291043895952533706547565767925058454286630395458711598751591845070996622312" },

{ "-263828172858355421790882308711676546531/27836884730007976814146538035133148053942251062564400015534567388490010158584", "31580638196736633522674344981675107601/26210154715367115936541726366619494863883445533448748701891278370021519416412",
  "-1948520953518189888695889830515156795224640917019574042614412953331052369986548949517168001067643449389746489215939/182402263891837359872743630675214135004512597266032306942151126033873543370078488920825920736994254287019873146147276876145783659805845233146169813070152" },

{ "43029409555492054023102681165249027816896930295612442385573977041111849786681/17478431621804970398", "-63831159286570708329826084149841946467426290005331979697932225104261019322894/15909114936773208135",
  "1800228375210677909820927489860838061135888931548234366640994061734196466170531105718785437541747/278066377585826623354880511023167787730" },

{ "-34677827126365037739221949705076349308552841821108642369491195428278121711851/12321935233094032355", "2466652720703038662112375481129216761044838204088317060529010755963314905661/458077759838279587",
  "-46279076433142446690218423399092373290016631287423134630356063713373023144989129659854095947192/5644404488448083755690706619714037385" },

{ "75657421640076548917316021979547903196453821552146142751737530624725671569062/5416811919979369403", "-51031635143911513328361770575139950616395278082588474953679149885798666896870/16274277637120569843",
  "1507698654622877634185545368063085304919907004898369478770589865697455127479301592176158803465876/88154701093808389139357381843158713729" },

{ "-86696779369804422745383183615836359604633179506005810847902134850836986706763/15354752711854066426", "83875579121692496325618937810567731584819474189441279434601944065565889174333/1890321146489013312",
  "-725886765676185953186290796464189476910148783977596698524963064505627422317719186476684911836457/14512706875163632554860591439823131456" },

{ "-2824584270835350806110810310308644313069326027498380007733023821989145840779/3128200028313826545", "-16485532380752962986834975164722153533427821569516340079793116204530103476885/4044901389917631001",
  "40144878017198534388242075435853869853984060096218401720566307902396394251666454424383286522546/12653260642466969643085415999628721545" },

{ "-71140717297594692514165816539390347954764512441693085945645019026357644035048/15130773661553937219", "106518314860779634188990156539381479314908411240039365434170935270962911954978/11202282371121185733",
  "-267626990691150539404999353980899804835901788880218020004516046839225745741587662342920970677374/18833244338916713919008552672213388503" },

{ "-31372444086039981530710911528326367048894875160807395940269724829549418985367/149682691887362386596593782520991059630", "13980025800771566396092717430902170466939197897483207383178768135899198010674/143215924045734814208985239450703841431",
  "-6585601463869631351127457963734548845246885851328680299125624347680443020577881573937479731612385878788264587830797/21436945032301618223045694723696447349670080755369221855700055538448185530530" },

{ "60002561005149795132492915799111287923312170708430066011808292212167201814322/16346766380600148228286881361520329811", "104734497917913613491539581495799848702023341599268915776996571583385896191203/61937476024742321910315674059586179787",
  "19844918952732846654680216616282727016967753441473733514766184661191061075852141231786969917096326062063227788681/10024529215648371311559365663430434349900555024451481776473735938354274557" },

{ "78980655687309201443760271907411093305339297143458162112992101000746746121121/24094471248783344167514231679460830840", "10562090177736342378322146805187203837437609238688017154037816697523731420573/74961473522415640988394298626742882726",
  "2833009175986364875175323375606672657538996734036576482627590142336455915129629838687125527863027857335645122892263/903078534276138789186206765245648729133926893901427360507431923032322034920" },

{ "96507496069338193466683209170737942070468924698476218759487496209308948365/19252547784216386872197161331387216893", "12563973560096321588715986952435909079270363887929001032891628645353358046011/79879611474172059435223762585596250921",
  "-234179520035021783886726161079163865833895106001667476480293126893061678147610754451356994012799045797572757769658/1537886036891137155393554113191390737924110193971845147480358562685078008453" },

{ "-95307376781556674397571761484869767912211504027346871580288574968524683908606/128329921725822403056205582017133271311", "36170894925879686192917617159219095595164782822289198001474013555499918728596/240886887357120796976726436320063138705",
  "-27600105449672599524131749634403660999916186956076872373762346977331203119722064380924286397976905109959929163304586/30912995399316310109755266138690547023211992922143297688759057498082990192255" },

{ "-22104893896795356297688360407985617971036912713007110938688208155601366216839/5790727918973991999188987227357894380", "-2339372311396919406471876113751500811577555408710269902369834593304924842262/12937689744925498650506694361349920911",
  "-90813196841584888136609582546105640167792279132393576014002859436259486025871518847027719826829986116492656710923/24972880404321196721702428178050372850585634300866259560981343234830460060" },

{ "-3426218098660813853559652497557253942819662042768623922183022792185928242671/2077407536662385613357832628600529321326686191757127715026249042748302985178", "102639297566540827510784861997871251414598617775200449087621943894148321803293/83089038429507982364103335021257902316010144851865721965726693103637274338545",
  "-497904817589969304680335736144278473886197067420059149312627956679073246109792679236301202959163792633927112737045328517845259242265445360227131779644849/172609794647490471018785535271654901168315737813115654161745630290269473799997219289162551586864155467201760250711449118429648095083028041134558889086010" },

{ "1543899448831604569141696144740105016328586790221799945430718394112623114412/1094690716976737526626281319975432667416762320123576900412499904933271786567", "-101835025746074730017715423582062511397387458863000475669454309217160145993/55116548932808468782187525862059393507883043749327746382569396580129398962",
  "196572266866178229534134252625134989714563665559807019513454337864363053729628560611312158082929567528955985669620113192156991984486011150099776316375/60335574468539540262844259780498204139853746803235564167348945699931512713417761400790104247218084745081610815218855896912895393599203789305655343454" },

{ "-37581128364300495505521143552535972339959603365602244668159915869829949338997/42947503543372015019662104425995959382231280059683481488692141811517675950053", "-64888994735350842409379226446854438865448614840503930577860382883594178287934/83188698741706753136718468601650233481619465918167616089202536622553688681087",
  "-339504834548876267781536981106771553482515399809961247195394672491113984585270709765073243997043174508213253440272888923497173265137136111635177948889237/3572746933977957867604303713153220827104741303667912510494658617478381525690274918494624922428110123336345510454960178899375325287131764283538305257747611" },

{ "-16230533405187239318665866908175768720879595131719076634847964191318368133798/22572606803697929681675696479626869642065470042484269772607381297011844085929", "-3238806615045730440879378702226410558103197865253164974472379309242480970831/7167633180423354812410246140643720752789573307606828791458541239290047771821",
  "-43226201536346598702395278529841763047400215735214225929426206339139243925579733185594282160061132691154727543083543034702325848468839969037250195569159/161792165494835249202675342837643048016103040739685489755239980324180308179745586573032524649518850731442178659412287492012066453331740508600962908806709" },

{ "-58154703770626762920775801228739843350302933064569814497417973139312614069763/25655935043535628671780902110427599603857741303802203417196105196580175051005", "2291927744682353823611191393035210406213286149316388597509251757479544491322/2075117977066796442381930295725401140983312287419314083032058820231519915051",
  "-2848879691864593463404526996418656511058536739346277043463623510210968076493148319480555434626780964688210750895957968447300033820091387019574369485421/845064952814266442598400897276554701819815257830830535600041451476645443978805142044657833921127247033533628716506571358424324423237490438402971304385" },

{ "16233726784138742204308718138203086218138595789383817317246449554340898453104/16370584482945481446847872945862788646563748664837147378940234530469832625057", "14431071141710676049963542765626402177344958369162454874051268130438178883381/21166786163219212747261378458659387864767326410261049063051557406799162784072",
  "107370754167217929909136144689909613387440429633745577224054233373886366171618903318258855919060113440621302505589923655976636732694637334616990468681771/346512661117421566971293748815177161526095870176610277140325665174756629068111228154091043637596506814557119477231243643171068111260010676990408227692104" },

};