Plan 9 from Bell Labs’s /usr/web/sources/contrib/jas/root/sys/lib/python2.7/test/decimaltestdata/ddDivideInt.decTest

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


------------------------------------------------------------------------
-- ddDivideInt.decTest -- decDouble integer division                  --
-- 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

precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

dddvi001 divideint  1     1    ->  1
dddvi002 divideint  2     1    ->  2
dddvi003 divideint  1     2    ->  0
dddvi004 divideint  2     2    ->  1
dddvi005 divideint  0     1    ->  0
dddvi006 divideint  0     2    ->  0
dddvi007 divideint  1     3    ->  0
dddvi008 divideint  2     3    ->  0
dddvi009 divideint  3     3    ->  1

dddvi010 divideint  2.4   1    ->  2
dddvi011 divideint  2.4   -1   ->  -2
dddvi012 divideint  -2.4  1    ->  -2
dddvi013 divideint  -2.4  -1   ->  2
dddvi014 divideint  2.40  1    ->  2
dddvi015 divideint  2.400 1    ->  2
dddvi016 divideint  2.4   2    ->  1
dddvi017 divideint  2.400 2    ->  1
dddvi018 divideint  2.    2    ->  1
dddvi019 divideint  20    20   ->  1

dddvi020 divideint  187   187  ->  1
dddvi021 divideint  5     2    ->  2
dddvi022 divideint  5     2.0    ->  2
dddvi023 divideint  5     2.000  ->  2
dddvi024 divideint  5     0.200  ->  25
dddvi025 divideint  5     0.200  ->  25

dddvi030 divideint  1     2      ->  0
dddvi031 divideint  1     4      ->  0
dddvi032 divideint  1     8      ->  0
dddvi033 divideint  1     16     ->  0
dddvi034 divideint  1     32     ->  0
dddvi035 divideint  1     64     ->  0
dddvi040 divideint  1    -2      -> -0
dddvi041 divideint  1    -4      -> -0
dddvi042 divideint  1    -8      -> -0
dddvi043 divideint  1    -16     -> -0
dddvi044 divideint  1    -32     -> -0
dddvi045 divideint  1    -64     -> -0
dddvi050 divideint -1     2      -> -0
dddvi051 divideint -1     4      -> -0
dddvi052 divideint -1     8      -> -0
dddvi053 divideint -1     16     -> -0
dddvi054 divideint -1     32     -> -0
dddvi055 divideint -1     64     -> -0
dddvi060 divideint -1    -2      ->  0
dddvi061 divideint -1    -4      ->  0
dddvi062 divideint -1    -8      ->  0
dddvi063 divideint -1    -16     ->  0
dddvi064 divideint -1    -32     ->  0
dddvi065 divideint -1    -64     ->  0

-- similar with powers of ten
dddvi160 divideint  1     1         ->  1
dddvi161 divideint  1     10        ->  0
dddvi162 divideint  1     100       ->  0
dddvi163 divideint  1     1000      ->  0
dddvi164 divideint  1     10000     ->  0
dddvi165 divideint  1     100000    ->  0
dddvi166 divideint  1     1000000   ->  0
dddvi167 divideint  1     10000000  ->  0
dddvi168 divideint  1     100000000 ->  0
dddvi170 divideint  1    -1         -> -1
dddvi171 divideint  1    -10        -> -0
dddvi172 divideint  1    -100       -> -0
dddvi173 divideint  1    -1000      -> -0
dddvi174 divideint  1    -10000     -> -0
dddvi175 divideint  1    -100000    -> -0
dddvi176 divideint  1    -1000000   -> -0
dddvi177 divideint  1    -10000000  -> -0
dddvi178 divideint  1    -100000000 -> -0
dddvi180 divideint -1     1         -> -1
dddvi181 divideint -1     10        -> -0
dddvi182 divideint -1     100       -> -0
dddvi183 divideint -1     1000      -> -0
dddvi184 divideint -1     10000     -> -0
dddvi185 divideint -1     100000    -> -0
dddvi186 divideint -1     1000000   -> -0
dddvi187 divideint -1     10000000  -> -0
dddvi188 divideint -1     100000000 -> -0
dddvi190 divideint -1    -1         ->  1
dddvi191 divideint -1    -10        ->  0
dddvi192 divideint -1    -100       ->  0
dddvi193 divideint -1    -1000      ->  0
dddvi194 divideint -1    -10000     ->  0
dddvi195 divideint -1    -100000    ->  0
dddvi196 divideint -1    -1000000   ->  0
dddvi197 divideint -1    -10000000  ->  0
dddvi198 divideint -1    -100000000 ->  0

