divideint.dectest

eda is an estimation of distributions algorithm

dvix280 divideint 0.1 9e-999999999       -> NaN Division_impossible
dvix281 divideint 0.1 99e-999999999      -> NaN Division_impossible
dvix282 divideint 0.1 999e-999999999     -> NaN Division_impossible

dvix283 divideint 0.1 9e-999999998       -> NaN Division_impossible
dvix284 divideint 0.1 99e-999999998      -> NaN Division_impossible
dvix285 divideint 0.1 999e-999999998     -> NaN Division_impossible
dvix286 divideint 0.1 999e-999999997     -> NaN Division_impossible
dvix287 divideint 0.1 9999e-999999997    -> NaN Division_impossible
dvix288 divideint 0.1 99999e-999999997   -> NaN Division_impossible


-- overflow and underflow tests [from divide]
maxexponent: 999999999
dvix330 divideint +1.23456789012345E-0 9E+999999999    -> 0
dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible
dvix332 divideint +0.100 9E+999999999    -> 0
dvix333 divideint 9E-999999999 +9.100    -> 0
dvix335 divideint -1.23456789012345E-0 9E+999999999    -> -0
dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible
dvix337 divideint -0.100 9E+999999999    -> -0
dvix338 divideint 9E-999999999 -9.100    -> -0

-- long operand checks
maxexponent: 999
precision: 9
dvix401 divideint 12345678000 100 -> 123456780
dvix402 divideint 1 12345678000   -> 0
dvix403 divideint 1234567800  10  -> 123456780
dvix404 divideint 1 1234567800    -> 0
dvix405 divideint 1234567890  10  -> 123456789
dvix406 divideint 1 1234567890    -> 0
dvix407 divideint 1234567891  10  -> 123456789
dvix408 divideint 1 1234567891    -> 0
dvix409 divideint 12345678901 100 -> 123456789
dvix410 divideint 1 12345678901   -> 0
dvix411 divideint 1234567896  10  -> 123456789
dvix412 divideint 1 1234567896    -> 0
dvix413 divideint 12345678948 100 -> 123456789
dvix414 divideint 12345678949 100 -> 123456789
dvix415 divideint 12345678950 100 -> 123456789
dvix416 divideint 12345678951 100 -> 123456789
dvix417 divideint 12345678999 100 -> 123456789

precision: 15
dvix441 divideint 12345678000 1 -> 12345678000
dvix442 divideint 1 12345678000 -> 0
dvix443 divideint 1234567800  1 -> 1234567800
dvix444 divideint 1 1234567800  -> 0
dvix445 divideint 1234567890  1 -> 1234567890
dvix446 divideint 1 1234567890  -> 0
dvix447 divideint 1234567891  1 -> 1234567891
dvix448 divideint 1 1234567891  -> 0
dvix449 divideint 12345678901 1 -> 12345678901
dvix450 divideint 1 12345678901 -> 0
dvix451 divideint 1234567896  1 -> 1234567896
dvix452 divideint 1 1234567896  -> 0

precision:   9
rounding:    half_up
maxExponent: 999

-- more zeros, etc.
dvix531 divideint 5.00 1E-3    -> 5000
dvix532 divideint 00.00 0.000  -> NaN Division_undefined
dvix533 divideint 00.00 0E-3   -> NaN Division_undefined
dvix534 divideint  0    -0     -> NaN Division_undefined
dvix535 divideint -0     0     -> NaN Division_undefined
dvix536 divideint -0    -0     -> NaN Division_undefined

dvix541 divideint  0    -1     -> -0
dvix542 divideint -0    -1     ->  0
dvix543 divideint  0     1     ->  0
dvix544 divideint -0     1     -> -0
dvix545 divideint -1     0     -> -Infinity Division_by_zero
dvix546 divideint -1    -0     ->  Infinity Division_by_zero
dvix547 divideint  1     0     ->  Infinity Division_by_zero
dvix548 divideint  1    -0     -> -Infinity Division_by_zero

