tests/exam_SF_minus.cc

   1 #include "exam.h"
   2 #include <cln/sfloat.h>
   3 #include <cln/sfloat_io.h>
   4
   5 static minus_test sfloat_minus_tests[] = {
   6
   7 { "0.57362s0", "-0.0545654s0",
   8   "0.62819s0" },
   9
  10 { "-0.121063s0", "-0.157204s0",
  11   "0.0361404s0" },
  12
  13 { "0.75334s0", "-0.186554s0",
  14   "0.939896s0" },
  15
  16 { "0.879036s0", "-0.54558s0",
  17   "1.42462s0" },
  18
  19 { "-0.245338s0", "-0.003891s0",
  20   "-0.241447s0" },
  21
  22 { "-0.89576s0", "0.61608s0",
  23   "-1.51184s0" },
  24
  25 { "-0.59227s0", "6.61s9",
  26   "-6.61s9" },
  27
  28 { "0.381363s0", "1.88003s9",
  29   "-1.88003s9" },
  30
  31 { "0.858986s0", "1.31028s9",
  32   "-1.31028s9" },
  33
  34 { "0.56377s0", "-3.26553s9",
  35   "3.26553s9" },
  36
  37 { "0.80342s0", "-1.46217s9",
  38   "1.46217s9" },
  39
  40 { "0.093941s0", "8.30203s9",
  41   "-8.30203s9" },
  42
  43 { "0.266243s0", "4.980s-14",
  44   "0.266243s0" },
  45
  46 { "-0.169983s0", "8.01s-15",
  47   "-0.169983s0" },
  48
  49 { "0.77925s0", "-2.777s-15",
  50   "0.77925s0" },
  51
  52 { "-0.379807s0", "3.990s-15",
  53   "-0.379807s0" },
  54
  55 { "-0.392517s0", "1.1080s-13",
  56   "-0.392517s0" },
  57
  58 { "-0.26274s0", "-7.575s-14",
  59   "-0.26274s0" },
  60
  61 { "0.72031s0", "4.1223s19",
  62   "-4.1223s19" },
  63
  64 { "0.589775s0", "-2.9271s19",
  65   "2.9271s19" },
  66
  67 { "0.205704s0", "-8.4906s19",
  68   "8.4906s19" },
  69
  70 { "0.362556s0", "6.8624s19",
  71   "-6.8624s19" },
  72
  73 { "-0.604004s0", "-1.42777s19",
  74   "1.42777s19" },
  75
  76 { "-0.53121s0", "2.3539s19",
  77   "-2.3539s19" },
  78
  79 { "-0.684906s0", "8.179s-24",
  80   "-0.684906s0" },
  81
  82 { "0.43084s0", "-5.849s-24",
  83   "0.43084s0" },
  84
  85 { "0.153358s0", "3.633s-24",
  86   "0.153358s0" },
  87
  88 { "0.93678s0", "9.13s-24",
  89   "0.93678s0" },
  90
  91 { "0.78924s0", "-7.766s-24",
  92   "0.78924s0" },
  93
  94 { "0.33867s0", "3.510s-24",
  95   "0.33867s0" },
  96
  97 { "8.0573s9", "-0.86206s0",
  98   "8.0573s9" },
  99
 100 { "9.3318s9", "-0.93273s0",
 101   "9.3318s9" },
 102
 103 { "-4.26515s9", "0.464104s0",
 104   "-4.26515s9" },
 105
 106 { "-3.35557s9", "-0.93267s0",
 107   "-3.35557s9" },
 108
 109 { "-6.81614s9", "-0.64528s0",
 110   "-6.81614s9" },
 111
 112 { "-5.099s9", "0.67011s0",
 113   "-5.099s9" },
 114
 115 { "-4.2206s9", "4.9182s9",
 116   "-9.1389s9" },
 117
 118 { "-5.18173s9", "2.267s9",
 119   "-7.4487s9" },
 120
 121 { "5.53314s9", "6.08856s9",
 122   "-5.5542s8" },
 123
 124 { "9.88s9", "-3.3333s9",
 125   "1.32132s10" },
 126
 127 { "4.87404s9", "7.17075s9",
 128   "-2.2967s9" },
 129
 130 { "-2.9911s9", "-1.37177s8",
 131   "-2.85393s9" },
 132
 133 { "-8.1379s9", "3.023s-15",
 134   "-8.1379s9" },
 135
 136 { "4.8877s9", "-1.1596s-13",
 137   "4.8877s9" },
 138
 139 { "-1.89071s9", "-4.330s-14",
 140   "-1.89071s9" },
 141
 142 { "8.7563s9", "-4.676s-14",
 143   "8.7563s9" },
 144
 145 { "-4.4533s9", "2.743s-15",
 146   "-4.4533s9" },
 147
 148 { "4.0261s9", "2.1618s-13",
 149   "4.0261s9" },
 150
 151 { "9.1731s9", "-8.0954s19",
 152   "8.0954s19" },
 153
 154 { "6.984s9", "1.09772s19",
 155   "-1.09772s19" },
 156
 157 { "-9.8832s9", "-8.0905s19",
 158   "8.0905s19" },
 159
 160 { "-8.5769s9", "-6.24565s19",
 161   "6.24565s19" },
 162
 163 { "8.5486s9", "2.77396s19",
 164   "-2.77396s19" },
 165
 166 { "-9.4026s9", "-3.5611s19",
 167   "3.5611s19" },
 168
 169 { "5.1003s9", "-1.9535s-23",
 170   "5.1003s9" },
 171
 172 { "1.88706s9", "-1.6304s-23",
 173   "1.88706s9" },
 174
 175 { "-9.4567s9", "-1.9848s-23",
 176   "-9.4567s9" },
 177
 178 { "9.6498s9", "-1.57531s-21",
 179   "9.6498s9" },
 180
 181 { "-5.733s9", "1.23215s-21",
 182   "-5.733s9" },
 183
 184 { "-4.0567s9", "-5.229s-24",
 185   "-4.0567s9" },
 186
 187 { "-4.379s-14", "-0.0201035s0",
 188   "0.0201035s0" },
 189
 190 { "-4.036s-14", "0.82034s0",
 191   "-0.82034s0" },
 192
 193 { "1.6661s-13", "-0.70753s0",
 194   "0.70753s0" },
 195
 196 { "3.360s-14", "0.60217s0",
 197   "-0.60217s0" },
 198
 199 { "4.977s-14", "-0.95905s0",
 200   "0.95905s0" },
 201
 202 { "-2.967s-14", "0.55465s0",
 203   "-0.55465s0" },
 204
 205 { "4.394s-14", "2.01859s9",
 206   "-2.01859s9" },
 207
 208 { "3.683s-14", "4.77836s9",
 209   "-4.77836s9" },
 210
 211 { "-6.887s-14", "-9.26s9",
 212   "9.26s9" },
 213
 214 { "-2.643s-15", "-5.6812s9",
 215   "5.6812s9" },
 216
 217 { "-8.498s-14", "-9.3728s9",
 218   "9.3728s9" },
 219
 220 { "9.033s-14", "2.18002s9",
 221   "-2.18002s9" },
 222
 223 { "3.113s-14", "-9.207s-14",
 224   "1.232s-13" },
 225
 226 { "-3.239s-15", "-1.2957s-13",
 227   "1.26331s-13" },
 228
 229 { "3.098s-15", "-6.117s-15",
 230   "9.2151s-15" },
 231
 232 { "1.7706s-13", "4.829s-14",
 233   "1.2877s-13" },
 234
 235 { "2.793s-15", "8.620s-14",
 236   "-8.3407s-14" },
 237
 238 { "-5.019s-14", "4.125s-14",
 239   "-9.144s-14" },
 240
 241 { "-9.495s-14", "-6.06994s18",
 242   "6.06994s18" },
 243
 244 { "9.385s-14", "-7.9288s19",
 245   "7.9288s19" },
 246
 247 { "-3.099s-14", "-6.64095s19",
 248   "6.64095s19" },
 249
 250 { "3.397s-15", "2.92222s19",
 251   "-2.92222s19" },
 252
 253 { "-8.463s-14", "-4.9708s19",
 254   "4.9708s19" },
 255
 256 { "-2.735s-15", "-9.2672s19",
 257   "9.2672s19" },
 258
 259 { "-2.974s-14", "-7.975s-24",
 260   "-2.974s-14" },
 261
 262 { "-2.1853s-13", "2.736s-24",
 263   "-2.1853s-13" },
 264
 265 { "3.243s-15", "-6.867s-24",
 266   "3.243s-15" },
 267
 268 { "4.792s-14", "-2.659s-24",
 269   "4.792s-14" },
 270
 271 { "4.672s-14", "7.831s-24",
 272   "4.672s-14" },
 273
 274 { "2.0285s-13", "2.741s-24",
 275   "2.0285s-13" },
 276
 277 { "-9.1884s19", "-0.22573s0",
 278   "-9.1884s19" },
 279
 280 { "3.32245s19", "0.7651s0",
 281   "3.32245s19" },
 282
 283 { "4.13513s17", "0.85135s0",
 284   "4.13513s17" },
 285
 286 { "2.2249s19", "0.45778s0",
 287   "2.2249s19" },
 288
 289 { "4.9103s19", "0.84862s0",
 290   "4.9103s19" },
 291
 292 { "4.27386s19", "-0.06662s0",
 293   "4.27386s19" },
 294
 295 { "-6.725s19", "5.11246s8",
 296   "-6.725s19" },
 297
 298 { "-2.40906s19", "7.2238s9",
 299   "-2.40906s19" },
 300
 301 { "6.1667s19", "-7.4303s9",
 302   "6.1667s19" },
 303
 304 { "-7.746s19", "-4.29687s8",
 305   "-7.746s19" },
 306
 307 { "-1.81419s19", "-5.68164s9",
 308   "-1.81419s19" },
 309
 310 { "7.0665s19", "-8.9546s8",
 311   "7.0665s19" },
 312
 313 { "2.47788s19", "-2.2961s-13",
 314   "2.47788s19" },
 315
 316 { "-7.4962s19", "-3.378s-14",
 317   "-7.4962s19" },
 318
 319 { "1.72135s19", "7.168s-14",
 320   "1.72135s19" },
 321
 322 { "8.3699s19", "4.887s-14",
 323   "8.3699s19" },
 324
 325 { "-4.5701s19", "-8.009s-14",
 326   "-4.5701s19" },
 327
 328 { "-2.845s18", "1.1087s-13",
 329   "-2.845s18" },
 330
 331 { "6.4084s19", "-4.569s19",
 332   "1.09774s20" },
 333
 334 { "1.33888s19", "-6.8446s19",
 335   "8.1835s19" },
 336
 337 { "-4.0631s19", "1.50864s19",
 338   "-5.57174s19" },
 339
 340 { "-5.61754s18", "2.6413s18",
 341   "-8.2588s18" },
 342
 343 { "-9.0749s19", "6.21626s19",
 344   "-1.5291s20" },
 345
 346 { "-8.5269s19", "6.2002s19",
 347   "-1.47271s20" },
 348
 349 { "3.15773s19", "5.433s-24",
 350   "3.15773s19" },
 351
 352 { "5.1563s19", "-1.6366s-23",
 353   "5.1563s19" },
 354
 355 { "-5.8449s19", "3.282s-24",
 356   "-5.8449s19" },
 357
 358 { "4.70947s19", "1.5640s-23",
 359   "4.70947s19" },
 360
 361 { "-4.32334s19", "-1.0593s-23",
 362   "-4.32334s19" },
 363
 364 { "7.9621s19", "5.610s-24",
 365   "7.9621s19" },
 366
 367 { "8.164s-24", "0.133362s0",
 368   "-0.133362s0" },
 369
 370 { "-1.57089s-21", "0.3154s0",
 371   "-0.3154s0" },
 372
 373 { "-3.736s-24", "-0.66536s0",
 374   "0.66536s0" },
 375
 376 { "-6.923s-24", "-0.431366s0",
 377   "0.431366s0" },
 378
 379 { "3.345s-24", "0.77436s0",
 380   "-0.77436s0" },
 381
 382 { "-1.4322s-23", "0.799644s0",
 383   "-0.799644s0" },
 384
 385 { "-1.3249s-23", "-4.22035s9",
 386   "4.22035s9" },
 387
 388 { "2.707s-24", "-6.5029s9",
 389   "6.5029s9" },
 390
 391 { "-3.490s-24", "-2.5205s9",
 392   "2.5205s9" },
 393
 394 { "-1.0086s-23", "1.35048s9",
 395   "-1.35048s9" },
 396
 397 { "1.4406s-23", "1.55487s9",
 398   "-1.55487s9" },
 399
 400 { "3.370s-24", "-4.3973s9",
 401   "4.3973s9" },
 402
 403 { "-1.31249s-21", "3.448s-14",
 404   "-3.448s-14" },
 405
 406 { "-7.706s-24", "-1.9488s-13",
 407   "1.9488s-13" },
 408
 409 { "-9.8403s-22", "2.2940s-13",
 410   "-2.294s-13" },
 411
 412 { "-3.355s-24", "1.0187s-13",
 413   "-1.0187s-13" },
 414
 415 { "9.5635s-22", "-8.663s-14",
 416   "8.663s-14" },
 417
 418 { "-5.713s-24", "-3.169s-14",
 419   "3.169s-14" },
 420
 421 { "2.645s-24", "-5.2307s19",
 422   "5.2307s19" },
 423
 424 { "-9.960s-24", "-9.2854s19",
 425   "9.2854s19" },
 426
 427 { "8.036s-24", "-7.11434s19",
 428   "7.11434s19" },
 429
 430 { "3.475s-24", "-4.845s19",
 431   "4.845s19" },
 432
 433 { "-3.062s-24", "4.91714s19",
 434   "-4.91714s19" },
 435
 436 { "-2.541s-24", "-2.91276s19",
 437   "2.91276s19" },
 438
 439 { "1.4371s-23", "1.1606s-23",
 440   "2.76508s-24" },
 441
 442 { "-1.8769s-23", "2.965s-24",
 443   "-2.1734s-23" },
 444
 445 { "3.713s-24", "-1.7581s-23",
 446   "2.1294s-23" },
 447
 448 { "-5.954s-24", "-2.764s-24",
 449   "-3.19s-24" },
 450
 451 { "3.21502s-22", "8.56s-24",
 452   "3.12942s-22" },
 453
 454 { "9.969s-24", "5.912s-24",
 455   "4.057s-24" },
 456
 457 };