-- some long operand (at p=9) cases
dddvi070 divideint  999999999     1  ->  999999999
dddvi071 divideint  999999999.4   1  ->  999999999
dddvi072 divideint  999999999.5   1  ->  999999999
dddvi073 divideint  999999999.9   1  ->  999999999
dddvi074 divideint  999999999.999 1  ->  999999999

dddvi090 divideint  0.            1    ->  0
dddvi091 divideint  .0            1    ->  0
dddvi092 divideint  0.00          1    ->  0
dddvi093 divideint  0.00E+9       1    ->  0
dddvi094 divideint  0.0000E-50    1    ->  0

dddvi100 divideint  1  1   -> 1
dddvi101 divideint  1  2   -> 0
dddvi102 divideint  1  3   -> 0
dddvi103 divideint  1  4   -> 0
dddvi104 divideint  1  5   -> 0
dddvi105 divideint  1  6   -> 0
dddvi106 divideint  1  7   -> 0
dddvi107 divideint  1  8   -> 0
dddvi108 divideint  1  9   -> 0
dddvi109 divideint  1  10  -> 0
dddvi110 divideint  1  1   -> 1
dddvi111 divideint  2  1   -> 2
dddvi112 divideint  3  1   -> 3
dddvi113 divideint  4  1   -> 4
dddvi114 divideint  5  1   -> 5
dddvi115 divideint  6  1   -> 6
dddvi116 divideint  7  1   -> 7
dddvi117 divideint  8  1   -> 8
dddvi118 divideint  9  1   -> 9
dddvi119 divideint  10 1   -> 10

-- from DiagBigDecimal
dddvi131 divideint  101.3   1     ->  101
dddvi132 divideint  101.0   1     ->  101
dddvi133 divideint  101.3   3     ->  33
dddvi134 divideint  101.0   3     ->  33
dddvi135 divideint  2.4     1     ->  2
dddvi136 divideint  2.400   1     ->  2
dddvi137 divideint  18      18    ->  1
dddvi138 divideint  1120    1000  ->  1
dddvi139 divideint  2.4     2     ->  1
dddvi140 divideint  2.400   2     ->  1
dddvi141 divideint  0.5     2.000 ->  0
dddvi142 divideint  8.005   7     ->  1
dddvi143 divideint  5       2     ->  2
dddvi144 divideint  0       2     ->  0
dddvi145 divideint  0.00    2     ->  0

-- Others
dddvi150 divideint  12345  4.999  ->  2469
dddvi151 divideint  12345  4.99   ->  2473
dddvi152 divideint  12345  4.9    ->  2519
dddvi153 divideint  12345  5      ->  2469
dddvi154 divideint  12345  5.1    ->  2420
dddvi155 divideint  12345  5.01   ->  2464
dddvi156 divideint  12345  5.001  ->  2468
dddvi157 divideint    101  7.6    ->  13

