tests/exam_LF_plus.cc

   1 #include "exam.h"
   2 #include <cln/lfloat.h>
   3 #include <cln/lfloat_io.h>
   4
   5 static plus_test lfloat_plus_tests[] = {
   6
   7 { "0.31465012912061093874L0", "-0.07221963987249409544L0",
   8   "0.2424304892481168433L0" },
   9
  10 { "0.7168586654865411176L0", "-0.19348808923554474066L0",
  11   "0.52337057625099637695L0" },
  12
  13 { "-0.64115701400120904706L0", "0.70535558267169594756L0",
  14   "0.0641985686704869005L0" },
  15
  16 { "-0.8607621650923123159L0", "0.8368256394262067108L0",
  17   "-0.023936525666105605082L0" },
  18
  19 { "0.44168990042410450855L0", "-0.6041911435521196045L0",
  20   "-0.16250124312801509594L0" },
  21
  22 { "0.0234267775301613878L0", "-0.43594485933986284478L0",
  23   "-0.41251808180970145698L0" },
  24
  25 { "-0.99559578594307881024L0", "-9.836107054378142702L9",
  26   "-9.836107055373738488L9" },
  27
  28 { "-0.72423071295455899397L0", "9.238843039595790172L9",
  29   "9.238843038871559459L9" },
  30
  31 { "-0.20719390117857393156L0", "-9.029224604657100362L9",
  32   "-9.029224604864294263L9" },
  33
  34 { "0.20816015380514039224L0", "-7.4782571284307568003L9",
  35   "-7.4782571282225966468L9" },
  36
  37 { "-0.16613875159201114463L0", "-1.203554507952656804L9",
  38   "-1.2035545081187955556L9" },
  39
  40 { "-0.9837368636729942673L0", "7.5892747601936916704L9",
  41   "7.5892747592099548066L9" },
  42
  43 { "-0.92391870362276300936L0", "-5.309205414965326826L-11",
  44   "-0.9239187036758550635L0" },
  45
  46 { "-0.2308075581152660786L0", "-2.5400598439608570973L-11",
  47   "-0.23080755814066667704L0" },
  48
  49 { "0.5668336039528930528L0", "1.9300606943253841182L-12",
  50   "0.56683360395482311353L0" },
  51
  52 { "-0.19685144163870526662L0", "-8.548847281762266571L-11",
  53   "-0.19685144172419373944L0" },
  54
  55 { "0.053837363417219887007L0", "-8.4734948552444605444L-11",
  56   "0.053837363332484938454L0" },
  57
  58 { "0.24539562474220232599L0", "-1.3753029433519360674L-11",
  59   "0.24539562472844929655L0" },
  60
  61 { "-0.83198492765474177585L0", "-1.0728971972413839207L19",
  62   "-1.0728971972413839208L19" },
  63
  64 { "0.58494670591273850794L0", "-2.6078285749436068966L19",
  65   "-2.6078285749436068966L19" },
  66
  67 { "-0.6489422625947265175L0", "5.675479528094312524L19",
  68   "5.675479528094312524L19" },
  69
  70 { "0.82416783003308421654L0", "3.4337105673864461624L19",
  71   "3.4337105673864461624L19" },
  72
  73 { "0.5977825969561704576L0", "9.447212597358366985L19",
  74   "9.447212597358366985L19" },
  75
  76 { "0.81709616259702447027L0", "1.8840697606071622024L19",
  77   "1.8840697606071622024L19" },
  78
  79 { "0.99140689029640294337L0", "-7.9441986163714183364L-21",
  80   "0.99140689029640294337L0" },
  81
  82 { "0.49487318874207713882L0", "-2.377409962381832069L-21",
  83   "0.49487318874207713882L0" },
  84
  85 { "0.050320977002567080524L0", "-1.3329877923173878127L-21",
  86   "0.050320977002567080524L0" },
  87
  88 { "-0.25724170819862546218L0", "7.609825486664252559L-22",
  89   "-0.25724170819862546218L0" },
  90
  91 { "0.3667308347763138993L0", "4.077152141636570548L-21",
  92   "0.3667308347763138993L0" },
  93
  94 { "0.5130660492586603372L0", "-5.091230019243679202L-21",
  95   "0.5130660492586603372L0" },
  96
  97 { "8.916053557053472733L8", "0.59999700846599703845L0",
  98   "8.916053563053442818L8" },
  99
 100 { "1.250980635471676891L9", "-0.46325398810664378442L0",
 101   "1.2509806350084229029L9" },
 102
 103 { "-5.548594356609427516L9", "-0.21577258386321002115L0",
 104   "-5.5485943568252001L9" },
 105
 106 { "1.06508055885340104636L9", "0.8422978396429581549L0",
 107   "1.065080559695698886L9" },
 108
 109 { "6.225756677310580186L9", "0.49531151031004978726L0",
 110   "6.2257566778058916964L9" },
 111
 112 { "-2.273191688409860673L9", "-0.80983784631745405196L0",
 113   "-2.2731916892196985192L9" },
 114
 115 { "5.688674258485728496L8", "8.2409948814224157357L9",
 116   "8.809862307270988585L9" },
 117
 118 { "-2.7544302700606018156L9", "9.230174236450698873L9",
 119   "6.4757439663900970574L9" },
 120
 121 { "-4.588747139238971857L9", "6.342892129519977196L9",
 122   "1.7541449902810053392L9" },
 123
 124 { "1.5275587581475159762L9", "4.3720035959575018324L9",
 125   "5.8995623541050178087L9" },
 126
 127 { "2.8881760807020099163L9", "7.5622154923755766074L9",
 128   "1.0450391573077586524L10" },
 129
 130 { "6.1044519092512786468L9", "1.3858854402983849103L9",
 131   "7.490337349549663557L9" },
 132
 133 { "4.8767035174458515886L9", "6.3051681974292703475L-11",
 134   "4.8767035174458515886L9" },
 135
 136 { "-9.4188975960705796466L8", "-8.975187577611984141L-12",
 137   "-9.4188975960705796466L8" },
 138
 139 { "-9.689819354179956828L9", "-9.7453604450079548966L-11",
 140   "-9.689819354179956828L9" },
 141
 142 { "4.987209054002559248L9", "9.284991248759031191L-11",
 143   "4.987209054002559248L9" },
 144
 145 { "-3.5572071813296941216L9", "-6.261737879308894803L-11",
 146   "-3.5572071813296941216L9" },
 147
 148 { "-7.5872628366112743053L9", "2.2152240842834943001L-11",
 149   "-7.5872628366112743053L9" },
 150
 151 { "7.0206128338340270845L9", "5.9246012493594508704L19",
 152   "5.9246012500615121536L19" },
 153
 154 { "5.3017367315254228474L9", "-1.0933628665004153848L19",
 155   "-1.0933628659702417116L19" },
 156
 157 { "-6.339538144593375358L9", "-8.0543624921112893224L19",
 158   "-8.054362492745243137L19" },
 159
 160 { "-1.6010717980362600647L9", "9.973849926670833376L19",
 161   "9.973849926510726196L19" },
 162
 163 { "3.2030522063397198562L9", "-2.4396867565423101768L19",
 164   "-2.4396867562220049562L19" },
 165
 166 { "8.8622195973163761245L9", "-6.4961266512803550736L19",
 167   "-6.496126650394133114L19" },
 168
 169 { "5.45529926142043848L9", "6.939479435912862762L-21",
 170   "5.45529926142043848L9" },
 171
 172 { "-4.484627189114150671L9", "-1.6571134694524616111L-21",
 173   "-4.484627189114150671L9" },
 174
 175 { "8.813820141949620774L9", "-2.8267147580155665537L-21",
 176   "8.813820141949620774L9" },
 177
 178 { "-9.972890003927356798L9", "-3.0273462676816521264L-21",
 179   "-9.972890003927356798L9" },
 180
 181 { "6.792889851253184185L9", "-5.937539083879130763L-21",
 182   "6.792889851253184185L9" },
 183
 184 { "-3.2663407400779399923L9", "-4.0747082067253115984L-21",
 185   "-3.2663407400779399923L9" },
 186
 187 { "-3.4242541190221825202L-11", "-0.71988400153646663195L0",
 188   "-0.71988400157070917316L0" },
 189
 190 { "-7.8906347145510431055L-11", "-0.22021321631029436988L0",
 191   "-0.22021321638920071702L0" },
 192
 193 { "-7.486719858997914782L-11", "0.38102237422222776873L0",
 194   "0.38102237414736057013L0" },
 195
 196 { "-2.6956794925506179954L-12", "-0.49627581161649902356L0",
 197   "-0.49627581161919470304L0" },
 198
 199 { "-8.312064814531952837L-11", "0.5797009072836515581L0",
 200   "0.57970090720053090995L0" },
 201
 202 { "-4.0305959593285763394L-11", "0.16233584979062195143L0",
 203   "0.16233584975031599183L0" },
 204
 205 { "3.731977491280278192L-11", "3.0305998235716452734L9",
 206   "3.0305998235716452734L9" },
 207
 208 { "2.7847304030282320388L-11", "-6.146190065628934066L9",
 209   "-6.146190065628934066L9" },
 210
 211 { "-1.1797664511795163538L-11", "1.4888590774768513251L9",
 212   "1.4888590774768513251L9" },
 213
 214 { "-3.736849276790130025L-11", "1.9988395869145483342L9",
 215   "1.9988395869145483342L9" },
 216
 217 { "5.7818526942690563386L-12", "3.5155514714363584847L9",
 218   "3.5155514714363584847L9" },
 219
 220 { "1.8183862272066184134L-11", "-4.635399960322760982L9",
 221   "-4.635399960322760982L9" },
 222
 223 { "3.5539523819420841283L-11", "4.3044646394847154864L-11",
 224   "7.858417021426799615L-11" },
 225
 226 { "8.719537619908441472L-11", "-8.580989797275158101L-11",
 227   "1.3854782263328337111L-12" },
 228
 229 { "2.49701168436805957L-12", "-2.6066406246366064513L-11",
 230   "-2.3569394561998004944L-11" },
 231
 232 { "4.2774640500882048993L-11", "3.7620100241760410496L-11",
 233   "8.039474074264245949L-11" },
 234
 235 { "3.9907211434460210612L-11", "9.72066373418363098L-11",
 236   "1.3711384877629652041L-10" },
 237
 238 { "-7.851637932849992129L-11", "4.9296626910685147652L-11",
 239   "-2.9219752417814773637L-11" },
 240
 241 { "3.14874349918113769L-11", "-1.8148353890339025639L19",
 242   "-1.8148353890339025639L19" },
 243
 244 { "-8.444922682942673745L-11", "-5.0034364072191331772L19",
 245   "-5.0034364072191331772L19" },
 246
 247 { "4.762299619586316462L-12", "-1.3412404578328588061L19",
 248   "-1.3412404578328588061L19" },
 249
 250 { "-9.22833351501850052L-12", "3.1000370791158631634L19",
 251   "3.1000370791158631634L19" },
 252
 253 { "6.1164399913981911425L-11", "6.1863455383782109436L19",
 254   "6.1863455383782109436L19" },
 255
 256 { "-8.413645565754525347L-11", "-2.5034082588556447364L19",
 257   "-2.5034082588556447364L19" },
 258
 259 { "3.4875247204061292656L-11", "-7.8682893445087250245L-21",
 260   "3.487524719619300331L-11" },
 261
 262 { "-2.1647610944488691768L-11", "-8.371089558230910183L-21",
 263   "-2.1647610952859781326L-11" },
 264
 265 { "5.7598234760228848032L-11", "2.8011007358408259187L-21",
 266   "5.7598234763029948767L-11" },
 267
 268 { "-9.268425959344303144L-11", "-6.4655012698265179856L-21",
 269   "-9.2684259599908532713L-11" },
 270
 271 { "7.067467072298381137L-11", "-3.8206328350148818058L-21",
 272   "7.0674670719163178536L-11" },
 273
 274 { "7.8912028748606542386L-11", "8.456364925917236866L-21",
 275   "7.891202875706290731L-11" },
 276
 277 { "-6.976183652817340798L18", "0.08822040416435015717L0",
 278   "-6.976183652817340798L18" },
 279
 280 { "-1.2414457404200743984L19", "-0.85791705029429396234L0",
 281   "-1.2414457404200743985L19" },
 282
 283 { "-8.9687515173878579424L19", "-0.3328210335620137057L0",
 284   "-8.9687515173878579424L19" },
 285
 286 { "-5.438581645592863998L19", "-0.67774278184358142436L0",
 287   "-5.438581645592863998L19" },
 288
 289 { "-5.4350840695201649084L19", "-0.72739900682842943577L0",
 290   "-5.4350840695201649084L19" },
 291
 292 { "7.814697448090367615L19", "0.24326892882624165414L0",
 293   "7.814697448090367615L19" },
 294
 295 { "-2.4356768540932142124L19", "6.5169042447583127604L9",
 296   "-2.435676853441523788L19" },
 297
 298 { "-8.7464253032141704904L19", "6.8315507162032823036L9",
 299   "-8.7464253025310154184L19" },
 300
 301 { "-2.4810334273518910993L18", "-7.638114077520272164L9",
 302   "-2.4810334349900051768L18" },
 303
 304 { "-9.80334620432051716L19", "4.474822777555302305L9",
 305   "-9.8033462038730348824L19" },
 306
 307 { "-1.5185085475715921137L19", "8.496315073274781452L9",
 308   "-1.5185085467219606064L19" },
 309
 310 { "-9.3842548893937585184L19", "-9.948865349103608366L9",
 311   "-9.3842548903886450536L19" },
 312
 313 { "5.9391253980818643888L19", "5.6213951287112563564L-11",
 314   "5.9391253980818643888L19" },
 315
 316 { "-4.8270749631022207188L19", "6.506986668488438766L-11",
 317   "-4.8270749631022207188L19" },
 318
 319 { "8.953940231252599753L19", "-1.7735448342981541823L-11",
 320   "8.953940231252599753L19" },
 321
 322 { "-6.1065165153181616235L18", "-1.8103764902203059955L-11",
 323   "-6.1065165153181616235L18" },
 324
 325 { "-9.6224955477275161216L19", "9.4659333494557267205L-11",
 326   "-9.6224955477275161216L19" },
 327
 328 { "-9.2620034246522033504L19", "-8.920063409062509698L-11",
 329   "-9.2620034246522033504L19" },
 330
 331 { "5.9633456897700879935L18", "4.0390945943970882336L19",
 332   "4.6354291633740970328L19" },
 333
 334 { "-6.1420542659063065884L19", "-3.9869088703267959336L19",
 335   "-1.01289631362331025216L20" },
 336
 337 { "7.804124970286546613L19", "8.061318173712112305L19",
 338   "1.5865443143998658918L20" },
 339
 340 { "-7.763817772329800516L19", "-4.9349702057713961232L19",
 341   "-1.2698787978101196639L20" },
 342
 343 { "-3.1480955091040648274L19", "-4.706529024129812914L19",
 344   "-7.8546245332338777416L19" },
 345
 346 { "-4.7131343507844737428L19", "5.4602299451983202032L19",
 347   "7.470955944138464604L18" },
 348
 349 { "5.9403761194093478956L19", "-6.280541343011718101L-21",
 350   "5.9403761194093478956L19" },
 351
 352 { "-3.763295388652278206L19", "-9.963494853851408371L-21",
 353   "-3.763295388652278206L19" },
 354
 355 { "2.5136958358030666948L19", "5.335607709622335287L-21",
 356   "2.5136958358030666948L19" },
 357
 358 { "6.2273952762016960176L19", "-5.6012630121574213906L-21",
 359   "6.2273952762016960176L19" },
 360
 361 { "-9.3934610912833028936L19", "-2.59552531586503232L-21",
 362   "-9.3934610912833028936L19" },
 363
 364 { "2.9584554660239488776L19", "6.875837450751388893L-21",
 365   "2.9584554660239488776L19" },
 366
 367 { "-8.4905558825256936576L-21", "0.112912972443893420624L0",
 368   "0.11291297244389342062L0" },
 369
 370 { "-5.3259362300699140443L-21", "0.44064771529278198132L0",
 371   "0.44064771529278198132L0" },
 372
 373 { "-9.245572241572266517L-21", "0.043497459079983070442L0",
 374   "0.043497459079983070432L0" },
 375
 376 { "7.6311333407948593004L-22", "0.74437178299084331024L0",
 377   "0.74437178299084331024L0" },
 378
 379 { "-7.71114100404407176L-21", "-0.30667849853816871164L0",
 380   "-0.30667849853816871164L0" },
 381
 382 { "3.544120177696956032L-21", "0.79322122717232419205L0",
 383   "0.79322122717232419205L0" },
 384
 385 { "7.7913861181291523115L-21", "8.526554352243632931L9",
 386   "8.526554352243632931L9" },
 387
 388 { "-3.9196632415032070805L-21", "-2.5228304289307799614L9",
 389   "-2.5228304289307799614L9" },
 390
 391 { "7.643174046933518012L-22", "2.9248526891356128762L9",
 392   "2.9248526891356128762L9" },
 393
 394 { "1.8801815336593227227L-21", "6.8178694125314363L9",
 395   "6.8178694125314363L9" },
 396
 397 { "-2.6985037225367287349L-21", "-4.5571976978858014136L9",
 398   "-4.5571976978858014136L9" },
 399
 400 { "6.0444611510506986126L-21", "-8.64585025875790907L9",
 401   "-8.64585025875790907L9" },
 402
 403 { "-1.250177749198396931L-21", "6.428634063301101147L-11",
 404   "6.428634063176083372L-11" },
 405
 406 { "-1.5666058964343815161L-21", "3.552568414787808555L-11",
 407   "3.5525684146311479653L-11" },
 408
 409 { "-5.8078119773790503857L-21", "8.896395897015492877L-12",
 410   "8.8963958912076809L-12" },
 411
 412 { "6.7472260162031965506L-21", "-6.617115409846031908L-11",
 413   "-6.617115409171309306L-11" },
 414
 415 { "-4.16121984125470857L-21", "-3.095053467302410671L-11",
 416   "-3.095053467718532655L-11" },
 417
 418 { "-2.114411383443366621L-21", "9.716046816037651671L-11",
 419   "9.716046815826210533L-11" },
 420
 421 { "-2.3406730990296292957L-21", "7.900725768498098123L18",
 422   "7.900725768498098123L18" },
 423
 424 { "-4.1514248667302411754L-21", "-8.4325334951006246184L19",
 425   "-8.4325334951006246184L19" },
 426
 427 { "8.433933541545648577L-21", "-4.9459088765496691632L19",
 428   "-4.9459088765496691632L19" },
 429
 430 { "2.2922577085250648752L-21", "7.813245819908182463L19",
 431   "7.813245819908182463L19" },
 432
 433 { "8.887270525300553388L-21", "8.651116139112459977L19",
 434   "8.651116139112459977L19" },
 435
 436 { "1.1406539199130032192L-21", "2.3931812472136783544L19",
 437   "2.3931812472136783544L19" },
 438
 439 { "-3.778523001798117503L-21", "2.0779948578933832532L-22",
 440   "-3.5707235160087791776L-21" },
 441
 442 { "-1.6066062689688361383L-21", "-3.5232009896946632975L-21",
 443   "-5.1298072586634994358L-21" },
 444
 445 { "3.9703618511174300454L-21", "-8.036088455194107478L-21",
 446   "-4.0657266040766774324L-21" },
 447
 448 { "6.46657477279861825L-21", "2.6384883907642781157L-21",
 449   "9.105063163562896366L-21" },
 450
 451 { "4.9706631077050274314L-21", "2.3628052244020145395L-21",
 452   "7.333468332107041971L-21" },
 453
 454 { "7.065951142271372955L-21", "3.1965272324939519L-21",
 455   "1.02624783747653248544L-20" },
 456
 457 };