tests/exam_FF_plus.cc

   1 #include "exam.h"
   2 #include <cln/ffloat.h>
   3 #include <cln/ffloat_io.h>
   4
   5 static plus_test ffloat_plus_tests[] = {
   6
   7 { "0.79351956", "0.07393837",
   8   "0.8674579" },
   9
  10 { "-0.52145976", "-0.14409256",
  11   "-0.6655523" },
  12
  13 { "-0.094845235", "-0.091273725",
  14   "-0.18611896" },
  15
  16 { "-0.11106694", "-0.90595967",
  17   "-1.0170267" },
  18
  19 { "0.46902913", "0.6453068",
  20   "1.114336" },
  21
  22 { "-0.30989015", "0.6634996",
  23   "0.35360944" },
  24
  25 { "-0.58887166", "-3.1150198E9",
  26   "-3.1150198E9" },
  27
  28 { "0.08032262", "-8.451643E9",
  29   "-8.451643E9" },
  30
  31 { "-0.734433", "7.601292E9",
  32   "7.601292E9" },
  33
  34 { "0.77958024", "-4.2334996E9",
  35   "-4.2334996E9" },
  36
  37 { "-0.5492505", "4.4427484E9",
  38   "4.4427484E9" },
  39
  40 { "-0.45681345", "4.7386803E9",
  41   "4.7386803E9" },
  42
  43 { "-0.5951412", "7.866326E-11",
  44   "-0.5951412" },
  45
  46 { "0.8511461", "8.396644E-11",
  47   "0.8511461" },
  48
  49 { "-0.94777477", "-7.635105E-11",
  50   "-0.94777477" },
  51
  52 { "-0.20783025", "-1.7222382E-11",
  53   "-0.20783025" },
  54
  55 { "0.82520634", "-5.3449255E-11",
  56   "0.82520634" },
  57
  58 { "0.7797032", "3.7409843E-11",
  59   "0.7797032" },
  60
  61 { "0.9915549", "5.16192E19",
  62   "5.16192E19" },
  63
  64 { "-0.6311349", "2.1599532E19",
  65   "2.1599532E19" },
  66
  67 { "0.42801672", "4.8533796E18",
  68   "4.8533796E18" },
  69
  70 { "-0.11165339", "6.518633E19",
  71   "6.518633E19" },
  72
  73 { "-0.5133993", "-5.5200484E19",
  74   "-5.5200484E19" },
  75
  76 { "0.11643493", "-1.0541451E19",
  77   "-1.0541451E19" },
  78
  79 { "-0.7063649", "8.243067E-21",
  80   "-0.7063649" },
  81
  82 { "8.4728E-4", "-7.5151976E-21",
  83   "8.4728E-4" },
  84
  85 { "-0.47157037", "-8.748518E-21",
  86   "-0.47157037" },
  87
  88 { "0.7662331", "-5.6591384E-21",
  89   "0.7662331" },
  90
  91 { "-0.9418909", "-4.455382E-21",
  92   "-0.9418909" },
  93
  94 { "-0.88412094", "6.6664897E-21",
  95   "-0.88412094" },
  96
  97 { "5.5891533E9", "-0.11624104",
  98   "5.5891533E9" },
  99
 100 { "-8.760519E9", "0.22073412",
 101   "-8.760519E9" },
 102
 103 { "6.8390047E9", "-0.6434584",
 104   "6.8390047E9" },
 105
 106 { "5.1620844E9", "-0.93939686",
 107   "5.1620844E9" },
 108
 109 { "9.21372E9", "-0.93054956",
 110   "9.21372E9" },
 111
 112 { "-2.7403366E9", "-0.9354063",
 113   "-2.7403366E9" },
 114
 115 { "6.4755876E9", "7.780013E9",
 116   "1.4255601E10" },
 117
 118 { "3.6402857E9", "-4.6589404E9",
 119   "-1.0186547E9" },
 120
 121 { "9.858497E9", "-3.1216233E9",
 122   "6.7368735E9" },
 123
 124 { "-5.199144E9", "-8.3410964E9",
 125   "-1.354024E10" },
 126
 127 { "-2.2145843E9", "7.4088115E9",
 128   "5.194227E9" },
 129
 130 { "3.6034734E9", "-4.7355105E9",
 131   "-1.1320371E9" },
 132
 133 { "-3.974853E9", "8.344858E-11",
 134   "-3.974853E9" },
 135
 136 { "9.633741E9", "9.879035E-11",
 137   "9.633741E9" },
 138
 139 { "-5.84563E9", "-2.8054357E-11",
 140   "-5.84563E9" },
 141
 142 { "1.6814709E8", "-6.702281E-11",
 143   "1.6814709E8" },
 144
 145 { "6.627381E8", "8.1083654E-11",
 146   "6.627381E8" },
 147
 148 { "6.617609E9", "-7.74835E-11",
 149   "6.617609E9" },
 150
 151 { "-4.325255E9", "7.48992E19",
 152   "7.48992E19" },
 153
 154 { "8.963769E9", "5.6527995E19",
 155   "5.6527995E19" },
 156
 157 { "3.2307428E9", "-3.772047E19",
 158   "-3.772047E19" },
 159
 160 { "-1.5719092E9", "9.119215E19",
 161   "9.119215E19" },
 162
 163 { "-3.1338138E9", "2.7048826E19",
 164   "2.7048826E19" },
 165
 166 { "-4.4506363E9", "9.624759E19",
 167   "9.624759E19" },
 168
 169 { "1.8499094E9", "4.968932E-21",
 170   "1.8499094E9" },
 171
 172 { "1.1302281E9", "1.590079E-21",
 173   "1.1302281E9" },
 174
 175 { "5.7261727E9", "-3.3212954E-21",
 176   "5.7261727E9" },
 177
 178 { "1.8314988E9", "-6.247946E-21",
 179   "1.8314988E9" },
 180
 181 { "-7.301286E9", "-8.870309E-21",
 182   "-7.301286E9" },
 183
 184 { "8.0970737E9", "-6.944993E-21",
 185   "8.0970737E9" },
 186
 187 { "9.076142E-11", "0.79629874",
 188   "0.79629874" },
 189
 190 { "-2.5569331E-11", "-0.11109424",
 191   "-0.11109424" },
 192
 193 { "5.817238E-11", "0.8669617",
 194   "0.8669617" },
 195
 196 { "5.0001194E-11", "0.1629681",
 197   "0.1629681" },
 198
 199 { "-5.314657E-11", "0.33499128",
 200   "0.33499128" },
 201
 202 { "3.4244614E-11", "0.7846571",
 203   "0.7846571" },
 204
 205 { "5.016508E-11", "1.2850774E9",
 206   "1.2850774E9" },
 207
 208 { "-6.236206E-11", "-3.9463657E9",
 209   "-3.9463657E9" },
 210
 211 { "-9.461717E-11", "-2.86016E9",
 212   "-2.86016E9" },
 213
 214 { "9.271425E-11", "9.936099E9",
 215   "9.936099E9" },
 216
 217 { "-9.330213E-12", "4.2810826E9",
 218   "4.2810826E9" },
 219
 220 { "8.8110796E-11", "-7.967343E9",
 221   "-7.967343E9" },
 222
 223 { "-3.252064E-11", "9.310712E-11",
 224   "6.058648E-11" },
 225
 226 { "9.2616026E-11", "-4.2321837E-11",
 227   "5.029419E-11" },
 228
 229 { "-6.138445E-11", "2.0083374E-11",
 230   "-4.130108E-11" },
 231
 232 { "-1.672895E-11", "-4.1673078E-11",
 233   "-5.8402026E-11" },
 234
 235 { "-5.054619E-11", "-1.9569606E-11",
 236   "-7.0115795E-11" },
 237
 238 { "-6.765585E-11", "6.200571E-11",
 239   "-5.65014E-12" },
 240
 241 { "-8.958499E-11", "9.627367E18",
 242   "9.627367E18" },
 243
 244 { "-3.639458E-11", "-6.774422E19",
 245   "-6.774422E19" },
 246
 247 { "5.885664E-11", "7.710968E19",
 248   "7.710968E19" },
 249
 250 { "-2.8348934E-11", "-6.8805507E19",
 251   "-6.8805507E19" },
 252
 253 { "3.783013E-11", "-4.363011E19",
 254   "-4.363011E19" },
 255
 256 { "9.9192224E-11", "7.840148E19",
 257   "7.840148E19" },
 258
 259 { "1.5157771E-11", "-6.578477E-21",
 260   "1.5157771E-11" },
 261
 262 { "3.269849E-11", "-1.5641468E-21",
 263   "3.269849E-11" },
 264
 265 { "-2.4697334E-11", "-5.9471063E-21",
 266   "-2.4697334E-11" },
 267
 268 { "-7.226034E-11", "-8.027814E-21",
 269   "-7.226034E-11" },
 270
 271 { "6.705153E-12", "1.3146739E-21",
 272   "6.705153E-12" },
 273
 274 { "-9.281199E-11", "1.940757E-22",
 275   "-9.281199E-11" },
 276
 277 { "6.841885E19", "0.29873258",
 278   "6.841885E19" },
 279
 280 { "-7.487633E19", "-0.41199452",
 281   "-7.487633E19" },
 282
 283 { "9.324847E19", "-0.12986994",
 284   "9.324847E19" },
 285
 286 { "1.7454827E19", "-0.9480438",
 287   "1.7454827E19" },
 288
 289 { "-2.2794772E19", "-0.85242146",
 290   "-2.2794772E19" },
 291
 292 { "-1.4789046E18", "-0.3244334",
 293   "-1.4789046E18" },
 294
 295 { "-1.0913384E19", "6.2691034E8",
 296   "-1.0913384E19" },
 297
 298 { "9.054158E19", "6.7361736E9",
 299   "9.054158E19" },
 300
 301 { "-2.404365E19", "2.819194E9",
 302   "-2.404365E19" },
 303
 304 { "3.0628145E19", "3.8188636E9",
 305   "3.0628145E19" },
 306
 307 { "-3.7020847E19", "-4.248917E8",
 308   "-3.7020847E19" },
 309
 310 { "8.556466E19", "-5.431256E9",
 311   "8.556466E19" },
 312
 313 { "4.8590555E19", "-4.0259546E-11",
 314   "4.8590555E19" },
 315
 316 { "-1.990289E19", "-3.2150872E-11",
 317   "-1.990289E19" },
 318
 319 { "-1.5843934E19", "5.37822E-11",
 320   "-1.5843934E19" },
 321
 322 { "1.596058E19", "2.465645E-11",
 323   "1.596058E19" },
 324
 325 { "8.179266E19", "-8.080585E-11",
 326   "8.179266E19" },
 327
 328 { "8.673572E19", "-2.1405459E-11",
 329   "8.673572E19" },
 330
 331 { "-4.5302206E19", "4.4819714E19",
 332   "-4.824921E17" },
 333
 334 { "2.1413618E19", "-7.160984E19",
 335   "-5.0196224E19" },
 336
 337 { "9.760235E19", "-7.810464E19",
 338   "1.949771E19" },
 339
 340 { "-7.518544E19", "-5.7398474E19",
 341   "-1.32583915E20" },
 342
 343 { "-2.459352E19", "6.0089863E19",
 344   "3.5496343E19" },
 345
 346 { "-9.009707E19", "1.9710512E19",
 347   "-7.0386556E19" },
 348
 349 { "4.9167807E19", "-1.261897E-21",
 350   "4.9167807E19" },
 351
 352 { "-8.647001E18", "-1.4144885E-21",
 353   "-8.647001E18" },
 354
 355 { "-6.2763383E19", "6.69688E-21",
 356   "-6.2763383E19" },
 357
 358 { "1.6851938E19", "-4.9109547E-21",
 359   "1.6851938E19" },
 360
 361 { "-7.0371058E19", "-9.246501E-21",
 362   "-7.0371058E19" },
 363
 364 { "-2.8498996E19", "3.3614294E-21",
 365   "-2.8498996E19" },
 366
 367 { "-4.8211753E-21", "0.5153807",
 368   "0.5153807" },
 369
 370 { "-9.730312E-21", "0.3705088",
 371   "0.3705088" },
 372
 373 { "-8.83036E-21", "0.21063423",
 374   "0.21063423" },
 375
 376 { "1.8688595E-21", "-0.38304192",
 377   "-0.38304192" },
 378
 379 { "-7.9137435E-21", "-0.9482965",
 380   "-0.9482965" },
 381
 382 { "-5.7913193E-21", "-0.16538233",
 383   "-0.16538233" },
 384
 385 { "-4.667948E-21", "5.69782E9",
 386   "5.69782E9" },
 387
 388 { "-1.6254025E-21", "1.100067E9",
 389   "1.100067E9" },
 390
 391 { "5.4919865E-21", "9.125866E9",
 392   "9.125866E9" },
 393
 394 { "2.1973532E-21", "-5.218964E9",
 395   "-5.218964E9" },
 396
 397 { "-4.018586E-21", "-6.5943096E9",
 398   "-6.5943096E9" },
 399
 400 { "-7.7845274E-22", "4.172669E9",
 401   "4.172669E9" },
 402
 403 { "-2.843846E-21", "9.243441E-12",
 404   "9.243441E-12" },
 405
 406 { "1.1533075E-21", "3.327943E-11",
 407   "3.327943E-11" },
 408
 409 { "5.977113E-21", "6.507544E-11",
 410   "6.507544E-11" },
 411
 412 { "1.1817801E-21", "-4.1877824E-11",
 413   "-4.1877824E-11" },
 414
 415 { "1.932947E-21", "9.4013144E-11",
 416   "9.4013144E-11" },
 417
 418 { "8.526454E-21", "8.396772E-11",
 419   "8.396772E-11" },
 420
 421 { "-4.8870485E-21", "5.9277504E19",
 422   "5.9277504E19" },
 423
 424 { "-4.7174987E-21", "2.5545484E19",
 425   "2.5545484E19" },
 426
 427 { "-8.818029E-21", "1.2602901E19",
 428   "1.2602901E19" },
 429
 430 { "-1.2268113E-21", "-9.071741E19",
 431   "-9.071741E19" },
 432
 433 { "-7.0568975E-21", "-6.9825405E19",
 434   "-6.9825405E19" },
 435
 436 { "8.723312E-21", "-5.802767E19",
 437   "-5.802767E19" },
 438
 439 { "7.1661314E-21", "4.10364E-21",
 440   "1.1269772E-20" },
 441
 442 { "8.181265E-21", "-4.6898657E-21",
 443   "3.4913997E-21" },
 444
 445 { "-8.570217E-21", "-5.5145446E-21",
 446   "-1.4084761E-20" },
 447
 448 { "1.3507604E-23", "-7.152723E-21",
 449   "-7.139215E-21" },
 450
 451 { "-7.859527E-21", "-9.369602E-21",
 452   "-1.7229128E-20" },
 453
 454 { "-4.9014434E-21", "1.4580911E-21",
 455   "-3.443352E-21" },
 456
 457 };