-- Various flavours of divideint by 0
dddvi201 divideint  0      0   -> NaN Division_undefined
dddvi202 divideint  0.0E5  0   -> NaN Division_undefined
dddvi203 divideint  0.000  0   -> NaN Division_undefined
dddvi204 divideint  0.0001 0   -> Infinity Division_by_zero
dddvi205 divideint  0.01   0   -> Infinity Division_by_zero
dddvi206 divideint  0.1    0   -> Infinity Division_by_zero
dddvi207 divideint  1      0   -> Infinity Division_by_zero
dddvi208 divideint  1      0.0 -> Infinity Division_by_zero
dddvi209 divideint 10      0.0 -> Infinity Division_by_zero
dddvi210 divideint 1E+100  0.0 -> Infinity Division_by_zero
dddvi211 divideint 1E+380  0   -> Infinity Division_by_zero
dddvi214 divideint  -0.0001 0   -> -Infinity Division_by_zero
dddvi215 divideint  -0.01   0   -> -Infinity Division_by_zero
dddvi216 divideint  -0.1    0   -> -Infinity Division_by_zero
dddvi217 divideint  -1      0   -> -Infinity Division_by_zero
dddvi218 divideint  -1      0.0 -> -Infinity Division_by_zero
dddvi219 divideint -10      0.0 -> -Infinity Division_by_zero
dddvi220 divideint -1E+100  0.0 -> -Infinity Division_by_zero
dddvi221 divideint -1E+380  0   -> -Infinity Division_by_zero

-- test some cases that are close to exponent overflow
dddvi270 divideint 1 1e384          -> 0
dddvi271 divideint 1 0.9e384        -> 0
dddvi272 divideint 1 0.99e384       -> 0
dddvi273 divideint 1 0.9999999999999999e384       -> 0
dddvi274 divideint 9e384    1       -> NaN Division_impossible
dddvi275 divideint 9.9e384  1       -> NaN Division_impossible
dddvi276 divideint 9.99e384 1       -> NaN Division_impossible
dddvi277 divideint 9.999999999999999e384 1 -> NaN Division_impossible

dddvi280 divideint 0.1 9e-383       -> NaN Division_impossible
dddvi281 divideint 0.1 99e-383      -> NaN Division_impossible
dddvi282 divideint 0.1 999e-383     -> NaN Division_impossible
dddvi283 divideint 0.1 9e-382       -> NaN Division_impossible
dddvi284 divideint 0.1 99e-382      -> NaN Division_impossible

-- GD edge cases: lhs smaller than rhs but more digits
dddvi301  divideint  0.9      2      ->  0
dddvi302  divideint  0.9      2.0    ->  0
dddvi303  divideint  0.9      2.1    ->  0
dddvi304  divideint  0.9      2.00   ->  0
dddvi305  divideint  0.9      2.01   ->  0
dddvi306  divideint  0.12     1      ->  0
dddvi307  divideint  0.12     1.0    ->  0
dddvi308  divideint  0.12     1.00   ->  0
dddvi309  divideint  0.12     1.0    ->  0
dddvi310  divideint  0.12     1.00   ->  0
dddvi311  divideint  0.12     2      ->  0
dddvi312  divideint  0.12     2.0    ->  0
dddvi313  divideint  0.12     2.1    ->  0
dddvi314  divideint  0.12     2.00   ->  0
dddvi315  divideint  0.12     2.01   ->  0

-- edge cases of impossible
dddvi330  divideint  1234567890123456  10    ->  123456789012345
dddvi331  divideint  1234567890123456   1    ->  1234567890123456
dddvi332  divideint  1234567890123456   0.1  ->  NaN Division_impossible
dddvi333  divideint  1234567890123456   0.01 ->  NaN Division_impossible

-- overflow and underflow tests [from divide]
dddvi1051 divideint  1e+277  1e-311 ->  NaN Division_impossible
dddvi1052 divideint  1e+277 -1e-311 ->  NaN Division_impossible
dddvi1053 divideint -1e+277  1e-311 ->  NaN Division_impossible
dddvi1054 divideint -1e+277 -1e-311 ->  NaN Division_impossible
dddvi1055 divideint  1e-277  1e+311 ->  0
dddvi1056 divideint  1e-277 -1e+311 -> -0
dddvi1057 divideint -1e-277  1e+311 -> -0
dddvi1058 divideint -1e-277 -1e+311 ->  0

