tests/exam_DF_div.cc

   1 #include "exam.h"
   2 #include <cln/dfloat.h>
   3 #include <cln/dfloat_io.h>
   4
   5 static div_test dfloat_div_tests[] = {
   6
   7 { "-0.651381628953465d0", "-0.9237050214744277d0",
   8   "0.7051835962889135d0" },
   9
  10 { "0.5067986732438687d0", "0.6260017267692811d0",
  11   "0.8095803119575966d0" },
  12
  13 { "-0.8399445051045212d0", "0.1829250718359493d0",
  14   "-4.591740742120902d0" },
  15
  16 { "-0.5987041550692662d0", "-0.4124053212463479d0",
  17   "1.4517372211878756d0" },
  18
  19 { "0.5861382519823647d0", "-0.7560374696447822d0",
  20   "-0.7752767230673855d0" },
  21
  22 { "-0.012882644582824954d0", "-0.4671067448591679d0",
  23   "0.02757965866390787d0" },
  24
  25 { "-0.7830198970435231d0", "2.1690164135025935d9",
  26   "-3.610022921767931d-10" },
  27
  28 { "-0.2339206226652567d0", "2.729373380002701d9",
  29   "-8.57048817062271d-11" },
  30
  31 { "-0.2285806315782951d0", "-2.602073870582813d9",
  32   "8.784555817667759d-11" },
  33
  34 { "-0.5298716781559242d0", "1.3509547453340487d9",
  35   "-3.9222015392151683d-10" },
  36
  37 { "0.7287190523338418d0", "-8.244205871151566d9",
  38   "-8.839166121309548d-11" },
  39
  40 { "0.18973054487786212d0", "6.557593452200545d9",
  41   "2.893295326415727d-11" },
  42
  43 { "0.5084032300982587d0", "4.5431682148621014d-11",
  44   "1.119049980221105d10" },
  45
  46 { "0.6621212705475221d0", "-1.838873437953206d-11",
  47   "-3.600689731450519d10" },
  48
  49 { "-0.4041791750277005d0", "7.707875701307648d-11",
  50   "-5.243716825365141d9" },
  51
  52 { "-0.09569063343466655d0", "4.789751448902253d-11",
  53   "-1.9978204392338054d9" },
  54
  55 { "-0.6471008513340974d0", "1.890250884404079d-11",
  56   "-3.4233596009563705d10" },
  57
  58 { "-0.4301276572683971d0", "9.134844738134672d-11",
  59   "-4.708647706651978d9" },
  60
  61 { "-0.5061027989171409d0", "4.246468515299164d19",
  62   "-1.1918204434902915d-20" },
  63
  64 { "-0.9601783702217944d0", "7.495754288877955d19",
  65   "-1.2809629734615065d-20" },
  66
  67 { "-0.6477754868655262d0", "-8.507334914535449d19",
  68   "7.614317449272521d-21" },
  69
  70 { "0.1934462826116784d0", "3.6173521417193476d19",
  71   "5.347731573618163d-21" },
  72
  73 { "-0.7794308505212441d0", "4.172217291786081d19",
  74   "-1.8681453913144062d-20" },
  75
  76 { "-0.8462346361305484d0", "7.378170819620111d19",
  77   "-1.1469436759043748d-20" },
  78
  79 { "0.9783005897625496d0", "6.175045007596078d-21",
  80   "1.584280905740958d20" },
  81
  82 { "-0.9700832605850568d0", "-1.7695051741124812d-21",
  83   "5.482229013948009d20" },
  84
  85 { "0.07062591404368701d0", "-8.855398515753737d-21",
  86   "-7.975464223100028d18" },
  87
  88 { "0.4751383409805402d0", "-8.1371029771106d-21",
  89   "-5.8391585103087485d19" },
  90
  91 { "-0.5103510786836052d0", "8.302178001281015d-21",
  92   "-6.14719509271975d19" },
  93
  94 { "0.7148807879199733d0", "4.338856119331781d-21",
  95   "1.6476250151158982d20" },
  96
  97 { "4.180670608983218d9", "-0.8621420131862095d0",
  98   "-4.849167010818503d9" },
  99
 100 { "3.202209376555907d9", "0.008113117870009012d0",
 101   "3.9469528581523615d11" },
 102
 103 { "7.767843042272955d9", "-0.04145956871894663d0",
 104   "-1.8735947532235483d11" },
 105
 106 { "1.1937839884817846d9", "0.45557753834605563d0",
 107   "2.6203749921818776d9" },
 108
 109 { "-2.4205138097471213d9", "-0.3737757916008485d0",
 110   "6.475844247109412d9" },
 111
 112 { "-7.534066568550288d9", "-0.3609372553147958d0",
 113   "2.0873618496321087d10" },
 114
 115 { "6.098867840095913d9", "3.0464612528039427d9",
 116   "2.0019515542771322d0" },
 117
 118 { "4.956687716396978d9", "7.035407926465974d9",
 119   "0.704534515724495d0" },
 120
 121 { "6.969049109639194d9", "-8.115758334653503d9",
 122   "-0.8587058438990264d0" },
 123
 124 { "-8.0699835500126705d9", "-1.1896420666819375d9",
 125   "6.783539163608158d0" },
 126
 127 { "-2.229793060172571d9", "-2.658809828346301d9",
 128   "0.8386433043838396d0" },
 129
 130 { "3.0672739776038485d9", "-7.988270854370873d9",
 131   "-0.3839722054398737d0" },
 132
 133 { "2.477055391151669d9", "-1.3522358047779648d-11",
 134   "-1.8318220700851785d20" },
 135
 136 { "1.1318646612469008d9", "-8.457695758685169d-11",
 137   "-1.3382659929385544d19" },
 138
 139 { "-7.978772126259147d9", "6.210468872769038d-11",
 140   "-1.2847294286013678d20" },
 141
 142 { "-9.057338243339752d9", "7.364415429198257d-11",
 143   "-1.2298787772658011d20" },
 144
 145 { "-5.341117220720213d9", "4.7359651161519756d-11",
 146   "-1.1277779902779204d20" },
 147
 148 { "5.838003830912871d9", "-5.0625478501901024d-11",
 149   "-1.153175042225754d20" },
 150
 151 { "6.407156672927742d9", "5.006339136594536d19",
 152   "1.279808758079079d-10" },
 153
 154 { "4.687485139826675d8", "-3.5561755068968083d19",
 155   "-1.3181253655045475d-11" },
 156
 157 { "-5.838044723576891d9", "-6.843985743599882d19",
 158   "8.530182473036721d-11" },
 159
 160 { "3.9279221543350096d9", "-5.882918042982924d19",
 161   "-6.67682623765291d-11" },
 162
 163 { "-9.686323716926361d9", "-3.44800215666902d19",
 164   "2.8092568614527606d-10" },
 165
 166 { "7.301304808910639d9", "1.2845297359643038d19",
 167   "5.684029419085038d-10" },
 168
 169 { "4.380345662298534d9", "-4.352751895415198d-21",
 170   "-1.0063393842668593d30" },
 171
 172 { "8.239490918139045d9", "3.2397577733346748d-21",
 173   "2.5432428886984834d30" },
 174
 175 { "3.8980499504872713d9", "8.311650110069505d-21",
 176   "4.689862901910189d29" },
 177
 178 { "-9.425472285331268d9", "-3.294031046828316d-21",
 179   "2.861379310436876d30" },
 180
 181 { "2.517833161624173d9", "3.6891560299469316d-21",
 182   "6.824957093669991d29" },
 183
 184 { "-5.463519676339016d9", "-7.298583081866205d-22",
 185   "7.485726496576409d30" },
 186
 187 { "1.39357009199772d-11", "0.417842407627649d0",
 188   "3.335157146709649d-11" },
 189
 190 { "8.58494900746665d-11", "-0.6481371063028898d0",
 191   "-1.3245575548724563d-10" },
 192
 193 { "-9.310282234439046d-11", "0.9146343299129254d0",
 194   "-1.0179239866631073d-10" },
 195
 196 { "-8.800556770159418d-11", "-0.9305573406536135d0",
 197   "9.45729659601417d-11" },
 198
 199 { "-1.3361456473382827d-11", "0.06420301636905124d0",
 200   "-2.081125970247039d-10" },
 201
 202 { "6.1406425153971765d-12", "-0.3082496074575478d0",
 203   "-1.992100676476244d-11" },
 204
 205 { "-3.6962256202372035d-11", "3.089420488573177d9",
 206   "-1.1964139015418631d-20" },
 207
 208 { "-6.145126590884831d-11", "-6.225608984106817d9",
 209   "9.870723661849874d-21" },
 210
 211 { "9.052281678541901d-11", "-6.9187138778508625d9",
 212   "-1.3083763598782874d-20" },
 213
 214 { "-3.4950245360118636d-11", "7.543342567738434d9",
 215   "-4.633257080169575d-21" },
 216
 217 { "-3.482822570743636d-11", "-3.87599225187502d9",
 218   "8.985628309909062d-21" },
 219
 220 { "-9.42226868788213d-11", "7.501937454180854d9",
 221   "-1.2559780383974101d-20" },
 222
 223 { "-4.8165035309367155d-11", "9.484620130429997d-11",
 224   "-0.5078225026096383d0" },
 225
 226 { "6.880022773725747d-11", "-9.699156104509544d-11",
 227   "-0.7093424107822056d0" },
 228
 229 { "1.5817962388036865d-11", "-7.11651152335492d-11",
 230   "-0.22227129593095693d0" },
 231
 232 { "-7.0140750853949335d-12", "-4.4677941652531186d-11",
 233   "0.15699190307254357d0" },
 234
 235 { "-2.6947489262085355d-11", "8.365454450205894d-11",
 236   "-0.3221282169723859d0" },
 237
 238 { "8.703167674410303d-11", "-4.88739813223768d-11",
 239   "-1.7807363834354917d0" },
 240
 241 { "1.165112061543483d-12", "-5.899528740399518d19",
 242   "-1.9749239520860124d-32" },
 243
 244 { "7.126386981630328d-12", "5.091741402945837d19",
 245   "1.3995971942933598d-31" },
 246
 247 { "-7.132349854872655d-13", "7.70347159367981d19",
 248   "-9.258617712985763d-33" },
 249
 250 { "4.507266517270466d-11", "-1.6192737232544485d19",
 251   "-2.7835111831566513d-30" },
 252
 253 { "-3.025128309814261d-11", "-5.606736896306867d19",
 254   "5.395523930874836d-31" },
 255
 256 { "-5.390258677516223d-11", "6.628750121976767d18",
 257   "-8.131636550373976d-30" },
 258
 259 { "-8.484515181627938d-11", "6.226893371743352d-21",
 260   "-1.3625598954575508d10" },
 261
 262 { "5.110456708789676d-11", "-7.434814854731122d-21",
 263   "-6.873683889434922d9" },
 264
 265 { "-7.784815533665352d-11", "-8.942884975553875d-21",
 266   "8.705038200698988d9" },
 267
 268 { "6.06871371776654d-11", "-8.4720755768444d-21",
 269   "-7.163195916657484d9" },
 270
 271 { "6.395725883763629d-11", "3.2465500186809204d-21",
 272   "1.970006883295217d10" },
 273
 274 { "8.23766365482318d-11", "3.5665958051648335d-21",
 275   "2.3096712116618633d10" },
 276
 277 { "-6.882125490660233d19", "0.680553203393516d0",
 278   "-1.0112545876418106d20" },
 279
 280 { "-8.955858402134752d19", "0.11144092291315044d0",
 281   "-8.03641801236189d20" },
 282
 283 { "4.517225460957592d19", "-0.5804969398143229d0",
 284   "-7.781652496570381d19" },
 285
 286 { "-9.741926397385082d19", "-0.9037000739789977d0",
 287   "1.0780043819728059d20" },
 288
 289 { "9.654390326446178d19", "-0.061963385089831124d0",
 290   "-1.558079874501655d21" },
 291
 292 { "9.50855454738802d19", "0.30375471599023185d0",
 293   "3.130339727036138d20" },
 294
 295 { "4.323538184184934d19", "-2.6027608151521606d9",
 296   "-1.661135421670383d10" },
 297
 298 { "4.0554081767557594d17", "4.814123702784068d9",
 299   "8.423979995384136d7" },
 300
 301 { "5.12727309625028d19", "1.761988796449604d9",
 302   "2.9099351293162037d10" },
 303
 304 { "-7.335661993746345d19", "-4.961351435504d9",
 305   "1.4785612527368061d10" },
 306
 307 { "3.7135994768593306d18", "3.273427798269768d8",
 308   "1.1344681189614824d10" },
 309
 310 { "1.3911083524706402d19", "8.651242909451927d9",
 311   "1.6079866985942366d9" },
 312
 313 { "6.473382688386894d19", "-3.700509647679497d-11",
 314   "-1.7493219325738552d30" },
 315
 316 { "7.25328632809461d19", "6.793518758100849d-11",
 317   "1.0676773828651782d30" },
 318
 319 { "7.053090091571119d19", "8.009021819073383d-11",
 320   "8.806431360661643d29" },
 321
 322 { "-1.6322872380348074d19", "-1.234889420758779d-11",
 323   "1.3218084231637898d30" },
 324
 325 { "-7.716951191497702d19", "-2.473367210466666d-11",
 326   "3.12001839388891d30" },
 327
 328 { "-2.1174708383466066d19", "-9.66632270128099d-11",
 329   "2.1905650202077337d29" },
 330
 331 { "4.0902039392392786d18", "-5.029423690873208d19",
 332   "-0.08132549951322827d0" },
 333
 334 { "1.4562115759233494d17", "4.2665150414889705d19",
 335   "0.0034131171735308037d0" },
 336
 337 { "-3.309692589578652d19", "1.1329455009949342d19",
 338   "-2.9213166799922274d0" },
 339
 340 { "3.059130103268258d19", "-7.719433592654628d19",
 341   "-0.3962894513632647d0" },
 342
 343 { "5.622979366632147d19", "-8.407251901594788d19",
 344   "-0.6688248945610293d0" },
 345
 346 { "-7.457587910839625d18", "1.102755747735572d19",
 347   "-0.6762683328700153d0" },
 348
 349 { "1.2026615920578564d19", "-3.77964792582931d-21",
 350   "-3.1819407935832407d39" },
 351
 352 { "-2.74643694419756d19", "2.538907641816601d-22",
 353   "-1.0817396028760112d41" },
 354
 355 { "8.267361397156658d18", "-4.986401395715489d-21",
 356   "-1.6579815263689556d39" },
 357
 358 { "9.876393891158812d19", "-5.792612775193684d-22",
 359   "-1.7049981199250076d41" },
 360
 361 { "3.927461252713038d17", "4.810589424292295d-21",
 362   "8.164199656866003d37" },
 363
 364 { "7.29943837795987d19", "-4.8820727437034755d-21",
 365   "-1.4951514983823475d40" },
 366
 367 { "-7.837850970911807d-21", "0.41514160181315674d0",
 368   "-1.8879945870708947d-20" },
 369
 370 { "1.1499234744049124d-21", "0.4643166529612681d0",
 371   "2.4765932194571437d-21" },
 372
 373 { "-1.094368243984769d-21", "0.9008053219044149d0",
 374   "-1.2148776404552516d-21" },
 375
 376 { "2.4821206327531197d-21", "0.22988631081892086d0",
 377   "1.0797165885654937d-20" },
 378
 379 { "-4.56226662576732d-22", "0.6695285124602162d0",
 380   "-6.814148375851899d-22" },
 381
 382 { "6.442796853653397d-21", "-0.0419134640377401d0",
 383   "-1.5371663978553802d-19" },
 384
 385 { "-5.584403218169678d-21", "-8.092869169805251d9",
 386   "6.9003997235062955d-31" },
 387
 388 { "-9.796722996869492d-21", "-3.2988270899833827d9",
 389   "2.9697594719700335d-30" },
 390
 391 { "9.441829923771915d-22", "5.464575083746736d9",
 392   "1.7278250877830762d-31" },
 393
 394 { "-6.419360319610147d-21", "-7.333962810289677d9",
 395   "8.752921831841952d-31" },
 396
 397 { "7.973734412555454d-21", "-9.367577614661436d9",
 398   "-8.512055880994846d-31" },
 399
 400 { "8.105484193881594d-21", "-8.664550975192905d9",
 401   "-9.354765431108951d-31" },
 402
 403 { "-5.3151708182942476d-21", "-3.406928289732576d-11",
 404   "1.560106455516696d-10" },
 405
 406 { "-7.026602845639829d-21", "-9.92483846943868d-11",
 407   "7.079815824989677d-11" },
 408
 409 { "-5.901970468193158d-21", "2.074489043942647d-11",
 410   "-2.8450236868815825d-10" },
 411
 412 { "-6.40466723844613d-21", "-2.551008177490094d-11",
 413   "2.510641594550906d-10" },
 414
 415 { "8.056066940872177d-21", "4.645883100460603d-11",
 416   "1.7340227394170724d-10" },
 417
 418 { "7.453765056481805d-21", "6.956136187014756d-11",
 419   "1.0715381148511711d-10" },
 420
 421 { "7.357434693258832d-21", "-7.093525088486332d19",
 422   "-1.0372042956753416d-40" },
 423
 424 { "-3.3759558579798473d-21", "9.991075630444324d19",
 425   "-3.3789713769084054d-41" },
 426
 427 { "6.908026973557955d-21", "-4.20805893397862d19",
 428   "-1.6416183998227845d-40" },
 429
 430 { "5.181767322756247d-21", "7.46986056263721d19",
 431   "6.936899664063931d-41" },
 432
 433 { "-5.7217313601659264d-21", "5.604979023134118d19",
 434   "-1.0208301113260054d-40" },
 435
 436 { "-9.340193892824771d-21", "9.147101848766205d19",
 437   "-1.021109641857176d-40" },
 438
 439 { "8.331002176099931d-21", "2.0276444314093977d-21",
 440   "4.108709617449606d0" },
 441
 442 { "-3.747505523684784d-21", "4.394623185543803d-21",
 443   "-0.8527478615259381d0" },
 444
 445 { "-3.310403953328861d-21", "2.3420390876737627d-21",
 446   "-1.413470838617356d0" },
 447
 448 { "6.23845405853013d-21", "-8.933620117412232d-21",
 449   "-0.6983119918397873d0" },
 450
 451 { "-4.276770609150315d-21", "6.853299965034864d-21",
 452   "-0.624045442483205d0" },
 453
 454 { "-8.847946637724495d-21", "6.33827952828724d-21",
 455   "-1.3959539963860554d0" },
 456
 457 };