tests/exam_LF_minus.cc

   1 #include "exam.h"
   2 #include <cln/lfloat.h>
   3 #include <cln/lfloat_io.h>
   4
   5 static minus_test lfloat_minus_tests[] = {
   6
   7 { "0.3211111183819802968L0", "-0.7024866236309383056L0",
   8   "1.0235977420129186024L0" },
   9
  10 { "-0.29770116676264721836L0", "0.8494818768850108081L0",
  11   "-1.1471830436476580264L0" },
  12
  13 { "-0.7677860965279355367L0", "0.9474539728585997539L0",
  14   "-1.7152400693865352905L0" },
  15
  16 { "-0.25414380069764370257L0", "0.82619594943351718565L0",
  17   "-1.0803397501311608883L0" },
  18
  19 { "0.21685951051311267031L0", "0.13084151170902027524L0",
  20   "0.08601799880409239507L0" },
  21
  22 { "-0.6658362643286463323L0", "-0.101768362258000388376L0",
  23   "-0.56406790207064594393L0" },
  24
  25 { "-0.8594165074009265017L0", "3.58724520062188585L9",
  26   "-3.5872452014813023575L9" },
  27
  28 { "-0.58779846333918551446L0", "-2.8410824560251060135L9",
  29   "2.84108245543730755L9" },
  30
  31 { "0.37819983918255152712L0", "1.75837003745458279L9",
  32   "-1.7583700370763829509L9" },
  33
  34 { "-0.19345242719447268632L0", "-8.900743696911070234L9",
  35   "8.900743696717617807L9" },
  36
  37 { "0.9170636757513836193L0", "-5.181144559509726756L9",
  38   "5.1811445604267904316L9" },
  39
  40 { "0.20643137049004858552L0", "3.3215544303850617772L9",
  41   "-3.3215544301786304067L9" },
  42
  43 { "-0.4014437452394343757L0", "4.7898418688154180505L-11",
  44   "-0.40144374528733279438L0" },
  45
  46 { "0.0725076594551243524L0", "-3.5321788599004111594L-11",
  47   "0.072507659490446140996L0" },
  48
  49 { "-0.65551702819898271043L0", "3.1653130032883009534L-11",
  50   "-0.6555170282306358405L0" },
  51
  52 { "0.9237105409310637695L0", "-8.9028024814928743296L-11",
  53   "0.9237105410200917943L0" },
  54
  55 { "0.8779771368966066218L0", "7.399233988536237696L-12",
  56   "0.8779771368892073878L0" },
  57
  58 { "0.51385216558296334914L0", "-3.3989256599054576304L-11",
  59   "0.51385216561695260575L0" },
  60
  61 { "0.74939199427992763254L0", "-6.6998781480191798724L19",
  62   "6.6998781480191798724L19" },
  63
  64 { "0.8073774220299670944L0", "2.0433771569275457978L18",
  65   "-2.043377156927545797L18" },
  66
  67 { "-0.75286822781531276375L0", "-7.7011647701976081504L19",
  68   "7.7011647701976081504L19" },
  69
  70 { "-0.6361916050116532222L0", "1.2717052281488651182L19",
  71   "-1.2717052281488651183L19" },
  72
  73 { "0.08977643006115956575L0", "1.2624046205072289204L19",
  74   "-1.2624046205072289204L19" },
  75
  76 { "-0.4220171145412169327L0", "8.9155115345908061576L19",
  77   "-8.9155115345908061576L19" },
  78
  79 { "0.397772867452284942L0", "5.7785851646148710778L-21",
  80   "0.397772867452284942L0" },
  81
  82 { "-0.53062845978690011166L0", "-3.648685738612220277L-21",
  83   "-0.53062845978690011166L0" },
  84
  85 { "0.25409096540159836552L0", "-7.8088660109317384514L-21",
  86   "0.25409096540159836552L0" },
  87
  88 { "0.78038095936361252965L0", "5.166705522400390383L-21",
  89   "0.78038095936361252965L0" },
  90
  91 { "0.2384997171475220939L0", "9.580584601627251829L-21",
  92   "0.23849971714752209389L0" },
  93
  94 { "0.38777493167494073L0", "-7.930455614605653916L-22",
  95   "0.38777493167494073L0" },
  96
  97 { "9.34906594120583919L8", "-0.06276538462885111519L0",
  98   "9.349065941833493036L8" },
  99
 100 { "3.8000098261497040978L9", "0.08156195452126583918L0",
 101   "3.8000098260681421433L9" },
 102
 103 { "-8.5084000619874580647L9", "-0.49084164337509169664L0",
 104   "-8.5084000614966164213L9" },
 105
 106 { "-9.367354572017391158L9", "0.7369625068937909906L0",
 107   "-9.367354572754353665L9" },
 108
 109 { "6.810025547716964613L9", "-0.65456201729278556224L0",
 110   "6.8100255483715266306L9" },
 111
 112 { "-2.0476539871173359762L9", "-0.61684944260168028793L0",
 113   "-2.0476539865004865336L9" },
 114
 115 { "7.927587886187347037L9", "-9.075678068210342653L9",
 116   "1.700326595439768969L10" },
 117
 118 { "8.3881162961959078424L9", "-8.168276983460029623L9",
 119   "1.6556393279655937465L10" },
 120
 121 { "-9.837108887605194379L9", "-5.518197215327419734L9",
 122   "-4.3189116722777746445L9" },
 123
 124 { "6.0530403690423784372L9", "-4.794777582812792957L9",
 125   "1.0847817951855171394L10" },
 126
 127 { "-7.6786817362598780694L8", "3.0685743382723052597L9",
 128   "-3.8364425118982930668L9" },
 129
 130 { "-1.035869943077157163L9", "6.964469962306024778L8",
 131   "-1.7323169393077596407L9" },
 132
 133 { "-5.236689202734255992L9", "-3.2118444581504684365L-12",
 134   "-5.236689202734255992L9" },
 135
 136 { "-5.374622629137047618L9", "6.0449117144963868685L-11",
 137   "-5.374622629137047618L9" },
 138
 139 { "-1.03444332932187716727L9", "-7.849504746710041045L-11",
 140   "-1.0344433293218771672L9" },
 141
 142 { "5.1103879354813158946L8", "6.53093826849017485L-11",
 143   "5.110387935481315894L8" },
 144
 145 { "-9.748335199611953219L9", "-1.0598402609119659922L-11",
 146   "-9.748335199611953219L9" },
 147
 148 { "-7.3482164921795502603L9", "7.644598674874161005L-11",
 149   "-7.3482164921795502603L9" },
 150
 151 { "-7.4770248834652064083L8", "-6.510822784079429222L19",
 152   "6.5108227840046589732L19" },
 153
 154 { "8.3114910321533068423L9", "-6.2387352982669333472L19",
 155   "6.2387352990980824504L19" },
 156
 157 { "-1.0718584220381511548L9", "8.521462332927085385L19",
 158   "-8.521462333034271227L19" },
 159
 160 { "-1.9155322368803175137L8", "1.3150623743950738752L19",
 161   "-1.3150623744142291976L19" },
 162
 163 { "3.8652241507510457716L9", "8.702412273358053775L19",
 164   "-8.70241227297153136L19" },
 165
 166 { "2.922009617968977308L8", "-8.409184530486676791L19",
 167   "8.409184530515896887L19" },
 168
 169 { "-7.3431860804237713437L9", "9.020687655591526829L-21",
 170   "-7.3431860804237713437L9" },
 171
 172 { "-1.1188563145822172016L9", "-2.7575065881283248758L-21",
 173   "-1.1188563145822172016L9" },
 174
 175 { "2.5835681218682880315L9", "-3.786022710650191692L-21",
 176   "2.5835681218682880315L9" },
 177
 178 { "4.3854765424506375063L9", "1.8847509423241615905L-21",
 179   "4.3854765424506375063L9" },
 180
 181 { "-3.4713769831512517224L9", "-2.322290027198980782L-21",
 182   "-3.4713769831512517224L9" },
 183
 184 { "414355.71501652302632L0", "3.5411352752491676944L-21",
 185   "414355.71501652302632L0" },
 186
 187 { "9.032857346451659148L-11", "0.45111022909893884074L0",
 188   "-0.45111022900861026729L0" },
 189
 190 { "-6.5860623447077106086L-11", "-0.16349916999618723413L0",
 191   "0.16349916993032661068L0" },
 192
 193 { "-9.239429491581222244L-11", "0.34742997377809253703L0",
 194   "-0.34742997387048683193L0" },
 195
 196 { "-1.3189202177704638207L-11", "0.6447775025861344695L0",
 197   "-0.64477750259932367166L0" },
 198
 199 { "-8.6095719029859522596L-11", "0.36611643318066821885L0",
 200   "-0.3661164332667639379L0" },
 201
 202 { "-7.9284738631391966236L-11", "-0.28883099180012157807L0",
 203   "0.28883099172083683944L0" },
 204
 205 { "-9.9602023259578447484L-11", "8.944817052366967221L9",
 206   "-8.944817052366967221L9" },
 207
 208 { "-4.7036434158090755064L-11", "-7.652311009876441256L9",
 209   "7.652311009876441256L9" },
 210
 211 { "-7.237899450242616437L-11", "-2.0865196011945540415L9",
 212   "2.0865196011945540414L9" },
 213
 214 { "1.619466049424876382L-11", "5.1184733211578935236L9",
 215   "-5.1184733211578935236L9" },
 216
 217 { "4.1799408897021043963L-11", "7.3289378733409777703L9",
 218   "-7.3289378733409777703L9" },
 219
 220 { "-7.1652994078281664426L-11", "-8.756819754593247181L9",
 221   "8.756819754593247181L9" },
 222
 223 { "-3.7074082585707708083L-11", "7.8185038704847907146L-11",
 224   "-1.1525912129055561523L-10" },
 225
 226 { "-6.236585731179139659L-11", "7.2778046100364844843L-11",
 227   "-1.3514390341215624144L-10" },
 228
 229 { "4.435573645212270856L-11", "-5.0777570123416204425L-11",
 230   "9.5133306575538912986L-11" },
 231
 232 { "-8.308776483243665939L-11", "9.147453931535851365L-11",
 233   "-1.7456230414779517304L-10" },
 234
 235 { "9.9047307392438733836L-11", "-2.5521271062995892868L-11",
 236   "1.245685784554346267L-10" },
 237
 238 { "7.964304540045338675L-11", "-8.2763721216842256806L-11",
 239   "1.6240676661729564355L-10" },
 240
 241 { "6.3981149909251410836L-11", "-8.199461198383311753L19",
 242   "8.199461198383311753L19" },
 243
 244 { "3.2676777703423324814L-11", "4.4068061681801047868L19",
 245   "-4.4068061681801047868L19" },
 246
 247 { "-6.239367423070186989L-11", "3.6883672788938434168L19",
 248   "-3.6883672788938434168L19" },
 249
 250 { "-2.2122757699951901351L-11", "2.1264312306673926188L19",
 251   "-2.1264312306673926188L19" },
 252
 253 { "8.873182931301984606L-11", "1.6930709481447417272L19",
 254   "-1.6930709481447417272L19" },
 255
 256 { "-6.88393272917067128L-11", "9.590650870092490293L19",
 257   "-9.590650870092490293L19" },
 258
 259 { "6.858643038376546876L-11", "7.344128953107545512L-21",
 260   "6.858643037642133981L-11" },
 261
 262 { "2.6458055358368033053L-11", "5.403788941414579396L-21",
 263   "2.6458055352964244111L-11" },
 264
 265 { "-2.0808117056914325832L-11", "-9.598437242399057154L-21",
 266   "-2.080811704731588859L-11" },
 267
 268 { "-6.7475294377176982065L-11", "7.066634775850918749L-21",
 269   "-6.747529438424361684L-11" },
 270
 271 { "-9.3542684131795074026L-11", "-2.671834604826394793L-22",
 272   "-9.354268413152789057L-11" },
 273
 274 { "-3.656675383727620855L-11", "-5.7226858095399702763L-21",
 275   "-3.656675383155352274L-11" },
 276
 277 { "4.4004114393746579576L19", "0.9981645829158248139L0",
 278   "4.4004114393746579576L19" },
 279
 280 { "-2.1157157847974045162L19", "-0.73136590134089295135L0",
 281   "-2.1157157847974045162L19" },
 282
 283 { "-6.58288354566033103L19", "0.6435204448077814454L0",
 284   "-6.58288354566033103L19" },
 285
 286 { "-6.1300052513232283715L18", "0.37782114066015354996L0",
 287   "-6.130005251323228372L18" },
 288
 289 { "-8.3428987469650376416L19", "0.092302889297602909923L0",
 290   "-8.3428987469650376416L19" },
 291
 292 { "4.478146018721476673L18", "-0.7594367116407568048L0",
 293   "4.4781460187214766738L18" },
 294
 295 { "3.9553793567888621644L19", "7.272309486263127643L9",
 296   "3.9553793560616312156L19" },
 297
 298 { "8.4985452245750157485L18", "-8.180191224624705388L9",
 299   "8.498545232755206973L18" },
 300
 301 { "-4.9006940756698268444L19", "5.635530637330344937L9",
 302   "-4.900694076233379908L19" },
 303
 304 { "3.321094625885548145L19", "7.739325488496469393L9",
 305   "3.3210946251116155962L19" },
 306
 307 { "-4.094717236852398814L19", "2.8833151826524522544L9",
 308   "-4.0947172371407303324L19" },
 309
 310 { "-7.297938416992967256L19", "1.7849049534461509205L9",
 311   "-7.2979384171714577512L19" },
 312
 313 { "-1.6274534493365811085L19", "-7.214220253590898893L-11",
 314   "-1.6274534493365811085L19" },
 315
 316 { "-8.8349360721401487896L19", "4.4201546048906225832L-11",
 317   "-8.8349360721401487896L19" },
 318
 319 { "2.1193875854469716176L19", "5.4852102858193519493L-11",
 320   "2.1193875854469716176L19" },
 321
 322 { "5.8956188285652689564L19", "5.2591781987716878005L-12",
 323   "5.8956188285652689564L19" },
 324
 325 { "3.8130742288947136824L19", "-6.2032926048476626596L-11",
 326   "3.8130742288947136824L19" },
 327
 328 { "-8.2648264381835919784L19", "5.240041099543619651L-11",
 329   "-8.2648264381835919784L19" },
 330
 331 { "-8.9795702979594840016L19", "5.3071479395700422216L19",
 332   "-1.4286718237529526223L20" },
 333
 334 { "7.4902067869555502376L19", "8.527286348112666809L18",
 335   "6.6374781521442835568L19" },
 336
 337 { "-9.945686226441305483L19", "-7.164943842935287866L19",
 338   "-2.7807423835060176172L19" },
 339
 340 { "-6.9451908461424534725L18", "1.7337328244166615333L19",
 341   "-2.4282519090309068806L19" },
 342
 343 { "-7.2554820480127785552L19", "-3.6345553532831870424L19",
 344   "-3.6209266947295915128L19" },
 345
 346 { "4.80739562024854996L19", "-9.8058600290712759904L19",
 347   "1.46132556493198259504L20" },
 348
 349 { "-2.2910115296639597206L19", "3.7450560231732721633L-21",
 350   "-2.2910115296639597206L19" },
 351
 352 { "6.3398397438838205245L18", "5.9452907771459291318L-21",
 353   "6.3398397438838205245L18" },
 354
 355 { "-3.6223171453314706578L19", "-7.3897558037422565484L-21",
 356   "-3.6223171453314706578L19" },
 357
 358 { "-5.253323265732561348L19", "-2.4894382246759080012L-21",
 359   "-5.253323265732561348L19" },
 360
 361 { "8.706482285826808214L18", "-5.353671688426432468L-21",
 362   "8.706482285826808214L18" },
 363
 364 { "2.2257683364797036278L18", "-8.640543721759613242L-21",
 365   "2.2257683364797036278L18" },
 366
 367 { "4.793610535063041737L-21", "-0.46707949288138879385L0",
 368   "0.46707949288138879385L0" },
 369
 370 { "-8.1177127707349576126L-22", "-0.524723160625887566L0",
 371   "0.524723160625887566L0" },
 372
 373 { "4.3845050204409245572L-21", "0.25137862247046227512L0",
 374   "-0.25137862247046227512L0" },
 375
 376 { "9.521149905664397992L-21", "-0.8412363166750659234L0",
 377   "0.8412363166750659234L0" },
 378
 379 { "9.174773471390805996L-21", "-0.101196005202611894716L0",
 380   "0.10119600520261189472L0" },
 381
 382 { "7.109559498077443181L-21", "0.9205539164614073537L0",
 383   "-0.9205539164614073537L0" },
 384
 385 { "4.698785699006337068L-21", "-2.1800327611972026394L9",
 386   "2.1800327611972026394L9" },
 387
 388 { "5.613624265510662971L-21", "-9.950548243828975189L9",
 389   "9.950548243828975189L9" },
 390
 391 { "4.6909741937286841078L-21", "-1.7837781830572891826L9",
 392   "1.7837781830572891826L9" },
 393
 394 { "-4.846242463794952647L-21", "-8.0162418694778434667L9",
 395   "8.0162418694778434667L9" },
 396
 397 { "2.40959428070040729L-21", "-8.889381116534260471L9",
 398   "8.889381116534260471L9" },
 399
 400 { "3.767840665510686708L-21", "-6.5742819327593306936L9",
 401   "6.5742819327593306936L9" },
 402
 403 { "-4.2984578582437655097L-21", "-7.11707524430297521L-11",
 404   "7.117075243873129424L-11" },
 405
 406 { "-8.2197602823824843314L-21", "5.6157517586290544195L-11",
 407   "-5.6157517594510304478L-11" },
 408
 409 { "9.693403466151038911L-21", "-2.4790192993953556532L-11",
 410   "2.4790193003646959998L-11" },
 411
 412 { "-1.7473025967684817638L-21", "-6.763791909706180161L-11",
 413   "6.763791909531449901L-11" },
 414
 415 { "-4.545821853960128388L-21", "-2.0149758755990572603L-11",
 416   "2.0149758751444750749L-11" },
 417
 418 { "-6.727743751498960878L-21", "4.6105155267302345166L-11",
 419   "-4.6105155274030088917L-11" },
 420
 421 { "3.1693009676315354841L-21", "-8.292132887357976433L19",
 422   "8.292132887357976433L19" },
 423
 424 { "-1.5197222855116101305L-21", "-6.8790212191073234628L19",
 425   "6.8790212191073234628L19" },
 426
 427 { "9.221684449614781083L-21", "-5.9085200983462461748L19",
 428   "5.9085200983462461748L19" },
 429
 430 { "8.784720275148798145L-21", "-3.507151222326700691L19",
 431   "3.507151222326700691L19" },
 432
 433 { "3.824100155304652155L-21", "1.2903444775641864255L19",
 434   "-1.2903444775641864255L19" },
 435
 436 { "-1.0750770892330241413L-21", "2.516785805333378789L19",
 437   "-2.516785805333378789L19" },
 438
 439 { "-9.607606672669937465L-21", "2.8158700323501294737L-21",
 440   "-1.2423476705020066939L-20" },
 441
 442 { "7.9685140548406097L-21", "-1.4252185339263422407L-21",
 443   "9.393732588766951941L-21" },
 444
 445 { "-3.1900732903251523987L-21", "1.30212230775860485605L-21",
 446   "-4.4921955980837572548L-21" },
 447
 448 { "2.845180721925488069L-21", "9.0340678136597289194L-21",
 449   "-6.1888870917342408505L-21" },
 450
 451 { "-5.1500491616497403683L-21", "-5.4818765813663490764L-21",
 452   "3.3182741971660870814L-22" },
 453
 454 { "5.3946808417918276896L-21", "2.1630450195342998269L-21",
 455   "3.2316358222575278627L-21" },
 456
 457 };