tests/exam_SF_plus.cc

   1 #include "exam.h"
   2 #include <cln/sfloat.h>
   3 #include <cln/sfloat_io.h>
   4
   5 static plus_test sfloat_plus_tests[] = {
   6
   7 { "0.52019s0", "0.98203s0",
   8   "1.50223s0" },
   9
  10 { "0.026268s0", "0.6137s0",
  11   "0.63997s0" },
  12
  13 { "-0.338943s0", "0.450523s0",
  14   "0.11158s0" },
  15
  16 { "-0.032799s0", "0.995186s0",
  17   "0.96239s0" },
  18
  19 { "0.249222s0", "0.96463s0",
  20   "1.21385s0" },
  21
  22 { "-0.46177s0", "-0.80114s0",
  23   "-1.26291s0" },
  24
  25 { "-0.127754s0", "-1.88775s9",
  26   "-1.88775s9" },
  27
  28 { "-0.65572s0", "-9.1112s9",
  29   "-9.1112s9" },
  30
  31 { "-0.99359s0", "-7.6134s9",
  32   "-7.6134s9" },
  33
  34 { "0.0169907s0", "-5.9027s9",
  35   "-5.9027s9" },
  36
  37 { "0.77272s0", "-9.5384s9",
  38   "-9.5384s9" },
  39
  40 { "-0.50671s0", "1.95366s9",
  41   "1.95366s9" },
  42
  43 { "-0.281487s0", "-1.4109s-13",
  44   "-0.281487s0" },
  45
  46 { "0.86259s0", "-1.8225s-13",
  47   "0.86259s0" },
  48
  49 { "0.42874s0", "6.326s-14",
  50   "0.42874s0" },
  51
  52 { "-0.53545s0", "3.607s-14",
  53   "-0.53545s0" },
  54
  55 { "0.63671s0", "-4.723s-14",
  56   "0.63671s0" },
  57
  58 { "0.34449s0", "-4.873s-14",
  59   "0.34449s0" },
  60
  61 { "-0.480698s0", "3.03292s19",
  62   "3.03292s19" },
  63
  64 { "0.85132s0", "-6.325s19",
  65   "-6.325s19" },
  66
  67 { "-0.54742s0", "-2.83806s19",
  68   "-2.83806s19" },
  69
  70 { "0.45269s0", "1.62964s19",
  71   "1.62964s19" },
  72
  73 { "-0.5122s0", "-3.6148s18",
  74   "-3.6148s18" },
  75
  76 { "0.192093s0", "5.3618s19",
  77   "5.3618s19" },
  78
  79 { "-0.43486s0", "-8.918s-24",
  80   "-0.43486s0" },
  81
  82 { "0.289955s0", "-5.911s-24",
  83   "0.289955s0" },
  84
  85 { "0.274345s0", "-1.6779s-23",
  86   "0.274345s0" },
  87
  88 { "0.392723s0", "-7.441s-24",
  89   "0.392723s0" },
  90
  91 { "-0.62215s0", "3.521s-24",
  92   "-0.62215s0" },
  93
  94 { "-0.5406s0", "-7.718s-24",
  95   "-0.5406s0" },
  96
  97 { "6.5444s9", "-0.060898s0",
  98   "6.5444s9" },
  99
 100 { "-8.541s9", "-0.181755s0",
 101   "-8.541s9" },
 102
 103 { "3.02993s9", "0.694534s0",
 104   "3.02993s9" },
 105
 106 { "9.3926s9", "-0.77226s0",
 107   "9.3926s9" },
 108
 109 { "-6.4481s9", "0.252235s0",
 110   "-6.4481s9" },
 111
 112 { "-1.1734s8", "0.94104s0",
 113   "-1.1734s8" },
 114
 115 { "-5.1049s9", "1.28059s9",
 116   "-3.82435s9" },
 117
 118 { "-7.39554s9", "8.9347s9",
 119   "1.53911s9" },
 120
 121 { "3.11457s9", "1.71478s9",
 122   "4.82935s9" },
 123
 124 { "-8.0461s9", "9.0508s9",
 125   "1.00467s9" },
 126
 127 { "-8.58006s8", "-2.82289s7",
 128   "-8.86235s8" },
 129
 130 { "1.82954s9", "-1.83914s9",
 131   "-9601000.0s0" },
 132
 133 { "7.6292s9", "1.3988s-13",
 134   "7.6292s9" },
 135
 136 { "-1.43837s9", "-2.482s-15",
 137   "-1.43837s9" },
 138
 139 { "-6.4696s9", "-1.3269s-13",
 140   "-6.4696s9" },
 141
 142 { "9.6744s9", "-3.132s-14",
 143   "9.6744s9" },
 144
 145 { "-1.18927s9", "-1.9405s-13",
 146   "-1.18927s9" },
 147
 148 { "-3.81462s9", "-8.602s-14",
 149   "-3.81462s9" },
 150
 151 { "5.5761s9", "1.32286s19",
 152   "1.32286s19" },
 153
 154 { "7.1631s9", "-9.3184s19",
 155   "-9.3184s19" },
 156
 157 { "4.7921s9", "-5.8008s19",
 158   "-5.8008s19" },
 159
 160 { "7.792s9", "9.7695s19",
 161   "9.7695s19" },
 162
 163 { "8.9575s9", "7.0198s19",
 164   "7.0198s19" },
 165
 166 { "4.4688s9", "7.2066s19",
 167   "7.2066s19" },
 168
 169 { "8.9222s9", "-1.3243s-23",
 170   "8.9222s9" },
 171
 172 { "-9.7717s9", "3.434s-24",
 173   "-9.7717s9" },
 174
 175 { "-4.22478s9", "-7.938s-24",
 176   "-4.22478s9" },
 177
 178 { "3.9261s8", "7.916s-24",
 179   "3.9261s8" },
 180
 181 { "-3.239s9", "-8.986s-24",
 182   "-3.239s9" },
 183
 184 { "-4.6268s9", "-1.0129s-23",
 185   "-4.6268s9" },
 186
 187 { "1.1171s-13", "0.73372s0",
 188   "0.73372s0" },
 189
 190 { "-3.575s-14", "0.94588s0",
 191   "0.94588s0" },
 192
 193 { "3.176s-14", "-0.160759s0",
 194   "-0.160759s0" },
 195
 196 { "5.055s-15", "-0.0258102s0",
 197   "-0.0258102s0" },
 198
 199 { "6.371s-14", "0.480484s0",
 200   "0.480484s0" },
 201
 202 { "-9.257s-14", "0.698975s0",
 203   "0.698975s0" },
 204
 205 { "-1.0281s-13", "-9.4453s9",
 206   "-9.4453s9" },
 207
 208 { "5.960s-14", "-1.71395s9",
 209   "-1.71395s9" },
 210
 211 { "6.805s-14", "-5.8515s9",
 212   "-5.8515s9" },
 213
 214 { "1.1645s-13", "7.4758s9",
 215   "7.4758s9" },
 216
 217 { "-1.0064s-13", "-1.86868s9",
 218   "-1.86868s9" },
 219
 220 { "8.912s-15", "-8.4908s9",
 221   "-8.4908s9" },
 222
 223 { "4.036s-14", "3.308s-15",
 224   "4.3668s-14" },
 225
 226 { "-2.503s-15", "-7.642s-14",
 227   "-7.8923s-14" },
 228
 229 { "4.653s-14", "-4.612s-14",
 230   "4.10262s-16" },
 231
 232 { "4.700s-14", "-8.456s-14",
 233   "-3.756s-14" },
 234
 235 { "8.181s-14", "-4.658s-14",
 236   "3.52305s-14" },
 237
 238 { "-1.5467s-13", "2.3608s-13",
 239   "8.1409s-14" },
 240
 241 { "-4.341s-14", "-5.14576s19",
 242   "-5.14576s19" },
 243
 244 { "-3.159s-14", "-9.4925s19",
 245   "-9.4925s19" },
 246
 247 { "-7.325s-14", "3.49983s19",
 248   "3.49983s19" },
 249
 250 { "4.134s-14", "7.07955s19",
 251   "7.07955s19" },
 252
 253 { "4.080s-15", "-3.7832s19",
 254   "-3.7832s19" },
 255
 256 { "1.1577s-13", "3.30522s19",
 257   "3.30522s19" },
 258
 259 { "-6.838s-14", "2.739s-24",
 260   "-6.838s-14" },
 261
 262 { "5.050s-14", "6.768s-24",
 263   "5.05s-14" },
 264
 265 { "-1.9477s-13", "-6.657s-24",
 266   "-1.9477s-13" },
 267
 268 { "-6.348s-14", "-5.222s-24",
 269   "-6.348s-14" },
 270
 271 { "-8.770s-14", "-1.58234s-22",
 272   "-8.77s-14" },
 273
 274 { "7.906s-14", "4.9202s-22",
 275   "7.906s-14" },
 276
 277 { "3.7985s19", "0.8199s0",
 278   "3.7985s19" },
 279
 280 { "9.891s19", "0.79037s0",
 281   "9.891s19" },
 282
 283 { "-1.49583s19", "-0.360153s0",
 284   "-1.49583s19" },
 285
 286 { "-7.36023s19", "0.8185s0",
 287   "-7.36023s19" },
 288
 289 { "3.62075s19", "-0.364594s0",
 290   "3.62075s19" },
 291
 292 { "8.0477s19", "-0.531815s0",
 293   "8.0477s19" },
 294
 295 { "3.62182s19", "-7.2661s9",
 296   "3.62182s19" },
 297
 298 { "-3.23868s19", "-9.6806s9",
 299   "-3.23868s19" },
 300
 301 { "-6.08735s19", "2.89138s9",
 302   "-6.08735s19" },
 303
 304 { "5.00175s19", "-6.3548s9",
 305   "5.00175s19" },
 306
 307 { "2.82944s19", "4.7262s9",
 308   "2.82944s19" },
 309
 310 { "4.6168s19", "-6.8772s9",
 311   "4.6168s19" },
 312
 313 { "1.15555s19", "-3.786s-14",
 314   "1.15555s19" },
 315
 316 { "8.1897s19", "-8.971s-14",
 317   "8.1897s19" },
 318
 319 { "4.32734s19", "-4.794s-14",
 320   "4.32734s19" },
 321
 322 { "-9.4559s19", "-1.9717s-13",
 323   "-9.4559s19" },
 324
 325 { "-4.20726s19", "-8.657s-14",
 326   "-4.20726s19" },
 327
 328 { "9.7697s19", "-3.376s-14",
 329   "9.7697s19" },
 330
 331 { "6.09264s19", "-7.5608s18",
 332   "5.33654s19" },
 333
 334 { "-5.2828s19", "6.8924s18",
 335   "-4.59356s19" },
 336
 337 { "5.73685s19", "-1.4978s19",
 338   "4.23907s19" },
 339
 340 { "-1.30897s19", "4.8593s19",
 341   "3.55036s19" },
 342
 343 { "-8.5586s19", "-9.712s19",
 344   "-1.82707s20" },
 345
 346 { "3.8772s19", "-8.6355s19",
 347   "-4.75833s19" },
 348
 349 { "-1.03845s19", "6.88s-24",
 350   "-1.03845s19" },
 351
 352 { "8.4716s19", "9.614s-24",
 353   "8.4716s19" },
 354
 355 { "-4.3023s19", "-7.649s-24",
 356   "-4.3023s19" },
 357
 358 { "5.9593s19", "-2.552s-24",
 359   "5.9593s19" },
 360
 361 { "9.8934s19", "1.3093s-23",
 362   "9.8934s19" },
 363
 364 { "-5.70567s19", "7.918s-24",
 365   "-5.70567s19" },
 366
 367 { "-2.893s-24", "-0.93898s0",
 368   "-0.93898s0" },
 369
 370 { "8.795s-24", "-0.030014s0",
 371   "-0.030014s0" },
 372
 373 { "-9.366s-24", "0.200493s0",
 374   "0.200493s0" },
 375
 376 { "-9.3102s-22", "-0.28704s0",
 377   "-0.28704s0" },
 378
 379 { "7.142s-24", "-0.45701s0",
 380   "-0.45701s0" },
 381
 382 { "9.420s-24", "0.957794s0",
 383   "0.957794s0" },
 384
 385 { "2.975s-24", "-6.84104s9",
 386   "-6.84104s9" },
 387
 388 { "2.26822s-22", "-8.9898s9",
 389   "-8.9898s9" },
 390
 391 { "-1.531s-23", "8.1961s9",
 392   "8.1961s9" },
 393
 394 { "1.7221s-23", "-1.53725s9",
 395   "-1.53725s9" },
 396
 397 { "-9.488s-24", "-4.77676s8",
 398   "-4.77676s8" },
 399
 400 { "-1.5077s-23", "2.8251s9",
 401   "2.8251s9" },
 402
 403 { "3.410s-24", "-4.701s-14",
 404   "-4.701s-14" },
 405
 406 { "-3.361s-24", "-4.947s-15",
 407   "-4.947s-15" },
 408
 409 { "9.026s-24", "7.353s-14",
 410   "7.353s-14" },
 411
 412 { "-6.385s-24", "7.789s-14",
 413   "7.789s-14" },
 414
 415 { "1.8237s-23", "8.517s-14",
 416   "8.517s-14" },
 417
 418 { "3.4439s-22", "-4.345s-14",
 419   "-4.345s-14" },
 420
 421 { "-6.817s-24", "-9.8611s19",
 422   "-9.8611s19" },
 423
 424 { "6.213s-24", "-2.7257s19",
 425   "-2.7257s19" },
 426
 427 { "-1.9353s-23", "-2.71446s19",
 428   "-2.71446s19" },
 429
 430 { "-3.653s-24", "-7.7565s19",
 431   "-7.7565s19" },
 432
 433 { "1.2298s-23", "-1.56532s19",
 434   "-1.56532s19" },
 435
 436 { "2.905s-24", "2.334s19",
 437   "2.334s19" },
 438
 439 { "3.182s-24", "-5.727s-24",
 440   "-2.545s-24" },
 441
 442 { "-1.0745s-23", "3.640s-24",
 443   "-7.1049s-24" },
 444
 445 { "-9.7145s-22", "8.77s-24",
 446   "-9.6267s-22" },
 447
 448 { "1.3734s-23", "3.225s-24",
 449   "1.69588s-23" },
 450
 451 { "2.745s-24", "1.0505s-23",
 452   "1.325s-23" },
 453
 454 { "2.780s-24", "2.747s-24",
 455   "5.527s-24" },
 456
 457 };