cln_mirror/tests/exam_LF_plus.cc

#include "exam.h"
#include <cln/lfloat.h>
#include <cln/lfloat_io.h>

static plus_test lfloat_plus_tests[] = {

{ "0.31465012912061093874L0", "-0.07221963987249409544L0",
  "0.2424304892481168433L0" },

{ "0.7168586654865411176L0", "-0.19348808923554474066L0",
  "0.52337057625099637695L0" },

{ "-0.64115701400120904706L0", "0.70535558267169594756L0",
  "0.0641985686704869005L0" },

{ "-0.8607621650923123159L0", "0.8368256394262067108L0",
  "-0.023936525666105605082L0" },

{ "0.44168990042410450855L0", "-0.6041911435521196045L0",
  "-0.16250124312801509594L0" },

{ "0.0234267775301613878L0", "-0.43594485933986284478L0",
  "-0.41251808180970145698L0" },

{ "-0.99559578594307881024L0", "-9.836107054378142702L9",
  "-9.836107055373738488L9" },

{ "-0.72423071295455899397L0", "9.238843039595790172L9",
  "9.238843038871559459L9" },

{ "-0.20719390117857393156L0", "-9.029224604657100362L9",
  "-9.029224604864294263L9" },

{ "0.20816015380514039224L0", "-7.4782571284307568003L9",
  "-7.4782571282225966468L9" },

{ "-0.16613875159201114463L0", "-1.203554507952656804L9",
  "-1.2035545081187955556L9" },

{ "-0.9837368636729942673L0", "7.5892747601936916704L9",
  "7.5892747592099548066L9" },

{ "-0.92391870362276300936L0", "-5.309205414965326826L-11",
  "-0.9239187036758550635L0" },

{ "-0.2308075581152660786L0", "-2.5400598439608570973L-11",
  "-0.23080755814066667704L0" },

{ "0.5668336039528930528L0", "1.9300606943253841182L-12",
  "0.56683360395482311353L0" },

{ "-0.19685144163870526662L0", "-8.548847281762266571L-11",
  "-0.19685144172419373944L0" },

{ "0.053837363417219887007L0", "-8.4734948552444605444L-11",
  "0.053837363332484938454L0" },

{ "0.24539562474220232599L0", "-1.3753029433519360674L-11",
  "0.24539562472844929655L0" },

{ "-0.83198492765474177585L0", "-1.0728971972413839207L19",
  "-1.0728971972413839208L19" },

{ "0.58494670591273850794L0", "-2.6078285749436068966L19",
  "-2.6078285749436068966L19" },

{ "-0.6489422625947265175L0", "5.675479528094312524L19",
  "5.675479528094312524L19" },

{ "0.82416783003308421654L0", "3.4337105673864461624L19",
  "3.4337105673864461624L19" },

{ "0.5977825969561704576L0", "9.447212597358366985L19",
  "9.447212597358366985L19" },

{ "0.81709616259702447027L0", "1.8840697606071622024L19",
  "1.8840697606071622024L19" },

{ "0.99140689029640294337L0", "-7.9441986163714183364L-21",
  "0.99140689029640294337L0" },

{ "0.49487318874207713882L0", "-2.377409962381832069L-21",
  "0.49487318874207713882L0" },

{ "0.050320977002567080524L0", "-1.3329877923173878127L-21",
  "0.050320977002567080524L0" },

{ "-0.25724170819862546218L0", "7.609825486664252559L-22",
  "-0.25724170819862546218L0" },

{ "0.3667308347763138993L0", "4.077152141636570548L-21",
  "0.3667308347763138993L0" },

{ "0.5130660492586603372L0", "-5.091230019243679202L-21",
  "0.5130660492586603372L0" },

{ "8.916053557053472733L8", "0.59999700846599703845L0",
  "8.916053563053442818L8" },

{ "1.250980635471676891L9", "-0.46325398810664378442L0",
  "1.2509806350084229029L9" },

{ "-5.548594356609427516L9", "-0.21577258386321002115L0",
  "-5.5485943568252001L9" },

{ "1.06508055885340104636L9", "0.8422978396429581549L0",
  "1.065080559695698886L9" },

{ "6.225756677310580186L9", "0.49531151031004978726L0",
  "6.2257566778058916964L9" },

{ "-2.273191688409860673L9", "-0.80983784631745405196L0",
  "-2.2731916892196985192L9" },

{ "5.688674258485728496L8", "8.2409948814224157357L9",
  "8.809862307270988585L9" },

{ "-2.7544302700606018156L9", "9.230174236450698873L9",
  "6.4757439663900970574L9" },

{ "-4.588747139238971857L9", "6.342892129519977196L9",
  "1.7541449902810053392L9" },

{ "1.5275587581475159762L9", "4.3720035959575018324L9",
  "5.8995623541050178087L9" },

{ "2.8881760807020099163L9", "7.5622154923755766074L9",
  "1.0450391573077586524L10" },

{ "6.1044519092512786468L9", "1.3858854402983849103L9",
  "7.490337349549663557L9" },

{ "4.8767035174458515886L9", "6.3051681974292703475L-11",
  "4.8767035174458515886L9" },

{ "-9.4188975960705796466L8", "-8.975187577611984141L-12",
  "-9.4188975960705796466L8" },

{ "-9.689819354179956828L9", "-9.7453604450079548966L-11",
  "-9.689819354179956828L9" },

{ "4.987209054002559248L9", "9.284991248759031191L-11",
  "4.987209054002559248L9" },

{ "-3.5572071813296941216L9", "-6.261737879308894803L-11",
  "-3.5572071813296941216L9" },

{ "-7.5872628366112743053L9", "2.2152240842834943001L-11",
  "-7.5872628366112743053L9" },

{ "7.0206128338340270845L9", "5.9246012493594508704L19",
  "5.9246012500615121536L19" },

{ "5.3017367315254228474L9", "-1.0933628665004153848L19",
  "-1.0933628659702417116L19" },

{ "-6.339538144593375358L9", "-8.0543624921112893224L19",
  "-8.054362492745243137L19" },

{ "-1.6010717980362600647L9", "9.973849926670833376L19",
  "9.973849926510726196L19" },

{ "3.2030522063397198562L9", "-2.4396867565423101768L19",
  "-2.4396867562220049562L19" },

{ "8.8622195973163761245L9", "-6.4961266512803550736L19",
  "-6.496126650394133114L19" },

{ "5.45529926142043848L9", "6.939479435912862762L-21",
  "5.45529926142043848L9" },

{ "-4.484627189114150671L9", "-1.6571134694524616111L-21",
  "-4.484627189114150671L9" },

{ "8.813820141949620774L9", "-2.8267147580155665537L-21",
  "8.813820141949620774L9" },

{ "-9.972890003927356798L9", "-3.0273462676816521264L-21",
  "-9.972890003927356798L9" },

{ "6.792889851253184185L9", "-5.937539083879130763L-21",
  "6.792889851253184185L9" },

{ "-3.2663407400779399923L9", "-4.0747082067253115984L-21",
  "-3.2663407400779399923L9" },

{ "-3.4242541190221825202L-11", "-0.71988400153646663195L0",
  "-0.71988400157070917316L0" },

{ "-7.8906347145510431055L-11", "-0.22021321631029436988L0",
  "-0.22021321638920071702L0" },

{ "-7.486719858997914782L-11", "0.38102237422222776873L0",
  "0.38102237414736057013L0" },

{ "-2.6956794925506179954L-12", "-0.49627581161649902356L0",
  "-0.49627581161919470304L0" },

{ "-8.312064814531952837L-11", "0.5797009072836515581L0",
  "0.57970090720053090995L0" },

{ "-4.0305959593285763394L-11", "0.16233584979062195143L0",
  "0.16233584975031599183L0" },

{ "3.731977491280278192L-11", "3.0305998235716452734L9",
  "3.0305998235716452734L9" },

{ "2.7847304030282320388L-11", "-6.146190065628934066L9",
  "-6.146190065628934066L9" },

{ "-1.1797664511795163538L-11", "1.4888590774768513251L9",
  "1.4888590774768513251L9" },

{ "-3.736849276790130025L-11", "1.9988395869145483342L9",
  "1.9988395869145483342L9" },

{ "5.7818526942690563386L-12", "3.5155514714363584847L9",
  "3.5155514714363584847L9" },

{ "1.8183862272066184134L-11", "-4.635399960322760982L9",
  "-4.635399960322760982L9" },

{ "3.5539523819420841283L-11", "4.3044646394847154864L-11",
  "7.858417021426799615L-11" },

{ "8.719537619908441472L-11", "-8.580989797275158101L-11",
  "1.3854782263328337111L-12" },

{ "2.49701168436805957L-12", "-2.6066406246366064513L-11",
  "-2.3569394561998004944L-11" },

{ "4.2774640500882048993L-11", "3.7620100241760410496L-11",
  "8.039474074264245949L-11" },

{ "3.9907211434460210612L-11", "9.72066373418363098L-11",
  "1.3711384877629652041L-10" },

{ "-7.851637932849992129L-11", "4.9296626910685147652L-11",
  "-2.9219752417814773637L-11" },

{ "3.14874349918113769L-11", "-1.8148353890339025639L19",
  "-1.8148353890339025639L19" },

{ "-8.444922682942673745L-11", "-5.0034364072191331772L19",
  "-5.0034364072191331772L19" },

{ "4.762299619586316462L-12", "-1.3412404578328588061L19",
  "-1.3412404578328588061L19" },

{ "-9.22833351501850052L-12", "3.1000370791158631634L19",
  "3.1000370791158631634L19" },

{ "6.1164399913981911425L-11", "6.1863455383782109436L19",
  "6.1863455383782109436L19" },

{ "-8.413645565754525347L-11", "-2.5034082588556447364L19",
  "-2.5034082588556447364L19" },

{ "3.4875247204061292656L-11", "-7.8682893445087250245L-21",
  "3.487524719619300331L-11" },

{ "-2.1647610944488691768L-11", "-8.371089558230910183L-21",
  "-2.1647610952859781326L-11" },

{ "5.7598234760228848032L-11", "2.8011007358408259187L-21",
  "5.7598234763029948767L-11" },

{ "-9.268425959344303144L-11", "-6.4655012698265179856L-21",
  "-9.2684259599908532713L-11" },

{ "7.067467072298381137L-11", "-3.8206328350148818058L-21",
  "7.0674670719163178536L-11" },

{ "7.8912028748606542386L-11", "8.456364925917236866L-21",
  "7.891202875706290731L-11" },

{ "-6.976183652817340798L18", "0.08822040416435015717L0",
  "-6.976183652817340798L18" },

{ "-1.2414457404200743984L19", "-0.85791705029429396234L0",
  "-1.2414457404200743985L19" },

{ "-8.9687515173878579424L19", "-0.3328210335620137057L0",
  "-8.9687515173878579424L19" },

{ "-5.438581645592863998L19", "-0.67774278184358142436L0",
  "-5.438581645592863998L19" },

{ "-5.4350840695201649084L19", "-0.72739900682842943577L0",
  "-5.4350840695201649084L19" },

{ "7.814697448090367615L19", "0.24326892882624165414L0",
  "7.814697448090367615L19" },

{ "-2.4356768540932142124L19", "6.5169042447583127604L9",
  "-2.435676853441523788L19" },

{ "-8.7464253032141704904L19", "6.8315507162032823036L9",
  "-8.7464253025310154184L19" },

{ "-2.4810334273518910993L18", "-7.638114077520272164L9",
  "-2.4810334349900051768L18" },

{ "-9.80334620432051716L19", "4.474822777555302305L9",
  "-9.8033462038730348824L19" },

{ "-1.5185085475715921137L19", "8.496315073274781452L9",
  "-1.5185085467219606064L19" },

{ "-9.3842548893937585184L19", "-9.948865349103608366L9",
  "-9.3842548903886450536L19" },

{ "5.9391253980818643888L19", "5.6213951287112563564L-11",
  "5.9391253980818643888L19" },

{ "-4.8270749631022207188L19", "6.506986668488438766L-11",
  "-4.8270749631022207188L19" },

{ "8.953940231252599753L19", "-1.7735448342981541823L-11",
  "8.953940231252599753L19" },

{ "-6.1065165153181616235L18", "-1.8103764902203059955L-11",
  "-6.1065165153181616235L18" },

{ "-9.6224955477275161216L19", "9.4659333494557267205L-11",
  "-9.6224955477275161216L19" },

{ "-9.2620034246522033504L19", "-8.920063409062509698L-11",
  "-9.2620034246522033504L19" },

{ "5.9633456897700879935L18", "4.0390945943970882336L19",
  "4.6354291633740970328L19" },

{ "-6.1420542659063065884L19", "-3.9869088703267959336L19",
  "-1.01289631362331025216L20" },

{ "7.804124970286546613L19", "8.061318173712112305L19",
  "1.5865443143998658918L20" },

{ "-7.763817772329800516L19", "-4.9349702057713961232L19",
  "-1.2698787978101196639L20" },

{ "-3.1480955091040648274L19", "-4.706529024129812914L19",
  "-7.8546245332338777416L19" },

{ "-4.7131343507844737428L19", "5.4602299451983202032L19",
  "7.470955944138464604L18" },

{ "5.9403761194093478956L19", "-6.280541343011718101L-21",
  "5.9403761194093478956L19" },

{ "-3.763295388652278206L19", "-9.963494853851408371L-21",
  "-3.763295388652278206L19" },

{ "2.5136958358030666948L19", "5.335607709622335287L-21",
  "2.5136958358030666948L19" },

{ "6.2273952762016960176L19", "-5.6012630121574213906L-21",
  "6.2273952762016960176L19" },

{ "-9.3934610912833028936L19", "-2.59552531586503232L-21",
  "-9.3934610912833028936L19" },

{ "2.9584554660239488776L19", "6.875837450751388893L-21",
  "2.9584554660239488776L19" },

{ "-8.4905558825256936576L-21", "0.112912972443893420624L0",
  "0.11291297244389342062L0" },

{ "-5.3259362300699140443L-21", "0.44064771529278198132L0",
  "0.44064771529278198132L0" },

{ "-9.245572241572266517L-21", "0.043497459079983070442L0",
  "0.043497459079983070432L0" },

{ "7.6311333407948593004L-22", "0.74437178299084331024L0",
  "0.74437178299084331024L0" },

{ "-7.71114100404407176L-21", "-0.30667849853816871164L0",
  "-0.30667849853816871164L0" },

{ "3.544120177696956032L-21", "0.79322122717232419205L0",
  "0.79322122717232419205L0" },

{ "7.7913861181291523115L-21", "8.526554352243632931L9",
  "8.526554352243632931L9" },

{ "-3.9196632415032070805L-21", "-2.5228304289307799614L9",
  "-2.5228304289307799614L9" },

{ "7.643174046933518012L-22", "2.9248526891356128762L9",
  "2.9248526891356128762L9" },

{ "1.8801815336593227227L-21", "6.8178694125314363L9",
  "6.8178694125314363L9" },

{ "-2.6985037225367287349L-21", "-4.5571976978858014136L9",
  "-4.5571976978858014136L9" },

{ "6.0444611510506986126L-21", "-8.64585025875790907L9",
  "-8.64585025875790907L9" },

{ "-1.250177749198396931L-21", "6.428634063301101147L-11",
  "6.428634063176083372L-11" },

{ "-1.5666058964343815161L-21", "3.552568414787808555L-11",
  "3.5525684146311479653L-11" },

{ "-5.8078119773790503857L-21", "8.896395897015492877L-12",
  "8.8963958912076809L-12" },

{ "6.7472260162031965506L-21", "-6.617115409846031908L-11",
  "-6.617115409171309306L-11" },

{ "-4.16121984125470857L-21", "-3.095053467302410671L-11",
  "-3.095053467718532655L-11" },

{ "-2.114411383443366621L-21", "9.716046816037651671L-11",
  "9.716046815826210533L-11" },

{ "-2.3406730990296292957L-21", "7.900725768498098123L18",
  "7.900725768498098123L18" },

{ "-4.1514248667302411754L-21", "-8.4325334951006246184L19",
  "-8.4325334951006246184L19" },

{ "8.433933541545648577L-21", "-4.9459088765496691632L19",
  "-4.9459088765496691632L19" },

{ "2.2922577085250648752L-21", "7.813245819908182463L19",
  "7.813245819908182463L19" },

{ "8.887270525300553388L-21", "8.651116139112459977L19",
  "8.651116139112459977L19" },

{ "1.1406539199130032192L-21", "2.3931812472136783544L19",
  "2.3931812472136783544L19" },

{ "-3.778523001798117503L-21", "2.0779948578933832532L-22",
  "-3.5707235160087791776L-21" },

{ "-1.6066062689688361383L-21", "-3.5232009896946632975L-21",
  "-5.1298072586634994358L-21" },

{ "3.9703618511174300454L-21", "-8.036088455194107478L-21",
  "-4.0657266040766774324L-21" },

{ "6.46657477279861825L-21", "2.6384883907642781157L-21",
  "9.105063163562896366L-21" },

{ "4.9706631077050274314L-21", "2.3628052244020145395L-21",
  "7.333468332107041971L-21" },

{ "7.065951142271372955L-21", "3.1965272324939519L-21",
  "1.02624783747653248544L-20" },

};