tests/exam_SF_floor.cc

   1 #include "exam.h"
   2 #include <cln/sfloat.h>
   3 #include <cln/sfloat_io.h>
   4 #include <cln/integer.h>
   5 #include <cln/integer_io.h>
   6
   7 static floor_test sfloat_floor_tests[] = {
   8
   9 { "-0.403114s0", "0.64293s0",
  10   "-1", "0.239813s0" },
  11
  12 { "-0.538574s0", "0.74157s0",
  13   "-1", "0.202993s0" },
  14
  15 { "0.59919s0", "-0.433258s0",
  16   "-2", "-0.26733s0" },
  17
  18 { "-0.62148s0", "-0.185875s0",
  19   "3", "-0.063861s0" },
  20
  21 { "0.298317s0", "-0.79534s0",
  22   "-1", "-0.49703s0" },
  23
  24 { "0.84822s0", "9.519s9",
  25   "0", "0.84822s0" },
  26
  27 { "0.185059s0", "-4.4452s9",
  28   "-1", "-4.4452s9" },
  29
  30 { "-0.442635s0", "-4.64486s9",
  31   "0", "-0.442635s0" },
  32
  33 { "0.78401s0", "-8.4401s9",
  34   "-1", "-8.4401s9" },
  35
  36 { "0.300156s0", "-4.4083s9",
  37   "-1", "-4.4083s9" },
  38
  39 { "0.67763s0", "2.54755s9",
  40   "0", "0.67763s0" },
  41
  42 { "-0.189995s0", "-1.9236s-13",
  43   "987708260352", "0.0s0" },
  44
  45 { "0.442696s0", "-4.184s-15",
  46   "-105806519336960", "0.0s0" },
  47
  48 { "0.175987s0", "-5.055s-15",
  49   "-34814468030464", "0.0s0" },
  50
  51 { "0.30565s0", "-4.296s-14",
  52   "-7114747543552", "0.0s0" },
  53
  54 { "0.256264s0", "4.541s-14",
  55   "5643318591488", "0.0s0" },
  56
  57 { "-0.51656s0", "4.057s-14",
  58   "-12732698984448", "0.0s0" },
  59
  60 { "-0.221672s0", "-5.9783s19",
  61   "0", "-0.221672s0" },
  62
  63 { "-0.441925s0", "-8.1227s19",
  64   "0", "-0.441925s0" },
  65
  66 { "0.73287s0", "-3.99683s19",
  67   "-1", "-3.99683s19" },
  68
  69 { "-0.376198s0", "9.1146s19",
  70   "-1", "9.1146s19" },
  71
  72 { "0.61628s0", "-5.83824s19",
  73   "-1", "-5.83824s19" },
  74
  75 { "-0.072037s0", "4.40705s19",
  76   "-1", "4.40705s19" },
  77
  78 { "0.378708s0", "3.258s-24",
  79   "116238699015966918967296", "0.0s0" },
  80
  81 { "0.98937s0", "-7.698s-24",
  82   "-128524230569057480343552", "0.0s0" },
  83
  84 { "-0.94075s0", "-1.0053s-23",
  85   "93579179764423948500992", "0.0s0" },
  86
  87 { "0.263123s0", "-3.060s-24",
  88   "-85988344578092468011008", "0.0s0" },
  89
  90 { "-0.58892s0", "-1.1106s-23",
  91   "53027471682887319814144", "0.0s0" },
  92
  93 { "-0.38977s0", "-2.812s-24",
  94   "138609987891358177689600", "0.0s0" },
  95
  96 { "-1.46599s9", "0.338676s0",
  97   "-4328587264", "0.0s0" },
  98
  99 { "-6.326s9", "0.91743s0",
 100   "-6895370240", "0.0s0" },
 101
 102 { "-3.63617s9", "-0.569855s0",
 103   "6380847104", "0.0s0" },
 104
 105 { "-1.45737s9", "0.9508s0",
 106   "-1532788736", "0.0s0" },
 107
 108 { "5.24714s9", "0.45768s0",
 109   "11464605696", "0.0s0" },
 110
 111 { "8.1693s9", "0.69472s0",
 112   "11759255552", "0.0s0" },
 113
 114 { "-2.7664s9", "-1.9246s9",
 115   "1", "-8.418s8" },
 116
 117 { "8.29057s9", "-7.18694s9",
 118   "-2", "-6.0833s9" },
 119
 120 { "6.7409s9", "8.9158s9",
 121   "0", "6.7409s9" },
 122
 123 { "9.4039s9", "-1.80932s9",
 124   "-6", "-1.45206s9" },
 125
 126 { "4.4432s9", "-7.587s9",
 127   "-1", "-3.14373s9" },
 128
 129 { "-4.8365s9", "-3.4401s8",
 130   "14", "-2.03249s7" },
 131
 132 { "4.70575s9", "2.813s-15",
 133   "1672861433068424397848576", "0.0s0" },
 134
 135 { "8.37706s8", "1.1696s-13",
 136   "7162308674587923054592", "0.0s0" },
 137
 138 { "4.9421s9", "3.384s-15",
 139   "1460410281571511491887104", "0.0s0" },
 140
 141 { "9.4391s8", "6.964s-14",
 142   "13554177553722320617472", "0.0s0" },
 143
 144 { "3.56217s8", "3.380s-14",
 145   "10538999588799264063488", "0.0s0" },
 146
 147 { "7.53166s9", "7.011s-14",
 148   "107426919956256787529728", "0.0s0" },
 149
 150 { "-5.3385s9", "-7.8903s19",
 151   "0", "-5.3385s9" },
 152
 153 { "-5.5786s8", "-6.5112s19",
 154   "0", "-5.5786s8" },
 155
 156 { "-7.0502s9", "-2.57187s18",
 157   "0", "-7.0502s9" },
 158
 159 { "3.48724s9", "3.0864s19",
 160   "0", "3.48724s9" },
 161
 162 { "-1.195s9", "6.9068s19",
 163   "-1", "6.9068s19" },
 164
 165 { "6.40785s9", "6.1696s19",
 166   "0", "6.40785s9" },
 167
 168 { "-9.9772s9", "-3.455s-24",
 169   "2887787295482420840947083445796864", "0.0s0" },
 170
 171 { "6.3337s9", "-2.757s-24",
 172   "-2297319607304237298946798769930240", "0.0s0" },
 173
 174 { "2.24916s9", "8.958s-24",
 175   "251078998767860827355040375111680", "0.0s0" },
 176
 177 { "-4.695s9", "-9.695s-24",
 178   "484267288087969338977238606938112", "0.0s0" },
 179
 180 { "-5.84457s9", "-7.7713s-22",
 181   "7520717852416051178813723246592", "0.0s0" },
 182
 183 { "-2.01576s9", "6.682s-24",
 184   "-301671132293375748429617783898112", "0.0s0" },
 185
 186 { "1.7042s-13", "-0.80732s0",
 187   "-1", "-0.80732s0" },
 188
 189 { "4.959s-14", "0.9918s0",
 190   "0", "4.959s-14" },
 191
 192 { "2.0820s-13", "0.75837s0",
 193   "0", "2.08202s-13" },
 194
 195 { "4.808s-14", "0.89121s0",
 196   "0", "4.808s-14" },
 197
 198 { "-4.005s-14", "0.71084s0",
 199   "-1", "0.71084s0" },
 200
 201 { "4.497s-14", "-0.83223s0",
 202   "-1", "-0.83223s0" },
 203
 204 { "-4.538s-14", "3.81524s9",
 205   "-1", "3.81524s9" },
 206
 207 { "-1.0888s-13", "2.5705s9",
 208   "-1", "2.5705s9" },
 209
 210 { "-1.0445s-15", "3.9579s9",
 211   "-1", "3.9579s9" },
 212
 213 { "-3.399s-14", "3.8115s9",
 214   "-1", "3.8115s9" },
 215
 216 { "8.889s-14", "1.02951s9",
 217   "0", "8.889s-14" },
 218
 219 { "-4.408s-14", "-5.5562s9",
 220   "0", "-4.40806s-14" },
 221
 222 { "1.4679s-13", "-1.9105s-13",
 223   "-1", "-4.426s-14" },
 224
 225 { "1.2740s-14", "-4.935s-14",
 226   "-1", "-3.661s-14" },
 227
 228 { "-4.321s-14", "-8.355s-14",
 229   "0", "-4.32102s-14" },
 230
 231 { "-1.1228s-13", "-3.641s-14",
 232   "3", "-3.0501s-15" },
 233
 234 { "4.643s-14", "9.809s-14",
 235   "0", "4.643s-14" },
 236
 237 { "6.832s-14", "1.2918s-13",
 238   "0", "6.832s-14" },
 239
 240 { "-3.186s-15", "7.2502s19",
 241   "-1", "7.2502s19" },
 242
 243 { "7.570s-14", "-6.8838s19",
 244   "-1", "-6.8838s19" },
 245
 246 { "-1.5446s-14", "-8.6798s19",
 247   "0", "-1.5446s-14" },
 248
 249 { "-1.2496s-13", "-8.0029s19",
 250   "0", "-1.24963s-13" },
 251
 252 { "-3.303s-15", "-9.7969s19",
 253   "0", "-3.303s-15" },
 254
 255 { "-3.832s-14", "5.17976s19",
 256   "-1", "5.17976s19" },
 257
 258 { "-1.1039s-13", "1.1031s-23",
 259   "-10007216128", "0.0s0" },
 260
 261 { "-3.303s-14", "-1.61171s-21",
 262   "20493824", "0.0s0" },
 263
 264 { "3.660s-14", "-1.3664s-23",
 265   "-2678554624", "0.0s0" },
 266
 267 { "-1.9574s-13", "-6.864s-24",
 268   "28516810752", "0.0s0" },
 269
 270 { "3.285s-14", "-3.329s-24",
 271   "-9867755520", "0.0s0" },
 272
 273 { "-3.291s-15", "4.2038s-23",
 274   "-78285824", "0.0s0" },
 275
 276 { "-7.18707s19", "0.231445s0",
 277   "-310527697906823069696", "0.0s0" },
 278
 279 { "9.5173s19", "-0.0566254s0",
 280   "-1680761395333178589184", "0.0s0" },
 281
 282 { "-6.6524s19", "-0.697136s0",
 283   "95424520704539754496", "0.0s0" },
 284
 285 { "3.42423s19", "0.68306s0",
 286   "50130693352167833600", "0.0s0" },
 287
 288 { "-7.2388s19", "0.0522995s0",
 289   "-1384100280679029276672", "0.0s0" },
 290
 291 { "5.9235s18", "-0.24643s0",
 292   "-24037400061136601088", "0.0s0" },
 293
 294 { "-2.63137s18", "-1.6819s9",
 295   "1564524544", "0.0s0" },
 296
 297 { "2.4749s19", "-2.36457s9",
 298   "-10466623488", "0.0s0" },
 299
 300 { "-2.07847s19", "6.4981s9",
 301   "-3198582784", "0.0s0" },
 302
 303 { "-2.54907s19", "4.4446s9",
 304   "-5735186432", "0.0s0" },
 305
 306 { "2.34573s19", "3.0757s9",
 307   "7626620928", "0.0s0" },
 308
 309 { "-1.93055s19", "4.8192s9",
 310   "-4005953536", "0.0s0" },
 311
 312 { "4.4928s19", "9.588s-14",
 313   "468585063670302141654816501268480", "0.0s0" },
 314
 315 { "-2.17698s19", "-3.259s-14",
 316   "667992445198391196335567431270400", "0.0s0" },
 317
 318 { "-8.3605s19", "-1.2702s-13",
 319   "658197863607565267600565560410112", "0.0s0" },
 320
 321 { "5.2775s19", "3.555s-15",
 322   "14845297722947765992252704150257664", "0.0s0" },
 323
 324 { "-5.0371s19", "6.922s-15",
 325   "-7276948270610150879291824750460928", "0.0s0" },
 326
 327 { "8.3107s18", "-1.0201s-13",
 328   "-81468833985370875891111365181440", "0.0s0" },
 329
 330 { "-3.8796s19", "3.8685s19",
 331   "-2", "3.85733s19" },
 332
 333 { "4.11224s18", "-7.757s19",
 334   "-1", "-7.34577s19" },
 335
 336 { "-1.7228s19", "-6.0107s19",
 337   "0", "-1.72278s19" },
 338
 339 { "9.1191s19", "-4.49645s19",
 340   "-3", "-4.3702s19" },
 341
 342 { "4.2755s19", "8.9417s19",
 343   "0", "4.2755s19" },
 344
 345 { "-4.3237s19", "-1.9687s19",
 346   "2", "-3.86314s18" },
 347
 348 { "3.109s-24", "0.00614166s0",
 349   "0", "3.109s-24" },
 350
 351 { "-6.2027s-23", "0.0328217s0",
 352   "-1", "0.0328217s0" },
 353
 354 { "-6.017s-24", "0.76966s0",
 355   "-1", "0.76966s0" },
 356
 357 { "-7.628s-24", "0.47249s0",
 358   "-1", "0.47249s0" },
 359
 360 { "3.323s-24", "-0.86671s0",
 361   "-1", "-0.86671s0" },
 362
 363 { "-5.302s-24", "0.0245514s0",
 364   "-1", "0.0245514s0" },
 365
 366 { "5.342s-24", "6.0717s9",
 367   "0", "5.34194s-24" },
 368
 369 { "-2.664s-24", "5.573s9",
 370   "-1", "5.573s9" },
 371
 372 { "-2.830s-24", "7.0363s9",
 373   "-1", "7.0363s9" },
 374
 375 { "-3.176s-24", "1.12686s9",
 376   "-1", "1.12686s9" },
 377
 378 { "-2.2026s-22", "-3.99255s9",
 379   "0", "-2.2026s-22" },
 380
 381 { "6.994s-24", "5.81167s9",
 382   "0", "6.994s-24" },
 383
 384 { "6.054s-24", "-8.915s-14",
 385   "-1", "-8.915s-14" },
 386
 387 { "2.875s-24", "3.652s-14",
 388   "0", "2.875s-24" },
 389
 390 { "-1.57853s-22", "-4.501s-14",
 391   "0", "-1.57853s-22" },
 392
 393 { "-1.3880s-23", "-1.0479s-13",
 394   "0", "-1.388s-23" },
 395
 396 { "-8.879s-24", "3.974s-14",
 397   "-1", "3.974s-14" },
 398
 399 { "-1.14395s-21", "-4.527s-14",
 400   "0", "-1.14395s-21" },
 401
 402 { "6.149s-24", "9.418s-24",
 403   "0", "6.149s-24" },
 404
 405 { "7.661s-24", "-2.956s-24",
 406   "-3", "-1.20701s-24" },
 407
 408 { "3.254s-24", "1.2764s-22",
 409   "0", "3.254s-24" },
 410
 411 { "-5.4542s-22", "5.574s-24",
 412   "-98", "8.2738s-25" },
 413
 414 { "-1.4523s-23", "3.091s-24",
 415   "-5", "9.3198s-25" },
 416
 417 { "-5.913s-24", "8.419s-24",
 418   "-1", "2.506s-24" },
 419
 420 };