123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798 |
- ------------------------------------------------------------------------
- -- comparetotal.decTest -- decimal comparison using total ordering --
- -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
- ------------------------------------------------------------------------
- -- Please see the document "General Decimal Arithmetic Testcases" --
- -- at http://www2.hursley.ibm.com/decimal for the description of --
- -- these testcases. --
- -- --
- -- These testcases are experimental ('beta' versions), and they --
- -- may contain errors. They are offered on an as-is basis. In --
- -- particular, achieving the same results as the tests here is not --
- -- a guarantee that an implementation complies with any Standard --
- -- or specification. The tests are not exhaustive. --
- -- --
- -- Please send comments, suggestions, and corrections to the author: --
- -- Mike Cowlishaw, IBM Fellow --
- -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
- -- mfc@uk.ibm.com --
- ------------------------------------------------------------------------
- version: 2.59
- -- Note that we cannot assume add/subtract tests cover paths adequately,
- -- here, because the code might be quite different (comparison cannot
- -- overflow or underflow, so actual subtractions are not necessary).
- -- Similarly, comparetotal will have some radically different paths
- -- than compare.
- extended: 1
- precision: 16
- rounding: half_up
- maxExponent: 384
- minExponent: -383
- -- sanity checks
- cotx001 comparetotal -2 -2 -> 0
- cotx002 comparetotal -2 -1 -> -1
- cotx003 comparetotal -2 0 -> -1
- cotx004 comparetotal -2 1 -> -1
- cotx005 comparetotal -2 2 -> -1
- cotx006 comparetotal -1 -2 -> 1
- cotx007 comparetotal -1 -1 -> 0
- cotx008 comparetotal -1 0 -> -1
- cotx009 comparetotal -1 1 -> -1
- cotx010 comparetotal -1 2 -> -1
- cotx011 comparetotal 0 -2 -> 1
- cotx012 comparetotal 0 -1 -> 1
- cotx013 comparetotal 0 0 -> 0
- cotx014 comparetotal 0 1 -> -1
- cotx015 comparetotal 0 2 -> -1
- cotx016 comparetotal 1 -2 -> 1
- cotx017 comparetotal 1 -1 -> 1
- cotx018 comparetotal 1 0 -> 1
- cotx019 comparetotal 1 1 -> 0
- cotx020 comparetotal 1 2 -> -1
- cotx021 comparetotal 2 -2 -> 1
- cotx022 comparetotal 2 -1 -> 1
- cotx023 comparetotal 2 0 -> 1
- cotx025 comparetotal 2 1 -> 1
- cotx026 comparetotal 2 2 -> 0
- cotx031 comparetotal -20 -20 -> 0
- cotx032 comparetotal -20 -10 -> -1
- cotx033 comparetotal -20 00 -> -1
- cotx034 comparetotal -20 10 -> -1
- cotx035 comparetotal -20 20 -> -1
- cotx036 comparetotal -10 -20 -> 1
- cotx037 comparetotal -10 -10 -> 0
- cotx038 comparetotal -10 00 -> -1
- cotx039 comparetotal -10 10 -> -1
- cotx040 comparetotal -10 20 -> -1
- cotx041 comparetotal 00 -20 -> 1
- cotx042 comparetotal 00 -10 -> 1
- cotx043 comparetotal 00 00 -> 0
- cotx044 comparetotal 00 10 -> -1
- cotx045 comparetotal 00 20 -> -1
- cotx046 comparetotal 10 -20 -> 1
- cotx047 comparetotal 10 -10 -> 1
- cotx048 comparetotal 10 00 -> 1
- cotx049 comparetotal 10 10 -> 0
- cotx050 comparetotal 10 20 -> -1
- cotx051 comparetotal 20 -20 -> 1
- cotx052 comparetotal 20 -10 -> 1
- cotx053 comparetotal 20 00 -> 1
- cotx055 comparetotal 20 10 -> 1
- cotx056 comparetotal 20 20 -> 0
- cotx061 comparetotal -2.0 -2.0 -> 0
- cotx062 comparetotal -2.0 -1.0 -> -1
- cotx063 comparetotal -2.0 0.0 -> -1
- cotx064 comparetotal -2.0 1.0 -> -1
- cotx065 comparetotal -2.0 2.0 -> -1
- cotx066 comparetotal -1.0 -2.0 -> 1
- cotx067 comparetotal -1.0 -1.0 -> 0
- cotx068 comparetotal -1.0 0.0 -> -1
- cotx069 comparetotal -1.0 1.0 -> -1
- cotx070 comparetotal -1.0 2.0 -> -1
- cotx071 comparetotal 0.0 -2.0 -> 1
- cotx072 comparetotal 0.0 -1.0 -> 1
- cotx073 comparetotal 0.0 0.0 -> 0
- cotx074 comparetotal 0.0 1.0 -> -1
- cotx075 comparetotal 0.0 2.0 -> -1
- cotx076 comparetotal 1.0 -2.0 -> 1
- cotx077 comparetotal 1.0 -1.0 -> 1
- cotx078 comparetotal 1.0 0.0 -> 1
- cotx079 comparetotal 1.0 1.0 -> 0
- cotx080 comparetotal 1.0 2.0 -> -1
- cotx081 comparetotal 2.0 -2.0 -> 1
- cotx082 comparetotal 2.0 -1.0 -> 1
- cotx083 comparetotal 2.0 0.0 -> 1
- cotx085 comparetotal 2.0 1.0 -> 1
- cotx086 comparetotal 2.0 2.0 -> 0
- -- now some cases which might overflow if subtract were used
- maxexponent: 999999999
- minexponent: -999999999
- cotx090 comparetotal 9.99999999E+999999999 9.99999999E+999999999 -> 0
- cotx091 comparetotal -9.99999999E+999999999 9.99999999E+999999999 -> -1
- cotx092 comparetotal 9.99999999E+999999999 -9.99999999E+999999999 -> 1
- cotx093 comparetotal -9.99999999E+999999999 -9.99999999E+999999999 -> 0
- -- Examples
- cotx094 comparetotal 12.73 127.9 -> -1
- cotx095 comparetotal -127 12 -> -1
- cotx096 comparetotal 12.30 12.3 -> -1
- cotx097 comparetotal 12.30 12.30 -> 0
- cotx098 comparetotal 12.3 12.300 -> 1
- cotx099 comparetotal 12.3 NaN -> -1
- -- some differing length/exponent cases
- -- in this first group, compare would compare all equal
- cotx100 comparetotal 7.0 7.0 -> 0
- cotx101 comparetotal 7.0 7 -> -1
- cotx102 comparetotal 7 7.0 -> 1
- cotx103 comparetotal 7E+0 7.0 -> 1
- cotx104 comparetotal 70E-1 7.0 -> 0
- cotx105 comparetotal 0.7E+1 7 -> 0
- cotx106 comparetotal 70E-1 7 -> -1
- cotx107 comparetotal 7.0 7E+0 -> -1
- cotx108 comparetotal 7.0 70E-1 -> 0
- cotx109 comparetotal 7 0.7E+1 -> 0
- cotx110 comparetotal 7 70E-1 -> 1
- cotx120 comparetotal 8.0 7.0 -> 1
- cotx121 comparetotal 8.0 7 -> 1
- cotx122 comparetotal 8 7.0 -> 1
- cotx123 comparetotal 8E+0 7.0 -> 1
- cotx124 comparetotal 80E-1 7.0 -> 1
- cotx125 comparetotal 0.8E+1 7 -> 1
- cotx126 comparetotal 80E-1 7 -> 1
- cotx127 comparetotal 8.0 7E+0 -> 1
- cotx128 comparetotal 8.0 70E-1 -> 1
- cotx129 comparetotal 8 0.7E+1 -> 1
- cotx130 comparetotal 8 70E-1 -> 1
- cotx140 comparetotal 8.0 9.0 -> -1
- cotx141 comparetotal 8.0 9 -> -1
- cotx142 comparetotal 8 9.0 -> -1
- cotx143 comparetotal 8E+0 9.0 -> -1
- cotx144 comparetotal 80E-1 9.0 -> -1
- cotx145 comparetotal 0.8E+1 9 -> -1
- cotx146 comparetotal 80E-1 9 -> -1
- cotx147 comparetotal 8.0 9E+0 -> -1
- cotx148 comparetotal 8.0 90E-1 -> -1
- cotx149 comparetotal 8 0.9E+1 -> -1
- cotx150 comparetotal 8 90E-1 -> -1
- -- and again, with sign changes -+ ..
- cotx200 comparetotal -7.0 7.0 -> -1
- cotx201 comparetotal -7.0 7 -> -1
- cotx202 comparetotal -7 7.0 -> -1
- cotx203 comparetotal -7E+0 7.0 -> -1
- cotx204 comparetotal -70E-1 7.0 -> -1
- cotx205 comparetotal -0.7E+1 7 -> -1
- cotx206 comparetotal -70E-1 7 -> -1
- cotx207 comparetotal -7.0 7E+0 -> -1
- cotx208 comparetotal -7.0 70E-1 -> -1
- cotx209 comparetotal -7 0.7E+1 -> -1
- cotx210 comparetotal -7 70E-1 -> -1
- cotx220 comparetotal -8.0 7.0 -> -1
- cotx221 comparetotal -8.0 7 -> -1
- cotx222 comparetotal -8 7.0 -> -1
- cotx223 comparetotal -8E+0 7.0 -> -1
- cotx224 comparetotal -80E-1 7.0 -> -1
- cotx225 comparetotal -0.8E+1 7 -> -1
- cotx226 comparetotal -80E-1 7 -> -1
- cotx227 comparetotal -8.0 7E+0 -> -1
- cotx228 comparetotal -8.0 70E-1 -> -1
- cotx229 comparetotal -8 0.7E+1 -> -1
- cotx230 comparetotal -8 70E-1 -> -1
- cotx240 comparetotal -8.0 9.0 -> -1
- cotx241 comparetotal -8.0 9 -> -1
- cotx242 comparetotal -8 9.0 -> -1
- cotx243 comparetotal -8E+0 9.0 -> -1
- cotx244 comparetotal -80E-1 9.0 -> -1
- cotx245 comparetotal -0.8E+1 9 -> -1
- cotx246 comparetotal -80E-1 9 -> -1
- cotx247 comparetotal -8.0 9E+0 -> -1
- cotx248 comparetotal -8.0 90E-1 -> -1
- cotx249 comparetotal -8 0.9E+1 -> -1
- cotx250 comparetotal -8 90E-1 -> -1
- -- and again, with sign changes +- ..
- cotx300 comparetotal 7.0 -7.0 -> 1
- cotx301 comparetotal 7.0 -7 -> 1
- cotx302 comparetotal 7 -7.0 -> 1
- cotx303 comparetotal 7E+0 -7.0 -> 1
- cotx304 comparetotal 70E-1 -7.0 -> 1
- cotx305 comparetotal .7E+1 -7 -> 1
- cotx306 comparetotal 70E-1 -7 -> 1
- cotx307 comparetotal 7.0 -7E+0 -> 1
- cotx308 comparetotal 7.0 -70E-1 -> 1
- cotx309 comparetotal 7 -.7E+1 -> 1
- cotx310 comparetotal 7 -70E-1 -> 1
- cotx320 comparetotal 8.0 -7.0 -> 1
- cotx321 comparetotal 8.0 -7 -> 1
- cotx322 comparetotal 8 -7.0 -> 1
- cotx323 comparetotal 8E+0 -7.0 -> 1
- cotx324 comparetotal 80E-1 -7.0 -> 1
- cotx325 comparetotal .8E+1 -7 -> 1
- cotx326 comparetotal 80E-1 -7 -> 1
- cotx327 comparetotal 8.0 -7E+0 -> 1
- cotx328 comparetotal 8.0 -70E-1 -> 1
- cotx329 comparetotal 8 -.7E+1 -> 1
- cotx330 comparetotal 8 -70E-1 -> 1
- cotx340 comparetotal 8.0 -9.0 -> 1
- cotx341 comparetotal 8.0 -9 -> 1
- cotx342 comparetotal 8 -9.0 -> 1
- cotx343 comparetotal 8E+0 -9.0 -> 1
- cotx344 comparetotal 80E-1 -9.0 -> 1
- cotx345 comparetotal .8E+1 -9 -> 1
- cotx346 comparetotal 80E-1 -9 -> 1
- cotx347 comparetotal 8.0 -9E+0 -> 1
- cotx348 comparetotal 8.0 -90E-1 -> 1
- cotx349 comparetotal 8 -.9E+1 -> 1
- cotx350 comparetotal 8 -90E-1 -> 1
- -- and again, with sign changes -- ..
- cotx400 comparetotal -7.0 -7.0 -> 0
- cotx401 comparetotal -7.0 -7 -> 1
- cotx402 comparetotal -7 -7.0 -> -1
- cotx403 comparetotal -7E+0 -7.0 -> -1
- cotx404 comparetotal -70E-1 -7.0 -> 0
- cotx405 comparetotal -.7E+1 -7 -> 0
- cotx406 comparetotal -70E-1 -7 -> 1
- cotx407 comparetotal -7.0 -7E+0 -> 1
- cotx408 comparetotal -7.0 -70E-1 -> 0
- cotx409 comparetotal -7 -.7E+1 -> 0
- cotx410 comparetotal -7 -70E-1 -> -1
- cotx420 comparetotal -8.0 -7.0 -> -1
- cotx421 comparetotal -8.0 -7 -> -1
- cotx422 comparetotal -8 -7.0 -> -1
- cotx423 comparetotal -8E+0 -7.0 -> -1
- cotx424 comparetotal -80E-1 -7.0 -> -1
- cotx425 comparetotal -.8E+1 -7 -> -1
- cotx426 comparetotal -80E-1 -7 -> -1
- cotx427 comparetotal -8.0 -7E+0 -> -1
- cotx428 comparetotal -8.0 -70E-1 -> -1
- cotx429 comparetotal -8 -.7E+1 -> -1
- cotx430 comparetotal -8 -70E-1 -> -1
- cotx440 comparetotal -8.0 -9.0 -> 1
- cotx441 comparetotal -8.0 -9 -> 1
- cotx442 comparetotal -8 -9.0 -> 1
- cotx443 comparetotal -8E+0 -9.0 -> 1
- cotx444 comparetotal -80E-1 -9.0 -> 1
- cotx445 comparetotal -.8E+1 -9 -> 1
- cotx446 comparetotal -80E-1 -9 -> 1
- cotx447 comparetotal -8.0 -9E+0 -> 1
- cotx448 comparetotal -8.0 -90E-1 -> 1
- cotx449 comparetotal -8 -.9E+1 -> 1
- cotx450 comparetotal -8 -90E-1 -> 1
- -- testcases that subtract to lots of zeros at boundaries [pgr]
- precision: 40
- cotx470 comparetotal 123.4560000000000000E789 123.456E789 -> -1
- cotx471 comparetotal 123.456000000000000E-89 123.456E-89 -> -1
- cotx472 comparetotal 123.45600000000000E789 123.456E789 -> -1
- cotx473 comparetotal 123.4560000000000E-89 123.456E-89 -> -1
- cotx474 comparetotal 123.456000000000E789 123.456E789 -> -1
- cotx475 comparetotal 123.45600000000E-89 123.456E-89 -> -1
- cotx476 comparetotal 123.4560000000E789 123.456E789 -> -1
- cotx477 comparetotal 123.456000000E-89 123.456E-89 -> -1
- cotx478 comparetotal 123.45600000E789 123.456E789 -> -1
- cotx479 comparetotal 123.4560000E-89 123.456E-89 -> -1
- cotx480 comparetotal 123.456000E789 123.456E789 -> -1
- cotx481 comparetotal 123.45600E-89 123.456E-89 -> -1
- cotx482 comparetotal 123.4560E789 123.456E789 -> -1
- cotx483 comparetotal 123.456E-89 123.456E-89 -> 0
- cotx484 comparetotal 123.456E-89 123.4560000000000000E-89 -> 1
- cotx485 comparetotal 123.456E789 123.456000000000000E789 -> 1
- cotx486 comparetotal 123.456E-89 123.45600000000000E-89 -> 1
- cotx487 comparetotal 123.456E789 123.4560000000000E789 -> 1
- cotx488 comparetotal 123.456E-89 123.456000000000E-89 -> 1
- cotx489 comparetotal 123.456E789 123.45600000000E789 -> 1
- cotx490 comparetotal 123.456E-89 123.4560000000E-89 -> 1
- cotx491 comparetotal 123.456E789 123.456000000E789 -> 1
- cotx492 comparetotal 123.456E-89 123.45600000E-89 -> 1
- cotx493 comparetotal 123.456E789 123.4560000E789 -> 1
- cotx494 comparetotal 123.456E-89 123.456000E-89 -> 1
- cotx495 comparetotal 123.456E789 123.45600E789 -> 1
- cotx496 comparetotal 123.456E-89 123.4560E-89 -> 1
- cotx497 comparetotal 123.456E789 123.456E789 -> 0
- -- wide-ranging, around precision; signs equal
- precision: 9
- cotx500 comparetotal 1 1E-15 -> 1
- cotx501 comparetotal 1 1E-14 -> 1
- cotx502 comparetotal 1 1E-13 -> 1
- cotx503 comparetotal 1 1E-12 -> 1
- cotx504 comparetotal 1 1E-11 -> 1
- cotx505 comparetotal 1 1E-10 -> 1
- cotx506 comparetotal 1 1E-9 -> 1
- cotx507 comparetotal 1 1E-8 -> 1
- cotx508 comparetotal 1 1E-7 -> 1
- cotx509 comparetotal 1 1E-6 -> 1
- cotx510 comparetotal 1 1E-5 -> 1
- cotx511 comparetotal 1 1E-4 -> 1
- cotx512 comparetotal 1 1E-3 -> 1
- cotx513 comparetotal 1 1E-2 -> 1
- cotx514 comparetotal 1 1E-1 -> 1
- cotx515 comparetotal 1 1E-0 -> 0
- cotx516 comparetotal 1 1E+1 -> -1
- cotx517 comparetotal 1 1E+2 -> -1
- cotx518 comparetotal 1 1E+3 -> -1
- cotx519 comparetotal 1 1E+4 -> -1
- cotx521 comparetotal 1 1E+5 -> -1
- cotx522 comparetotal 1 1E+6 -> -1
- cotx523 comparetotal 1 1E+7 -> -1
- cotx524 comparetotal 1 1E+8 -> -1
- cotx525 comparetotal 1 1E+9 -> -1
- cotx526 comparetotal 1 1E+10 -> -1
- cotx527 comparetotal 1 1E+11 -> -1
- cotx528 comparetotal 1 1E+12 -> -1
- cotx529 comparetotal 1 1E+13 -> -1
- cotx530 comparetotal 1 1E+14 -> -1
- cotx531 comparetotal 1 1E+15 -> -1
- -- LR swap
- cotx540 comparetotal 1E-15 1 -> -1
- cotx541 comparetotal 1E-14 1 -> -1
- cotx542 comparetotal 1E-13 1 -> -1
- cotx543 comparetotal 1E-12 1 -> -1
- cotx544 comparetotal 1E-11 1 -> -1
- cotx545 comparetotal 1E-10 1 -> -1
- cotx546 comparetotal 1E-9 1 -> -1
- cotx547 comparetotal 1E-8 1 -> -1
- cotx548 comparetotal 1E-7 1 -> -1
- cotx549 comparetotal 1E-6 1 -> -1
- cotx550 comparetotal 1E-5 1 -> -1
- cotx551 comparetotal 1E-4 1 -> -1
- cotx552 comparetotal 1E-3 1 -> -1
- cotx553 comparetotal 1E-2 1 -> -1
- cotx554 comparetotal 1E-1 1 -> -1
- cotx555 comparetotal 1E-0 1 -> 0
- cotx556 comparetotal 1E+1 1 -> 1
- cotx557 comparetotal 1E+2 1 -> 1
- cotx558 comparetotal 1E+3 1 -> 1
- cotx559 comparetotal 1E+4 1 -> 1
- cotx561 comparetotal 1E+5 1 -> 1
- cotx562 comparetotal 1E+6 1 -> 1
- cotx563 comparetotal 1E+7 1 -> 1
- cotx564 comparetotal 1E+8 1 -> 1
- cotx565 comparetotal 1E+9 1 -> 1
- cotx566 comparetotal 1E+10 1 -> 1
- cotx567 comparetotal 1E+11 1 -> 1
- cotx568 comparetotal 1E+12 1 -> 1
- cotx569 comparetotal 1E+13 1 -> 1
- cotx570 comparetotal 1E+14 1 -> 1
- cotx571 comparetotal 1E+15 1 -> 1
- -- similar with an useful coefficient, one side only
- cotx580 comparetotal 0.000000987654321 1E-15 -> 1
- cotx581 comparetotal 0.000000987654321 1E-14 -> 1
- cotx582 comparetotal 0.000000987654321 1E-13 -> 1
- cotx583 comparetotal 0.000000987654321 1E-12 -> 1
- cotx584 comparetotal 0.000000987654321 1E-11 -> 1
- cotx585 comparetotal 0.000000987654321 1E-10 -> 1
- cotx586 comparetotal 0.000000987654321 1E-9 -> 1
- cotx587 comparetotal 0.000000987654321 1E-8 -> 1
- cotx588 comparetotal 0.000000987654321 1E-7 -> 1
- cotx589 comparetotal 0.000000987654321 1E-6 -> -1
- cotx590 comparetotal 0.000000987654321 1E-5 -> -1
- cotx591 comparetotal 0.000000987654321 1E-4 -> -1
- cotx592 comparetotal 0.000000987654321 1E-3 -> -1
- cotx593 comparetotal 0.000000987654321 1E-2 -> -1
- cotx594 comparetotal 0.000000987654321 1E-1 -> -1
- cotx595 comparetotal 0.000000987654321 1E-0 -> -1
- cotx596 comparetotal 0.000000987654321 1E+1 -> -1
- cotx597 comparetotal 0.000000987654321 1E+2 -> -1
- cotx598 comparetotal 0.000000987654321 1E+3 -> -1
- cotx599 comparetotal 0.000000987654321 1E+4 -> -1
- -- check some unit-y traps
- precision: 20
- cotx600 comparetotal 12 12.2345 -> -1
- cotx601 comparetotal 12.0 12.2345 -> -1
- cotx602 comparetotal 12.00 12.2345 -> -1
- cotx603 comparetotal 12.000 12.2345 -> -1
- cotx604 comparetotal 12.0000 12.2345 -> -1
- cotx605 comparetotal 12.00000 12.2345 -> -1
- cotx606 comparetotal 12.000000 12.2345 -> -1
- cotx607 comparetotal 12.0000000 12.2345 -> -1
- cotx608 comparetotal 12.00000000 12.2345 -> -1
- cotx609 comparetotal 12.000000000 12.2345 -> -1
- cotx610 comparetotal 12.1234 12 -> 1
- cotx611 comparetotal 12.1234 12.0 -> 1
- cotx612 comparetotal 12.1234 12.00 -> 1
- cotx613 comparetotal 12.1234 12.000 -> 1
- cotx614 comparetotal 12.1234 12.0000 -> 1
- cotx615 comparetotal 12.1234 12.00000 -> 1
- cotx616 comparetotal 12.1234 12.000000 -> 1
- cotx617 comparetotal 12.1234 12.0000000 -> 1
- cotx618 comparetotal 12.1234 12.00000000 -> 1
- cotx619 comparetotal 12.1234 12.000000000 -> 1
- cotx620 comparetotal -12 -12.2345 -> 1
- cotx621 comparetotal -12.0 -12.2345 -> 1
- cotx622 comparetotal -12.00 -12.2345 -> 1
- cotx623 comparetotal -12.000 -12.2345 -> 1
- cotx624 comparetotal -12.0000 -12.2345 -> 1
- cotx625 comparetotal -12.00000 -12.2345 -> 1
- cotx626 comparetotal -12.000000 -12.2345 -> 1
- cotx627 comparetotal -12.0000000 -12.2345 -> 1
- cotx628 comparetotal -12.00000000 -12.2345 -> 1
- cotx629 comparetotal -12.000000000 -12.2345 -> 1
- cotx630 comparetotal -12.1234 -12 -> -1
- cotx631 comparetotal -12.1234 -12.0 -> -1
- cotx632 comparetotal -12.1234 -12.00 -> -1
- cotx633 comparetotal -12.1234 -12.000 -> -1
- cotx634 comparetotal -12.1234 -12.0000 -> -1
- cotx635 comparetotal -12.1234 -12.00000 -> -1
- cotx636 comparetotal -12.1234 -12.000000 -> -1
- cotx637 comparetotal -12.1234 -12.0000000 -> -1
- cotx638 comparetotal -12.1234 -12.00000000 -> -1
- cotx639 comparetotal -12.1234 -12.000000000 -> -1
- precision: 9
- -- extended zeros
- cotx640 comparetotal 0 0 -> 0
- cotx641 comparetotal 0 -0 -> 1
- cotx642 comparetotal 0 -0.0 -> 1
- cotx643 comparetotal 0 0.0 -> 1
- cotx644 comparetotal -0 0 -> -1
- cotx645 comparetotal -0 -0 -> 0
- cotx646 comparetotal -0 -0.0 -> -1
- cotx647 comparetotal -0 0.0 -> -1
- cotx648 comparetotal 0.0 0 -> -1
- cotx649 comparetotal 0.0 -0 -> 1
- cotx650 comparetotal 0.0 -0.0 -> 1
- cotx651 comparetotal 0.0 0.0 -> 0
- cotx652 comparetotal -0.0 0 -> -1
- cotx653 comparetotal -0.0 -0 -> 1
- cotx654 comparetotal -0.0 -0.0 -> 0
- cotx655 comparetotal -0.0 0.0 -> -1
- cotx656 comparetotal -0E1 0.0 -> -1
- cotx657 comparetotal -0E2 0.0 -> -1
- cotx658 comparetotal 0E1 0.0 -> 1
- cotx659 comparetotal 0E2 0.0 -> 1
- cotx660 comparetotal -0E1 0 -> -1
- cotx661 comparetotal -0E2 0 -> -1
- cotx662 comparetotal 0E1 0 -> 1
- cotx663 comparetotal 0E2 0 -> 1
- cotx664 comparetotal -0E1 -0E1 -> 0
- cotx665 comparetotal -0E2 -0E1 -> -1
- cotx666 comparetotal 0E1 -0E1 -> 1
- cotx667 comparetotal 0E2 -0E1 -> 1
- cotx668 comparetotal -0E1 -0E2 -> 1
- cotx669 comparetotal -0E2 -0E2 -> 0
- cotx670 comparetotal 0E1 -0E2 -> 1
- cotx671 comparetotal 0E2 -0E2 -> 1
- cotx672 comparetotal -0E1 0E1 -> -1
- cotx673 comparetotal -0E2 0E1 -> -1
- cotx674 comparetotal 0E1 0E1 -> 0
- cotx675 comparetotal 0E2 0E1 -> 1
- cotx676 comparetotal -0E1 0E2 -> -1
- cotx677 comparetotal -0E2 0E2 -> -1
- cotx678 comparetotal 0E1 0E2 -> -1
- cotx679 comparetotal 0E2 0E2 -> 0
- -- trailing zeros; unit-y
- precision: 20
- cotx680 comparetotal 12 12 -> 0
- cotx681 comparetotal 12 12.0 -> 1
- cotx682 comparetotal 12 12.00 -> 1
- cotx683 comparetotal 12 12.000 -> 1
- cotx684 comparetotal 12 12.0000 -> 1
- cotx685 comparetotal 12 12.00000 -> 1
- cotx686 comparetotal 12 12.000000 -> 1
- cotx687 comparetotal 12 12.0000000 -> 1
- cotx688 comparetotal 12 12.00000000 -> 1
- cotx689 comparetotal 12 12.000000000 -> 1
- cotx690 comparetotal 12 12 -> 0
- cotx691 comparetotal 12.0 12 -> -1
- cotx692 comparetotal 12.00 12 -> -1
- cotx693 comparetotal 12.000 12 -> -1
- cotx694 comparetotal 12.0000 12 -> -1
- cotx695 comparetotal 12.00000 12 -> -1
- cotx696 comparetotal 12.000000 12 -> -1
- cotx697 comparetotal 12.0000000 12 -> -1
- cotx698 comparetotal 12.00000000 12 -> -1
- cotx699 comparetotal 12.000000000 12 -> -1
- -- long operand checks
- maxexponent: 999
- minexponent: -999
- precision: 9
- cotx701 comparetotal 12345678000 1 -> 1
- cotx702 comparetotal 1 12345678000 -> -1
- cotx703 comparetotal 1234567800 1 -> 1
- cotx704 comparetotal 1 1234567800 -> -1
- cotx705 comparetotal 1234567890 1 -> 1
- cotx706 comparetotal 1 1234567890 -> -1
- cotx707 comparetotal 1234567891 1 -> 1
- cotx708 comparetotal 1 1234567891 -> -1
- cotx709 comparetotal 12345678901 1 -> 1
- cotx710 comparetotal 1 12345678901 -> -1
- cotx711 comparetotal 1234567896 1 -> 1
- cotx712 comparetotal 1 1234567896 -> -1
- cotx713 comparetotal -1234567891 1 -> -1
- cotx714 comparetotal 1 -1234567891 -> 1
- cotx715 comparetotal -12345678901 1 -> -1
- cotx716 comparetotal 1 -12345678901 -> 1
- cotx717 comparetotal -1234567896 1 -> -1
- cotx718 comparetotal 1 -1234567896 -> 1
- precision: 15
- -- same with plenty of precision
- cotx721 comparetotal 12345678000 1 -> 1
- cotx722 comparetotal 1 12345678000 -> -1
- cotx723 comparetotal 1234567800 1 -> 1
- cotx724 comparetotal 1 1234567800 -> -1
- cotx725 comparetotal 1234567890 1 -> 1
- cotx726 comparetotal 1 1234567890 -> -1
- cotx727 comparetotal 1234567891 1 -> 1
- cotx728 comparetotal 1 1234567891 -> -1
- cotx729 comparetotal 12345678901 1 -> 1
- cotx730 comparetotal 1 12345678901 -> -1
- cotx731 comparetotal 1234567896 1 -> 1
- cotx732 comparetotal 1 1234567896 -> -1
- -- residue cases
- precision: 5
- cotx740 comparetotal 1 0.9999999 -> 1
- cotx741 comparetotal 1 0.999999 -> 1
- cotx742 comparetotal 1 0.99999 -> 1
- cotx743 comparetotal 1 1.0000 -> 1
- cotx744 comparetotal 1 1.00001 -> -1
- cotx745 comparetotal 1 1.000001 -> -1
- cotx746 comparetotal 1 1.0000001 -> -1
- cotx750 comparetotal 0.9999999 1 -> -1
- cotx751 comparetotal 0.999999 1 -> -1
- cotx752 comparetotal 0.99999 1 -> -1
- cotx753 comparetotal 1.0000 1 -> -1
- cotx754 comparetotal 1.00001 1 -> 1
- cotx755 comparetotal 1.000001 1 -> 1
- cotx756 comparetotal 1.0000001 1 -> 1
- -- a selection of longies
- cotx760 comparetotal -36852134.84194296250843579428931 -5830629.8347085025808756560357940 -> -1
- cotx761 comparetotal -36852134.84194296250843579428931 -36852134.84194296250843579428931 -> 0
- cotx762 comparetotal -36852134.94194296250843579428931 -36852134.84194296250843579428931 -> -1
- cotx763 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- -- precisions above or below the difference should have no effect
- precision: 11
- cotx764 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 10
- cotx765 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 9
- cotx766 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 8
- cotx767 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 7
- cotx768 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 6
- cotx769 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 5
- cotx770 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 4
- cotx771 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 3
- cotx772 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 2
- cotx773 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 1
- cotx774 comparetotal -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- -- Specials
- precision: 9
- cotx780 comparetotal Inf -Inf -> 1
- cotx781 comparetotal Inf -1000 -> 1
- cotx782 comparetotal Inf -1 -> 1
- cotx783 comparetotal Inf -0 -> 1
- cotx784 comparetotal Inf 0 -> 1
- cotx785 comparetotal Inf 1 -> 1
- cotx786 comparetotal Inf 1000 -> 1
- cotx787 comparetotal Inf Inf -> 0
- cotx788 comparetotal -1000 Inf -> -1
- cotx789 comparetotal -Inf Inf -> -1
- cotx790 comparetotal -1 Inf -> -1
- cotx791 comparetotal -0 Inf -> -1
- cotx792 comparetotal 0 Inf -> -1
- cotx793 comparetotal 1 Inf -> -1
- cotx794 comparetotal 1000 Inf -> -1
- cotx795 comparetotal Inf Inf -> 0
- cotx800 comparetotal -Inf -Inf -> 0
- cotx801 comparetotal -Inf -1000 -> -1
- cotx802 comparetotal -Inf -1 -> -1
- cotx803 comparetotal -Inf -0 -> -1
- cotx804 comparetotal -Inf 0 -> -1
- cotx805 comparetotal -Inf 1 -> -1
- cotx806 comparetotal -Inf 1000 -> -1
- cotx807 comparetotal -Inf Inf -> -1
- cotx808 comparetotal -Inf -Inf -> 0
- cotx809 comparetotal -1000 -Inf -> 1
- cotx810 comparetotal -1 -Inf -> 1
- cotx811 comparetotal -0 -Inf -> 1
- cotx812 comparetotal 0 -Inf -> 1
- cotx813 comparetotal 1 -Inf -> 1
- cotx814 comparetotal 1000 -Inf -> 1
- cotx815 comparetotal Inf -Inf -> 1
- cotx821 comparetotal NaN -Inf -> 1
- cotx822 comparetotal NaN -1000 -> 1
- cotx823 comparetotal NaN -1 -> 1
- cotx824 comparetotal NaN -0 -> 1
- cotx825 comparetotal NaN 0 -> 1
- cotx826 comparetotal NaN 1 -> 1
- cotx827 comparetotal NaN 1000 -> 1
- cotx828 comparetotal NaN Inf -> 1
- cotx829 comparetotal NaN NaN -> 0
- cotx830 comparetotal -Inf NaN -> -1
- cotx831 comparetotal -1000 NaN -> -1
- cotx832 comparetotal -1 NaN -> -1
- cotx833 comparetotal -0 NaN -> -1
- cotx834 comparetotal 0 NaN -> -1
- cotx835 comparetotal 1 NaN -> -1
- cotx836 comparetotal 1000 NaN -> -1
- cotx837 comparetotal Inf NaN -> -1
- cotx838 comparetotal -NaN -NaN -> 0
- cotx839 comparetotal +NaN -NaN -> 1
- cotx840 comparetotal -NaN +NaN -> -1
- cotx841 comparetotal sNaN -sNaN -> 1
- cotx842 comparetotal sNaN -NaN -> 1
- cotx843 comparetotal sNaN -Inf -> 1
- cotx844 comparetotal sNaN -1000 -> 1
- cotx845 comparetotal sNaN -1 -> 1
- cotx846 comparetotal sNaN -0 -> 1
- cotx847 comparetotal sNaN 0 -> 1
- cotx848 comparetotal sNaN 1 -> 1
- cotx849 comparetotal sNaN 1000 -> 1
- cotx850 comparetotal sNaN NaN -> -1
- cotx851 comparetotal sNaN sNaN -> 0
- cotx852 comparetotal -sNaN sNaN -> -1
- cotx853 comparetotal -NaN sNaN -> -1
- cotx854 comparetotal -Inf sNaN -> -1
- cotx855 comparetotal -1000 sNaN -> -1
- cotx856 comparetotal -1 sNaN -> -1
- cotx857 comparetotal -0 sNaN -> -1
- cotx858 comparetotal 0 sNaN -> -1
- cotx859 comparetotal 1 sNaN -> -1
- cotx860 comparetotal 1000 sNaN -> -1
- cotx861 comparetotal Inf sNaN -> -1
- cotx862 comparetotal NaN sNaN -> 1
- cotx863 comparetotal sNaN sNaN -> 0
- cotx871 comparetotal -sNaN -sNaN -> 0
- cotx872 comparetotal -sNaN -NaN -> 1
- cotx873 comparetotal -sNaN -Inf -> -1
- cotx874 comparetotal -sNaN -1000 -> -1
- cotx875 comparetotal -sNaN -1 -> -1
- cotx876 comparetotal -sNaN -0 -> -1
- cotx877 comparetotal -sNaN 0 -> -1
- cotx878 comparetotal -sNaN 1 -> -1
- cotx879 comparetotal -sNaN 1000 -> -1
- cotx880 comparetotal -sNaN NaN -> -1
- cotx881 comparetotal -sNaN sNaN -> -1
- cotx882 comparetotal -sNaN -sNaN -> 0
- cotx883 comparetotal -NaN -sNaN -> -1
- cotx884 comparetotal -Inf -sNaN -> 1
- cotx885 comparetotal -1000 -sNaN -> 1
- cotx886 comparetotal -1 -sNaN -> 1
- cotx887 comparetotal -0 -sNaN -> 1
- cotx888 comparetotal 0 -sNaN -> 1
- cotx889 comparetotal 1 -sNaN -> 1
- cotx890 comparetotal 1000 -sNaN -> 1
- cotx891 comparetotal Inf -sNaN -> 1
- cotx892 comparetotal NaN -sNaN -> 1
- cotx893 comparetotal sNaN -sNaN -> 1
- -- NaNs with payload
- cotx960 comparetotal NaN9 -Inf -> 1
- cotx961 comparetotal NaN8 999 -> 1
- cotx962 comparetotal NaN77 Inf -> 1
- cotx963 comparetotal -NaN67 NaN5 -> -1
- cotx964 comparetotal -Inf -NaN4 -> 1
- cotx965 comparetotal -999 -NaN33 -> 1
- cotx966 comparetotal Inf NaN2 -> -1
- cotx970 comparetotal -NaN41 -NaN42 -> 1
- cotx971 comparetotal +NaN41 -NaN42 -> 1
- cotx972 comparetotal -NaN41 +NaN42 -> -1
- cotx973 comparetotal +NaN41 +NaN42 -> -1
- cotx974 comparetotal -NaN42 -NaN01 -> -1
- cotx975 comparetotal +NaN42 -NaN01 -> 1
- cotx976 comparetotal -NaN42 +NaN01 -> -1
- cotx977 comparetotal +NaN42 +NaN01 -> 1
- cotx980 comparetotal -sNaN771 -sNaN772 -> 1
- cotx981 comparetotal +sNaN771 -sNaN772 -> 1
- cotx982 comparetotal -sNaN771 +sNaN772 -> -1
- cotx983 comparetotal +sNaN771 +sNaN772 -> -1
- cotx984 comparetotal -sNaN772 -sNaN771 -> -1
- cotx985 comparetotal +sNaN772 -sNaN771 -> 1
- cotx986 comparetotal -sNaN772 +sNaN771 -> -1
- cotx987 comparetotal +sNaN772 +sNaN771 -> 1
- cotx991 comparetotal -sNaN99 -Inf -> -1
- cotx992 comparetotal sNaN98 -11 -> 1
- cotx993 comparetotal sNaN97 NaN -> -1
- cotx994 comparetotal sNaN16 sNaN94 -> -1
- cotx995 comparetotal NaN85 sNaN83 -> 1
- cotx996 comparetotal -Inf sNaN92 -> -1
- cotx997 comparetotal 088 sNaN81 -> -1
- cotx998 comparetotal Inf sNaN90 -> -1
- cotx999 comparetotal NaN -sNaN89 -> 1
- -- overflow and underflow tests .. subnormal results now allowed
- maxExponent: 999999999
- minexponent: -999999999
- cotx1080 comparetotal +1.23456789012345E-0 9E+999999999 -> -1
- cotx1081 comparetotal 9E+999999999 +1.23456789012345E-0 -> 1
- cotx1082 comparetotal +0.100 9E-999999999 -> 1
- cotx1083 comparetotal 9E-999999999 +0.100 -> -1
- cotx1085 comparetotal -1.23456789012345E-0 9E+999999999 -> -1
- cotx1086 comparetotal 9E+999999999 -1.23456789012345E-0 -> 1
- cotx1087 comparetotal -0.100 9E-999999999 -> -1
- cotx1088 comparetotal 9E-999999999 -0.100 -> 1
- cotx1089 comparetotal 1e-599999999 1e-400000001 -> -1
- cotx1090 comparetotal 1e-599999999 1e-400000000 -> -1
- cotx1091 comparetotal 1e-600000000 1e-400000000 -> -1
- cotx1092 comparetotal 9e-999999998 0.01 -> -1
- cotx1093 comparetotal 9e-999999998 0.1 -> -1
- cotx1094 comparetotal 0.01 9e-999999998 -> 1
- cotx1095 comparetotal 1e599999999 1e400000001 -> 1
- cotx1096 comparetotal 1e599999999 1e400000000 -> 1
- cotx1097 comparetotal 1e600000000 1e400000000 -> 1
- cotx1098 comparetotal 9e999999998 100 -> 1
- cotx1099 comparetotal 9e999999998 10 -> 1
- cotx1100 comparetotal 100 9e999999998 -> -1
- -- signs
- cotx1101 comparetotal 1e+777777777 1e+411111111 -> 1
- cotx1102 comparetotal 1e+777777777 -1e+411111111 -> 1
- cotx1103 comparetotal -1e+777777777 1e+411111111 -> -1
- cotx1104 comparetotal -1e+777777777 -1e+411111111 -> -1
- cotx1105 comparetotal 1e-777777777 1e-411111111 -> -1
- cotx1106 comparetotal 1e-777777777 -1e-411111111 -> 1
- cotx1107 comparetotal -1e-777777777 1e-411111111 -> -1
- cotx1108 comparetotal -1e-777777777 -1e-411111111 -> 1
- -- spread zeros
- cotx1110 comparetotal 0E-383 0 -> -1
- cotx1111 comparetotal 0E-383 -0 -> 1
- cotx1112 comparetotal -0E-383 0 -> -1
- cotx1113 comparetotal -0E-383 -0 -> 1
- cotx1114 comparetotal 0E-383 0E+384 -> -1
- cotx1115 comparetotal 0E-383 -0E+384 -> 1
- cotx1116 comparetotal -0E-383 0E+384 -> -1
- cotx1117 comparetotal -0E-383 -0E+384 -> 1
- cotx1118 comparetotal 0 0E+384 -> -1
- cotx1119 comparetotal 0 -0E+384 -> 1
- cotx1120 comparetotal -0 0E+384 -> -1
- cotx1121 comparetotal -0 -0E+384 -> 1
- cotx1130 comparetotal 0E+384 0 -> 1
- cotx1131 comparetotal 0E+384 -0 -> 1
- cotx1132 comparetotal -0E+384 0 -> -1
- cotx1133 comparetotal -0E+384 -0 -> -1
- cotx1134 comparetotal 0E+384 0E-383 -> 1
- cotx1135 comparetotal 0E+384 -0E-383 -> 1
- cotx1136 comparetotal -0E+384 0E-383 -> -1
- cotx1137 comparetotal -0E+384 -0E-383 -> -1
- cotx1138 comparetotal 0 0E-383 -> 1
- cotx1139 comparetotal 0 -0E-383 -> 1
- cotx1140 comparetotal -0 0E-383 -> -1
- cotx1141 comparetotal -0 -0E-383 -> -1
- -- Null tests
- cotx9990 comparetotal 10 # -> NaN Invalid_operation
- cotx9991 comparetotal # 10 -> NaN Invalid_operation
|