tests/exam_FF_div.cc

   1 #include "exam.h"
   2 #include <cln/ffloat.h>
   3 #include <cln/ffloat_io.h>
   4
   5 static div_test ffloat_div_tests[] = {
   6
   7 { "0.73739415", "0.6416277",
   8   "1.1492554" },
   9
  10 { "0.6736158", "-0.25522494",
  11   "-2.6393025" },
  12
  13 { "-0.44216943", "0.31134832",
  14   "-1.420176" },
  15
  16 { "-0.7041118", "-0.26929635",
  17   "2.6146355" },
  18
  19 { "0.3573562", "0.73521775",
  20   "0.4860549" },
  21
  22 { "-0.7661392", "0.77110463",
  23   "-0.9935606" },
  24
  25 { "-0.91306114", "1.6586358E9",
  26   "-5.504892E-10" },
  27
  28 { "-0.68994707", "4.0230333E8",
  29   "-1.7149921E-9" },
  30
  31 { "0.28498656", "-7.617844E9",
  32   "-3.7410394E-11" },
  33
  34 { "-0.72419757", "-9.226896E9",
  35   "7.848767E-11" },
  36
  37 { "0.8352187", "8.3102536E9",
  38   "1.00504605E-10" },
  39
  40 { "0.9707725", "3.3669448E9",
  41   "2.8832445E-10" },
  42
  43 { "0.50785017", "6.048824E-11",
  44   "8.3958497E9" },
  45
  46 { "-0.17675805", "4.1391092E-11",
  47   "-4.270437E9" },
  48
  49 { "-0.42162335", "-4.4007357E-11",
  50   "9.580747E9" },
  51
  52 { "-7.945299E-4", "-5.4965265E-11",
  53   "1.4455128E7" },
  54
  55 { "-0.65178335", "-9.78151E-12",
  56   "6.6634228E10" },
  57
  58 { "-0.6209788", "-3.8544803E-11",
  59   "1.611057E10" },
  60
  61 { "0.94332725", "-4.9823833E19",
  62   "-1.8933253E-20" },
  63
  64 { "0.30150706", "-4.9741757E19",
  65   "-6.061448E-21" },
  66
  67 { "-0.8478371", "-9.85865E18",
  68   "8.5999306E-20" },
  69
  70 { "-0.28524554", "3.1389898E19",
  71   "-9.087176E-21" },
  72
  73 { "-0.5260848", "-7.936286E19",
  74   "6.6288534E-21" },
  75
  76 { "-0.12941593", "-5.3575864E19",
  77   "2.415564E-21" },
  78
  79 { "-0.20859545", "-9.867267E-21",
  80   "2.1140145E19" },
  81
  82 { "0.35158414", "-8.2825064E-22",
  83   "-4.2449002E20" },
  84
  85 { "-0.05635804", "-2.2999601E-21",
  86   "2.450392E19" },
  87
  88 { "-0.003138721", "-3.3988403E-21",
  89   "9.234682E17" },
  90
  91 { "-0.91386896", "-5.8199337E-21",
  92   "1.5702395E20" },
  93
  94 { "-0.5374476", "2.256708E-21",
  95   "-2.3815556E20" },
  96
  97 { "1.9669795E9", "-0.58137333",
  98   "-3.3833329E9" },
  99
 100 { "-8.9879334E8", "0.35829848",
 101   "-2.5085046E9" },
 102
 103 { "-9.057627E9", "0.4849478",
 104   "-1.867753E10" },
 105
 106 { "3.687799E8", "-0.34055912",
 107   "-1.082866E9" },
 108
 109 { "-5.1049994E9", "-0.16858816",
 110   "3.0280888E10" },
 111
 112 { "-4.512774E9", "0.9385354",
 113   "-4.8083154E9" },
 114
 115 { "-1.9312024E9", "-8.3940613E9",
 116   "0.2300677" },
 117
 118 { "-8.2104387E9", "6.769607E9",
 119   "-1.2128383" },
 120
 121 { "-6.9613486E9", "4.576518E9",
 122   "-1.5211015" },
 123
 124 { "-1.486333E9", "1.2476433E9",
 125   "-1.1913126" },
 126
 127 { "-7.653413E9", "5.167656E9",
 128   "-1.4810221" },
 129
 130 { "-2.9815204E9", "8.942396E9",
 131   "-0.33341402" },
 132
 133 { "9.304549E9", "-5.8002263E-11",
 134   "-1.60417E20" },
 135
 136 { "-2.0750719E9", "1.272735E-11",
 137   "-1.6304037E20" },
 138
 139 { "-1.1557549E9", "-7.2220556E-11",
 140   "1.6003129E19" },
 141
 142 { "-3.3273495E9", "-9.9207274E-11",
 143   "3.353937E19" },
 144
 145 { "-3.2167434E9", "7.7474506E-11",
 146   "-4.1520026E19" },
 147
 148 { "4.4169416E9", "-4.638272E-11",
 149   "-9.5228166E19" },
 150
 151 { "-3.732909E9", "-2.2763849E18",
 152   "1.6398409E-9" },
 153
 154 { "-6.243126E9", "-4.1274483E19",
 155   "1.5125873E-10" },
 156
 157 { "4.7162563E9", "-7.524631E19",
 158   "-6.267758E-11" },
 159
 160 { "-1.3657349E9", "7.728982E19",
 161   "-1.7670308E-11" },
 162
 163 { "-4.6216906E8", "-7.972877E19",
 164   "5.7967663E-12" },
 165
 166 { "4.4542986E9", "3.1531836E19",
 167   "1.4126353E-10" },
 168
 169 { "1.4738977E9", "-9.8130876E-21",
 170   "-1.5019714E29" },
 171
 172 { "-5.918336E9", "2.9877495E-21",
 173   "-1.9808676E30" },
 174
 175 { "-3.7166292E9", "-1.0826009E-21",
 176   "3.433056E30" },
 177
 178 { "7.390683E9", "-2.1678685E-22",
 179   "-3.4091935E31" },
 180
 181 { "6.2302886E8", "8.9466635E-21",
 182   "6.963812E28" },
 183
 184 { "5.2357125E9", "4.854464E-22",
 185   "1.0785356E31" },
 186
 187 { "-2.7721167E-11", "0.99550104",
 188   "-2.7846447E-11" },
 189
 190 { "5.754337E-11", "-0.6344538",
 191   "-9.06975E-11" },
 192
 193 { "-7.663363E-11", "0.020810604",
 194   "-3.6824317E-9" },
 195
 196 { "3.2576632E-11", "0.6209498",
 197   "5.2462586E-11" },
 198
 199 { "-9.507874E-11", "-0.19174337",
 200   "4.958645E-10" },
 201
 202 { "-9.681176E-11", "-0.82680905",
 203   "1.1709084E-10" },
 204
 205 { "6.458532E-11", "3.442031E8",
 206   "1.8763725E-19" },
 207
 208 { "1.9113166E-11", "-7.0712125E9",
 209   "-2.7029546E-21" },
 210
 211 { "-2.0099402E-12", "2.600844E9",
 212   "-7.7280303E-22" },
 213
 214 { "-4.9634992E-12", "8.041176E9",
 215   "-6.1726036E-22" },
 216
 217 { "3.2738747E-12", "7.299675E9",
 218   "4.484959E-22" },
 219
 220 { "9.133733E-12", "-2.6318538E9",
 221   "-3.470456E-21" },
 222
 223 { "-3.4146054E-11", "-1.5331155E-11",
 224   "2.227233" },
 225
 226 { "6.06336E-11", "4.3750472E-11",
 227   "1.385896" },
 228
 229 { "-4.229064E-11", "-9.169808E-11",
 230   "0.4611944" },
 231
 232 { "6.166104E-11", "-3.5474658E-11",
 233   "-1.7381715" },
 234
 235 { "-3.979801E-11", "-1.9510412E-11",
 236   "2.0398343" },
 237
 238 { "9.726933E-11", "-5.6926824E-11",
 239   "-1.7086731" },
 240
 241 { "8.041786E-11", "2.3718388E19",
 242   "3.3905282E-30" },
 243
 244 { "-6.747094E-11", "-6.7324465E19",
 245   "1.0021756E-30" },
 246
 247 { "-3.0713255E-11", "-4.8310887E19",
 248   "6.357419E-31" },
 249
 250 { "-2.8496396E-11", "-4.9017306E19",
 251   "5.813538E-31" },
 252
 253 { "-9.354275E-12", "-9.035095E19",
 254   "1.0353266E-31" },
 255
 256 { "4.9274265E-12", "7.241873E19",
 257   "6.8040775E-32" },
 258
 259 { "-4.377009E-11", "7.138917E-21",
 260   "-6.131195E9" },
 261
 262 { "9.422678E-12", "-5.8862136E-21",
 263   "-1.6008046E9" },
 264
 265 { "-6.83782E-11", "-3.6098812E-21",
 266   "1.8941952E10" },
 267
 268 { "-8.1755075E-11", "-6.8725736E-21",
 269   "1.1895846E10" },
 270
 271 { "-6.360949E-11", "4.2976342E-21",
 272   "-1.4801049E10" },
 273
 274 { "3.3879413E-11", "-1.7169743E-21",
 275   "-1.9732044E10" },
 276
 277 { "-9.948093E18", "-0.8695114",
 278   "1.1441014E19" },
 279
 280 { "6.2748975E19", "-0.94829553",
 281   "-6.6170272E19" },
 282
 283 { "-6.204444E18", "0.6874813",
 284   "-9.0248915E18" },
 285
 286 { "6.7599936E19", "-0.45808762",
 287   "-1.4756988E20" },
 288
 289 { "7.624068E19", "0.008471012",
 290   "9.0001855E21" },
 291
 292 { "8.342225E19", "-0.3031574",
 293   "-2.7517803E20" },
 294
 295 { "-6.3366795E19", "-1.4882481E9",
 296   "4.2578113E10" },
 297
 298 { "-1.7335874E19", "-7.42875E9",
 299   "2.3336195E9" },
 300
 301 { "-8.662651E19", "1.0327226E9",
 302   "-8.388168E10" },
 303
 304 { "-4.9590965E19", "8.334462E9",
 305   "-5.95011E9" },
 306
 307 { "8.191562E18", "5.930472E9",
 308   "1.3812664E9" },
 309
 310 { "-3.5910857E19", "-7.342098E9",
 311   "4.8910894E9" },
 312
 313 { "-3.6083056E19", "5.7372277E-11",
 314   "-6.2892843E29" },
 315
 316 { "2.2896613E19", "-4.541202E-11",
 317   "-5.0419717E29" },
 318
 319 { "6.1438805E19", "8.512014E-11",
 320   "7.217893E29" },
 321
 322 { "6.3211746E19", "-6.185377E-12",
 323   "-1.0219547E31" },
 324
 325 { "4.5452835E18", "2.0429606E-11",
 326   "2.2248514E29" },
 327
 328 { "9.226608E19", "1.3297486E-11",
 329   "6.9386104E30" },
 330
 331 { "1.8852943E19", "-1.623413E19",
 332   "-1.1613153" },
 333
 334 { "-3.117305E18", "-9.5760065E19",
 335   "0.03255329" },
 336
 337 { "-7.719376E19", "3.3627052E19",
 338   "-2.295585" },
 339
 340 { "3.1309093E19", "-7.820006E19",
 341   "-0.4003717" },
 342
 343 { "3.941958E19", "-9.51598E19",
 344   "-0.41424614" },
 345
 346 { "-3.6364467E19", "-1.0757047E19",
 347   "3.380525" },
 348
 349 { "2.906561E17", "-8.595159E-21",
 350   "-3.3816258E37" },
 351
 352 { "-7.826226E-21", "-0.21695328",
 353   "3.6073327E-20" },
 354
 355 { "-1.888169E-21", "0.5031878",
 356   "-3.7524144E-21" },
 357
 358 { "8.304594E-21", "-0.3528648",
 359   "-2.3534775E-20" },
 360
 361 { "-8.441606E-21", "-0.3639353",
 362   "2.3195348E-20" },
 363
 364 { "-7.815205E-21", "0.38263506",
 365   "-2.0424697E-20" },
 366
 367 { "-3.2837188E-21", "0.46961308",
 368   "-6.992392E-21" },
 369
 370 { "-5.1739832E-21", "-3.8917279E9",
 371   "1.3294822E-30" },
 372
 373 { "-5.3318596E-21", "-7.1995423E9",
 374   "7.405831E-31" },
 375
 376 { "-7.4979364E-22", "9.148773E9",
 377   "-8.195565E-32" },
 378
 379 { "4.6800053E-21", "3.9532006E8",
 380   "1.1838522E-29" },
 381
 382 { "4.914653E-22", "-2.414465E9",
 383   "-2.035504E-31" },
 384
 385 { "5.4722133E-21", "-9.977777E9",
 386   "-5.484401E-31" },
 387
 388 { "9.815656E-21", "6.059642E-11",
 389   "1.619841E-10" },
 390
 391 { "7.660357E-21", "9.7074675E-11",
 392   "7.891201E-11" },
 393
 394 { "9.77743E-21", "2.5170428E-11",
 395   "3.8844908E-10" },
 396
 397 { "8.818017E-21", "1.18070545E-11",
 398   "7.468431E-10" },
 399
 400 { "5.445426E-21", "9.6208916E-11",
 401   "5.6600016E-11" },
 402
 403 { "4.6823916E-21", "-1.9853067E-11",
 404   "-2.358523E-10" },
 405
 406 { "9.347429E-21", "-7.285392E-22",
 407   "-12.830372" },
 408
 409 { "-7.304412E-21", "6.766496E-21",
 410   "-1.079497" },
 411
 412 { "-2.6850204E-21", "6.894023E-21",
 413   "-0.38947076" },
 414
 415 { "-2.24644E-21", "-9.533858E-21",
 416   "0.23562758" },
 417
 418 { "-8.525939E-21", "-9.961187E-22",
 419   "8.559159" },
 420
 421 { "8.145676E-21", "4.304153E-22",
 422   "18.925154" },
 423
 424 };