tests/exam_FF_minus.cc

   1 #include "exam.h"
   2 #include <cln/ffloat.h>
   3 #include <cln/ffloat_io.h>
   4
   5 static minus_test ffloat_minus_tests[] = {
   6
   7 { "-0.41894162", "0.23777992",
   8   "-0.65672153" },
   9
  10 { "0.74937063", "0.4803756",
  11   "0.26899505" },
  12
  13 { "0.46964037", "-0.94880456",
  14   "1.4184449" },
  15
  16 { "0.16453332", "0.035123527",
  17   "0.12940979" },
  18
  19 { "0.7353321", "-0.3952883",
  20   "1.1306204" },
  21
  22 { "-0.33693552", "-0.6941588",
  23   "0.35722327" },
  24
  25 { "-0.61853", "-9.25498E9",
  26   "9.25498E9" },
  27
  28 { "0.5172653", "-6.728693E9",
  29   "6.728693E9" },
  30
  31 { "0.1268478", "-1.8808037E9",
  32   "1.8808037E9" },
  33
  34 { "0.29479754", "-3.4643973E9",
  35   "3.4643973E9" },
  36
  37 { "0.34332883", "1.4258218E9",
  38   "-1.4258218E9" },
  39
  40 { "-0.4093976", "-1.6698813E9",
  41   "1.6698813E9" },
  42
  43 { "0.10942185", "-2.015636E-11",
  44   "0.10942185" },
  45
  46 { "0.30351585", "4.4276416E-11",
  47   "0.30351585" },
  48
  49 { "-0.41279083", "6.5274E-11",
  50   "-0.41279083" },
  51
  52 { "0.7813598", "-5.028443E-11",
  53   "0.7813598" },
  54
  55 { "-0.72214615", "2.5959075E-11",
  56   "-0.72214615" },
  57
  58 { "-0.8924311", "-5.2076333E-11",
  59   "-0.8924311" },
  60
  61 { "-0.26128495", "6.8887236E19",
  62   "-6.8887236E19" },
  63
  64 { "0.906616", "-2.0519019E18",
  65   "2.0519019E18" },
  66
  67 { "0.96452767", "-1.6347343E19",
  68   "1.6347343E19" },
  69
  70 { "-0.99801517", "8.383864E19",
  71   "-8.383864E19" },
  72
  73 { "-0.60573876", "-4.890489E19",
  74   "4.890489E19" },
  75
  76 { "-0.004701972", "6.3981E18",
  77   "-6.3981E18" },
  78
  79 { "0.34311903", "3.52871E-21",
  80   "0.34311903" },
  81
  82 { "-0.38159567", "-2.3400748E-21",
  83   "-0.38159567" },
  84
  85 { "-0.6719565", "-5.4333447E-21",
  86   "-0.6719565" },
  87
  88 { "-0.21363729", "8.021308E-21",
  89   "-0.21363729" },
  90
  91 { "0.5275244", "-4.88554E-21",
  92   "0.5275244" },
  93
  94 { "0.9064559", "-6.5840867E-21",
  95   "0.9064559" },
  96
  97 { "-3.0312538E8", "0.26249015",
  98   "-3.0312538E8" },
  99
 100 { "-9.217122E9", "0.22172129",
 101   "-9.217122E9" },
 102
 103 { "-1.157806E9", "-0.95704305",
 104   "-1.157806E9" },
 105
 106 { "6.743087E9", "-0.37863714",
 107   "6.743087E9" },
 108
 109 { "-4.0819942E8", "-0.068549395",
 110   "-4.0819942E8" },
 111
 112 { "4.586502E9", "0.29215187",
 113   "4.586502E9" },
 114
 115 { "5.091125E9", "-2.971223E9",
 116   "8.0623483E9" },
 117
 118 { "-2.1147072E8", "-8.537374E9",
 119   "8.3259034E9" },
 120
 121 { "-9.075735E9", "-9.072693E9",
 122   "-3041280.0" },
 123
 124 { "1.4614451E9", "3.0213921E9",
 125   "-1.559947E9" },
 126
 127 { "8.960645E9", "5.4822825E9",
 128   "3.4783626E9" },
 129
 130 { "-3.7246787E9", "-2.823592E9",
 131   "-9.010867E8" },
 132
 133 { "-3.4256804E9", "-1.8245674E-11",
 134   "-3.4256804E9" },
 135
 136 { "7.0777057E9", "3.6826153E-11",
 137   "7.0777057E9" },
 138
 139 { "3.4600579E9", "-5.207135E-11",
 140   "3.4600579E9" },
 141
 142 { "9.57872E9", "8.222393E-11",
 143   "9.57872E9" },
 144
 145 { "8.388926E9", "-1.1216945E-11",
 146   "8.388926E9" },
 147
 148 { "3.8273395E8", "1.153788E-11",
 149   "3.8273395E8" },
 150
 151 { "-1.2011469E8", "-9.879852E19",
 152   "9.879852E19" },
 153
 154 { "3.850388E9", "4.8155957E19",
 155   "-4.8155957E19" },
 156
 157 { "5.5329756E9", "-5.067925E19",
 158   "5.067925E19" },
 159
 160 { "3.3222902E9", "5.2892763E19",
 161   "-5.2892763E19" },
 162
 163 { "4.431185E9", "-8.005187E19",
 164   "8.005187E19" },
 165
 166 { "-7.307553E8", "-6.8217897E19",
 167   "6.8217897E19" },
 168
 169 { "7.9813893E9", "9.68989E-21",
 170   "7.9813893E9" },
 171
 172 { "-5.7208223E9", "9.790913E-21",
 173   "-5.7208223E9" },
 174
 175 { "-5.9564112E7", "9.217466E-21",
 176   "-5.9564112E7" },
 177
 178 { "5.4524237E9", "4.947411E-21",
 179   "5.4524237E9" },
 180
 181 { "1.4269632E9", "-5.1552662E-21",
 182   "1.4269632E9" },
 183
 184 { "3.7555832E9", "-4.168443E-21",
 185   "3.7555832E9" },
 186
 187 { "-4.1575327E-11", "-0.38582206",
 188   "0.38582206" },
 189
 190 { "-5.810516E-11", "-0.5456566",
 191   "0.5456566" },
 192
 193 { "-1.2386638E-11", "-0.6209788",
 194   "0.6209788" },
 195
 196 { "2.0245033E-11", "-0.7418727",
 197   "0.7418727" },
 198
 199 { "3.7671637E-11", "0.1772576",
 200   "-0.1772576" },
 201
 202 { "-2.2774244E-11", "-0.5959606",
 203   "0.5959606" },
 204
 205 { "-5.6623112E-11", "6.8330056E9",
 206   "-6.8330056E9" },
 207
 208 { "-9.2078116E-11", "-3.4236897E9",
 209   "3.4236897E9" },
 210
 211 { "-3.317883E-11", "-3.2438755E8",
 212   "3.2438755E8" },
 213
 214 { "6.711307E-11", "-7.9204526E9",
 215   "7.9204526E9" },
 216
 217 { "-5.1150143E-11", "9.1128E9",
 218   "-9.1128E9" },
 219
 220 { "-7.3234044E-11", "-8.067016E9",
 221   "8.067016E9" },
 222
 223 { "-3.217777E-11", "-1.6301262E-11",
 224   "-1.5876508E-11" },
 225
 226 { "9.6583325E-11", "5.882668E-11",
 227   "3.7756645E-11" },
 228
 229 { "-7.573351E-11", "6.3386435E-11",
 230   "-1.3911994E-10" },
 231
 232 { "-4.5759726E-11", "8.069604E-11",
 233   "-1.2645576E-10" },
 234
 235 { "-9.538651E-11", "-9.01152E-11",
 236   "-5.271311E-12" },
 237
 238 { "6.2486766E-11", "-3.414284E-11",
 239   "9.662961E-11" },
 240
 241 { "5.530477E-13", "-3.1361222E18",
 242   "3.1361222E18" },
 243
 244 { "1.7998643E-11", "1.5437615E19",
 245   "-1.5437615E19" },
 246
 247 { "-4.7948378E-11", "2.6669319E19",
 248   "-2.6669319E19" },
 249
 250 { "-6.8626884E-12", "-5.7713735E19",
 251   "5.7713735E19" },
 252
 253 { "6.195949E-11", "2.8851469E19",
 254   "-2.8851469E19" },
 255
 256 { "2.4957127E-11", "-2.661574E18",
 257   "2.661574E18" },
 258
 259 { "9.8157565E-11", "-4.561507E-21",
 260   "9.8157565E-11" },
 261
 262 { "-9.332288E-11", "-9.280375E-21",
 263   "-9.332288E-11" },
 264
 265 { "-9.916877E-11", "-1.6945641E-21",
 266   "-9.916877E-11" },
 267
 268 { "-6.460804E-11", "-3.6695186E-21",
 269   "-6.460804E-11" },
 270
 271 { "6.712223E-11", "-2.5360524E-21",
 272   "6.712223E-11" },
 273
 274 { "2.3824066E-11", "-7.439168E-21",
 275   "2.3824066E-11" },
 276
 277 { "-5.189389E19", "0.01453203",
 278   "-5.189389E19" },
 279
 280 { "7.0132006E19", "0.45530832",
 281   "7.0132006E19" },
 282
 283 { "2.9365046E19", "0.36346745",
 284   "2.9365046E19" },
 285
 286 { "-4.1377934E19", "0.37368965",
 287   "-4.1377934E19" },
 288
 289 { "-1.891423E19", "0.159002",
 290   "-1.891423E19" },
 291
 292 { "1.8096083E19", "-0.6511793",
 293   "1.8096083E19" },
 294
 295 { "6.4361307E19", "6.6511677E9",
 296   "6.4361307E19" },
 297
 298 { "-1.8698508E19", "1.1925399E9",
 299   "-1.8698508E19" },
 300
 301 { "7.75824E19", "7.7361823E9",
 302   "7.75824E19" },
 303
 304 { "-7.2570015E19", "3.0842496E9",
 305   "-7.2570015E19" },
 306
 307 { "-1.9014525E19", "-3.8941514E9",
 308   "-1.9014525E19" },
 309
 310 { "3.2787157E19", "-8.612244E9",
 311   "3.2787157E19" },
 312
 313 { "6.4268583E19", "-1.2707472E-11",
 314   "6.4268583E19" },
 315
 316 { "-6.5179933E19", "8.61941E-11",
 317   "-6.5179933E19" },
 318
 319 { "-8.106952E19", "2.1709537E-11",
 320   "-8.106952E19" },
 321
 322 { "2.5455064E19", "3.5653924E-11",
 323   "2.5455064E19" },
 324
 325 { "1.574235E19", "-2.7033407E-11",
 326   "1.574235E19" },
 327
 328 { "-1.1099541E19", "-8.620364E-12",
 329   "-1.1099541E19" },
 330
 331 { "-6.346294E19", "2.9902512E19",
 332   "-9.336545E19" },
 333
 334 { "4.9783164E19", "-2.079425E19",
 335   "7.0577414E19" },
 336
 337 { "-7.149202E19", "1.4282865E19",
 338   "-8.577488E19" },
 339
 340 { "6.0978866E19", "5.256896E19",
 341   "8.409905E18" },
 342
 343 { "-9.961146E19", "-1.9834548E19",
 344   "-7.977691E19" },
 345
 346 { "2.5196015E18", "5.0534214E19",
 347   "-4.8014613E19" },
 348
 349 { "-3.6981453E19", "-1.005367E-21",
 350   "-3.6981453E19" },
 351
 352 { "8.881044E19", "-9.717088E-22",
 353   "8.881044E19" },
 354
 355 { "4.9637263E19", "-7.544846E-21",
 356   "4.9637263E19" },
 357
 358 { "-4.2414725E19", "1.3904184E-21",
 359   "-4.2414725E19" },
 360
 361 { "7.844454E18", "-8.659333E-21",
 362   "7.844454E18" },
 363
 364 { "1.5733016E19", "8.638849E-21",
 365   "1.5733016E19" },
 366
 367 { "1.7531192E-21", "-0.8690463",
 368   "0.8690463" },
 369
 370 { "9.449351E-21", "0.7848489",
 371   "-0.7848489" },
 372
 373 { "5.5016538E-21", "-0.8998171",
 374   "0.8998171" },
 375
 376 { "-6.977279E-21", "-0.9815793",
 377   "0.9815793" },
 378
 379 { "-7.9253305E-21", "-0.21357381",
 380   "0.21357381" },
 381
 382 { "4.026555E-21", "0.5610563",
 383   "-0.5610563" },
 384
 385 { "-7.080433E-21", "-1.9501078E9",
 386   "1.9501078E9" },
 387
 388 { "-8.152211E-21", "8.164317E9",
 389   "-8.164317E9" },
 390
 391 { "2.177096E-21", "-8.591886E9",
 392   "8.591886E9" },
 393
 394 { "9.387247E-21", "3.5730028E9",
 395   "-3.5730028E9" },
 396
 397 { "-7.589234E-21", "-4.9193774E9",
 398   "4.9193774E9" },
 399
 400 { "1.5755653E-21", "-2.3484498E9",
 401   "2.3484498E9" },
 402
 403 { "9.3034425E-21", "8.28104E-11",
 404   "-8.28104E-11" },
 405
 406 { "-6.417297E-21", "-8.352926E-11",
 407   "8.352926E-11" },
 408
 409 { "8.728735E-21", "9.160732E-11",
 410   "-9.160732E-11" },
 411
 412 { "3.8984202E-21", "6.5116944E-12",
 413   "-6.5116944E-12" },
 414
 415 { "6.288995E-21", "-5.6701328E-11",
 416   "5.6701328E-11" },
 417
 418 { "-2.7652023E-22", "-1.01428276E-11",
 419   "1.01428276E-11" },
 420
 421 { "4.7200214E-21", "-3.726995E18",
 422   "3.726995E18" },
 423
 424 { "-2.2945808E-21", "-7.3098524E19",
 425   "7.3098524E19" },
 426
 427 { "-9.493033E-21", "3.4235436E19",
 428   "-3.4235436E19" },
 429
 430 { "3.7946773E-21", "-5.126768E18",
 431   "5.126768E18" },
 432
 433 { "-1.2865209E-21", "3.5096026E19",
 434   "-3.5096026E19" },
 435
 436 { "-8.403449E-21", "5.704743E18",
 437   "-5.704743E18" },
 438
 439 { "2.928304E-21", "-5.574477E-21",
 440   "8.502781E-21" },
 441
 442 { "-9.46122E-21", "-3.858943E-21",
 443   "-5.602277E-21" },
 444
 445 { "7.296878E-22", "1.8123137E-21",
 446   "-1.0826259E-21" },
 447
 448 { "5.866651E-21", "2.4605584E-21",
 449   "3.4060923E-21" },
 450
 451 { "-7.633577E-21", "9.915102E-21",
 452   "-1.7548679E-20" },
 453
 454 { "-8.7881085E-24", "3.001468E-21",
 455   "-3.0102563E-21" },
 456
 457 };