tests/exam_DF_mul.cc

   1 #include "exam.h"
   2 #include <cln/dfloat.h>
   3 #include <cln/dfloat_io.h>
   4
   5 static mul_test dfloat_mul_tests[] = {
   6
   7 { "-0.2554913394465045d0", "0.27042187315261135d0",
   8   "-0.0690904465873934d0" },
   9
  10 { "-0.4489211233229662d0", "-0.42892136850270857d0",
  11   "0.19255186256545986d0" },
  12
  13 { "-0.44586465919973783d0", "-0.15168042462027043d0",
  14   "0.0676289408305884d0" },
  15
  16 { "0.5509395670465355d0", "0.3577558280766836d0",
  17   "0.19710184102894285d0" },
  18
  19 { "-0.42780066410606965d0", "0.22704747885906007d0",
  20   "-0.0971310622395147d0" },
  21
  22 { "0.20955388816500042d0", "0.605628751935113d0",
  23   "0.12691185975251945d0" },
  24
  25 { "0.9993471610818964d0", "-4.363771855901198d9",
  26   "-4.360923015803941d9" },
  27
  28 { "0.10502219375257282d0", "3.425205053451057d9",
  29   "3.5972254876582843d8" },
  30
  31 { "0.7768651149081368d0", "1.666066330143864d9",
  32   "1.2943088110117908d9" },
  33
  34 { "-0.6438389801759042d0", "2.8922130868526487d9",
  35   "-1.8621195242906134d9" },
  36
  37 { "-0.7427680566504474d0", "6.763974500466173d9",
  38   "-5.02406419494444d9" },
  39
  40 { "-0.8563035843259611d0", "2.9100478627456827d9",
  41   "-2.4918844154292307d9" },
  42
  43 { "0.6219502737119671d0", "2.8868752190811842d-11",
  44   "1.7954928326798375d-11" },
  45
  46 { "0.6767479505813657d0", "2.9324524289075574d-11",
  47   "1.9845311714405376d-11" },
  48
  49 { "0.7944531541461581d0", "8.282076647859848d-11",
  50   "6.579721915772496d-11" },
  51
  52 { "-0.4662914070981966d0", "-6.921260263903422d-11",
  53   "3.227324187348362d-11" },
  54
  55 { "0.037804762510578516d0", "-3.044514833184461d-11",
  56   "-1.1509716022847211d-12" },
  57
  58 { "-0.5364168049485208d0", "-3.695280705974925d-11",
  59   "1.9822106696869836d-11" },
  60
  61 { "0.10343751426551051d0", "4.8902635121181385d19",
  62   "5.058367017968255d18" },
  63
  64 { "-0.45511004829813784d0", "1.8210069906740634d19",
  65   "-8.287585794769196d18" },
  66
  67 { "-0.9675158737162977d0", "8.097401718869682d19",
  68   "-7.83436469886405d19" },
  69
  70 { "-0.06573561186185628d0", "2.6049125586869125d19",
  71   "-1.712355208919178d18" },
  72
  73 { "-0.5574365795036731d0", "-8.822383181882661d19",
  74   "4.917919103979403d19" },
  75
  76 { "-0.4222667103024276d0", "-1.8561723355961213d19",
  77   "7.837997859065477d18" },
  78
  79 { "-0.8412207478192143d0", "2.3416069046402696d-22",
  80   "-1.9698083114201234d-22" },
  81
  82 { "0.24291385591230452d0", "-9.448120185342916d-21",
  83   "-2.295079305344525d-21" },
  84
  85 { "-0.37792600430678414d0", "-2.3929024368177364d-21",
  86   "9.043400566424941d-22" },
  87
  88 { "-0.007648867433060369d0", "-5.3162210182098465d-21",
  89   "4.066306981313633d-23" },
  90
  91 { "-0.7631807323096114d0", "-4.534410248041209d-21",
  92   "3.4605745336922964d-21" },
  93
  94 { "0.4735366300649959d0", "-1.3895270471326203d-21",
  95   "-6.579919552833457d-22" },
  96
  97 { "-8.64834403600587d9", "-0.14057280586223464d0",
  98   "1.215721987203268d9" },
  99
 100 { "-1.5525713051163936d9", "0.10621224657238759d0",
 101   "-1.64902086280236d8" },
 102
 103 { "3.297132746298694d9", "0.05318660311813239d0",
 104   "1.7536329080518654d8" },
 105
 106 { "2.1659831568875275d9", "0.11704159596099262d0",
 107   "2.5351012550674528d8" },
 108
 109 { "-5.533403510176525d9", "0.37778599060251605d0",
 110   "-2.0904423264954782d9" },
 111
 112 { "-2.4217306331294374d9", "0.6051350227557695d0",
 113   "-1.465474021787126d9" },
 114
 115 { "1.4048311850866513d9", "-4.304799039580996d9",
 116   "-6.047515936334449d18" },
 117
 118 { "-5.070278162013437d9", "-9.116233758795675d9",
 119   "4.622184094703138d19" },
 120
 121 { "8.452801605894673d9", "-9.002885976919611d9",
 122   "-7.609960904339272d19" },
 123
 124 { "6.352601599408395d9", "-4.484034289922495d9",
 125   "-2.848528340196373d19" },
 126
 127 { "-6.565407710101401d8", "-6.718825369609182d9",
 128   "4.4111827884457016d18" },
 129
 130 { "-9.37193973536698d9", "9.577576231327314d9",
 131   "-8.976046725088279d19" },
 132
 133 { "-1.7766859308675253d9", "-4.079350537765101d-11",
 134   "0.0724772470752413d0" },
 135
 136 { "2.3810136983742104d9", "9.195156930614704d-11",
 137   "0.2189379461049417d0" },
 138
 139 { "-3.313966320976337d9", "-3.44704749912067d-11",
 140   "0.11423399318891611d0" },
 141
 142 { "6.598963960681895d9", "-2.4298605961767928d-11",
 143   "-0.1603456250365168d0" },
 144
 145 { "7.908258993705348d9", "1.528909719631646d-11",
 146   "0.12091014040840486d0" },
 147
 148 { "-5.906667889594469d9", "5.917852809041966d-11",
 149   "-0.3495479116251461d0" },
 150
 151 { "4.86261281419926d9", "-2.3925611132123714d19",
 152   "-1.1634098327861323d29" },
 153
 154 { "-9.753392818607462d9", "-2.5653634777279775d18",
 155   "2.502099772078992d28" },
 156
 157 { "1.5861252889272392d9", "5.12939252547053d19",
 158   "8.135859201483165d28" },
 159
 160 { "-8.422142961023593d8", "1.0428099441045047d19",
 161   "-8.782694430425161d27" },
 162
 163 { "-3.109042783121446d9", "-4.138252722536039d19",
 164   "1.286600476173335d29" },
 165
 166 { "-6.459303282089468d8", "1.8408981660472957d19",
 167   "-1.189091956594178d28" },
 168
 169 { "-1.432764110232635d9", "8.98766033001457d-21",
 170   "-1.2877197155806476d-11" },
 171
 172 { "8.539623949953406d9", "-3.498784805440049d-21",
 173   "-2.987830652026891d-11" },
 174
 175 { "7.336784327799637d9", "-1.048985206018761d-21",
 176   "-7.696178219612119d-12" },
 177
 178 { "-4.320357143553698d9", "2.591531476439043d-21",
 179   "-1.119634152697768d-11" },
 180
 181 { "-9.374098076239548d9", "5.5773248420603045d-21",
 182   "-5.228239007252054d-11" },
 183
 184 { "9.118926580475056d9", "-1.379170270330765d-21",
 185   "-1.2576552437120181d-11" },
 186
 187 { "8.145792307872788d-11", "-0.06511382435429458d0",
 188   "-5.304036895613926d-12" },
 189
 190 { "-6.1928426627437d-11", "0.2526275616632321d0",
 191   "-1.5644827416529785d-11" },
 192
 193 { "-8.555119338859813d-11", "-0.8366318482083728d0",
 194   "7.157485304113478d-11" },
 195
 196 { "8.243060442429263d-12", "0.3939656708074719d0",
 197   "3.2474828367081808d-12" },
 198
 199 { "8.600529286105945d-11", "-0.891441509265547d0",
 200   "-7.666868807288822d-11" },
 201
 202 { "-7.531046724969747d-11", "0.24398797995196886d0",
 203   "-1.8374848773492595d-11" },
 204
 205 { "-3.7666526619188126d-12", "4.659322150343885d9",
 206   "-0.017550048180330083d0" },
 207
 208 { "3.032501107241211d-11", "-9.592046453776636d9",
 209   "-0.2908789149178678d0" },
 210
 211 { "7.311626957349528d-11", "-9.061108567148174d9",
 212   "-0.6625144566303135d0" },
 213
 214 { "4.898078204161461d-11", "8.88014689134599d9",
 215   "0.4349565393825394d0" },
 216
 217 { "1.278207138618518d-11", "-4.279966992086118d9",
 218   "-0.05470684362336102d0" },
 219
 220 { "-8.538580654966055d-11", "-5.191059833953482d8",
 221   "0.0443242830769665d0" },
 222
 223 { "4.0761422500127225d-11", "1.527607426117321d-11",
 224   "6.226745171030001d-22" },
 225
 226 { "-9.186363051001198d-11", "8.557763803549676d-11",
 227   "-7.861472520412421d-21" },
 228
 229 { "-9.89183505930065d-11", "9.717968160611499d-11",
 230   "-9.612853815630427d-21" },
 231
 232 { "7.440627873114725d-12", "-4.535521332601712d-11",
 233   "-3.374712644646274d-22" },
 234
 235 { "8.701410920357686d-11", "-7.032883383151379d-12",
 236   "-6.119600827175551d-22" },
 237
 238 { "9.866226673114161d-11", "-2.814669610817353d-11",
 239   "-2.777016839025002d-21" },
 240
 241 { "5.192240545105114d-11", "-3.366056660574579d19",
 242   "-1.747737587015645d9" },
 243
 244 { "-1.372355669576939d-11", "-4.819955130360066d19",
 245   "6.61469275025609d8" },
 246
 247 { "3.637511103766519d-11", "-4.071776382810416d19",
 248   "-1.4811131804527159d9" },
 249
 250 { "7.446388208685151d-13", "2.7760294268649034d19",
 251   "2.0671392791169815d7" },
 252
 253 { "6.267855179410938d-11", "7.471751480940298d19",
 254   "4.683185621908299d9" },
 255
 256 { "-4.336562006766369d-11", "8.143188451558233d19",
 257   "-3.5313441652966094d9" },
 258
 259 { "-1.0432655006975122d-11", "-9.379512413340694d-21",
 260   "9.785321714202411d-32" },
 261
 262 { "-8.167646898574611d-11", "-5.810795749825724d-21",
 263   "4.746052788431461d-31" },
 264
 265 { "-4.33805459341994d-11", "-2.4289860591796017d-21",
 266   "1.053707413137707d-31" },
 267
 268 { "-1.384613082275421d-11", "2.2174009100764947d-21",
 269   "-3.070242308741339d-32" },
 270
 271 { "-4.910905591314494d-11", "-5.456657623752349d-21",
 272   "2.679713043437427d-31" },
 273
 274 { "1.3653011366548008d-11", "-3.925911962906968d-21",
 275   "-5.360052065363564d-32" },
 276
 277 { "7.641468950470222d19", "0.9034599537348024d0",
 278   "6.903761184457755d19" },
 279
 280 { "5.146778093125584d19", "-0.2791459460022878d0",
 281   "-1.436702239669392d19" },
 282
 283 { "-8.874303077863696d19", "-0.23153988023519345d0",
 284   "2.054755071819369d19" },
 285
 286 { "7.10798162637783d19", "-0.4719034863212067d0",
 287   "-3.354281310194779d19" },
 288
 289 { "-9.820386602197546d19", "0.03346146041258036d0",
 290   "-3.286044775256677d18" },
 291
 292 { "-5.210458089116161d19", "0.11173798093222442d0",
 293   "-5.822060666098161d18" },
 294
 295 { "3.257626718953688d18", "-6.150510855712356d9",
 296   "-2.0036068498783283d28" },
 297
 298 { "-7.755105754004988d19", "5.514896832715505d9",
 299   "-4.27686081601359d29" },
 300
 301 { "2.426235084788384d19", "8.685431434428486d9",
 302   "2.1072898472734294d29" },
 303
 304 { "-2.847383850475709d19", "-2.412830829567453d9",
 305   "6.870255538040273d28" },
 306
 307 { "1.4664659669727164d19", "-4.8673539253155d9",
 308   "-7.1378088806862425d28" },
 309
 310 { "-4.24770317054668d19", "1.3102543269150825d9",
 311   "-5.5655714586597015d28" },
 312
 313 { "2.17116835964837d19", "-3.654789326884115d-11",
 314   "-7.935162947711353d8" },
 315
 316 { "-1.8125809977916906d17", "-5.944782899600832d-11",
 317   "1.0775400519813456d7" },
 318
 319 { "-7.915462827540546d19", "9.762153025588201d-11",
 320   "-7.727195939080587d9" },
 321
 322 { "-4.360953588949649d19", "-7.152431005584812d-11",
 323   "3.119141966351983d9" },
 324
 325 { "3.550776271395866d19", "-6.387656982922894d-11",
 326   "-2.268114084477872d9" },
 327
 328 { "-8.278954580496595d19", "-7.359178231519021d-11",
 329   "6.092630232852524d9" },
 330
 331 { "-5.5022682113038156d19", "-8.979630229039327d19",
 332   "4.940833395850589d39" },
 333
 334 { "1.1716230943203277d19", "5.5764415854118265d19",
 335   "6.533487745596758d38" },
 336
 337 { "7.462799608352103d19", "6.061883497941003d19",
 338   "4.523862179431019d39" },
 339
 340 { "-3.2160334983646097d19", "-3.8817785710003675d19",
 341   "1.2483929917571087d39" },
 342
 343 { "5.868090263060238d19", "-8.37300331667736d19",
 344   "-4.91335392351655d39" },
 345
 346 { "-7.3652924769962656d19", "9.725738480757314d19",
 347   "-7.163290846555493d39" },
 348
 349 { "-6.447063647969567d19", "4.0587529685661844d-21",
 350   "-0.2616703871973161d0" },
 351
 352 { "-3.1999317568381926d17", "3.015031281949113d-21",
 353   "-9.647894346969533d-4" },
 354
 355 { "-1.5005852398726605d19", "5.391316601974659d-21",
 356   "-0.080901301164036d0" },
 357
 358 { "1.0084552719733576d19", "2.78150956101201d-21",
 359   "0.02805027980846861d0" },
 360
 361 { "-7.171404412051077d19", "1.4733392992015492d-21",
 362   "-0.10565911950742231d0" },
 363
 364 { "-5.909802783283228d19", "5.356071274587122d-21",
 365   "-0.31653324926018317d0" },
 366
 367 { "8.272641144282955d-22", "-0.16191056182923802d0",
 368   "-1.3394279754825238d-22" },
 369
 370 { "8.410471541398583d-21", "-0.43256058128353736d0",
 371   "-3.63803845881602d-21" },
 372
 373 { "-7.887238384137063d-22", "0.5589746137044918d0",
 374   "-4.408766028968254d-22" },
 375
 376 { "4.778995446616728d-21", "0.21608373898977795d0",
 377   "1.0326632047200663d-21" },
 378
 379 { "3.992449163872154d-21", "0.9593422165456676d0",
 380   "3.830125030315009d-21" },
 381
 382 { "-9.700320218813958d-21", "-0.42620535269852766d0",
 383   "4.134328400148262d-21" },
 384
 385 { "-1.7901566262876555d-21", "9.461674014776534d8",
 386   "-1.6937878433325936d-12" },
 387
 388 { "1.0928019952544443d-22", "8.279199780524873d9",
 389   "9.047526039267738d-13" },
 390
 391 { "9.942869097320962d-21", "9.523169242022762d9",
 392   "9.468762516506561d-11" },
 393
 394 { "-2.7432601692209267d-21", "-4.922145522647528d9",
 395   "1.3502725759388083d-11" },
 396
 397 { "-5.97929682563092d-21", "-6.147792689359443d8",
 398   "3.6759477312123895d-12" },
 399
 400 { "-1.3564305221188254d-21", "1.0862842413758955d9",
 401   "-1.473469100698958d-12" },
 402
 403 { "-5.446806293721964d-21", "-1.5358504316888942d-11",
 404   "8.365479797538665d-32" },
 405
 406 { "-1.0222776562632463d-21", "-1.9781477525280056d-11",
 407   "2.0222162481967376d-32" },
 408
 409 { "8.192540157543917d-21", "3.3215076993103644d-11",
 410   "2.7211585210191467d-31" },
 411
 412 { "9.685592607330157d-21", "6.034805605641166d-11",
 413   "5.8450668560672665d-31" },
 414
 415 { "6.671870463340688d-21", "-9.07657686679269d-11",
 416   "-6.055774510579552d-31" },
 417
 418 { "-1.109409648670322d-21", "-4.7905821901849965d-11",
 419   "5.314718104539439d-32" },
 420
 421 { "-3.9052432481663676d-22", "2.0306112771345453d19",
 422   "-0.007930030979680168d0" },
 423
 424 { "8.596834841113507d-21", "-9.453548987989818d19",
 425   "-0.8127059931212419d0" },
 426
 427 { "3.946325780779758d-21", "-9.084484011754447d19",
 428   "-0.35850333460668093d0" },
 429
 430 { "5.3518824877647604d-21", "-6.814116447592617d19",
 431   "-0.36468350485460743d0" },
 432
 433 { "-7.456278485417833d-22", "9.61914445493285d19",
 434   "-0.07172301984744206d0" },
 435
 436 { "-5.0781537010216826d-21", "9.216915512986622d19",
 437   "-0.4680491362427718d0" },
 438
 439 { "3.2906792172396555d-22", "4.571445785546992d-21",
 440   "1.50431616392373d-42" },
 441
 442 { "5.39814714322422d-21", "6.687033308557664d-21",
 443   "3.6097589751235757d-41" },
 444
 445 { "4.3506183844841724d-21", "7.266196706225928d-21",
 446   "3.1612448975384865d-41" },
 447
 448 { "6.910763289107986d-21", "3.910584203890238d-21",
 449   "2.702512175521024d-41" },
 450
 451 { "-4.6131515924393325d-21", "5.228174479773633d-21",
 452   "-2.411836142691841d-41" },
 453
 454 { "-2.1886866436065787d-21", "6.29322016055891d-22",
 455   "-1.3773886910690934d-42" },
 456
 457 };