-- 'subnormal' boundary (all hard underflow or overflow in base arithemtic)
dddvi1060 divideint 1e-291 1e+101 -> 0
dddvi1061 divideint 1e-291 1e+102 -> 0
dddvi1062 divideint 1e-291 1e+103 -> 0
dddvi1063 divideint 1e-291 1e+104 -> 0
dddvi1064 divideint 1e-291 1e+105 -> 0
dddvi1065 divideint 1e-291 1e+106 -> 0
dddvi1066 divideint 1e-291 1e+107 -> 0
dddvi1067 divideint 1e-291 1e+108 -> 0
dddvi1068 divideint 1e-291 1e+109 -> 0
dddvi1069 divideint 1e-291 1e+110 -> 0

dddvi1101 divideint  1.0000E-394  1     -> 0
dddvi1102 divideint  1.000E-394   1e+1  -> 0
dddvi1103 divideint  1.00E-394    1e+2  -> 0

dddvi1118 divideint  1E-394       1e+4  -> 0
dddvi1119 divideint  3E-394      -1e+5  -> -0
dddvi1120 divideint  5E-394       1e+5  -> 0

dddvi1124 divideint  1E-394      -1e+4  -> -0
dddvi1130 divideint  3.0E-394    -1e+5  -> -0

dddvi1131 divideint  1.0E-199     1e+200 -> 0
dddvi1132 divideint  1.0E-199     1e+199 -> 0
dddvi1133 divideint  1.0E-199     1e+198 -> 0
dddvi1134 divideint  2.0E-199     2e+198 -> 0
dddvi1135 divideint  4.0E-199     4e+198 -> 0

-- long operand checks
dddvi401 divideint 12345678000 100 -> 123456780
dddvi402 divideint 1 12345678000   -> 0
dddvi403 divideint 1234567800  10  -> 123456780
dddvi404 divideint 1 1234567800    -> 0
dddvi405 divideint 1234567890  10  -> 123456789
dddvi406 divideint 1 1234567890    -> 0
dddvi407 divideint 1234567891  10  -> 123456789
dddvi408 divideint 1 1234567891    -> 0
dddvi409 divideint 12345678901 100 -> 123456789
dddvi410 divideint 1 12345678901   -> 0
dddvi411 divideint 1234567896  10  -> 123456789
dddvi412 divideint 1 1234567896    -> 0
dddvi413 divideint 12345678948 100 -> 123456789
dddvi414 divideint 12345678949 100 -> 123456789
dddvi415 divideint 12345678950 100 -> 123456789
dddvi416 divideint 12345678951 100 -> 123456789
dddvi417 divideint 12345678999 100 -> 123456789
dddvi441 divideint 12345678000 1 -> 12345678000
dddvi442 divideint 1 12345678000 -> 0
dddvi443 divideint 1234567800  1 -> 1234567800
dddvi444 divideint 1 1234567800  -> 0
dddvi445 divideint 1234567890  1 -> 1234567890
dddvi446 divideint 1 1234567890  -> 0
dddvi447 divideint 1234567891  1 -> 1234567891
dddvi448 divideint 1 1234567891  -> 0
dddvi449 divideint 12345678901 1 -> 12345678901
dddvi450 divideint 1 12345678901 -> 0
dddvi451 divideint 1234567896  1 -> 1234567896
dddvi452 divideint 1 1234567896  -> 0

-- more zeros, etc.
dddvi531 divideint 5.00 1E-3    -> 5000
dddvi532 divideint 00.00 0.000  -> NaN Division_undefined
dddvi533 divideint 00.00 0E-3   -> NaN Division_undefined
dddvi534 divideint  0    -0     -> NaN Division_undefined
dddvi535 divideint -0     0     -> NaN Division_undefined
dddvi536 divideint -0    -0     -> NaN Division_undefined

