tests/exam_DF_floor.cc

   1 #include "exam.h"
   2 #include <cln/dfloat.h>
   3 #include <cln/dfloat_io.h>
   4 #include <cln/integer.h>
   5 #include <cln/integer_io.h>
   6
   7 static floor_test dfloat_floor_tests[] = {
   8
   9 { "0.6173351962722496d0", "-0.11820538775792844d0",
  10   "-6", "-0.09189713027532098d0" },
  11
  12 { "-0.17517225806171177d0", "0.1118228341753209d0",
  13   "-2", "0.04847341028893004d0" },
  14
  15 { "-0.9387909021047899d0", "-0.16826318310698907d0",
  16   "5", "-0.09747498656984459d0" },
  17
  18 { "0.8036728904567848d0", "0.6774308237913269d0",
  19   "1", "0.1262420666654578d0" },
  20
  21 { "0.6882568422881421d0", "0.3302150266778784d0",
  22   "2", "0.02782678893238538d0" },
  23
  24 { "0.3618917435888378d0", "0.5454396894763598d0",
  25   "0", "0.3618917435888378d0" },
  26
  27 { "-0.478470818234076d0", "9.035797971846054d9",
  28   "-1", "9.035797971367584d9" },
  29
  30 { "0.6423779722022549d0", "2.0589504447793393d9",
  31   "0", "0.6423779722022549d0" },
  32
  33 { "0.21698095744051404d0", "1.570908384361449d9",
  34   "0", "0.21698095744051404d0" },
  35
  36 { "0.24033995915823747d0", "6.968395233824382d9",
  37   "0", "0.24033995915823747d0" },
  38
  39 { "-0.8531247643149816d0", "-5.299783511441018d9",
  40   "0", "-0.8531247643149817d0" },
  41
  42 { "-0.5134978162655872d0", "2.297671112225289d9",
  43   "-1", "2.297671111711791d9" },
  44
  45 { "0.6192405432591311d0", "5.4403538407469436d-11",
  46   "11382357864", "3.744539199218032d-11" },
  47
  48 { "-0.20340731452742233d0", "5.44351944436815d-12",
  49   "-37366875715", "2.4681729170135434d-12" },
  50
  51 { "-0.29394735220898527d0", "-3.6328318262890404d-12",
  52   "80914109505", "-3.3847154436219604d-12" },
  53
  54 { "-0.8359336184185098d0", "6.064791537508077d-11",
  55   "-13783385847", "1.2432123964511977d-11" },
  56
  57 { "-0.9762544843227843d0", "2.2086465633336306d-11",
  58   "-44201480696", "1.1997821346734454d-11" },
  59
  60 { "-0.2919696169517234d0", "6.922295436251983d-11",
  61   "-4217815025", "3.3402028237741715d-11" },
  62
  63 { "0.9452118035872986d0", "-1.1093667270485797d19",
  64   "-1", "-1.1093667270485797d19" },
  65
  66 { "0.3379784391207531d0", "-3.0106029588222304d19",
  67   "-1", "-3.0106029588222304d19" },
  68
  69 { "0.3907483945162724d0", "-9.823409070968835d19",
  70   "-1", "-9.823409070968835d19" },
  71
  72 { "-0.4293216868359586d0", "5.965415751655242d19",
  73   "-1", "5.965415751655242d19" },
  74
  75 { "0.13727607148241305d0", "-8.310631671228052d19",
  76   "-1", "-8.310631671228052d19" },
  77
  78 { "-0.7478116595122868d0", "7.235991436975452d19",
  79   "-1", "7.235991436975452d19" },
  80
  81 { "-0.9425796643098138d0", "-1.7749544068364875d-21",
  82   "531044437355311857664", "0.0d0" },
  83
  84 { "0.20835281321620536d0", "2.7983277403481253d-21",
  85   "74456186890490986496", "0.0d0" },
  86
  87 { "-0.5404541167071248d0", "9.266841531614177d-22",
  88   "-583212861537931100160", "0.0d0" },
  89
  90 { "-0.06796825059990208d0", "-6.350644782153893d-21",
  91   "10702574767038046208", "0.0d0" },
  92
  93 { "0.30647600932087793d0", "-9.704243038852408d-21",
  94   "-31581650221851901952", "0.0d0" },
  95
  96 { "-0.7939481974521416d0", "-7.44148349933678d-21",
  97   "106692193501860495360", "0.0d0" },
  98
  99 { "2.622471924924206d9", "0.3428958732728865d0",
 100   "7648012499", "0.2776496600055352d0" },
 101
 102 { "9.96303133513731d9", "-0.6839887200892081d0",
 103   "-14566075496", "-0.09450688719173875d0" },
 104
 105 { "9.438132647041376d8", "-0.9350840745499996d0",
 106   "-1009335193", "-0.15301271996267998d0" },
 107
 108 { "-5.031281076435459d9", "0.8566679205528436d0",
 109   "-5873082155", "0.5244045303768723d0" },
 110
 111 { "-9.504293159523993d9", "-0.17779074115973026d0",
 112   "53457750935", "-0.058079864158457416d0" },
 113
 114 { "5.593337221858664d8", "0.6365106532159245d0",
 115   "878749977", "0.3121177083383602d0" },
 116
 117 { "-9.849085830660753d9", "5.465582064164139d9",
 118   "-2", "1.0820782976675239d9" },
 119
 120 { "6.254242990207708d9", "1.9986128256161973d9",
 121   "3", "2.5840451335911673d8" },
 122
 123 { "-9.644949290710447d9", "3.677515142398587d9",
 124   "-3", "1.3875961364853137d9" },
 125
 126 { "9.966654669106707d9", "3.622741134738514d9",
 127   "2", "2.7211723996296782d9" },
 128
 129 { "-7.024110605080818d9", "-1.3131548351819434d9",
 130   "5", "-4.583364291711011d8" },
 131
 132 { "-4.5982831731090415d8", "-4.587607917895467d9",
 133   "0", "-4.5982831731090415d8" },
 134
 135 { "6.779683583609543d9", "-8.732134194560264d-11",
 136   "-77640625218895380480", "0.0d0" },
 137
 138 { "3.040910010354103d8", "-6.386892985922651d-11",
 139   "-4761172634419539968", "0.0d0" },
 140
 141 { "-9.081490496057175d9", "-8.389512916135551d-11",
 142   "108248125807050637312", "0.0d0" },
 143
 144 { "-2.3391140718625803d9", "4.078343101769488d-11",
 145   "-57354519065541566464", "0.0d0" },
 146
 147 { "9.740679130260033d9", "-4.1307299498162d-11",
 148   "-235810117064018001920", "0.0d0" },
 149
 150 { "4.630742761978566d9", "-8.36053471494181d-11",
 151   "-55388117146413842432", "0.0d0" },
 152
 153 { "6.607827158404311d8", "1.9791074337467208d19",
 154   "0", "6.607827158404311d8" },
 155
 156 { "1.5835379695092866d9", "-5.599741962857091d19",
 157   "-1", "-5.599741962698737d19" },
 158
 159 { "-9.972337740404726d9", "-1.4833907125668299d19",
 160   "0", "-9.972337740404726d9" },
 161
 162 { "-2.8545208802037845d9", "5.460276762513134d19",
 163   "-1", "5.4602767622276825d19" },
 164
 165 { "3.4574292483978963d9", "8.177006210253868d19",
 166   "0", "3.4574292483978963d9" },
 167
 168 { "-6.94800692720856d9", "5.400944544004402d19",
 169   "-1", "5.400944543309601d19" },
 170
 171 { "2.2301147741459103d9", "4.352417825189536d-22",
 172   "5123852680777023531125296857088", "0.0d0" },
 173
 174 { "2.855798499915275d9", "-2.1597757039453335d-21",
 175   "-1322266240285272897749142994944", "0.0d0" },
 176
 177 { "6.247757812861889d9", "-8.000803060408911d-21",
 178   "-780891338743010366964468023296", "0.0d0" },
 179
 180 { "-8.41352264607702d8", "2.4583479152659926d-21",
 181   "-342242958933120698647142465536", "0.0d0" },
 182
 183 { "9.08798064415713d9", "-4.6826703076651156d-21",
 184   "-1940768844921862497464005689344", "0.0d0" },
 185
 186 { "-2.450923950975804d9", "-8.516681149015905d-21",
 187   "287779230910741073293637320704", "0.0d0" },
 188
 189 { "-6.535114995775952d-11", "-0.4217447234387455d0",
 190   "0", "-6.535114995775952d-11" },
 191
 192 { "6.91351782048677d-13", "-0.8578740601420116d0",
 193   "-1", "-0.8578740601413203d0" },
 194
 195 { "-9.879448244992307d-11", "-0.6016918305263045d0",
 196   "0", "-9.879448244992307d-11" },
 197
 198 { "7.820572196574365d-11", "-0.8508242256358738d0",
 199   "-1", "-0.8508242255576681d0" },
 200
 201 { "-4.4420680878896835d-11", "0.6509799475016377d0",
 202   "-1", "0.650979947457217d0" },
 203
 204 { "-8.35377304874932d-11", "-0.7623592484047194d0",
 205   "0", "-8.35377304874932d-11" },
 206
 207 { "-4.697219220983554d-11", "-2.0199834401398075d9",
 208   "0", "-4.697219220983554d-11" },
 209
 210 { "4.027899822164905d-11", "-3.0043885624092436d8",
 211   "-1", "-3.0043885624092436d8" },
 212
 213 { "-9.473748837497406d-11", "-6.081705720880249d8",
 214   "0", "-9.473748837497406d-11" },
 215
 216 { "-6.257060775257221d-11", "4.479345462936419d9",
 217   "-1", "4.479345462936419d9" },
 218
 219 { "-4.076402998599221d-11", "3.0379052042471523d9",
 220   "-1", "3.0379052042471523d9" },
 221
 222 { "3.2516054170046405d-11", "9.075782126517027d9",
 223   "0", "3.2516054170046405d-11" },
 224
 225 { "7.77186165285192d-12", "-7.011585244893556d-11",
 226   "-1", "-6.234399079608364d-11" },
 227
 228 { "-4.129939073543463d-11", "-4.398862671531905d-11",
 229   "0", "-4.129939073543463d-11" },
 230
 231 { "-4.986332353670153d-11", "4.056354917830567d-11",
 232   "-2", "3.126377481990981d-11" },
 233
 234 { "-6.358815251785654d-11", "3.044610839789864d-11",
 235   "-3", "2.7750172675839383d-11" },
 236
 237 { "-1.5218538547762808d-11", "-4.9239841620755075d-11",
 238   "0", "-1.5218538547762808d-11" },
 239
 240 { "-3.714719523899548d-11", "-3.338962509681127d-11",
 241   "1", "-3.757570142184203d-12" },
 242
 243 { "-3.7559900032627426d-11", "-7.103620895893612d19",
 244   "0", "-3.7559900032627426d-11" },
 245
 246 { "3.442771371655891d-11", "3.2650979291930292d19",
 247   "0", "3.442771371655891d-11" },
 248
 249 { "-8.026236668129701d-11", "-7.030175018925641d19",
 250   "0", "-8.026236668129701d-11" },
 251
 252 { "4.0245932625540036d-11", "9.919022649131396d19",
 253   "0", "4.0245932625540036d-11" },
 254
 255 { "6.558019989897738d-11", "9.805879474847002d19",
 256   "0", "6.558019989897738d-11" },
 257
 258 { "-8.950419173616613d-11", "7.8967335533488d19",
 259   "-1", "7.8967335533488d19" },
 260
 261 { "-4.2555105814142415d-11", "-7.367149245343951d-22",
 262   "57763327980", "-5.012024424412273d-22" },
 263
 264 { "-7.125466497249949d-11", "-9.625683307253578d-21",
 265   "7402556545", "-6.2922712544984485d-21" },
 266
 267 { "8.076311292972551d-11", "5.7198456178965606d-21",
 268   "14119806429", "1.262169607592943d-21" },
 269
 270 { "-7.024787982764915d-11", "1.5125149703168537d-21",
 271   "-46444419531", "6.648179051963393d-22" },
 272
 273 { "2.3153240875994985d-11", "-1.5025822462858028d-21",
 274   "-15408967419", "-1.3907844732195436d-21" },
 275
 276 { "9.445189938981536d-11", "-1.8886893988697117d-21",
 277   "-50009228329", "-8.218058303553574d-22" },
 278
 279 { "-8.982223463756733d19", "0.20677548795071854d0",
 280   "-434394983311440412672", "0.0d0" },
 281
 282 { "-2.6872844858317455d19", "0.00946240694180256d0",
 283   "-2839958693765316083712", "0.0d0" },
 284
 285 { "-9.566658458393646d19", "-0.38847162936974444d0",
 286   "246264018659858710528", "0.0d0" },
 287
 288 { "-4.235085548018657d19", "-0.06527446136754045d0",
 289   "648812025299173376000", "0.0d0" },
 290
 291 { "2.8443413501845017d19", "-0.04996947402848739d0",
 292   "-569215787335074643968", "0.0d0" },
 293
 294 { "-4.484750058861429d19", "-0.2338784192921971d0",
 295   "191755616975433072640", "0.0d0" },
 296
 297 { "-2.986802109112903d19", "5.923385648786668d9",
 298   "-5042390090", "3.561083576852057d9" },
 299
 300 { "8.088567504347222d18", "9.070536452627407d9",
 301   "891740807", "8.158341046664973d9" },
 302
 303 { "-3.09688480137261d19", "-6.508291621550677d9",
 304   "4758368219", "-1.75538588669977d9" },
 305
 306 { "4.226418080435591d19", "7.892147197133178d9",
 307   "5355219530", "6.335538696917366d8" },
 308
 309 { "1.4013831972690205d19", "-2.4924246236187544d9",
 310   "-5622570023", "-6.556610185422871d8" },
 311
 312 { "6.1838203826708914d19", "8.941814127664919d9",
 313   "6915621700", "8.062833976289089d9" },
 314
 315 { "-6.916774706038343d18", "3.120694095597196d-11",
 316   "-221642189018039718512504602624", "0.0d0" },
 317
 318 { "9.435687674071892d19", "-3.149833308668829d-11",
 319   "-2995614926067172775889444274176", "0.0d0" },
 320
 321 { "-6.212546775235241d19", "3.239266009361982d-11",
 322   "-1917887187183768183263136317440", "0.0d0" },
 323
 324 { "4.749482734068419d19", "-5.5235623432819116d-11",
 325   "-859858627258009608103722483712", "0.0d0" },
 326
 327 { "3.0587261660909548d19", "4.4929685621578874d-11",
 328   "680780674018761986414328414208", "0.0d0" },
 329
 330 { "4.141754743467259d19", "5.235000122629564d-11",
 331   "791166121575339566219965497344", "0.0d0" },
 332
 333 { "-1.2481803107227873d19", "7.39878580568375d18",
 334   "-2", "2.3157685041396265d18" },
 335
 336 { "-1.5884453212818639d19", "-8.336283910718495d19",
 337   "0", "-1.5884453212818639d19" },
 338
 339 { "5.000368279611168d19", "-5.031778160332162d19",
 340   "-1", "-3.1409880720993677d17" },
 341
 342 { "-3.6360612893747024d19", "4.7875734964388405d19",
 343   "-1", "1.1515122070641383d19" },
 344
 345 { "2.357251757890727d19", "-4.493498319637942d19",
 346   "-1", "-2.136246561747215d19" },
 347
 348 { "5.0747068626287395d19", "8.591364094011977d19",
 349   "0", "5.0747068626287395d19" },
 350
 351 { "2.1440483442615423d19", "9.668454918695627d-21",
 352   "2217570813838780736509865871750106972160", "0.0d0" },
 353
 354 { "8.818664212173065d19", "-8.186497379734964d-21",
 355   "-10772206724212702608743560617665161592832", "0.0d0" },
 356
 357 { "-7.376250633760416d19", "-6.382238421048869d-21",
 358   "11557466435965877316178494055246213414912", "0.0d0" },
 359
 360 { "-4.374244855009332d19", "3.864539687646209d-21",
 361   "-11318928536282082575630148538694692241408", "0.0d0" },
 362
 363 { "7.578656580690454d19", "9.103502086399884d-22",
 364   "83249902166909342613269419960118328426496", "0.0d0" },
 365
 366 { "5.759312769216988d19", "-9.830658049049094d-21",
 367   "-5858522125865295462884970652182979280896", "0.0d0" },
 368
 369 { "-7.091696063135083d-21", "0.3220521420236615d0",
 370   "-1", "0.3220521420236615d0" },
 371
 372 { "-7.472975994693659d-21", "-0.06404310380828848d0",
 373   "0", "-7.472975994693657d-21" },
 374
 375 { "2.2994935284804662d-21", "0.8294627436562217d0",
 376   "0", "2.2994935284804662d-21" },
 377
 378 { "-6.098532726052559d-21", "-0.5103342535054871d0",
 379   "0", "-6.098532726052559d-21" },
 380
 381 { "-7.8237727943808d-21", "0.20193503990844952d0",
 382   "-1", "0.20193503990844952d0" },
 383
 384 { "-5.357065560054238d-21", "0.535324456368991d0",
 385   "-1", "0.535324456368991d0" },
 386
 387 { "8.67862366495009d-23", "5.869284875063336d9",
 388   "0", "8.67862366495009d-23" },
 389
 390 { "-3.913399519946995d-21", "4.645302733766437d9",
 391   "-1", "4.645302733766437d9" },
 392
 393 { "6.256033435453117d-21", "3.5904533516671333d9",
 394   "0", "6.2560334354531166d-21" },
 395
 396 { "-7.970558626381476d-21", "4.548434922363557d9",
 397   "-1", "4.548434922363557d9" },
 398
 399 { "7.442840440717647d-21", "-3.3266294818989463d9",
 400   "-1", "-3.3266294818989463d9" },
 401
 402 { "-4.6732789449833775d-21", "5.614289998802058d8",
 403   "-1", "5.614289998802058d8" },
 404
 405 { "7.136201304639634d-21", "-1.152382297069954d-12",
 406   "-1", "-1.1523822899337527d-12" },
 407
 408 { "-7.575364316308001d-21", "-4.790622052171537d-11",
 409   "0", "-7.575364316308001d-21" },
 410
 411 { "9.212759331893804d-21", "-6.41398602124991d-11",
 412   "-1", "-6.413986020328634d-11" },
 413
 414 { "-1.9103188467401064d-21", "-5.1860189481412404d-11",
 415   "0", "-1.9103188467401064d-21" },
 416
 417 { "-4.473075242507236d-21", "2.3036197131739102d-11",
 418   "-1", "2.303619712726603d-11" },
 419
 420 { "5.138595152941494d-21", "2.9424719822474346d-11",
 421   "0", "5.138595152941494d-21" },
 422
 423 { "-5.137698996313833d-22", "2.2468745456943227d19",
 424   "-1", "2.2468745456943227d19" },
 425
 426 { "-7.229848882029144d-21", "-3.031606285079872d19",
 427   "0", "-7.229848882029144d-21" },
 428
 429 { "-6.85451854164106d-21", "1.7676693722776926d19",
 430   "-1", "1.7676693722776926d19" },
 431
 432 { "5.372223270507929d-21", "-7.439745956384552d19",
 433   "-1", "-7.439745956384552d19" },
 434
 435 { "5.598138480271164d-21", "5.149401801116799d19",
 436   "0", "5.598138480271163d-21" },
 437
 438 { "9.285618896860432d-21", "6.546424273112694d19",
 439   "0", "9.285618896860432d-21" },
 440
 441 { "7.511556502656318d-21", "4.2351039143592516d-21",
 442   "1", "3.2764525882970666d-21" },
 443
 444 { "6.050106800286075d-21", "-1.187392681676287d-21",
 445   "-6", "-1.0742492897716469d-21" },
 446
 447 { "4.274671258683056d-21", "8.647095729321104d-21",
 448   "0", "4.274671258683056d-21" },
 449
 450 { "7.344809600387072d-21", "6.305446958850813d-21",
 451   "1", "1.039362641536258d-21" },
 452
 453 { "9.753544125648588d-21", "9.227661371269332d-21",
 454   "1", "5.258827543792571d-22" },
 455
 456 { "-7.227362780459908d-21", "-6.70179577363263d-21",
 457   "1", "-5.255670068272766d-22" },
 458
 459 };