dvix551 divideint  0.0  -1     -> -0
dvix552 divideint -0.0  -1     ->  0
dvix553 divideint  0.0   1     ->  0
dvix554 divideint -0.0   1     -> -0
dvix555 divideint -1.0   0     -> -Infinity Division_by_zero
dvix556 divideint -1.0  -0     ->  Infinity Division_by_zero
dvix557 divideint  1.0   0     ->  Infinity Division_by_zero
dvix558 divideint  1.0  -0     -> -Infinity Division_by_zero

dvix561 divideint  0    -1.0   -> -0
dvix562 divideint -0    -1.0   ->  0
dvix563 divideint  0     1.0   ->  0
dvix564 divideint -0     1.0   -> -0
dvix565 divideint -1     0.0   -> -Infinity Division_by_zero
dvix566 divideint -1    -0.0   ->  Infinity Division_by_zero
dvix567 divideint  1     0.0   ->  Infinity Division_by_zero
dvix568 divideint  1    -0.0   -> -Infinity Division_by_zero

dvix571 divideint  0.0  -1.0   -> -0
dvix572 divideint -0.0  -1.0   ->  0
dvix573 divideint  0.0   1.0   ->  0
dvix574 divideint -0.0   1.0   -> -0
dvix575 divideint -1.0   0.0   -> -Infinity Division_by_zero
dvix576 divideint -1.0  -0.0   ->  Infinity Division_by_zero
dvix577 divideint  1.0   0.0   ->  Infinity Division_by_zero
dvix578 divideint  1.0  -0.0   -> -Infinity Division_by_zero

-- Specials
dvix580 divideint  Inf  -Inf   ->  NaN Invalid_operation
dvix581 divideint  Inf  -1000  -> -Infinity
dvix582 divideint  Inf  -1     -> -Infinity
dvix583 divideint  Inf  -0     -> -Infinity  Division_by_zero
dvix584 divideint  Inf   0     ->  Infinity  Division_by_zero
dvix585 divideint  Inf   1     ->  Infinity
dvix586 divideint  Inf   1000  ->  Infinity
dvix587 divideint  Inf   Inf   ->  NaN Invalid_operation
dvix588 divideint -1000  Inf   -> -0
dvix589 divideint -Inf   Inf   ->  NaN Invalid_operation
dvix590 divideint -1     Inf   -> -0
dvix591 divideint -0     Inf   -> -0
dvix592 divideint  0     Inf   ->  0
dvix593 divideint  1     Inf   ->  0
dvix594 divideint  1000  Inf   ->  0
dvix595 divideint  Inf   Inf   ->  NaN Invalid_operation

dvix600 divideint -Inf  -Inf   ->  NaN Invalid_operation
dvix601 divideint -Inf  -1000  ->  Infinity
dvix602 divideint -Inf  -1     ->  Infinity
dvix603 divideint -Inf  -0     ->  Infinity  Division_by_zero
dvix604 divideint -Inf   0     -> -Infinity  Division_by_zero
dvix605 divideint -Inf   1     -> -Infinity
dvix606 divideint -Inf   1000  -> -Infinity
dvix607 divideint -Inf   Inf   ->  NaN Invalid_operation
dvix608 divideint -1000  Inf   -> -0
dvix609 divideint -Inf  -Inf   ->  NaN Invalid_operation
dvix610 divideint -1    -Inf   ->  0
dvix611 divideint -0    -Inf   ->  0
dvix612 divideint  0    -Inf   -> -0
dvix613 divideint  1    -Inf   -> -0
dvix614 divideint  1000 -Inf   -> -0
dvix615 divideint  Inf  -Inf   ->  NaN Invalid_operation

dvix621 divideint  NaN -Inf    ->  NaN
dvix622 divideint  NaN -1000   ->  NaN
dvix623 divideint  NaN -1      ->  NaN
dvix624 divideint  NaN -0      ->  NaN
dvix625 divideint  NaN  0      ->  NaN
dvix626 divideint  NaN  1      ->  NaN
dvix627 divideint  NaN  1000   ->  NaN
dvix628 divideint  NaN  Inf    ->  NaN
dvix629 divideint  NaN  NaN    ->  NaN
dvix630 divideint -Inf  NaN    ->  NaN
dvix631 divideint -1000 NaN    ->  NaN
dvix632 divideint -1    NaN    ->  NaN
dvix633 divideint -0    NaN    ->  NaN
dvix634 divideint  0    NaN    ->  NaN
dvix635 divideint  1    NaN    ->  NaN
dvix636 divideint  1000 NaN    ->  NaN
dvix637 divideint  Inf  NaN    ->  NaN