dddvi541 divideint  0    -1     -> -0
dddvi542 divideint -0    -1     ->  0
dddvi543 divideint  0     1     ->  0
dddvi544 divideint -0     1     -> -0
dddvi545 divideint -1     0     -> -Infinity Division_by_zero
dddvi546 divideint -1    -0     ->  Infinity Division_by_zero
dddvi547 divideint  1     0     ->  Infinity Division_by_zero
dddvi548 divideint  1    -0     -> -Infinity Division_by_zero

dddvi551 divideint  0.0  -1     -> -0
dddvi552 divideint -0.0  -1     ->  0
dddvi553 divideint  0.0   1     ->  0
dddvi554 divideint -0.0   1     -> -0
dddvi555 divideint -1.0   0     -> -Infinity Division_by_zero
dddvi556 divideint -1.0  -0     ->  Infinity Division_by_zero
dddvi557 divideint  1.0   0     ->  Infinity Division_by_zero
dddvi558 divideint  1.0  -0     -> -Infinity Division_by_zero

dddvi561 divideint  0    -1.0   -> -0
dddvi562 divideint -0    -1.0   ->  0
dddvi563 divideint  0     1.0   ->  0
dddvi564 divideint -0     1.0   -> -0
dddvi565 divideint -1     0.0   -> -Infinity Division_by_zero
dddvi566 divideint -1    -0.0   ->  Infinity Division_by_zero
dddvi567 divideint  1     0.0   ->  Infinity Division_by_zero
dddvi568 divideint  1    -0.0   -> -Infinity Division_by_zero

dddvi571 divideint  0.0  -1.0   -> -0
dddvi572 divideint -0.0  -1.0   ->  0
dddvi573 divideint  0.0   1.0   ->  0
dddvi574 divideint -0.0   1.0   -> -0
dddvi575 divideint -1.0   0.0   -> -Infinity Division_by_zero
dddvi576 divideint -1.0  -0.0   ->  Infinity Division_by_zero
dddvi577 divideint  1.0   0.0   ->  Infinity Division_by_zero
dddvi578 divideint  1.0  -0.0   -> -Infinity Division_by_zero

-- Specials
dddvi580 divideint  Inf  -Inf   ->  NaN Invalid_operation
dddvi581 divideint  Inf  -1000  -> -Infinity
dddvi582 divideint  Inf  -1     -> -Infinity
dddvi583 divideint  Inf  -0     -> -Infinity
dddvi584 divideint  Inf   0     ->  Infinity
dddvi585 divideint  Inf   1     ->  Infinity
dddvi586 divideint  Inf   1000  ->  Infinity
dddvi587 divideint  Inf   Inf   ->  NaN Invalid_operation
dddvi588 divideint -1000  Inf   -> -0
dddvi589 divideint -Inf   Inf   ->  NaN Invalid_operation
dddvi590 divideint -1     Inf   -> -0
dddvi591 divideint -0     Inf   -> -0
dddvi592 divideint  0     Inf   ->  0
dddvi593 divideint  1     Inf   ->  0
dddvi594 divideint  1000  Inf   ->  0
dddvi595 divideint  Inf   Inf   ->  NaN Invalid_operation

dddvi600 divideint -Inf  -Inf   ->  NaN Invalid_operation
dddvi601 divideint -Inf  -1000  ->  Infinity
dddvi602 divideint -Inf  -1     ->  Infinity
dddvi603 divideint -Inf  -0     ->  Infinity
dddvi604 divideint -Inf   0     -> -Infinity
dddvi605 divideint -Inf   1     -> -Infinity
dddvi606 divideint -Inf   1000  -> -Infinity
dddvi607 divideint -Inf   Inf   ->  NaN Invalid_operation
dddvi608 divideint -1000  Inf   -> -0
dddvi609 divideint -Inf  -Inf   ->  NaN Invalid_operation
dddvi610 divideint -1    -Inf   ->  0
dddvi611 divideint -0    -Inf   ->  0
dddvi612 divideint  0    -Inf   -> -0
dddvi613 divideint  1    -Inf   -> -0
dddvi614 divideint  1000 -Inf   -> -0
dddvi615 divideint  Inf  -Inf   ->  NaN Invalid_operation

