tests/exam_FF_mul.cc

   1 #include "exam.h"
   2 #include <cln/ffloat.h>
   3 #include <cln/ffloat_io.h>
   4
   5 static mul_test ffloat_mul_tests[] = {
   6
   7 { "0.3098436", "0.0057770014",
   8   "0.001789967" },
   9
  10 { "-0.14583993", "-0.028087378",
  11   "0.004096261" },
  12
  13 { "0.21399558", "0.96054405",
  14   "0.20555218" },
  15
  16 { "0.7590452", "0.8427266",
  17   "0.6396676" },
  18
  19 { "-0.34523207", "0.20272356",
  20   "-0.06998668" },
  21
  22 { "-0.98096234", "0.98158866",
  23   "-0.96290153" },
  24
  25 { "0.40309322", "4.0009994E9",
  26   "1.6127757E9" },
  27
  28 { "0.15507132", "9.481803E9",
  29   "1.4703557E9" },
  30
  31 { "0.5218476", "-2.1933102E9",
  32   "-1.1445737E9" },
  33
  34 { "0.17258328", "2.6295781E8",
  35   "4.538212E7" },
  36
  37 { "0.25962013", "8.699164E9",
  38   "2.258478E9" },
  39
  40 { "0.47902477", "-1.4075732E9",
  41   "-6.7426246E8" },
  42
  43 { "0.9642294", "-1.6256952E-11",
  44   "-1.5675431E-11" },
  45
  46 { "0.6098744", "-8.802921E-12",
  47   "-5.3686764E-12" },
  48
  49 { "-0.25792134", "4.804327E-11",
  50   "-1.2391385E-11" },
  51
  52 { "-0.8724403", "-9.101418E-11",
  53   "7.940444E-11" },
  54
  55 { "-0.13318628", "8.1157005E-11",
  56   "-1.08089995E-11" },
  57
  58 { "-0.54116476", "-9.353639E-11",
  59   "5.0618596E-11" },
  60
  61 { "0.9018487", "7.411783E19",
  62   "6.6843068E19" },
  63
  64 { "-0.6835444", "-7.590606E19",
  65   "5.188516E19" },
  66
  67 { "-0.9896146", "5.195105E18",
  68   "-5.141152E18" },
  69
  70 { "-0.4838531", "1.88174E19",
  71   "-9.1048573E18" },
  72
  73 { "-0.31826657", "-3.3103586E19",
  74   "1.0535765E19" },
  75
  76 { "0.6818549", "-9.227651E19",
  77   "-6.2919192E19" },
  78
  79 { "0.7676919", "7.320194E-21",
  80   "5.6196534E-21" },
  81
  82 { "0.49369502", "4.9805288E-21",
  83   "2.4588622E-21" },
  84
  85 { "0.9599328", "7.903804E-21",
  86   "7.58712E-21" },
  87
  88 { "0.13215566", "7.603894E-21",
  89   "1.0048976E-21" },
  90
  91 { "-0.35744518", "-9.408464E-21",
  92   "3.36301E-21" },
  93
  94 { "-0.79346496", "9.006081E-21",
  95   "-7.146009E-21" },
  96
  97 { "4.1775434E9", "-0.13509268",
  98   "-5.643555E8" },
  99
 100 { "7.27846E9", "-0.8181822",
 101   "-5.9551063E9" },
 102
 103 { "2.9669427E9", "0.7082195",
 104   "2.1012467E9" },
 105
 106 { "7.609933E9", "-0.33963126",
 107   "-2.5845711E9" },
 108
 109 { "3.4241843E9", "0.3924479",
 110   "1.3438139E9" },
 111
 112 { "-3.8366538E9", "0.56461394",
 113   "-2.1662282E9" },
 114
 115 { "3.7237007E9", "1.2646783E9",
 116   "4.7092836E18" },
 117
 118 { "-2.7657871E9", "-3.6314278E9",
 119   "1.0043756E19" },
 120
 121 { "-4.753982E9", "-5.8879616E8",
 122   "2.7991263E18" },
 123
 124 { "8.877933E9", "7.973602E9",
 125   "7.07891E19" },
 126
 127 { "-8.312081E9", "-8.941637E9",
 128   "7.432361E19" },
 129
 130 { "-4.297749E9", "9.913122E9",
 131   "-4.260411E19" },
 132
 133 { "-7.893335E9", "-4.7961794E-11",
 134   "0.3785785" },
 135
 136 { "-4.1332334E9", "7.221582E-11",
 137   "-0.29848483" },
 138
 139 { "1.9981688E9", "2.8169871E-11",
 140   "0.056288157" },
 141
 142 { "-5.8555295E9", "-7.562528E-11",
 143   "0.44282603" },
 144
 145 { "7.377872E9", "-1.5020383E-11",
 146   "-0.11081846" },
 147
 148 { "8.891134E9", "-7.035395E-11",
 149   "-0.6255264" },
 150
 151 { "-7.1412096E9", "5.1873507E19",
 152   "-3.7043958E29" },
 153
 154 { "8.0983844E9", "9.136914E19",
 155   "7.399425E29" },
 156
 157 { "-6.1437537E9", "-9.398771E19",
 158   "5.7743737E29" },
 159
 160 { "-2.3000973E9", "6.8743785E19",
 161   "-1.5811739E29" },
 162
 163 { "3.5817969E9", "-6.0353143E19",
 164   "-2.161727E29" },
 165
 166 { "6.544234E9", "8.265139E19",
 167   "5.4089003E29" },
 168
 169 { "2.1273733E8", "-2.3684083E-21",
 170   "-5.0384886E-13" },
 171
 172 { "-4.2644698E9", "2.956708E-21",
 173   "-1.2608792E-11" },
 174
 175 { "-5.1238026E9", "5.341445E-21",
 176   "-2.7368509E-11" },
 177
 178 { "-3.0125368E9", "5.201843E-21",
 179   "-1.5670742E-11" },
 180
 181 { "-4.4709827E9", "-1.5399217E-22",
 182   "6.8849635E-13" },
 183
 184 { "-4.934225E9", "5.9229795E-21",
 185   "-2.9225313E-11" },
 186
 187 { "-2.1100623E-11", "0.9615048",
 188   "-2.028835E-11" },
 189
 190 { "6.6090705E-12", "0.4100405",
 191   "2.7099865E-12" },
 192
 193 { "-9.541609E-11", "0.82497185",
 194   "-7.871559E-11" },
 195
 196 { "-2.7884627E-11", "-0.5218528",
 197   "1.4551671E-11" },
 198
 199 { "9.180904E-13", "-0.26436818",
 200   "-2.4271386E-13" },
 201
 202 { "2.6154882E-11", "0.2004636",
 203   "5.2431015E-12" },
 204
 205 { "9.751009E-11", "-7.0098227E9",
 206   "-0.6835284" },
 207
 208 { "-1.312651E-11", "1.9450307E8",
 209   "-0.0025531466" },
 210
 211 { "-4.591856E-11", "-4.6141565E8",
 212   "0.021187542" },
 213
 214 { "-4.1950752E-11", "-9.55923E9",
 215   "0.4010169" },
 216
 217 { "-2.1888996E-11", "9.976215E9",
 218   "-0.21836932" },
 219
 220 { "4.2696267E-11", "-7.927695E9",
 221   "-0.33848298" },
 222
 223 { "1.9615304E-11", "-5.3584637E-12",
 224   "-1.05107896E-22" },
 225
 226 { "-8.7289814E-11", "3.4389686E-11",
 227   "-3.0018693E-21" },
 228
 229 { "6.8621386E-11", "-1.4248663E-11",
 230   "-9.77763E-22" },
 231
 232 { "-9.5643375E-11", "-7.7591066E-11",
 233   "7.421071E-21" },
 234
 235 { "-6.3313584E-11", "5.173857E-11",
 236   "-3.2757542E-21" },
 237
 238 { "-6.968663E-11", "-4.966581E-12",
 239   "3.461043E-22" },
 240
 241 { "7.942278E-11", "-3.1309486E19",
 242   "-2.4866865E9" },
 243
 244 { "1.7023414E-11", "2.5512804E19",
 245   "4.34315E8" },
 246
 247 { "2.6554937E-11", "9.146128E19",
 248   "2.4287485E9" },
 249
 250 { "9.309172E-13", "-3.6298406E19",
 251   "-3.3790812E7" },
 252
 253 { "-6.106873E-11", "3.5271824E18",
 254   "-2.1540056E8" },
 255
 256 { "-2.8420502E-11", "-6.6643682E19",
 257   "1.8940468E9" },
 258
 259 { "-5.84991E-11", "1.5304011E-21",
 260   "-8.952709E-32" },
 261
 262 { "6.30787E-11", "-9.366236E-21",
 263   "-5.9081004E-31" },
 264
 265 { "1.9745445E-11", "7.034156E-21",
 266   "1.3889253E-31" },
 267
 268 { "2.440728E-11", "6.50959E-22",
 269   "1.5888139E-32" },
 270
 271 { "6.0243255E-11", "-1.7734902E-21",
 272   "-1.0684082E-31" },
 273
 274 { "1.0381073E-11", "7.167948E-21",
 275   "7.441099E-32" },
 276
 277 { "6.3378214E18", "0.022634745",
 278   "1.43454966E17" },
 279
 280 { "5.4942345E19", "0.26696533",
 281   "1.4667702E19" },
 282
 283 { "9.807893E19", "-0.99720424",
 284   "-9.780473E19" },
 285
 286 { "-7.1504E18", "0.045440495",
 287   "-3.249177E17" },
 288
 289 { "-7.265508E19", "0.37276286",
 290   "-2.7083115E19" },
 291
 292 { "9.3705245E19", "0.6617385",
 293   "6.200837E19" },
 294
 295 { "7.768628E19", "1.37205E9",
 296   "1.0658947E29" },
 297
 298 { "1.5640021E18", "9.344063E9",
 299   "1.4614135E28" },
 300
 301 { "3.8593804E19", "-9.424651E8",
 302   "-3.6373312E28" },
 303
 304 { "-9.23689E19", "-6.980498E9",
 305   "6.447809E29" },
 306
 307 { "7.926599E19", "5.0871127E9",
 308   "4.0323505E29" },
 309
 310 { "3.540541E19", "-5.11486E9",
 311   "-1.810937E29" },
 312
 313 { "-7.023858E19", "6.959093E-11",
 314   "-4.8879683E9" },
 315
 316 { "-2.0809586E19", "-4.045683E-12",
 317   "8.418899E7" },
 318
 319 { "5.3608545E19", "-7.0354486E-11",
 320   "-3.7716017E9" },
 321
 322 { "8.974303E19", "-6.383404E-11",
 323   "-5.72866E9" },
 324
 325 { "-6.8900017E19", "9.845904E-11",
 326   "-6.7838295E9" },
 327
 328 { "9.325442E19", "-3.9829796E-11",
 329   "-3.7143045E9" },
 330
 331 { "5.9436735E19", "-5.713992E-21",
 332   "-0.33962104" },
 333
 334 { "7.266224E18", "8.9780915E-21",
 335   "0.06523682" },
 336
 337 { "-3.6717237E18", "3.3338123E-21",
 338   "-0.012240837" },
 339
 340 { "4.119367E19", "-7.309974E-21",
 341   "-0.30112466" },
 342
 343 { "-8.453134E19", "4.6281215E-22",
 344   "-0.03912213" },
 345
 346 { "-3.7493624E19", "5.480264E-21",
 347   "-0.20547494" },
 348
 349 { "6.3693945E-21", "-0.25352144",
 350   "-1.6147781E-21" },
 351
 352 { "-8.51531E-21", "0.6031129",
 353   "-5.135693E-21" },
 354
 355 { "-9.771993E-21", "0.2740926",
 356   "-2.678431E-21" },
 357
 358 { "-4.2903415E-21", "0.5916119",
 359   "-2.5382172E-21" },
 360
 361 { "-3.7330673E-21", "0.9738175",
 362   "-3.6353263E-21" },
 363
 364 { "5.860415E-21", "-0.9997709",
 365   "-5.8590725E-21" },
 366
 367 { "-9.4827234E-21", "7.6195564E9",
 368   "-7.225415E-11" },
 369
 370 { "5.9501194E-21", "9.102942E9",
 371   "5.4163594E-11" },
 372
 373 { "2.8867428E-21", "-9.615872E9",
 374   "-2.7758549E-11" },
 375
 376 { "5.0077543E-21", "7.8715663E9",
 377   "3.941887E-11" },
 378
 379 { "7.082003E-21", "4.5221494E9",
 380   "3.2025875E-11" },
 381
 382 { "-2.9215627E-21", "5.131017E9",
 383   "-1.4990589E-11" },
 384
 385 { "-9.1914904E-21", "-2.3301847E-11",
 386   "2.141787E-31" },
 387
 388 { "1.3389891E-21", "-7.032628E-11",
 389   "-9.4166125E-32" },
 390
 391 { "-8.540776E-21", "3.052019E-11",
 392   "-2.6066613E-31" },
 393
 394 { "-2.7608417E-21", "-6.8345785E-12",
 395   "1.886919E-32" },
 396
 397 { "1.2978333E-21", "-2.1870255E-12",
 398   "-2.8383944E-33" },
 399
 400 { "8.2235335E-23", "-3.5080876E-11",
 401   "-2.8848876E-33" },
 402
 403 { "-3.958064E-21", "8.038726E19",
 404   "-0.3181779" },
 405
 406 { "7.752178E-21", "1.0747784E19",
 407   "0.08331874" },
 408
 409 { "-5.5964265E-21", "-8.700492E19",
 410   "0.48691663" },
 411
 412 { "3.2236927E-21", "3.6203593E19",
 413   "0.116709255" },
 414
 415 { "-6.308517E-21", "-3.8032156E19",
 416   "0.2399265" },
 417
 418 { "4.8663387E-21", "9.008218E19",
 419   "0.43837038" },
 420
 421 };