tests/exam_SF_mul.cc

   1 #include "exam.h"
   2 #include <cln/sfloat.h>
   3 #include <cln/sfloat_io.h>
   4
   5 static mul_test sfloat_mul_tests[] = {
   6
   7 { "-0.56581s0", "-0.117477s0",
   8   "0.06647s0" },
   9
  10 { "0.73841s0", "0.08886s0",
  11   "0.065615s0" },
  12
  13 { "-0.75174s0", "-0.173615s0",
  14   "0.130512s0" },
  15
  16 { "0.557236s0", "-0.105034s0",
  17   "-0.0585284s0" },
  18
  19 { "-0.62105s0", "0.828835s0",
  20   "-0.51475s0" },
  21
  22 { "-0.54287s0", "-0.92243s0",
  23   "0.50076s0" },
  24
  25 { "-0.2173s0", "5.5084s9",
  26   "-1.19698s9" },
  27
  28 { "0.467354s0", "-7.9517s9",
  29   "-3.71625s9" },
  30
  31 { "-0.95485s0", "5.6451s9",
  32   "-5.3902s9" },
  33
  34 { "0.0472946s0", "-6.774s9",
  35   "-3.20373s8" },
  36
  37 { "0.196037s0", "7.3548s8",
  38   "1.44181s8" },
  39
  40 { "-0.25535s0", "4.91907s9",
  41   "-1.25608s9" },
  42
  43 { "0.047058s0", "6.612s-14",
  44   "3.11147s-15" },
  45
  46 { "-0.35054s0", "3.764s-14",
  47   "-1.31943s-14" },
  48
  49 { "0.372635s0", "1.0613s-13",
  50   "3.9548s-14" },
  51
  52 { "0.627266s0", "-9.519s-14",
  53   "-5.971s-14" },
  54
  55 { "-0.0293884s0", "1.1626s-13",
  56   "-3.41667s-15" },
  57
  58 { "-0.88304s0", "-1.1160s-13",
  59   "9.8547s-14" },
  60
  61 { "0.318016s0", "-6.86827s19",
  62   "-2.18422s19" },
  63
  64 { "0.605064s0", "3.4281s19",
  65   "2.07422s19" },
  66
  67 { "-0.65415s0", "-8.185s19",
  68   "5.3542s19" },
  69
  70 { "0.87548s0", "6.72325s19",
  71   "5.8861s19" },
  72
  73 { "0.45806s0", "-9.503s19",
  74   "-4.35295s19" },
  75
  76 { "-0.995384s0", "1.62797s19",
  77   "-1.62045s19" },
  78
  79 { "0.26301s0", "-1.3169s-23",
  80   "-3.46357s-24" },
  81
  82 { "0.82762s0", "-3.411s-24",
  83   "-2.82304s-24" },
  84
  85 { "-0.042412s0", "-3.339s-24",
  86   "1.41613s-25" },
  87
  88 { "0.858284s0", "-7.610s-24",
  89   "-6.53157s-24" },
  90
  91 { "0.75574s0", "1.0518s-23",
  92   "7.9488s-24" },
  93
  94 { "0.977s0", "-5.944s-24",
  95   "-5.8073s-24" },
  96
  97 { "1.1316s9", "0.87906s0",
  98   "9.9474s8" },
  99
 100 { "9.7596s9", "0.58181s0",
 101   "5.67824s9" },
 102
 103 { "5.5896s9", "-0.91708s0",
 104   "-5.12616s9" },
 105
 106 { "-7.677s9", "-0.67695s0",
 107   "5.19694s9" },
 108
 109 { "-4.73655s9", "0.65572s0",
 110   "-3.10588s9" },
 111
 112 { "-3.2158s9", "-0.30076s0",
 113   "9.6717s8" },
 114
 115 { "5.94916s9", "-1.02867s9",
 116   "-6.1197s18" },
 117
 118 { "-3.19098s9", "8.125s9",
 119   "-2.59267s19" },
 120
 121 { "-6.57215s9", "9.4253s9",
 122   "-6.1944s19" },
 123
 124 { "-5.2792s9", "3.93547s9",
 125   "-2.0776s19" },
 126
 127 { "2.502s9", "4.1275s9",
 128   "1.0327s19" },
 129
 130 { "-8.9462s9", "-4.72174s9",
 131   "4.22415s19" },
 132
 133 { "-8.9588s9", "-1.4190s-14",
 134   "1.27126s-4" },
 135
 136 { "-3.56218s9", "-9.982s-14",
 137   "3.5558s-4" },
 138
 139 { "-3.4449s9", "4.582s-15",
 140   "-1.57845s-5" },
 141
 142 { "-3.7047s9", "1.2985s-14",
 143   "-4.8105s-5" },
 144
 145 { "-8.9172s8", "-7.294s-14",
 146   "6.5043s-5" },
 147
 148 { "1.64864s9", "1.8344s-13",
 149   "3.02427s-4" },
 150
 151 { "-9.935s8", "-7.9116s19",
 152   "7.8602s28" },
 153
 154 { "-7.0441s9", "-6.3448s19",
 155   "4.4693s29" },
 156
 157 { "7.72866s9", "1.44264s19",
 158   "1.11497s29" },
 159
 160 { "3.7816s9", "-3.16285s19",
 161   "-1.19606s29" },
 162
 163 { "-1.06926s9", "6.67816s19",
 164   "-7.1407s28" },
 165
 166 { "4.04482s9", "-3.52235s19",
 167   "-1.42473s29" },
 168
 169 { "-8.77s8", "-3.499s-24",
 170   "3.06864s-15" },
 171
 172 { "-9.5508s9", "1.0006s-23",
 173   "-9.5566s-14" },
 174
 175 { "-2.98736s9", "-7.070s-24",
 176   "2.11207s-14" },
 177
 178 { "9.9779s9", "1.2683s-23",
 179   "1.26548s-13" },
 180
 181 { "7.4813s9", "-1.3730s-23",
 182   "-1.02719s-13" },
 183
 184 { "8.5804s9", "6.999s-24",
 185   "6.0054s-14" },
 186
 187 { "4.637s-14", "0.895805s0",
 188   "4.15384s-14" },
 189
 190 { "1.0125s-13", "-0.322685s0",
 191   "-3.26718s-14" },
 192
 193 { "2.310s-16", "0.0601425s0",
 194   "1.38928s-17" },
 195
 196 { "1.0579s-13", "-0.27089s0",
 197   "-2.86576s-14" },
 198
 199 { "9.540s-14", "-0.21251s0",
 200   "-2.02735s-14" },
 201
 202 { "-4.463s-14", "-0.96336s0",
 203   "4.2995s-14" },
 204
 205 { "3.270s-14", "-5.9141s9",
 206   "-1.93391s-4" },
 207
 208 { "-6.515s-14", "1.01791s9",
 209   "-6.6318s-5" },
 210
 211 { "3.695s-14", "8.7417s9",
 212   "3.23005s-4" },
 213
 214 { "-1.0900s-13", "-6.75794s9",
 215   "7.3662s-4" },
 216
 217 { "4.551s-14", "-7.1112s9",
 218   "-3.2363s-4" },
 219
 220 { "5.456s-15", "-5.44014s9",
 221   "-2.96813s-5" },
 222
 223 { "-3.377s-14", "3.358s-15",
 224   "-1.13399s-28" },
 225
 226 { "3.862s-14", "7.278s-14",
 227   "2.81079s-27" },
 228
 229 { "9.449s-14", "3.170s-14",
 230   "2.99533s-27" },
 231
 232 { "7.051s-14", "-4.234s-14",
 233   "-2.98537s-27" },
 234
 235 { "-8.955s-14", "9.895s-14",
 236   "-8.861s-27" },
 237
 238 { "-1.6752s-13", "-7.341s-14",
 239   "1.22977s-26" },
 240
 241 { "9.420s-14", "4.50844s19",
 242   "4246900.0s0" },
 243
 244 { "2.0183s-13", "9.598s19",
 245   "1.93715s7" },
 246
 247 { "-7.441s-14", "-5.7324s19",
 248   "4265500.0s0" },
 249
 250 { "7.241s-14", "-5.79135s19",
 251   "-4193500.0s0" },
 252
 253 { "7.987s-14", "8.1113s19",
 254   "6478500.0s0" },
 255
 256 { "-1.1603s-13", "7.4468s19",
 257   "-8640500.0s0" },
 258
 259 { "-4.432s-14", "-6.851s-24",
 260   "3.03637s-37" },
 261
 262 { "-5.064s-14", "-8.119s-24",
 263   "4.1115s-37" },
 264
 265 { "3.553s-15", "-6.404s-24",
 266   "-2.27533s-38" },
 267
 268 { "8.699s-14", "-3.558s-24",
 269   "-3.0951s-37" },
 270
 271 { "9.820s-14", "-5.771s-24",
 272   "-5.6671s-37" },
 273
 274 { "-3.477s-14", "7.723s-24",
 275   "-2.6853s-37" },
 276
 277 { "7.9082s19", "0.71604s0",
 278   "5.6626s19" },
 279
 280 { "-6.83905s19", "-0.36905s0",
 281   "2.52396s19" },
 282
 283 { "-7.7697s19", "-0.34073s0",
 284   "2.64736s19" },
 285
 286 { "-2.10557s19", "-0.58961s0",
 287   "1.24146s19" },
 288
 289 { "9.0963s19", "-0.37693s0",
 290   "-3.42865s19" },
 291
 292 { "-4.24076s19", "0.91147s0",
 293   "-3.8653s19" },
 294
 295 { "-3.5865s19", "-6.4046s9",
 296   "2.297s29" },
 297
 298 { "7.19225s18", "-7.7232s9",
 299   "-5.5547s28" },
 300
 301 { "1.98907s19", "-9.9239s9",
 302   "-1.97393s29" },
 303
 304 { "-4.27195s19", "7.0734s9",
 305   "-3.02173s29" },
 306
 307 { "-8.3115s19", "5.2947s9",
 308   "-4.40073s29" },
 309
 310 { "9.4386s19", "8.6548s8",
 311   "8.169s28" },
 312
 313 { "6.21677s19", "-3.135s-14",
 314   "-1948960.0s0" },
 315
 316 { "-6.30774s19", "1.5884s-13",
 317   "-1.00192s7" },
 318
 319 { "7.6073s19", "3.922s-14",
 320   "2983550.0s0" },
 321
 322 { "-1.44485s19", "-3.355s-14",
 323   "484748.0s0" },
 324
 325 { "3.39653s19", "-7.679s-14",
 326   "-2608200.0s0" },
 327
 328 { "-6.0072s19", "1.7825s-13",
 329   "-1.07078s7" },
 330
 331 { "1.06812s16", "-1.19583s19",
 332   "-1.2773s35" },
 333
 334 { "1.1438s19", "2.616s-24",
 335   "2.99218s-5" },
 336
 337 { "-5.79304s18", "-3.095s-24",
 338   "1.79296s-5" },
 339
 340 { "-7.6387s19", "8.607s-24",
 341   "-6.5746s-4" },
 342
 343 { "4.03933s19", "3.058s-24",
 344   "1.23523s-4" },
 345
 346 { "-2.06994s19", "-1.1381s-23",
 347   "2.3558s-4" },
 348
 349 { "3.7857s18", "-3.590s-24",
 350   "-1.35906s-5" },
 351
 352 { "5.656s-24", "-0.096458s0",
 353   "-5.4557s-25" },
 354
 355 { "-5.799s-24", "-0.148445s0",
 356   "8.6083s-25" },
 357
 358 { "-9.041s-24", "0.86431s0",
 359   "-7.8143s-24" },
 360
 361 { "-2.645s-24", "-0.911865s0",
 362   "2.41187s-24" },
 363
 364 { "-9.758s-24", "-0.397186s0",
 365   "3.87574s-24" },
 366
 367 { "-5.345s-24", "-0.27215s0",
 368   "1.45463s-24" },
 369
 370 { "-3.713s-24", "9.11335s8",
 371   "-3.38382s-15" },
 372
 373 { "-3.010s-24", "-9.5278s9",
 374   "2.86784s-14" },
 375
 376 { "-1.6904s-23", "-8.37655s9",
 377   "1.41599s-13" },
 378
 379 { "-5.074s-24", "-9.2804s9",
 380   "4.7089s-14" },
 381
 382 { "-6.942s-22", "-8.7038s9",
 383   "6.04217s-12" },
 384
 385 { "-7.643s-24", "-3.1665s9",
 386   "2.42018s-14" },
 387
 388 { "-2.659s-24", "-9.238s-14",
 389   "2.4564s-37" },
 390
 391 { "-1.7036s-23", "3.138s-14",
 392   "-5.34586s-37" },
 393
 394 { "7.684s-24", "8.639s-14",
 395   "6.6383s-37" },
 396
 397 { "-3.424s-24", "-6.046s-14",
 398   "2.07014s-37" },
 399
 400 { "9.3102s-22", "-1.1344s-13",
 401   "-1.05614s-34" },
 402
 403 { "8.070s-24", "3.573s-14",
 404   "2.8834s-37" },
 405
 406 { "3.557s-24", "7.9957s19",
 407   "2.84407s-4" },
 408
 409 { "7.281s-24", "-3.45443s19",
 410   "-2.5152s-4" },
 411
 412 { "-1.6093s-23", "3.22463s19",
 413   "-5.1894s-4" },
 414
 415 { "-1.8628s-23", "4.95593s19",
 416   "-9.2319s-4" },
 417
 418 { "3.463s-24", "-4.44685s19",
 419   "-1.53994s-4" },
 420
 421 { "-8.081s-24", "-1.54701s19",
 422   "1.25013s-4" },
 423
 424 };