dvix641 divideint  sNaN -Inf   ->  NaN  Invalid_operation
dvix642 divideint  sNaN -1000  ->  NaN  Invalid_operation
dvix643 divideint  sNaN -1     ->  NaN  Invalid_operation
dvix644 divideint  sNaN -0     ->  NaN  Invalid_operation
dvix645 divideint  sNaN  0     ->  NaN  Invalid_operation
dvix646 divideint  sNaN  1     ->  NaN  Invalid_operation
dvix647 divideint  sNaN  1000  ->  NaN  Invalid_operation
dvix648 divideint  sNaN  NaN   ->  NaN  Invalid_operation
dvix649 divideint  sNaN sNaN   ->  NaN  Invalid_operation
dvix650 divideint  NaN  sNaN   ->  NaN  Invalid_operation
dvix651 divideint -Inf  sNaN   ->  NaN  Invalid_operation
dvix652 divideint -1000 sNaN   ->  NaN  Invalid_operation
dvix653 divideint -1    sNaN   ->  NaN  Invalid_operation
dvix654 divideint -0    sNaN   ->  NaN  Invalid_operation
dvix655 divideint  0    sNaN   ->  NaN  Invalid_operation
dvix656 divideint  1    sNaN   ->  NaN  Invalid_operation
dvix657 divideint  1000 sNaN   ->  NaN  Invalid_operation
dvix658 divideint  Inf  sNaN   ->  NaN  Invalid_operation
dvix659 divideint  NaN  sNaN   ->  NaN  Invalid_operation

-- some long operand cases again
precision: 8
dvix660 divideint  100000001     1  ->  NaN Division_impossible
dvix661 divideint  100000000.4   1  ->  NaN Division_impossible
dvix662 divideint  100000000.5   1  ->  NaN Division_impossible
dvix663 divideint  100000000.9   1  ->  NaN Division_impossible
dvix664 divideint  100000000.999 1  ->  NaN Division_impossible
precision: 6
dvix690 divideint  100000000     1  ->  NaN Division_impossible
dvix691 divideint  10000000      1  ->  NaN Division_impossible
dvix692 divideint  1000000       1  ->  NaN Division_impossible
dvix693 divideint  100000        1  ->  100000
dvix694 divideint  10000         1  ->  10000
dvix695 divideint  1000          1  ->  1000
dvix696 divideint  100           1  ->  100
dvix697 divideint  10            1  ->  10
dvix698 divideint  1             1  ->  1

precision: 9
maxexponent: 999999999
dvix672 divideint 1 0.99e999999999 -> 0
dvix673 divideint 1 0.999999999e999999999 -> 0
dvix674 divideint 9e999999999    1       -> NaN Division_impossible
dvix675 divideint 9.9e999999999  1       -> NaN Division_impossible
dvix676 divideint 9.99e999999999 1       -> NaN Division_impossible
dvix677 divideint 9.99999999e999999999 1 -> NaN Division_impossible

dvix680 divideint 0.1 9e-999999999       -> NaN Division_impossible
dvix681 divideint 0.1 99e-999999999      -> NaN Division_impossible
dvix682 divideint 0.1 999e-999999999     -> NaN Division_impossible

dvix683 divideint 0.1 9e-999999998       -> NaN Division_impossible
dvix684 divideint 0.1 99e-999999998      -> NaN Division_impossible
dvix685 divideint 0.1 999e-999999998     -> NaN Division_impossible
dvix686 divideint 0.1 999e-999999997     -> NaN Division_impossible
dvix687 divideint 0.1 9999e-999999997    -> NaN Division_impossible
dvix688 divideint 0.1 99999e-999999997   -> NaN Division_impossible


-- Null tests
dvix900 divideint  10  # -> NaN Invalid_operation
dvix901 divideint   # 10 -> NaN Invalid_operation