dddvi621 divideint  NaN -Inf    ->  NaN
dddvi622 divideint  NaN -1000   ->  NaN
dddvi623 divideint  NaN -1      ->  NaN
dddvi624 divideint  NaN -0      ->  NaN
dddvi625 divideint  NaN  0      ->  NaN
dddvi626 divideint  NaN  1      ->  NaN
dddvi627 divideint  NaN  1000   ->  NaN
dddvi628 divideint  NaN  Inf    ->  NaN
dddvi629 divideint  NaN  NaN    ->  NaN
dddvi630 divideint -Inf  NaN    ->  NaN
dddvi631 divideint -1000 NaN    ->  NaN
dddvi632 divideint -1    NaN    ->  NaN
dddvi633 divideint -0    NaN    ->  NaN
dddvi634 divideint  0    NaN    ->  NaN
dddvi635 divideint  1    NaN    ->  NaN
dddvi636 divideint  1000 NaN    ->  NaN
dddvi637 divideint  Inf  NaN    ->  NaN

dddvi641 divideint  sNaN -Inf   ->  NaN  Invalid_operation
dddvi642 divideint  sNaN -1000  ->  NaN  Invalid_operation
dddvi643 divideint  sNaN -1     ->  NaN  Invalid_operation
dddvi644 divideint  sNaN -0     ->  NaN  Invalid_operation
dddvi645 divideint  sNaN  0     ->  NaN  Invalid_operation
dddvi646 divideint  sNaN  1     ->  NaN  Invalid_operation
dddvi647 divideint  sNaN  1000  ->  NaN  Invalid_operation
dddvi648 divideint  sNaN  NaN   ->  NaN  Invalid_operation
dddvi649 divideint  sNaN sNaN   ->  NaN  Invalid_operation
dddvi650 divideint  NaN  sNaN   ->  NaN  Invalid_operation
dddvi651 divideint -Inf  sNaN   ->  NaN  Invalid_operation
dddvi652 divideint -1000 sNaN   ->  NaN  Invalid_operation
dddvi653 divideint -1    sNaN   ->  NaN  Invalid_operation
dddvi654 divideint -0    sNaN   ->  NaN  Invalid_operation
dddvi655 divideint  0    sNaN   ->  NaN  Invalid_operation
dddvi656 divideint  1    sNaN   ->  NaN  Invalid_operation
dddvi657 divideint  1000 sNaN   ->  NaN  Invalid_operation
dddvi658 divideint  Inf  sNaN   ->  NaN  Invalid_operation
dddvi659 divideint  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
dddvi661 divideint  NaN9 -Inf   ->  NaN9
dddvi662 divideint  NaN8  1000  ->  NaN8
dddvi663 divideint  NaN7  Inf   ->  NaN7
dddvi664 divideint -NaN6  NaN5  -> -NaN6
dddvi665 divideint -Inf   NaN4  ->  NaN4
dddvi666 divideint -1000  NaN3  ->  NaN3
dddvi667 divideint  Inf  -NaN2  -> -NaN2

dddvi671 divideint -sNaN99 -Inf    -> -NaN99 Invalid_operation
dddvi672 divideint  sNaN98 -1      ->  NaN98 Invalid_operation
dddvi673 divideint  sNaN97  NaN    ->  NaN97 Invalid_operation
dddvi674 divideint  sNaN96 sNaN94  ->  NaN96 Invalid_operation
dddvi675 divideint  NaN95  sNaN93  ->  NaN93 Invalid_operation
dddvi676 divideint -Inf    sNaN92  ->  NaN92 Invalid_operation
dddvi677 divideint  0      sNaN91  ->  NaN91 Invalid_operation
dddvi678 divideint  Inf   -sNaN90  -> -NaN90 Invalid_operation
dddvi679 divideint  NaN    sNaN89  ->  NaN89 Invalid_operation

-- Null tests
dddvi900 divideint  10  # -> NaN Invalid_operation
dddvi901 divideint   # 10 -> NaN Invalid_operation

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.