tests/exam_FF_floor.cc

   1 #include "exam.h"
   2 #include <cln/ffloat.h>
   3 #include <cln/ffloat_io.h>
   4 #include <cln/integer.h>
   5 #include <cln/integer_io.h>
   6
   7 static floor_test ffloat_floor_tests[] = {
   8
   9 { "-0.8227301", "-0.25283414",
  10   "3", "-0.06422769" },
  11
  12 { "-0.6686161", "0.4833234",
  13   "-2", "0.29803064" },
  14
  15 { "-0.57436657", "0.52642506",
  16   "-2", "0.47848356" },
  17
  18 { "0.60395426", "-0.61624163",
  19   "-1", "-0.012287392" },
  20
  21 { "-0.21636301", "0.90365344",
  22   "-1", "0.68729043" },
  23
  24 { "0.8705054", "-0.7953333",
  25   "-2", "-0.72016126" },
  26
  27 { "0.4544462", "-9.890925E9",
  28   "-1", "-9.890925E9" },
  29
  30 { "-0.4954149", "-3.8786918E9",
  31   "0", "-0.49541488" },
  32
  33 { "-0.692049", "6.4791506E9",
  34   "-1", "6.4791506E9" },
  35
  36 { "0.75464755", "-3.618496E9",
  37   "-1", "-3.618496E9" },
  38
  39 { "-0.5929247", "-5.442471E9",
  40   "0", "-0.5929247" },
  41
  42 { "-0.30383867", "9.262864E9",
  43   "-1", "9.262864E9" },
  44
  45 { "0.9345329", "3.26737E-11",
  46   "28601991168", "0.0" },
  47
  48 { "0.3772617", "-7.991702E-11",
  49   "-4720667648", "0.0" },
  50
  51 { "0.74438447", "-1.0977978E-11",
  52   "-67807064064", "0.0" },
  53
  54 { "-0.9220973", "-1.2655998E-11",
  55   "72858525696", "0.0" },
  56
  57 { "-0.4615329", "6.48833E-11",
  58   "-7113276928", "0.0" },
  59
  60 { "0.2851941", "-8.262349E-11",
  61   "-3451731456", "0.0" },
  62
  63 { "0.61539984", "3.5826177E19",
  64   "0", "0.61539984" },
  65
  66 { "-0.8195054", "8.793426E19",
  67   "-1", "8.793426E19" },
  68
  69 { "-0.26412165", "7.015103E18",
  70   "-1", "7.015103E18" },
  71
  72 { "-0.527393", "8.434833E19",
  73   "-1", "8.434833E19" },
  74
  75 { "-0.1846056", "1.8252128E19",
  76   "-1", "1.8252128E19" },
  77
  78 { "-0.6079822", "6.106683E19",
  79   "-1", "6.106683E19" },
  80
  81 { "0.5564819", "5.953872E-21",
  82   "93465542827563810816", "0.0" },
  83
  84 { "-0.52575815", "-1.8358678E-21",
  85   "286381261476583178240", "0.0" },
  86
  87 { "-0.6321403", "-5.830945E-21",
  88   "108411292344853200896", "0.0" },
  89
  90 { "-0.9675891", "-9.936226E-21",
  91   "97379936163841703936", "0.0" },
  92
  93 { "-0.63503754", "-5.0137436E-21",
  94   "126659359065470140416", "0.0" },
  95
  96 { "0.8053654", "-3.4055888E-22",
  97   "-2364834534832713236480", "0.0" },
  98
  99 { "8.784645E9", "0.9775517",
 100   "8986374144", "0.0" },
 101
 102 { "-9.314413E9", "-0.8318871",
 103   "11196726272", "0.0" },
 104
 105 { "8.4695936E9", "-0.9823455",
 106   "-8621807616", "0.0" },
 107
 108 { "-5.8406625E9", "-0.031723082",
 109   "184113971200", "0.0" },
 110
 111 { "-7.325545E9", "0.93169844",
 112   "-7862571008", "0.0" },
 113
 114 { "-5.2999526E9", "0.11515945",
 115   "-46022733824", "0.0" },
 116
 117 { "6.680458E9", "7.170729E9",
 118   "0", "6.680458E9" },
 119
 120 { "-2.2146278E9", "5.2909993E9",
 121   "-1", "3.0763715E9" },
 122
 123 { "6.4947005E9", "3.1265188E9",
 124   "2", "2.4166298E8" },
 125
 126 { "7.947109E9", "2.464481E9",
 127   "3", "5.53666E8" },
 128
 129 { "8.899791E9", "3.5788132E9",
 130   "2", "1.7421644E9" },
 131
 132 { "5.272568E9", "-5.3260964E9",
 133   "-1", "-5.3528532E7" },
 134
 135 { "9.729838E8", "8.6379175E-11",
 136   "11264101901890748416", "0.0" },
 137
 138 { "1.210882E9", "-4.412428E-11",
 139   "-27442532596777484288", "0.0" },
 140
 141 { "9.169561E9", "-9.41537E-11",
 142   "-97389277614631288832", "0.0" },
 143
 144 { "9.289745E9", "3.1269442E-11",
 145   "297087021478284623872", "0.0" },
 146
 147 { "-5.334722E9", "2.0158666E-11",
 148   "-264636651022615314432", "0.0" },
 149
 150 { "9.910798E9", "-2.985589E-11",
 151   "-331954558296456691712", "0.0" },
 152
 153 { "-1.7169357E9", "2.220112E19",
 154   "-1", "2.220112E19" },
 155
 156 { "4.9906683E9", "6.857979E19",
 157   "0", "4.9906683E9" },
 158
 159 { "-9.90463E9", "-2.342953E19",
 160   "0", "-9.90463E9" },
 161
 162 { "-5.4878054E8", "5.438576E19",
 163   "-1", "5.438576E19" },
 164
 165 { "-6.1080986E9", "9.25119E19",
 166   "-1", "9.25119E19" },
 167
 168 { "-8.4138286E9", "-9.682224E19",
 169   "0", "-8.4138286E9" },
 170
 171 { "2.7084977E9", "2.542436E-23",
 172   "106531597407755826831748572905472", "0.0" },
 173
 174 { "-5.720767E9", "9.438407E-21",
 175   "-606115738076318963177881600000", "0.0" },
 176
 177 { "-3.4958034E9", "9.250327E-21",
 178   "-377911344579488968728001904640", "0.0" },
 179
 180 { "-8.3702047E9", "6.0186186E-21",
 181   "-1390718493086361392338557730816", "0.0" },
 182
 183 { "-7.517619E9", "-9.417701E-21",
 184   "798243593937800371539149848576", "0.0" },
 185
 186 { "-2.1220838E9", "3.931208E-21",
 187   "-539804494597454582830132625408", "0.0" },
 188
 189 { "-3.9606828E-11", "0.34267086",
 190   "-1", "0.34267086" },
 191
 192 { "2.495503E-11", "-0.4518087",
 193   "-1", "-0.4518087" },
 194
 195 { "-7.98698E-11", "-0.5665642",
 196   "0", "-7.98698E-11" },
 197
 198 { "2.1465689E-11", "0.17276591",
 199   "0", "2.146569E-11" },
 200
 201 { "4.9463066E-11", "-0.5659616",
 202   "-1", "-0.5659616" },
 203
 204 { "-1.8961567E-11", "-0.7758364",
 205   "0", "-1.8961567E-11" },
 206
 207 { "7.8871874E-11", "-5.768549E9",
 208   "-1", "-5.768549E9" },
 209
 210 { "-9.079439E-11", "-3.807195E9",
 211   "0", "-9.079439E-11" },
 212
 213 { "7.879919E-12", "-1.9198149E9",
 214   "-1", "-1.9198149E9" },
 215
 216 { "4.389072E-11", "-8.657572E9",
 217   "-1", "-8.657572E9" },
 218
 219 { "7.430157E-11", "-3.8599355E9",
 220   "-1", "-3.8599355E9" },
 221
 222 { "-5.8839114E-11", "-5.3409536E9",
 223   "0", "-5.8839114E-11" },
 224
 225 { "-3.3353615E-11", "8.9096924E-11",
 226   "-1", "5.574331E-11" },
 227
 228 { "6.335122E-11", "3.606541E-11",
 229   "1", "2.7285809E-11" },
 230
 231 { "-5.6885465E-11", "7.070333E-12",
 232   "-9", "6.7475353E-12" },
 233
 234 { "-7.581576E-11", "-3.4334775E-11",
 235   "2", "-7.1462155E-12" },
 236
 237 { "3.6686505E-11", "-1.9221425E-11",
 238   "-2", "-1.7563462E-12" },
 239
 240 { "3.066395E-11", "-2.3198866E-11",
 241   "-2", "-1.573378E-11" },
 242
 243 { "9.1089344E-11", "7.429058E19",
 244   "0", "9.1089344E-11" },
 245
 246 { "-7.2265194E-11", "-6.5831596E19",
 247   "0", "-7.2265194E-11" },
 248
 249 { "-4.9087675E-11", "1.9182038E19",
 250   "-1", "1.9182038E19" },
 251
 252 { "-7.907188E-11", "4.405831E19",
 253   "-1", "4.405831E19" },
 254
 255 { "6.118759E-11", "3.4342181E19",
 256   "0", "6.118759E-11" },
 257
 258 { "5.4731882E-11", "-5.861447E19",
 259   "-1", "-5.861447E19" },
 260
 261 { "6.121101E-11", "-1.8234462E-21",
 262   "-33568860160", "0.0" },
 263
 264 { "9.788758E-11", "-2.65478E-21",
 265   "-36872200192", "0.0" },
 266
 267 { "7.827001E-11", "-8.5754775E-21",
 268   "-9127189504", "0.0" },
 269
 270 { "-3.738018E-11", "-7.810784E-21",
 271   "4785714176", "0.0" },
 272
 273 { "7.31308E-11", "-2.0431058E-21",
 274   "-35793936384", "0.0" },
 275
 276 { "9.4578095E-11", "-3.0466443E-21",
 277   "-31043366912", "0.0" },
 278
 279 { "-4.8186137E19", "-0.95250696",
 280   "50588749896299315200", "0.0" },
 281
 282 { "9.548003E18", "-0.9061317",
 283   "-10537102614582001664", "0.0" },
 284
 285 { "5.5254813E19", "0.51959753",
 286   "106341562860634636288", "0.0" },
 287
 288 { "-4.2787504E19", "0.14769173",
 289   "-289708190148186865664", "0.0" },
 290
 291 { "-4.27109E17", "-0.03677529",
 292   "11614021477430460416", "0.0" },
 293
 294 { "-3.9238043E19", "0.26663417",
 295   "-147160597790283792384", "0.0" },
 296
 297 { "-2.0174873E19", "-6.7035556E7",
 298   "300957794304", "0.0" },
 299
 300 { "1.6296811E19", "-7.2014956E9",
 301   "-2262976000", "0.0" },
 302
 303 { "7.794499E19", "-7.412829E9",
 304   "-10514876416", "0.0" },
 305
 306 { "-1.2546485E19", "6.1565005E9",
 307   "-2037924864", "0.0" },
 308
 309 { "5.4549757E18", "-4.778849E9",
 310   "-1141483264", "0.0" },
 311
 312 { "-8.9214324E18", "3.0002557E9",
 313   "-2973557248", "0.0" },
 314
 315 { "8.790958E19", "-8.224902E-11",
 316   "-1068822197453670185020302557184", "0.0" },
 317
 318 { "9.029222E18", "1.3127345E-11",
 319   "687817816164697187548814901248", "0.0" },
 320
 321 { "6.7356843E19", "-9.1816894E-11",
 322   "-733599685837775742566290948096", "0.0" },
 323
 324 { "4.0346153E19", "2.0593792E-11",
 325   "1959141510822234462049892564992", "0.0" },
 326
 327 { "1.3402778E19", "-4.8733902E-11",
 328   "-275019611403690085233016700928", "0.0" },
 329
 330 { "-1.3005549E19", "5.6579824E-11",
 331   "-229861963021783171398467846144", "0.0" },
 332
 333 { "8.550302E19", "6.4624324E19",
 334   "1", "2.0878699E19" },
 335
 336 { "4.7897585E19", "-1.5724218E19",
 337   "-4", "-1.4999288E19" },
 338
 339 { "-8.6050445E19", "1.4007867E19",
 340   "-7", "1.2004627E19" },
 341
 342 { "-6.0799387E19", "-5.667626E19",
 343   "1", "-4.1231221E18" },
 344
 345 { "-7.847746E19", "-3.972193E19",
 346   "1", "-3.875553E19" },
 347
 348 { "-6.425414E19", "3.0601436E19",
 349   "-3", "2.7550168E19" },
 350
 351 { "2.8220074E-21", "-0.9401483",
 352   "-1", "-0.9401483" },
 353
 354 { "9.867747E-21", "0.86288685",
 355   "0", "9.867747E-21" },
 356
 357 { "6.2856053E-21", "-0.5235996",
 358   "-1", "-0.5235996" },
 359
 360 { "8.709991E-22", "0.42678982",
 361   "0", "8.709991E-22" },
 362
 363 { "1.0493481E-21", "0.9355661",
 364   "0", "1.0493481E-21" },
 365
 366 { "-6.137466E-21", "0.4328317",
 367   "-1", "0.4328317" },
 368
 369 { "6.5872774E-21", "-8.80464E9",
 370   "-1", "-8.80464E9" },
 371
 372 { "-1.0479629E-22", "-9.353607E9",
 373   "0", "-1.0479629E-22" },
 374
 375 { "-2.636932E-21", "9.794678E9",
 376   "-1", "9.794678E9" },
 377
 378 { "-7.912024E-21", "-2.9102356E9",
 379   "0", "-7.912024E-21" },
 380
 381 { "1.0071349E-21", "8.762459E9",
 382   "0", "1.0071349E-21" },
 383
 384 { "-6.795979E-21", "-9.445545E9",
 385   "0", "-6.795979E-21" },
 386
 387 { "6.0598967E-22", "-3.961637E-11",
 388   "-1", "-3.961637E-11" },
 389
 390 { "3.481348E-21", "-7.485006E-11",
 391   "-1", "-7.485006E-11" },
 392
 393 { "-5.610974E-21", "-4.073898E-11",
 394   "0", "-5.610974E-21" },
 395
 396 { "-6.2362584E-21", "8.403202E-11",
 397   "-1", "8.403202E-11" },
 398
 399 { "4.2029927E-21", "7.823452E-11",
 400   "0", "4.2029927E-21" },
 401
 402 { "-7.765272E-21", "-8.502908E-11",
 403   "0", "-7.765272E-21" },
 404
 405 { "2.7845436E-21", "3.490416E-21",
 406   "0", "2.7845436E-21" },
 407
 408 { "-1.4630091E-21", "9.193901E-21",
 409   "-1", "7.730892E-21" },
 410
 411 { "-8.1823826E-21", "8.941324E-21",
 412   "-1", "7.5894165E-22" },
 413
 414 { "-1.8218875E-21", "3.8057304E-21",
 415   "-1", "1.9838427E-21" },
 416
 417 { "5.8037763E-21", "-5.1721612E-21",
 418   "-2", "-4.5405462E-21" },
 419
 420 { "-8.179982E-21", "6.2204556E-21",
 421   "-2", "4.2609293E-21" },
 422
 423 };