tests/exam_LF_floor.cc

   1 #include "exam.h"
   2 #include <cln/lfloat.h>
   3 #include <cln/lfloat_io.h>
   4 #include <cln/integer.h>
   5 #include <cln/integer_io.h>
   6
   7 static floor_test lfloat_floor_tests[] = {
   8
   9 { "-0.9677507664075728311L0", "0.09829392666835353511L0",
  10   "-10", "0.015188500275962520004L0" },
  11
  12 { "-0.084596576622269801105L0", "-0.78271578747309396924L0",
  13   "0", "-0.084596576622269801105L0" },
  14
  15 { "0.97785517019559092334L0", "-0.24687352093087197807L0",
  16   "-4", "-0.009638913527896988987L0" },
  17
  18 { "0.36348468689259258175L0", "0.5156866254701831051L0",
  19   "0", "0.36348468689259258175L0" },
  20
  21 { "-0.51463186192345608164L0", "0.8683136279312965567L0",
  22   "-1", "0.35368176600784047506L0" },
  23
  24 { "0.36128372948365635348L0", "-0.5061584717303788097L0",
  25   "-1", "-0.1448747422467224562L0" },
  26
  27 { "-0.83188875677783952054L0", "-6.988497329115560525L9",
  28   "0", "-0.83188875677783952054L0" },
  29
  30 { "-0.09110744229488624391L0", "-9.792597852253288497L9",
  31   "0", "-0.09110744229488624391L0" },
  32
  33 { "0.23616060202132526459L0", "-1.5882829404848723914L9",
  34   "-1", "-1.5882829402487117894L9" },
  35
  36 { "-0.09652925723903261584L0", "6.2261024177069773893L9",
  37   "-1", "6.226102417610448132L9" },
  38
  39 { "0.5413601234707634158L0", "9.144943549323542538L9",
  40   "0", "0.5413601234707634158L0" },
  41
  42 { "-0.57037258938648310115L0", "4.436821091919698621L9",
  43   "-1", "4.4368210913493260317L9" },
  44
  45 { "-0.9973297751770725278L0", "3.4051851548139874998L-11",
  46   "-29288562291", "1.4506986275662661537L-11" },
  47
  48 { "0.6604979952397203417L0", "-4.3497555374342239963L-11",
  49   "-15184715315", "-1.8114827519649365006L-11" },
  50
  51 { "0.38589975187928444138L0", "1.0289103184336123803L-12",
  52   "375056742036", "3.5046726009323829848L-13" },
  53
  54 { "0.9402638162334174371L0", "4.2262799834524861567L-11",
  55   "22248024738", "1.7766010468098603481L-11" },
  56
  57 { "-0.8642082843541437474L0", "8.911777256338402297L-11",
  58   "-9697373033", "6.304376014060421794L-11" },
  59
  60 { "0.7435773981922973139L0", "5.910629837324535378L-11",
  61   "12580341159", "1.1224045374678474888L-11" },
  62
  63 { "0.7898063255151059068L0", "1.2757118849664610875L18",
  64   "0", "0.7898063255151059068L0" },
  65
  66 { "0.19544684487626281231L0", "-3.6071314846523434156L19",
  67   "-1", "-3.6071314846523434156L19" },
  68
  69 { "-0.032130218136830583316L0", "-3.367647816525978896L18",
  70   "0", "-0.032130218136830583316L0" },
  71
  72 { "-0.25693079625787854222L0", "2.3815464531684079734L19",
  73   "-1", "2.3815464531684079734L19" },
  74
  75 { "-0.3975875412090936933L0", "3.9957351306215043416L19",
  76   "-1", "3.9957351306215043416L19" },
  77
  78 { "0.16223305219726616216L0", "-5.3922124894358790612L19",
  79   "-1", "-5.3922124894358790612L19" },
  80
  81 { "0.14869268750642991106L0", "-4.676414410846522305L-21",
  82   "-31796302560686368198", "0.0L0" },
  83
  84 { "0.4848921957991629974L0", "7.275052251851656838L-21",
  85   "66651369504012501536", "0.0L0" },
  86
  87 { "0.44996459510190342355L0", "-3.96515259272563559L-21",
  88   "-113479767696052002376", "0.0L0" },
  89
  90 { "0.7246909129638354568L0", "-1.2540349367528059089L-21",
  91   "-577887339279675740320", "0.0L0" },
  92
  93 { "0.83383904440522878455L0", "3.5186204165781412753L-21",
  94   "236978970643311773536", "0.0L0" },
  95
  96 { "0.26779759740636464572L0", "-6.954613119627800336L-21",
  97   "-38506469418200611672", "0.0L0" },
  98
  99 { "-7.4845680268023566543L9", "-0.2629469688312594538L0",
 100   "28464173061", "-0.1240146549242767677L0" },
 101
 102 { "6.1612132433805581187L9", "-0.09975641287987705455L0",
 103   "-61762578120", "-0.083822638930812785824L0" },
 104
 105 { "-3.6629628120558108524L9", "0.35361739315194823028L0",
 106   "-10358548203", "0.32784699422401302726L0" },
 107
 108 { "-6.999024858613990497L9", "-0.6086338795192380592L0",
 109   "11499564999", "-0.48897756390533489348L0" },
 110
 111 { "4.2927999071819381092L9", "-0.8483437666321241058L0",
 112   "-5060212707", "-0.6341788853647631104L0" },
 113
 114 { "-4.377925687006929662L9", "0.3220507356662819166L0",
 115   "-13593900595", "0.18712780555802854961L0" },
 116
 117 { "-9.5387759396672939425L9", "7.7154581598602048657L9",
 118   "-2", "5.892140380053115789L9" },
 119
 120 { "-5.64339842966998351L9", "4.025489717604319313L9",
 121   "-2", "2.4075810055386551162L9" },
 122
 123 { "-4.811594948157823536L9", "-7.834071766040306942L9",
 124   "0", "-4.811594948157823536L9" },
 125
 126 { "4.4476035118893197435L9", "3.0450117757143498866L9",
 127   "1", "1.4025917361749698569L9" },
 128
 129 { "-7.3465328576805684287L9", "-4.603589573313564281L9",
 130   "1", "-2.7429432843670041477L9" },
 131
 132 { "4.956277095163508632L9", "-6.664438280281275845L9",
 133   "-1", "-1.708161185117767213L9" },
 134
 135 { "4.367757792316331005L9", "-7.8163461329531150714L-11",
 136   "-55879789840705743024", "0.0L0" },
 137
 138 { "-4.7778036898247465523L8", "3.4933422750724630952L-11",
 139   "-13676883951274541565", "0.0L0" },
 140
 141 { "-6.667353710605079077L9", "5.3863219342714070564L-11",
 142   "-123783052553596643928", "0.0L0" },
 143
 144 { "-6.6004002390836614547L9", "-9.313678706634845693L-11",
 145   "70867811173061956036", "0.0L0" },
 146
 147 { "-9.439278803200832958L9", "-6.7075776392225367144L-11",
 148   "140725598880953434976", "0.0L0" },
 149
 150 { "-9.207319097846486017L9", "-5.7812820689283059893L-11",
 151   "159260852317369718528", "0.0L0" },
 152
 153 { "-7.564134292866958547L9", "6.4508269927189105468L19",
 154   "-1", "6.4508269919624971176L19" },
 155
 156 { "-5.7520914080101070246L9", "-4.4901662701989554116L17",
 157   "0", "-5.7520914080101070246L9" },
 158
 159 { "-9.801170739094381102L9", "9.482698257311007893L19",
 160   "-1", "9.482698256330890819L19" },
 161
 162 { "7.471594576665974082L8", "3.1667053210759199935L18",
 163   "0", "7.471594576665974081L8" },
 164
 165 { "-6.4762144691604037974L9", "-8.2417624342716462896L19",
 166   "0", "-6.4762144691604037974L9" },
 167
 168 { "-5.5263312844382694187L9", "9.5950716135522835064L19",
 169   "-1", "9.5950716129996503776L19" },
 170
 171 { "3.1312033848911460338L9", "-8.61316266389637687L-21",
 172   "-363537008074414891396807786496", "0.0L0" },
 173
 174 { "2.6279029713558476835L9", "-4.516664720059022692L-21",
 175   "-581823786849847663134534270976", "0.0L0" },
 176
 177 { "4.502075635961923785L9", "-9.685834626464620576L-21",
 178   "-464810293545679143271024033792", "0.0L0" },
 179
 180 { "1.4031562604294053729L9", "3.412866773725220897L-21",
 181   "411137132932332056394984325120", "0.0L0" },
 182
 183 { "-4.3024038761755407723L9", "2.485284435684751149L-21",
 184   "-1731151498959165530746191347712", "0.0L0" },
 185
 186 { "6.136473603422627364L9", "5.6959828635137213127L-21",
 187   "1077333578850898685241017237504", "0.0L0" },
 188
 189 { "-8.202208473677937235L-11", "0.12393605769441814725L0",
 190   "-1", "0.123936057612396062516L0" },
 191
 192 { "-8.6757073154686102475L-11", "-0.37237633673270687662L0",
 193   "0", "-8.675707315468610247L-11" },
 194
 195 { "5.6028622390057924218L-11", "0.6499341232771672055L0",
 196   "0", "5.6028622390057924218L-11" },
 197
 198 { "4.5783899320025937576L-11", "-0.7229560019811405793L0",
 199   "-1", "-0.7229560019353566799L0" },
 200
 201 { "7.224213822400873615L-11", "-0.87051303270552073176L0",
 202   "-1", "-0.87051303263327859354L0" },
 203
 204 { "-5.5008008233955830292L-11", "-0.45974678868400245752L0",
 205   "0", "-5.5008008233955830295L-11" },
 206
 207 { "-5.949553569817051437L-11", "-4.9088361621296460857L9",
 208   "0", "-5.949553569817051437L-11" },
 209
 210 { "9.068981360820356321L-11", "3.9567179334666110438L9",
 211   "0", "9.068981360820356321L-11" },
 212
 213 { "3.4621680776088405294L-13", "4.3691679646970805987L9",
 214   "0", "3.4621680776088405294L-13" },
 215
 216 { "4.005939678622022073L-11", "-9.2132271371400602936L8",
 217   "-1", "-9.213227137140060293L8" },
 218
 219 { "6.8015601712459487755L-11", "-4.769849366969915586L9",
 220   "-1", "-4.769849366969915586L9" },
 221
 222 { "8.736177705951390388L-11", "8.3701230195943479203L9",
 223   "0", "8.736177705951390388L-11" },
 224
 225 { "-8.8368349664293751446L-11", "1.7247862508910726963L-11",
 226   "-6", "1.5118825389170610328L-11" },
 227
 228 { "-2.0922301210797840822L-11", "2.9157326021078492393L-11",
 229   "-1", "8.235024810280651572L-12" },
 230
 231 { "-9.929248815922456709L-11", "-6.9934608623319373425L-11",
 232   "1", "-2.9357879535905193665L-11" },
 233
 234 { "8.809298490106908006L-11", "2.521478295865126635L-11",
 235   "3", "1.244863602511528101L-11" },
 236
 237 { "7.3620267190952160604L-11", "-5.0806267993123045533L-11",
 238   "-2", "-2.7992268795293930463L-11" },
 239
 240 { "-9.070716461299934103L-11", "1.372581158818204212L-11",
 241   "-7", "5.3735165042749538097L-12" },
 242
 243 { "-7.459630170957188741L-11", "-3.429772398019229389L19",
 244   "0", "-7.459630170957188741L-11" },
 245
 246 { "1.9725650506989118904L-11", "-1.7770668980460508816L19",
 247   "-1", "-1.7770668980460508816L19" },
 248
 249 { "6.3974118251214889016L-12", "-5.69117448017374684L19",
 250   "-1", "-5.69117448017374684L19" },
 251
 252 { "9.080192761938897539L-11", "5.1550284925054312868L19",
 253   "0", "9.080192761938897539L-11" },
 254
 255 { "7.694299339180548789L-11", "3.1601030797220572842L19",
 256   "0", "7.694299339180548789L-11" },
 257
 258 { "5.5788554873601060938L-11", "5.5699367746931070664L19",
 259   "0", "5.5788554873601060938L-11" },
 260
 261 { "-4.087371164243010522L-11", "1.7025318283693090775L-21",
 262   "-24007605005", "1.5007203773756006028L-21" },
 263
 264 { "-7.3575974688385316083L-11", "-1.6670029902289832508L-21",
 265   "44136678290", "-1.8066891019200848581L-22" },
 266
 267 { "1.0850282868697332469L-11", "5.7344803128377181472L-21",
 268   "1892112672", "1.4425616831217755076L-21" },
 269
 270 { "-9.848519351300913193L-11", "-7.121687974823219785L-21",
 271   "13828911609", "-2.300608125189343731L-21" },
 272
 273 { "3.0260591554314098406L-12", "1.7303586387117179437L-22",
 274   "17488046048", "9.689796116124082976L-23" },
 275
 276 { "5.867643793784483945L-11", "2.9831220978672803306L-21",
 277   "19669472456", "9.594326475082730988L-22" },
 278
 279 { "9.453252855247919707L19", "0.3964594556008910194L0",
 280   "238441856328540902016", "0.0L0" },
 281
 282 { "1.9865852464762410773L17", "0.8745495786051183551L0",
 283   "227155245977568008", "0.08198902299422984579L0" },
 284
 285 { "5.8003655986843771616L19", "-0.57075967601329721915L0",
 286   "-101625357264188433960", "0.0L0" },
 287
 288 { "6.5463855676706502812L19", "0.5124698839969514896L0",
 289   "127741859026189966704", "0.0L0" },
 290
 291 { "8.053368905864221505L19", "0.40679331708739617821L0",
 292   "197972006116659527920", "0.0L0" },
 293
 294 { "8.5722362029533885376L19", "0.1793174966141533504L0",
 295   "478047952085719142240", "0.0L0" },
 296
 297 { "-6.6056603867132043536L19", "1.8364346532401849241L9",
 298   "-35970026895", "8.274070785684816422L8" },
 299
 300 { "2.473965171745108034L19", "5.5749126908032718576L9",
 301   "4437675186", "5.356910410798194379L9" },
 302
 303 { "-4.405924011882179756L19", "-6.4568556406242929674L9",
 304   "6823637165", "-4.1798826632701602209L8" },
 305
 306 { "2.1093676314099077168L19", "5.727620773112868108L8",
 307   "36827990451", "1.8408274540307780489L8" },
 308
 309 { "-1.0962340119185741432L19", "-8.173187675545835245L9",
 310   "1341256380", "-4.422519927692124746L9" },
 311
 312 { "-9.664836922872330681L19", "-4.5461452948374001435L9",
 313   "21259410546", "-4.0088028420210172099L9" },
 314
 315 { "9.9654629946168490416L19", "-6.27691916031617149L-11",
 316   "-1587636026543136775574879469568", "0.0L0" },
 317
 318 { "-1.2700534905234296955L19", "-7.6392648594402208417L-11",
 319   "166253365198349054807791108096", "0.0L0" },
 320
 321 { "-7.837735447773461618L18", "-8.6041613252133785413L-11",
 322   "91092381366746282195935035392", "0.0L0" },
 323
 324 { "4.849306367034469812L19", "-8.744903371098252931L-11",
 325   "-554529439749024491444258209792", "0.0L0" },
 326
 327 { "-6.3895751736590951245L18", "-8.9218106166526971406L-11",
 328   "71617471477514379195326660608", "0.0L0" },
 329
 330 { "-1.1249006547358954392L19", "-3.749899421128778124L-11",
 331   "299981553744522252727485464576", "0.0L0" },
 332
 333 { "-4.8298889769606521412L19", "3.2897859420995047714L19",
 334   "-2", "1.7496829072383574016L19" },
 335
 336 { "-7.618272569239742257L19", "-2.4246730847406800364L19",
 337   "3", "-3.4425331501770214745L18" },
 338
 339 { "-9.9344217376670949096L19", "-2.187787768895506888L19",
 340   "4", "-1.1832706620850673572L19" },
 341
 342 { "3.9222824564168688912L19", "-9.476307993509074433L19",
 343   "-1", "-5.5540255370922055412L19" },
 344
 345 { "-2.012988112115775752L19", "-1.01146191266402097525L18",
 346   "19", "-9.1210478054135899006L17" },
 347
 348 { "8.6136075623649245696L19", "-9.374471951386232653L19",
 349   "-1", "-7.6086438902130808345L18" },
 350
 351 { "-4.0954879593227223964L19", "3.4785793369902262412L-21",
 352   "-11773449913223093127289481096658923028480", "0.0L0" },
 353
 354 { "-5.7633820540313762628L19", "-6.9799216943629666126L-21",
 355   "8257086979479904139315172946770002968576", "0.0L0" },
 356
 357 { "-4.5945941433359568196L19", "-9.26874309885338918L-21",
 358   "4957084357969034092339972319162935541760", "0.0L0" },
 359
 360 { "9.069653875532044557L19", "1.1607862998892810815L-21",
 361   "78133708817868823323292026086376001765376", "0.0L0" },
 362
 363 { "1.9663881236128118596L19", "-7.53224056983834607L-21",
 364   "-2610628411799403924128603371383036051456", "0.0L0" },
 365
 366 { "3.8155182638858600344L19", "-9.78280482738867461L-21",
 367   "-3900229362854759958152852242692868931584", "0.0L0" },
 368
 369 { "2.0785751397779279812L-21", "0.84874462118484074924L0",
 370   "0", "2.0785751397779279812L-21" },
 371
 372 { "9.468679817093889512L-22", "-0.14230041428757812886L0",
 373   "-1", "-0.14230041428757812886L0" },
 374
 375 { "-3.5329587582370771722L-21", "-0.75145077780984780047L0",
 376   "0", "-3.5329587582370771722L-21" },
 377
 378 { "1.0147425004279850959L-21", "0.55049889413410685307L0",
 379   "0", "1.0147425004279850959L-21" },
 380
 381 { "-9.214176537319943048L-21", "-0.45008902557926736644L0",
 382   "0", "-9.214176537319943048L-21" },
 383
 384 { "-1.146684367801419132L-21", "0.3317375182580383851L0",
 385   "-1", "0.3317375182580383851L0" },
 386
 387 { "9.8958965362796452575L-23", "-8742129.925142999928L0",
 388   "-1", "-8742129.925142999928L0" },
 389
 390 { "-8.629925553125559817L-22", "1.4904768761159059732L9",
 391   "-1", "1.4904768761159059732L9" },
 392
 393 { "-1.7636696713810751494L-21", "1.2803675755746476424L9",
 394   "-1", "1.2803675755746476424L9" },
 395
 396 { "7.8572218293550540256L-21", "7.311951574932556098L9",
 397   "0", "7.8572218293550540256L-21" },
 398
 399 { "5.8831628670454666175L-21", "-2.430599936529262355L9",
 400   "-1", "-2.430599936529262355L9" },
 401
 402 { "5.891885696934149925L-21", "6.0077688200842341403L9",
 403   "0", "5.891885696934149925L-21" },
 404
 405 { "-5.5378511525885539255L-21", "-4.317564477957860586L-11",
 406   "0", "-5.5378511525885539255L-21" },
 407
 408 { "-1.9525004120740256159L-21", "9.454884961900014292L-11",
 409   "-1", "9.454884961704764251L-11" },
 410
 411 { "5.461359828153347278L-21", "-9.7061135180917529105L-11",
 412   "-1", "-9.706113517545616928L-11" },
 413
 414 { "9.644530490453124287L-21", "8.28693431641614359L-11",
 415   "0", "9.644530490453124287L-21" },
 416
 417 { "8.997549905605484822L-21", "5.2672865249640494307L-11",
 418   "0", "8.997549905605484822L-21" },
 419
 420 { "-1.55338435917637846L-21", "5.9708770769690056966L-11",
 421   "-1", "5.9708770768136672606L-11" },
 422
 423 { "3.9285675924255819076L-21", "5.674913585946206864L19",
 424   "0", "3.9285675924255819076L-21" },
 425
 426 { "-3.6185336116295331734L-21", "-9.043926006483480333L19",
 427   "0", "-3.6185336116295331734L-21" },
 428
 429 { "-7.32672036508508268L-21", "1.205614654464109627L19",
 430   "-1", "1.205614654464109627L19" },
 431
 432 { "-3.3565132746900103151L-21", "8.585503247975515849L19",
 433   "-1", "8.585503247975515849L19" },
 434
 435 { "-6.9204354176156616745L-21", "-3.6158709669328356396L19",
 436   "0", "-6.9204354176156616745L-21" },
 437
 438 { "-7.5176747956103960436L-21", "9.3440027997860057096L19",
 439   "-1", "9.3440027997860057096L19" },
 440
 441 { "-6.302622462978502841L-21", "8.1107309029375862425L-21",
 442   "-1", "1.8081084399590834014L-21" },
 443
 444 { "1.4803054325001667241L-22", "6.3345497995208400772L-21",
 445   "0", "1.4803054325001667241L-22" },
 446
 447 { "-5.7089861270321677843L-21", "9.540482421100450586L-21",
 448   "-1", "3.831496294068282802L-21" },
 449
 450 { "3.3765199428161524112L-21", "9.669802014415968729L-21",
 451   "0", "3.3765199428161524112L-21" },
 452
 453 { "7.52101063082155294L-21", "8.827949370572986921L-21",
 454   "0", "7.52101063082155294L-21" },
 455
 456 { "4.196504310402249954L-23", "3.785428476220113075L-21",
 457   "0", "4.196504310402249954L-23" },
 458
 459 };