tests/exam_SF_div.cc

   1 #include "exam.h"
   2 #include <cln/sfloat.h>
   3 #include <cln/sfloat_io.h>
   4
   5 static div_test sfloat_div_tests[] = {
   6
   7 { "0.4319s0", "0.279747s0",
   8   "1.5439s0" },
   9
  10 { "0.58111s0", "0.474937s0",
  11   "1.22354s0" },
  12
  13 { "0.95817s0", "-0.209396s0",
  14   "-4.57587s0" },
  15
  16 { "-0.30497s0", "-0.182861s0",
  17   "1.66777s0" },
  18
  19 { "-0.69316s0", "-0.32908s0",
  20   "2.10635s0" },
  21
  22 { "-0.87152s0", "0.518326s0",
  23   "-1.68141s0" },
  24
  25 { "-0.81208s0", "3.27736s9",
  26   "-2.47784s-10" },
  27
  28 { "0.88465s0", "2.15492s9",
  29   "4.10527s-10" },
  30
  31 { "-0.96446s0", "8.0971s9",
  32   "-1.19112s-10" },
  33
  34 { "-0.65258s0", "-3.98033s9",
  35   "1.6395s-10" },
  36
  37 { "0.663826s0", "-7.88726s8",
  38   "-8.41645s-10" },
  39
  40 { "-0.31185s0", "4.1015s9",
  41   "-7.6033s-11" },
  42
  43 { "-0.89607s0", "-3.887s-14",
  44   "2.3053s13" },
  45
  46 { "-0.670135s0", "-5.027s-14",
  47   "1.33306s13" },
  48
  49 { "0.94663s0", "-6.153s-14",
  50   "-1.5385s13" },
  51
  52 { "-0.76772s0", "4.033s-14",
  53   "-1.90358s13" },
  54
  55 { "-0.446358s0", "-1.9017s-13",
  56   "2.34713s12" },
  57
  58 { "-0.157814s0", "-2.0401s-13",
  59   "7.73555s11" },
  60
  61 { "0.636185s0", "-3.78516s19",
  62   "-1.68073s-20" },
  63
  64 { "-0.90556s0", "7.7192s19",
  65   "-1.17314s-20" },
  66
  67 { "0.85053s0", "8.3134s19",
  68   "1.02309s-20" },
  69
  70 { "-0.3058s0", "3.00674s19",
  71   "-1.01705s-20" },
  72
  73 { "0.219429s0", "-8.1184s19",
  74   "-2.70286s-21" },
  75
  76 { "0.319603s0", "-2.0739s19",
  77   "-1.54106s-20" },
  78
  79 { "0.58943s0", "-5.280s-24",
  80   "-1.11635s23" },
  81
  82 { "0.72955s0", "7.852s-24",
  83   "9.2914s22" },
  84
  85 { "-0.66327s0", "-3.124s-24",
  86   "2.12315s23" },
  87
  88 { "-0.0137558s0", "-7.918s-24",
  89   "1.73729s21" },
  90
  91 { "0.35823s0", "5.467s-24",
  92   "6.55263s22" },
  93
  94 { "0.93861s0", "9.968s-24",
  95   "9.4163s22" },
  96
  97 { "3.83346s9", "0.99782s0",
  98   "3.84185s9" },
  99
 100 { "8.7033s9", "-0.81822s0",
 101   "-1.06369s10" },
 102
 103 { "3.52326s8", "-0.79994s0",
 104   "-4.4044s8" },
 105
 106 { "8.0525s9", "-0.91803s0",
 107   "-8.7715s9" },
 108
 109 { "-2.12784s9", "-0.761246s0",
 110   "2.7952s9" },
 111
 112 { "1.18805s9", "-0.903534s0",
 113   "-1.3149s9" },
 114
 115 { "-6.50556s9", "-5.4642s9",
 116   "1.19058s0" },
 117
 118 { "3.3333s8", "1.8341s8",
 119   "1.81738s0" },
 120
 121 { "3.70934s9", "9.1957s8",
 122   "4.03375s0" },
 123
 124 { "-8.0459s9", "4.5511s9",
 125   "-1.76791s0" },
 126
 127 { "3.54982s9", "4.6631s8",
 128   "7.6126s0" },
 129
 130 { "-6.27016s9", "-3.42858s9",
 131   "1.8288s0" },
 132
 133 { "-4.3213s9", "7.223s-15",
 134   "-5.98274s23" },
 135
 136 { "-2.57753s9", "-2.533s-15",
 137   "1.01759s24" },
 138
 139 { "3.8858s9", "-4.505s-14",
 140   "-8.6256s22" },
 141
 142 { "3.5946s9", "-5.067s-14",
 143   "-7.0941s22" },
 144
 145 { "2.94434s9", "8.333s-14",
 146   "3.53333s22" },
 147
 148 { "5.6178s9", "-8.241s-14",
 149   "-6.81694s22" },
 150
 151 { "4.9591s8", "3.9972s19",
 152   "1.24064s-11" },
 153
 154 { "2.4166s9", "-9.2141s19",
 155   "-2.62272s-11" },
 156
 157 { "-1.484s9", "2.0281s19",
 158   "-7.3172s-11" },
 159
 160 { "2.2339s8", "1.96374s19",
 161   "1.13758s-11" },
 162
 163 { "-6.6306s9", "-2.414s19",
 164   "2.7467s-10" },
 165
 166 { "9.9114s9", "9.6187s19",
 167   "1.03043s-10" },
 168
 169 { "4.4579s9", "5.343s-24",
 170   "8.3434s32" },
 171
 172 { "-6.35994s9", "-6.301s-24",
 173   "1.00936s33" },
 174
 175 { "5.49677s9", "-1.9306s-25",
 176   "-2.84717s34" },
 177
 178 { "-5.007s9", "3.692s-24",
 179   "-1.35617s33" },
 180
 181 { "8.6837s9", "-1.6358s-23",
 182   "-5.3085s32" },
 183
 184 { "5.5898s9", "-5.435s-24",
 185   "-1.02849s33" },
 186
 187 { "-5.042s-14", "0.79081s0",
 188   "-6.3758s-14" },
 189
 190 { "-6.231s-14", "0.96946s0",
 191   "-6.4273s-14" },
 192
 193 { "6.016s-14", "0.418983s0",
 194   "1.43587s-13" },
 195
 196 { "-1.1682s-13", "0.70944s0",
 197   "-1.64663s-13" },
 198
 199 { "-1.7485s-13", "0.83207s0",
 200   "-2.1014s-13" },
 201
 202 { "7.831s-15", "-0.083374s0",
 203   "-9.3926s-14" },
 204
 205 { "3.947s-14", "9.2342s9",
 206   "4.2744s-24" },
 207
 208 { "-1.1537s-13", "-6.44075s9",
 209   "1.79124s-23" },
 210
 211 { "6.751s-14", "5.8395s8",
 212   "1.1561s-22" },
 213
 214 { "-5.026s-14", "7.9677s9",
 215   "-6.308s-24" },
 216
 217 { "-1.0105s-13", "-1.71082s9",
 218   "5.9066s-23" },
 219
 220 { "-4.996s-14", "9.426s9",
 221   "-5.30024s-24" },
 222
 223 { "-6.837s-14", "-3.573s-14",
 224   "1.91351s0" },
 225
 226 { "-7.736s-14", "-4.898s-14",
 227   "1.57942s0" },
 228
 229 { "3.777s-14", "8.025s-14",
 230   "0.470657s0" },
 231
 232 { "-6.239s-14", "8.518s-15",
 233   "-7.32446s0" },
 234
 235 { "-7.548s-15", "-4.573s-14",
 236   "0.165056s0" },
 237
 238 { "1.6293s-14", "4.712s-14",
 239   "0.345776s0" },
 240
 241 { "-4.47s-14", "2.73658s19",
 242   "-1.63342s-33" },
 243
 244 { "1.0583s-13", "2.52534s19",
 245   "4.19073s-33" },
 246
 247 { "4.351s-15", "2.70326s19",
 248   "1.60955s-34" },
 249
 250 { "3.699s-14", "-6.00707s19",
 251   "-6.1577s-34" },
 252
 253 { "6.358s-14", "5.18274s19",
 254   "1.22677s-33" },
 255
 256 { "-2.971s-14", "6.153s19",
 257   "-4.8286s-34" },
 258
 259 { "-4.968s-14", "7.699s-24",
 260   "-6.4528s9" },
 261
 262 { "-3.654s-14", "8.434s-24",
 263   "-4.3325s9" },
 264
 265 { "-9.276s-14", "-7.079s-24",
 266   "1.31035s10" },
 267
 268 { "-4.556s-14", "1.3900s-23",
 269   "-3.27772s9" },
 270
 271 { "3.832s-14", "1.55715s-22",
 272   "2.4609s8" },
 273
 274 { "1.4186s-13", "1.64482s-21",
 275   "8.6246s7" },
 276
 277 { "-7.0974s19", "-0.705536s0",
 278   "1.00596s20" },
 279
 280 { "-7.687s19", "-0.241531s0",
 281   "3.1826s20" },
 282
 283 { "3.37013s19", "-0.425987s0",
 284   "-7.9114s19" },
 285
 286 { "6.56473s19", "-0.60696s0",
 287   "-1.08158s20" },
 288
 289 { "4.1598s19", "0.60135s0",
 290   "6.9175s19" },
 291
 292 { "8.8312s19", "0.93547s0",
 293   "9.4404s19" },
 294
 295 { "2.81357s19", "-2.62832s9",
 296   "-1.07048s10" },
 297
 298 { "5.9243s19", "-4.5189s8",
 299   "-1.311s11" },
 300
 301 { "-8.3887s19", "9.5761s9",
 302   "-8.7601s9" },
 303
 304 { "7.7606s19", "-8.5369s9",
 305   "-9.0906s9" },
 306
 307 { "-7.9868s19", "5.0173s9",
 308   "-1.59186s10" },
 309
 310 { "7.4128s19", "-6.7781s9",
 311   "-1.09364s10" },
 312
 313 { "1.27472s19", "1.1699s-13",
 314   "1.0896s32" },
 315
 316 { "2.97578s19", "4.448s-14",
 317   "6.6901s32" },
 318
 319 { "7.19416s19", "1.3834s-13",
 320   "5.20034s32" },
 321
 322 { "6.61843s19", "-4.268s-14",
 323   "-1.55071s33" },
 324
 325 { "2.8579s19", "4.364s-14",
 326   "6.5488s32" },
 327
 328 { "8.2451s18", "-6.532s-14",
 329   "-1.26227s32" },
 330
 331 { "4.63364s19", "9.4305s19",
 332   "0.491344s0" },
 333
 334 { "-1.81999s19", "1.05424s19",
 335   "-1.72636s0" },
 336
 337 { "-1.41579s19", "-4.03517s19",
 338   "0.350864s0" },
 339
 340 { "-1.88523s18", "-3.3165s18",
 341   "0.568436s0" },
 342
 343 { "8.4152s17", "-7.3293s19",
 344   "-0.0114815s0" },
 345
 346 { "-8.674s19", "-3.63595s19",
 347   "2.38562s0" },
 348
 349 { "-1.64643s-22", "0.78035s0",
 350   "-2.10986s-22" },
 351
 352 { "-7.455s-24", "-0.63174s0",
 353   "1.18009s-23" },
 354
 355 { "-3.259s-24", "-0.89363s0",
 356   "3.64694s-24" },
 357
 358 { "1.5803s-23", "-0.11338s0",
 359   "-1.39382s-22" },
 360
 361 { "-3.534s-24", "0.407562s0",
 362   "-8.6711s-24" },
 363
 364 { "-7.221s-24", "0.90274s0",
 365   "-7.999s-24" },
 366
 367 { "1.0479s-23", "5.66256s8",
 368   "1.85059s-32" },
 369
 370 { "1.62856s-21", "-1.9551s9",
 371   "-8.3298s-31" },
 372
 373 { "-8.102s-24", "9.7896s9",
 374   "-8.2761s-34" },
 375
 376 { "9.693s-24", "-8.777s9",
 377   "-1.10437s-33" },
 378
 379 { "8.643s-24", "-1.25557s9",
 380   "-6.8837s-33" },
 381
 382 { "3.224s-24", "9.8161s9",
 383   "3.2844s-34" },
 384
 385 { "1.06582s-21", "-1.0408s-13",
 386   "-1.02405s-8" },
 387
 388 { "1.6738s-23", "9.851s-14",
 389   "1.69914s-10" },
 390
 391 { "-1.1514s-23", "-6.509s-14",
 392   "1.76893s-10" },
 393
 394 { "9.171s-24", "9.292s-14",
 395   "9.8698s-11" },
 396
 397 { "1.8589s-23", "-4.213s-14",
 398   "-4.4123s-10" },
 399
 400 { "1.2837s-23", "1.1034s-13",
 401   "1.16341s-10" },
 402
 403 { "3.671s-24", "1.0091s-23",
 404   "0.363792s0" },
 405
 406 { "-3.373s-24", "-1.7017s-23",
 407   "0.198214s0" },
 408
 409 { "-2.0157s-23", "1.0021s-23",
 410   "-2.01147s0" },
 411
 412 { "8.041s-24", "-1.3974s-23",
 413   "-0.575424s0" },
 414
 415 { "-5.391s-24", "1.1762s-23",
 416   "-0.458344s0" },
 417
 418 { "1.7735s-23", "-3.313s-24",
 419   "-5.3531s0" },
 420
 421 };