tests/exam_DF_minus.cc

   1 #include "exam.h"
   2 #include <cln/dfloat.h>
   3 #include <cln/dfloat_io.h>
   4
   5 static minus_test dfloat_minus_tests[] = {
   6
   7 { "-0.011326914400453525d0", "-0.6668141757661364d0",
   8   "0.6554872613656829d0" },
   9
  10 { "-0.46185382764946437d0", "0.7488210697846337d0",
  11   "-1.2106748974340982d0" },
  12
  13 { "-0.35834120541234993d0", "-0.30919976341834987d0",
  14   "-0.04914144199400006d0" },
  15
  16 { "0.44705025064976966d0", "-0.9277893553610955d0",
  17   "1.3748396060108652d0" },
  18
  19 { "-0.47647537517067917d0", "0.29158058381073604d0",
  20   "-0.7680559589814152d0" },
  21
  22 { "-0.021697999002707746d0", "0.1779871773524142d0",
  23   "-0.19968517635512195d0" },
  24
  25 { "0.4179484378019861d0", "9.9990307469939d9",
  26   "-9.999030746575953d9" },
  27
  28 { "-0.7475415524823718d0", "1.3993312799214797d9",
  29   "-1.3993312806690214d9" },
  30
  31 { "0.2519442433861928d0", "-6.699632771871848d9",
  32   "6.699632772123793d9" },
  33
  34 { "-0.5124988631497671d0", "2.7959244812290273d9",
  35   "-2.795924481741526d9" },
  36
  37 { "-0.6870193827604301d0", "4.851102442573468d9",
  38   "-4.851102443260488d9" },
  39
  40 { "0.7609656780357723d0", "7.481252865855436d8",
  41   "-7.481252858245779d8" },
  42
  43 { "-0.6301276042170191d0", "-7.099314875214215d-11",
  44   "-0.630127604146026d0" },
  45
  46 { "-0.4139053484357884d0", "-2.897413526398709d-11",
  47   "-0.41390534840681426d0" },
  48
  49 { "-0.6944623060197281d0", "-3.291569879873739d-11",
  50   "-0.6944623059868125d0" },
  51
  52 { "-0.2057822500703933d0", "3.6505182026159854d-11",
  53   "-0.2057822501068985d0" },
  54
  55 { "-0.8792706674467908d0", "8.094527736950817d-11",
  56   "-0.8792706675277361d0" },
  57
  58 { "-0.6888184243601332d0", "9.127622796988807d-11",
  59   "-0.6888184244514094d0" },
  60
  61 { "-0.980711030497252d0", "8.752272461345245d19",
  62   "-8.752272461345245d19" },
  63
  64 { "0.8035082489836539d0", "-3.903355151264917d19",
  65   "3.903355151264917d19" },
  66
  67 { "-0.7537841372394811d0", "-5.879942447417834d19",
  68   "5.879942447417834d19" },
  69
  70 { "-0.6877475951546845d0", "-2.3972266191169642d19",
  71   "2.3972266191169642d19" },
  72
  73 { "-0.43128282112433525d0", "-5.422824998003439d19",
  74   "5.422824998003439d19" },
  75
  76 { "0.29538116818276694d0", "1.1291858990580939d19",
  77   "-1.1291858990580939d19" },
  78
  79 { "0.9166687388673976d0", "6.395175407123937d-21",
  80   "0.9166687388673976d0" },
  81
  82 { "0.41840538498193025d0", "-2.6655662412599155d-21",
  83   "0.41840538498193025d0" },
  84
  85 { "-0.8036940092501853d0", "6.7473779576832565d-21",
  86   "-0.8036940092501853d0" },
  87
  88 { "0.8555054025209989d0", "-7.939970418096797d-21",
  89   "0.8555054025209989d0" },
  90
  91 { "0.3365495704567003d0", "8.694519827555395d-21",
  92   "0.3365495704567003d0" },
  93
  94 { "-0.7430322011471231d0", "7.430332379292914d-22",
  95   "-0.7430322011471231d0" },
  96
  97 { "5.102372414731216d9", "-0.5073635765350494d0",
  98   "5.10237241523858d9" },
  99
 100 { "4.629827365822252d9", "0.6534380055543355d0",
 101   "4.629827365168815d9" },
 102
 103 { "7.218192507117569d9", "0.9781542046565127d0",
 104   "7.218192506139415d9" },
 105
 106 { "6.595760326622413d8", "0.7339510561932947d0",
 107   "6.595760319282902d8" },
 108
 109 { "7.191166637703489d9", "0.80792475493853d0",
 110   "7.191166636895564d9" },
 111
 112 { "-7.95531405213956d9", "0.5353636841430115d0",
 113   "-7.955314052674924d9" },
 114
 115 { "5.438904545553836d8", "6.533536518165114d9",
 116   "-5.989646063609731d9" },
 117
 118 { "-7.389650313101625d8", "-9.983943153365381d9",
 119   "9.244978122055218d9" },
 120
 121 { "8.364404619492165d9", "-7.600563055115287d9",
 122   "1.5964967674607452d10" },
 123
 124 { "2.070813748323649d9", "6.421052769114957d9",
 125   "-4.350239020791307d9" },
 126
 127 { "-2.8555256820439434d9", "-3.4077342921686625d8",
 128   "-2.514752252827077d9" },
 129
 130 { "9.147878229420991d8", "8.439982790150545d9",
 131   "-7.5251949672084465d9" },
 132
 133 { "-4.315772980070098d9", "-6.48869466068404d-11",
 134   "-4.315772980070098d9" },
 135
 136 { "-3.5186299785635023d9", "3.990046539849716d-11",
 137   "-3.5186299785635023d9" },
 138
 139 { "2.5645532837267537d9", "8.566645694205622d-13",
 140   "2.5645532837267537d9" },
 141
 142 { "6.145110896031829d9", "-9.242734002954773d-11",
 143   "6.145110896031829d9" },
 144
 145 { "-6.6836855975624d9", "9.117930361283473d-11",
 146   "-6.6836855975624d9" },
 147
 148 { "-1.7472828462085754d8", "-5.125838712019503d-11",
 149   "-1.7472828462085754d8" },
 150
 151 { "9.05675399397055d9", "9.086705650502484d19",
 152   "-9.08670564959681d19" },
 153
 154 { "-5.834806594586836d9", "9.981576053842906d19",
 155   "-9.981576054426386d19" },
 156
 157 { "3.047010922754272d9", "1.1715352070471352d19",
 158   "-1.1715352067424342d19" },
 159
 160 { "7.294295638574767d9", "2.845702947515113d19",
 161   "-2.8457029467856835d19" },
 162
 163 { "8.264143132493019d9", "-1.6322956072452289d19",
 164   "1.6322956080716431d19" },
 165
 166 { "-9.597823287256088d9", "3.954126758718671d19",
 167   "-3.954126759678453d19" },
 168
 169 { "3.229389511771705d9", "-4.329831377266493d-21",
 170   "3.229389511771705d9" },
 171
 172 { "6.897089200279753d9", "2.4428208790287663d-21",
 173   "6.897089200279753d9" },
 174
 175 { "2.3579775300187545d9", "4.729400988996349d-21",
 176   "2.3579775300187545d9" },
 177
 178 { "1.6718929117460046d9", "5.8162277016717065d-21",
 179   "1.6718929117460046d9" },
 180
 181 { "2.537177500868296d9", "1.4856605280697543d-21",
 182   "2.537177500868296d9" },
 183
 184 { "6.117674696930935d9", "-1.6187214719634357d-21",
 185   "6.117674696930935d9" },
 186
 187 { "4.1877888304549216d-11", "-0.06920550501017497d0",
 188   "0.06920550505205286d0" },
 189
 190 { "9.61054846124015d-11", "0.885309193732889d0",
 191   "-0.8853091936367835d0" },
 192
 193 { "2.5559085051828467d-11", "-0.8112181469812297d0",
 194   "0.8112181470067888d0" },
 195
 196 { "-1.4549570208293283d-12", "-0.5049325945871657d0",
 197   "0.5049325945857107d0" },
 198
 199 { "-7.091628047158497d-11", "0.61946884965934d0",
 200   "-0.6194688497302563d0" },
 201
 202 { "2.877466355456826d-11", "0.4496491857374d0",
 203   "-0.44964918570862533d0" },
 204
 205 { "1.3041612488449928d-12", "5.408018587130755d9",
 206   "-5.408018587130755d9" },
 207
 208 { "-5.379752339715717d-11", "-4.009594691514288d9",
 209   "4.009594691514288d9" },
 210
 211 { "7.023042501342336d-12", "-3.4153434285746374d9",
 212   "3.4153434285746374d9" },
 213
 214 { "6.968174934871611d-11", "4.713087404332662d9",
 215   "-4.713087404332662d9" },
 216
 217 { "-5.153562653896506d-11", "-8.44732228013254d8",
 218   "8.44732228013254d8" },
 219
 220 { "-8.424177457818745d-11", "1.6817117809824567d9",
 221   "-1.6817117809824567d9" },
 222
 223 { "3.374755984316538d-11", "8.893678266883364d-11",
 224   "-5.5189222825668264d-11" },
 225
 226 { "-8.684123447823306d-11", "-7.888825869147879d-11",
 227   "-7.952975786754267d-12" },
 228
 229 { "7.788477523205632d-11", "1.741674745286914d-11",
 230   "6.046802777918718d-11" },
 231
 232 { "6.546622477606044d-11", "-4.7719651007530584d-11",
 233   "1.1318587578359101d-10" },
 234
 235 { "-1.8595152377503265d-11", "5.7288738553553045d-11",
 236   "-7.588389093105631d-11" },
 237
 238 { "-8.184033550427558d-11", "-8.834399228929296d-11",
 239   "6.503656785017376d-12" },
 240
 241 { "5.749469292140762d-11", "7.493129199779113d19",
 242   "-7.493129199779113d19" },
 243
 244 { "-5.2285095120702066d-11", "-2.0611179974216552d19",
 245   "2.0611179974216552d19" },
 246
 247 { "-8.84727820032067d-11", "4.7423077384022024d19",
 248   "-4.7423077384022024d19" },
 249
 250 { "3.437676989338625d-11", "-3.5368755480277647d19",
 251   "3.5368755480277647d19" },
 252
 253 { "2.2665031619145437d-11", "-6.072845659234921d19",
 254   "6.072845659234921d19" },
 255
 256 { "-8.429070146313393d-11", "5.134329153614969d18",
 257   "-5.134329153614969d18" },
 258
 259 { "-9.009531819191212d-11", "2.301790665456671d-22",
 260   "-9.00953181921423d-11" },
 261
 262 { "-2.706942469371907d-11", "9.282350542107287d-21",
 263   "-2.706942470300142d-11" },
 264
 265 { "5.358266626996117d-11", "-4.409057695582885d-22",
 266   "5.358266627040208d-11" },
 267
 268 { "-7.189537285608088d-11", "9.569273217393917d-21",
 269   "-7.189537286565016d-11" },
 270
 271 { "-4.160295905335358d-11", "5.930867524794025d-21",
 272   "-4.160295905928445d-11" },
 273
 274 { "6.7922062777334035d-12", "-7.747524338474154d-22",
 275   "6.792206278508156d-12" },
 276
 277 { "-9.038821102045805d19", "0.04779131019959271d0",
 278   "-9.038821102045805d19" },
 279
 280 { "2.2020595055495963d19", "-0.424631558292516d0",
 281   "2.2020595055495963d19" },
 282
 283 { "-8.164003027214308d19", "0.6832198147365239d0",
 284   "-8.164003027214308d19" },
 285
 286 { "-3.878233560364984d19", "-0.28756619113600546d0",
 287   "-3.878233560364984d19" },
 288
 289 { "7.0829003521450525d19", "-0.6071548125948544d0",
 290   "7.0829003521450525d19" },
 291
 292 { "5.968540808784698d19", "0.7674294173432648d0",
 293   "5.968540808784698d19" },
 294
 295 { "-2.2143621795153547d19", "-2.443529365769125d9",
 296   "-2.2143621792710017d19" },
 297
 298 { "-9.77092538926342d18", "5.903189771537687d8",
 299   "-9.77092538985374d18" },
 300
 301 { "9.974714452399537d19", "-6.980456691485629d9",
 302   "9.974714453097582d19" },
 303
 304 { "1.7428950527159094d18", "3.68843657888816d9",
 305   "1.742895049027473d18" },
 306
 307 { "-1.1094381875350845d19", "-7.157723640671709d9",
 308   "-1.1094381868193122d19" },
 309
 310 { "-3.638795590369631d19", "6.9246542750294075d9",
 311   "-3.6387955910620963d19" },
 312
 313 { "-5.66543282261991d19", "-5.1005028153082024d-11",
 314   "-5.66543282261991d19" },
 315
 316 { "-3.901527864456216d19", "-1.064153465992923d-12",
 317   "-3.901527864456216d19" },
 318
 319 { "1.1477489418879848d19", "3.327888063907735d-11",
 320   "1.1477489418879848d19" },
 321
 322 { "3.508978072054437d19", "9.238453417997638d-11",
 323   "3.508978072054437d19" },
 324
 325 { "-4.7642024461416964d19", "-4.758309941438892d-11",
 326   "-4.7642024461416964d19" },
 327
 328 { "-8.307715835429606d19", "3.313910202186439d-11",
 329   "-8.307715835429606d19" },
 330
 331 { "2.704675010192592d18", "-2.6840207147078365d19",
 332   "2.954488215727096d19" },
 333
 334 { "-9.860969100714668d18", "-4.719594638795429d19",
 335   "3.7334977287239614d19" },
 336
 337 { "7.87799781828944d18", "-6.657221298850535d19",
 338   "7.44502108067948d19" },
 339
 340 { "-3.3937781740759863d19", "4.783805995045389d19",
 341   "-8.177584169121376d19" },
 342
 343 { "-1.0747572720102216d19", "-1.7144708598072445d19",
 344   "6.397135877970229d18" },
 345
 346 { "1.3938845733158445d19", "5.604369854609131d19",
 347   "-4.210485281293287d19" },
 348
 349 { "6.0938348303695315d19", "1.1005522580049531d-21",
 350   "6.0938348303695315d19" },
 351
 352 { "-2.4870844028694925d19", "1.5391650322730598d-22",
 353   "-2.4870844028694925d19" },
 354
 355 { "7.323118607079343d19", "6.637280375859432d-21",
 356   "7.323118607079343d19" },
 357
 358 { "-4.181201584825501d19", "4.768935182006663d-21",
 359   "-4.181201584825501d19" },
 360
 361 { "4.1225910279381205d19", "6.117191687463543d-21",
 362   "4.1225910279381205d19" },
 363
 364 { "6.438313875980151d17", "-1.4883489002691529d-21",
 365   "6.438313875980151d17" },
 366
 367 { "-4.573961206963222d-21", "0.3586300020381973d0",
 368   "-0.3586300020381973d0" },
 369
 370 { "7.74206782371325d-22", "0.23168389210368656d0",
 371   "-0.23168389210368656d0" },
 372
 373 { "8.572446613640605d-21", "0.6114581963443891d0",
 374   "-0.6114581963443891d0" },
 375
 376 { "-8.539467934859551d-21", "0.33474735899049d0",
 377   "-0.33474735899049d0" },
 378
 379 { "-5.55811309570968d-21", "-0.9637216018651454d0",
 380   "0.9637216018651454d0" },
 381
 382 { "-6.705839413964189d-21", "0.3787619614522374d0",
 383   "-0.3787619614522374d0" },
 384
 385 { "1.338539206480238d-22", "6.683968625235106d9",
 386   "-6.683968625235106d9" },
 387
 388 { "-9.64078167549023d-21", "3.291420859310843d9",
 389   "-3.291420859310843d9" },
 390
 391 { "-9.26536204591093d-22", "2.9839295142529476d8",
 392   "-2.9839295142529476d8" },
 393
 394 { "-3.647737608953592d-21", "6.115300020921433d8",
 395   "-6.115300020921433d8" },
 396
 397 { "1.4069763806331204d-21", "-1.183109060480878d9",
 398   "1.183109060480878d9" },
 399
 400 { "-6.0037865798761924d-21", "-7.442246743849378d9",
 401   "7.442246743849378d9" },
 402
 403 { "-5.994118986299138d-21", "-9.091558282012836d-11",
 404   "9.091558281413425d-11" },
 405
 406 { "6.969393585974241d-21", "3.435352867093995d-11",
 407   "-3.435352866397056d-11" },
 408
 409 { "-6.278554484817533d-22", "-4.7211920270841604d-11",
 410   "4.721192027021375d-11" },
 411
 412 { "-8.603262886304741d-21", "1.7296517702077242d-11",
 413   "-1.7296517710680505d-11" },
 414
 415 { "4.104502790901735d-21", "-4.8473213720301105d-11",
 416   "4.847321372440561d-11" },
 417
 418 { "-4.449725859444968d-21", "-8.944265568403936d-11",
 419   "8.944265567958964d-11" },
 420
 421 { "4.828216540804827d-21", "-1.1712152029346877d19",
 422   "1.1712152029346877d19" },
 423
 424 { "-5.65034940464881d-21", "-9.445303840982011d19",
 425   "9.445303840982011d19" },
 426
 427 { "-7.24107519738777d-21", "2.340578690102746d19",
 428   "-2.340578690102746d19" },
 429
 430 { "1.7659593956231534d-21", "-8.048768257390671d18",
 431   "8.048768257390671d18" },
 432
 433 { "-3.0538518255248124d-21", "8.834631867521575d19",
 434   "-8.834631867521575d19" },
 435
 436 { "8.57952908388053d-21", "-5.730742870111307d19",
 437   "5.730742870111307d19" },
 438
 439 { "-4.5090103564928485d-21", "1.8907114777916313d-21",
 440   "-6.399721834284479d-21" },
 441
 442 { "-3.8487625143236447d-22", "5.354282198078924d-21",
 443   "-5.739158449511288d-21" },
 444
 445 { "2.6660110440404615d-22", "3.833744224501756d-22",
 446   "-1.1677331804612944d-22" },
 447
 448 { "-7.503762004261027d-22", "-9.623906576475644d-21",
 449   "8.873530376049542d-21" },
 450
 451 { "-9.113431042260725d-21", "-3.5516521546085545d-21",
 452   "-5.56177888765217d-21" },
 453
 454 { "-3.4813735333296525d-21", "-2.6602650182385188d-21",
 455   "-8.211085150911337d-22" },
 456
 457 };