tests/exam_DF_plus.cc

   1 #include "exam.h"
   2 #include <cln/dfloat.h>
   3 #include <cln/dfloat_io.h>
   4
   5 static plus_test dfloat_plus_tests[] = {
   6
   7 { "0.6049332056786565d0", "-0.9611373574853808d0",
   8   "-0.35620415180672427d0" },
   9
  10 { "-0.4763715667865308d0", "0.25936932107685584d0",
  11   "-0.21700224570967497d0" },
  12
  13 { "0.2666481927718355d0", "-0.04984768063142031d0",
  14   "0.21680051214041518d0" },
  15
  16 { "-0.29478659758474846d0", "0.3371004337672615d0",
  17   "0.042313836182513054d0" },
  18
  19 { "0.8203063910979178d0", "0.28968607542857916d0",
  20   "1.109992466526497d0" },
  21
  22 { "-0.08207985138263585d0", "0.4368723951711785d0",
  23   "0.35479254378854264d0" },
  24
  25 { "-0.8659875373355486d0", "-6.631430771196765d9",
  26   "-6.631430772062753d9" },
  27
  28 { "0.15071385783307878d0", "-7.154424279496395d9",
  29   "-7.154424279345681d9" },
  30
  31 { "-0.8969642760814789d0", "-2.4070067380831727d8",
  32   "-2.4070067470528156d8" },
  33
  34 { "-0.9610362081435054d0", "9.070410778399954d9",
  35   "9.070410777438917d9" },
  36
  37 { "0.5129052501104072d0", "-7.47841120327471d9",
  38   "-7.478411202761805d9" },
  39
  40 { "0.3840242289740675d0", "7.793048210060242d9",
  41   "7.793048210444266d9" },
  42
  43 { "0.07603066126204616d0", "5.215008470388369d-11",
  44   "0.07603066131419625d0" },
  45
  46 { "-0.17187858025312586d0", "-5.116645189173968d-11",
  47   "-0.17187858030429232d0" },
  48
  49 { "0.2521315816245864d0", "8.603210607505339d-11",
  50   "0.2521315817106185d0" },
  51
  52 { "-0.3557185853193914d0", "-2.0371324697272998d-11",
  53   "-0.3557185853397627d0" },
  54
  55 { "0.7142792289542045d0", "-7.106356053331326d-11",
  56   "0.7142792288831409d0" },
  57
  58 { "0.4380415886629452d0", "-3.069969538383403d-11",
  59   "0.43804158863224546d0" },
  60
  61 { "0.24798614227178573d0", "3.972393639614975d19",
  62   "3.972393639614975d19" },
  63
  64 { "-0.5210677288128815d0", "4.846393336901129d19",
  65   "4.846393336901129d19" },
  66
  67 { "0.5825404819115d0", "1.9710987361264255d19",
  68   "1.9710987361264255d19" },
  69
  70 { "0.9105175208730549d0", "2.391166552096775d19",
  71   "2.391166552096775d19" },
  72
  73 { "0.48414423368371695d0", "-9.696117779740095d19",
  74   "-9.696117779740095d19" },
  75
  76 { "0.25780758450697716d0", "6.094683117025535d19",
  77   "6.094683117025535d19" },
  78
  79 { "0.9824539149570484d0", "-5.4680066990812835d-21",
  80   "0.9824539149570484d0" },
  81
  82 { "-0.9520982941158654d0", "3.2513564801568073d-21",
  83   "-0.9520982941158654d0" },
  84
  85 { "0.0630170624560149d0", "-9.858852595793203d-21",
  86   "0.0630170624560149d0" },
  87
  88 { "0.24705141169888878d0", "1.4582081178692862d-22",
  89   "0.24705141169888878d0" },
  90
  91 { "0.7440948700757135d0", "-3.0932442581890818d-21",
  92   "0.7440948700757135d0" },
  93
  94 { "-0.5055970869515372d0", "4.0277457257516025d-21",
  95   "-0.5055970869515372d0" },
  96
  97 { "1.672355787134947d9", "0.0064909681594120805d0",
  98   "1.672355787141438d9" },
  99
 100 { "-9.694504381396599d9", "-0.8925470085542831d0",
 101   "-9.694504382289146d9" },
 102
 103 { "-1.6695005924298635d9", "-0.34426964741306d0",
 104   "-1.6695005927741332d9" },
 105
 106 { "-6.085591212594774d9", "0.5107956920100049d0",
 107   "-6.085591212083979d9" },
 108
 109 { "7.457486660952688d9", "-0.4323787588338597d0",
 110   "7.457486660520309d9" },
 111
 112 { "-8.790796444526546d9", "0.911415263281967d0",
 113   "-8.790796443615131d9" },
 114
 115 { "9.667548804251982d9", "-1.266547751029956d8",
 116   "9.540894029148987d9" },
 117
 118 { "-6.169561898845145d9", "9.627911197121864d9",
 119   "3.458349298276719d9" },
 120
 121 { "-9.870287253215279d9", "9.004242781937655d8",
 122   "-8.969862975021513d9" },
 123
 124 { "-8.175630881172554d9", "-4.08632236263908d9",
 125   "-1.2261953243811634d10" },
 126
 127 { "2.9069444232153206d9", "-7.961831315741894d9",
 128   "-5.054886892526573d9" },
 129
 130 { "-7.003647401371184d9", "-1.768371514817526d9",
 131   "-8.772018916188711d9" },
 132
 133 { "-6.418847599138249d9", "2.755257250162372d-11",
 134   "-6.418847599138249d9" },
 135
 136 { "2.3093152687241793d9", "1.2205440142364766d-11",
 137   "2.3093152687241793d9" },
 138
 139 { "8.634577667577518d9", "-9.065714034538668d-11",
 140   "8.634577667577518d9" },
 141
 142 { "1.711283212591781d9", "-3.235019197733951d-11",
 143   "1.711283212591781d9" },
 144
 145 { "2.583886638357791d9", "-8.199109798920928d-11",
 146   "2.583886638357791d9" },
 147
 148 { "-7.517123950474774d9", "5.2057802142431697d-11",
 149   "-7.517123950474774d9" },
 150
 151 { "3.266571938086574d9", "-4.4782768261898355d19",
 152   "-4.478276825863179d19" },
 153
 154 { "2.1000389219899452d9", "-8.547158903365463d19",
 155   "-8.54715890315546d19" },
 156
 157 { "-3.9140926801217155d9", "7.387959860641422d19",
 158   "7.387959860250013d19" },
 159
 160 { "-7.087607465790431d9", "7.96875093387599d19",
 161   "7.96875093316723d19" },
 162
 163 { "-8.341000808926519d9", "6.9360028397637304d19",
 164   "6.93600283892963d19" },
 165
 166 { "-5.507940634743809d9", "9.760028858210094d19",
 167   "9.7600288576593d19" },
 168
 169 { "8.492522971238823d9", "-2.8253881864964467d-22",
 170   "8.492522971238823d9" },
 171
 172 { "1.2731765723336241d9", "-5.8473937102910264d-21",
 173   "1.2731765723336241d9" },
 174
 175 { "9.654280758878323d9", "-4.2332114049658973d-22",
 176   "9.654280758878323d9" },
 177
 178 { "-6.864618926120946d9", "-1.245648314796599d-21",
 179   "-6.864618926120946d9" },
 180
 181 { "-3.9916044043798673d8", "1.697737588450543d-21",
 182   "-3.9916044043798673d8" },
 183
 184 { "-7.818041624198686d9", "4.635421587404246d-21",
 185   "-7.818041624198686d9" },
 186
 187 { "2.0609929543990767d-12", "-0.2126306554359736d0",
 188   "-0.2126306554339126d0" },
 189
 190 { "-1.5923091695877845d-11", "0.515731533720818d0",
 191   "0.515731533704895d0" },
 192
 193 { "4.794527092905871d-11", "-0.9066947202676092d0",
 194   "-0.9066947202196639d0" },
 195
 196 { "-8.63854477728633d-11", "0.3122982022565777d0",
 197   "0.3122982021701922d0" },
 198
 199 { "-7.577966666552416d-11", "-0.24137602092437593d0",
 200   "-0.2413760210001556d0" },
 201
 202 { "-4.971730475882754d-11", "-0.8202688719750202d0",
 203   "-0.8202688720247375d0" },
 204
 205 { "-5.249369194379291d-11", "-8.546120620321186d9",
 206   "-8.546120620321186d9" },
 207
 208 { "8.280786962526793d-11", "5.758373397436368d9",
 209   "5.758373397436368d9" },
 210
 211 { "6.370323595535815d-11", "-8.470663335712393d9",
 212   "-8.470663335712393d9" },
 213
 214 { "3.59771226839467d-11", "3.5042505440266216d8",
 215   "3.5042505440266216d8" },
 216
 217 { "-3.945501687396375d-11", "-5.082779978069177d9",
 218   "-5.082779978069177d9" },
 219
 220 { "9.780590963267516d-11", "-5.05591945120475d9",
 221   "-5.05591945120475d9" },
 222
 223 { "6.323293597096768d-11", "-7.208898910487284d-11",
 224   "-8.85605313390516d-12" },
 225
 226 { "-4.549781732354749d-11", "-6.095452636416357d-11",
 227   "-1.0645234368771105d-10" },
 228
 229 { "-5.372680267837374d-11", "2.0748354219485134d-11",
 230   "-3.297844845888861d-11" },
 231
 232 { "3.550879553916665d-11", "-4.374873254056574d-11",
 233   "-8.23993700139909d-12" },
 234
 235 { "-6.746002242414832d-11", "3.0803985031459436d-11",
 236   "-3.665603739268888d-11" },
 237
 238 { "-7.902512161494214d-11", "-8.907842858073236d-11",
 239   "-1.681035501956745d-10" },
 240
 241 { "-4.1465935469350415d-11", "6.244210696961323d19",
 242   "6.244210696961323d19" },
 243
 244 { "4.921297536286578d-11", "-1.694436650099881d19",
 245   "-1.694436650099881d19" },
 246
 247 { "-7.879478980672654d-11", "6.41757969360492d19",
 248   "6.41757969360492d19" },
 249
 250 { "-8.200749317872953d-11", "-9.490225542618815d19",
 251   "-9.490225542618815d19" },
 252
 253 { "-7.572981329795812d-11", "-3.350367078181029d19",
 254   "-3.350367078181029d19" },
 255
 256 { "-5.955255565125549d-11", "-5.009913629288125d19",
 257   "-5.009913629288125d19" },
 258
 259 { "-9.818180775332558d-11", "-7.926156011681593d-21",
 260   "-9.818180776125174d-11" },
 261
 262 { "-5.2466438379505935d-12", "8.468830229031857d-21",
 263   "-5.246643829481763d-12" },
 264
 265 { "3.582774358441715d-11", "3.6865211729351863d-22",
 266   "3.58277435847858d-11" },
 267
 268 { "7.169296413565744d-11", "-9.974881413980864d-21",
 269   "7.169296412568256d-11" },
 270
 271 { "-9.615073655516977d-11", "4.9552491300097786d-21",
 272   "-9.615073655021452d-11" },
 273
 274 { "6.7696956269187d-11", "4.1431488006404866d-21",
 275   "6.769695627333016d-11" },
 276
 277 { "-4.663397365185298d19", "0.9758464195927673d0",
 278   "-4.663397365185298d19" },
 279
 280 { "-4.77977261393851d19", "0.04145189313162445d0",
 281   "-4.77977261393851d19" },
 282
 283 { "7.195364554121596d19", "0.5169917736820715d0",
 284   "7.195364554121596d19" },
 285
 286 { "-7.766254779507882d19", "0.5919134938460356d0",
 287   "-7.766254779507882d19" },
 288
 289 { "-8.411122653901408d19", "-0.14463225181516137d0",
 290   "-8.411122653901408d19" },
 291
 292 { "-9.101920591747218d19", "0.23349918704239836d0",
 293   "-9.101920591747218d19" },
 294
 295 { "7.037477746142529d18", "-3.250947575909365d9",
 296   "7.037477742891581d18" },
 297
 298 { "-6.864341752972099d19", "-4.0510449339565725d9",
 299   "-6.864341753377203d19" },
 300
 301 { "-5.329540273290228d19", "8.14869777458878d9",
 302   "-5.329540272475358d19" },
 303
 304 { "-9.726234388247201d19", "2.053976989398215d9",
 305   "-9.726234388041803d19" },
 306
 307 { "-1.910324088450308d19", "6.247052535748024d9",
 308   "-1.910324087825603d19" },
 309
 310 { "-6.079933001949367d18", "6.316829148809886d9",
 311   "-6.079932995632539d18" },
 312
 313 { "-4.499107911798452d19", "9.659763881732633d-11",
 314   "-4.499107911798452d19" },
 315
 316 { "-3.0972208018542522d19", "-9.077209886078653d-11",
 317   "-3.0972208018542522d19" },
 318
 319 { "-2.3000547840875442d19", "-3.2043634522621155d-11",
 320   "-2.3000547840875442d19" },
 321
 322 { "2.124555308489292d19", "2.252166800652451d-11",
 323   "2.124555308489292d19" },
 324
 325 { "-7.74280238703686d19", "1.7289553748884322d-11",
 326   "-7.74280238703686d19" },
 327
 328 { "-8.119446783121816d19", "-4.3461802389685114d-11",
 329   "-8.119446783121816d19" },
 330
 331 { "-4.70848534032654d18", "-4.698316648967506d19",
 332   "-5.169165183000161d19" },
 333
 334 { "2.853799842810312d19", "-5.56805968603395d19",
 335   "-2.7142598432236384d19" },
 336
 337 { "-2.9128622996090335d19", "-5.153369106520702d19",
 338   "-8.066231406129735d19" },
 339
 340 { "-5.415993984772977d19", "4.481932558278175d19",
 341   "-9.340614264948015d18" },
 342
 343 { "-1.4652301908531261d19", "7.89284449966826d19",
 344   "6.427614308815133d19" },
 345
 346 { "-8.241911630479252d19", "5.377001886877124d19",
 347   "-2.8649097436021277d19" },
 348
 349 { "-6.923631123395076d19", "7.100129853298664d-22",
 350   "-6.923631123395076d19" },
 351
 352 { "-5.864213410820717d19", "-2.649878514627326d-21",
 353   "-5.864213410820717d19" },
 354
 355 { "8.660575002861176d19", "2.751926085897399d-21",
 356   "8.660575002861176d19" },
 357
 358 { "-3.0252871646631318d19", "6.852831573716124d-21",
 359   "-3.0252871646631318d19" },
 360
 361 { "-9.155476807340938d19", "-5.552907466957205d-21",
 362   "-9.155476807340938d19" },
 363
 364 { "-4.03382621358461d19", "6.670808279457885d-21",
 365   "-4.03382621358461d19" },
 366
 367 { "8.842980509187577d-21", "0.5028466982188534d0",
 368   "0.5028466982188534d0" },
 369
 370 { "1.7292043381396136d-21", "0.19490424064972922d0",
 371   "0.19490424064972922d0" },
 372
 373 { "-5.854820918836103d-21", "-0.6700030154364615d0",
 374   "-0.6700030154364615d0" },
 375
 376 { "-2.152396491682048d-21", "0.5002930268902921d0",
 377   "0.5002930268902921d0" },
 378
 379 { "-1.0897149666610629d-21", "0.16555534170490604d0",
 380   "0.16555534170490604d0" },
 381
 382 { "6.321421497987867d-24", "-0.08008112131564671d0",
 383   "-0.08008112131564671d0" },
 384
 385 { "-6.1552667309563055d-21", "7.235074489769488d9",
 386   "7.235074489769488d9" },
 387
 388 { "-2.2311335001219955d-22", "1.220011008333989d9",
 389   "1.220011008333989d9" },
 390
 391 { "8.523565724937177d-23", "-4.1650242034123087d9",
 392   "-4.1650242034123087d9" },
 393
 394 { "-2.4400041303825447d-21", "4.435554678685388d9",
 395   "4.435554678685388d9" },
 396
 397 { "-3.4479065449345757d-22", "8.491084033112451d8",
 398   "8.491084033112451d8" },
 399
 400 { "-7.919939059912893d-21", "-7.610637842585286d9",
 401   "-7.610637842585286d9" },
 402
 403 { "4.4958602369105625d-21", "5.758376768873417d-11",
 404   "5.7583767693230034d-11" },
 405
 406 { "2.4375297386412195d-21", "9.417086717671841d-11",
 407   "9.417086717915595d-11" },
 408
 409 { "1.0040647133383462d-21", "3.4701016271268983d-12",
 410   "3.470101628130963d-12" },
 411
 412 { "-3.885093055726793d-21", "-8.523534862249969d-11",
 413   "-8.523534862638479d-11" },
 414
 415 { "1.027951323422187d-21", "-7.65508060829868d-11",
 416   "-7.655080608195885d-11" },
 417
 418 { "-9.83813940552434d-21", "-5.048380063082019d-11",
 419   "-5.0483800640658324d-11" },
 420
 421 { "-7.640856498925806d-21", "-5.743808556015994d19",
 422   "-5.743808556015994d19" },
 423
 424 { "8.053891045717591d-21", "4.0840032650134725d19",
 425   "4.0840032650134725d19" },
 426
 427 { "-4.794782783871528d-21", "-3.431216587740782d18",
 428   "-3.431216587740782d18" },
 429
 430 { "1.860870988390988d-21", "-3.757945694933625d19",
 431   "-3.757945694933625d19" },
 432
 433 { "5.445498222566789d-21", "7.575823566817991d19",
 434   "7.575823566817991d19" },
 435
 436 { "2.631896745307223d-21", "4.906449817201212d19",
 437   "4.906449817201212d19" },
 438
 439 { "-6.61689881073516d-21", "5.357007670385275d-21",
 440   "-1.2598911403498852d-21" },
 441
 442 { "3.0173001109587537d-21", "5.2947222461350496d-21",
 443   "8.312022357093803d-21" },
 444
 445 { "-8.792518441030627d-21", "-1.0516787854168774d-21",
 446   "-9.844197226447504d-21" },
 447
 448 { "7.349451992884509d-21", "-8.427997362671486d-21",
 449   "-1.0785453697869767d-21" },
 450
 451 { "-7.881179611953633d-21", "3.2080446524364824d-21",
 452   "-4.6731349595171506d-21" },
 453
 454 { "-9.614117725927607d-21", "-5.35667712698602d-21",
 455   "-1.4970794852913628d-20" },
 456
 457 };