------------------------------------------------------------------------
-- divide0.decTest -- decimal division (simplified) --
-- 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.58
extended: 0
precision: 9
rounding: half_up
maxExponent: 999
minexponent: -999
div001 divide 1 1 -> 1
div002 divide 2 1 -> 2
div003 divide 1 2 -> 0.5
div004 divide 2 2 -> 1
div005 divide 0 1 -> 0
div006 divide 0 2 -> 0
div007 divide 1 3 -> 0.333333333 Inexact Rounded
div008 divide 2 3 -> 0.666666667 Inexact Rounded
div009 divide 3 3 -> 1
div010 divide 2.4 1 -> 2.4
div011 divide 2.4 -1 -> -2.4
div012 divide -2.4 1 -> -2.4
div013 divide -2.4 -1 -> 2.4
div014 divide 2.40 1 -> 2.4
div015 divide 2.400 1 -> 2.4
div016 divide 2.4 2 -> 1.2
div017 divide 2.400 2 -> 1.2
div018 divide 2. 2 -> 1
div019 divide 20 20 -> 1
div020 divide 187 187 -> 1
div021 divide 5 2 -> 2.5
div022 divide 5 2.0 -> 2.5
div023 divide 5 2.000 -> 2.5
div024 divide 5 0.200 -> 25
div025 divide 5 0.200 -> 25
div026 divide 10 1 -> 10
div027 divide 100 1 -> 100
div028 divide 1000 1 -> 1000
div029 divide 1000 100 -> 10
div030 divide 1 2 -> 0.5
div031 divide 1 4 -> 0.25
div032 divide 1 8 -> 0.125
div033 divide 1 16 -> 0.0625
div034 divide 1 32 -> 0.03125
div035 divide 1 64 -> 0.015625
div040 divide 1 -2 -> -0.5
div041 divide 1 -4 -> -0.25
div042 divide 1 -8 -> -0.125
div043 divide 1 -16 -> -0.0625
div044 divide 1 -32 -> -0.03125
div045 divide 1 -64 -> -0.015625
div050 divide -1 2 -> -0.5
div051 divide -1 4 -> -0.25
div052 divide -1 8 -> -0.125
div053 divide -1 16 -> -0.0625
div054 divide -1 32 -> -0.03125
div055 divide -1 64 -> -0.015625
div060 divide -1 -2 -> 0.5
div061 divide -1 -4 -> 0.25
div062 divide -1 -8 -> 0.125
div063 divide -1 -16 -> 0.0625
div064 divide -1 -32 -> 0.03125
div065 divide -1 -64 -> 0.015625
div070 divide 999999999 1 -> 999999999
div071 divide 999999999.4 1 -> 999999999 Inexact Lost_digits Rounded
div072 divide 999999999.5 1 -> 1E+9 Inexact Lost_digits Rounded
div073 divide 999999999.9 1 -> 1E+9 Inexact Lost_digits Rounded
div074 divide 999999999.999 1 -> 1E+9 Inexact Lost_digits Rounded
precision: 6
div080 divide 999999999 1 -> 1E+9 Inexact Lost_digits Rounded
div081 divide 99999999 1 -> 1E+8 Inexact Lost_digits Rounded
div082 divide 9999999 1 -> 1E+7 Inexact Lost_digits Rounded
div083 divide 999999 1 -> 999999
div084 divide 99999 1 -> 99999
div085 divide 9999 1 -> 9999
div086 divide 999 1 -> 999
div087 divide 99 1 -> 99
div088 divide 9 1 -> 9
precision: 9
div090 divide 0. 1 -> 0
div091 divide .0 1 -> 0
div092 divide 0.00 1 -> 0
div093 divide 0.00E+9 1 -> 0
div094 divide 0.0000E-50 1 -> 0
div095 divide 1 1E-8 -> 100000000
div096 divide 1 1E-9 -> 1E+9
div097 divide 1 1E-10 -> 1E+10
div098 divide 1 1E-11 -> 1E+11
div099 divide 1 1E-12 -> 1E+12
div100 divide 1 1 -> 1
div101 divide 1 2 -> 0.5
div102 divide 1 3 -> 0.333333333 Inexact Rounded
div103 divide 1 4 -> 0.25
div104 divide 1 5 -> 0.2
div105 divide 1 6 -> 0.166666667 Inexact Rounded
div106 divide 1 7 -> 0.142857143 Inexact Rounded
div107 divide 1 8 -> 0.125
div108 divide 1 9 -> 0.111111111 Inexact Rounded
div109 divide 1 10 -> 0.1
div110 divide 1 1 -> 1
div111 divide 2 1 -> 2
div112 divide 3 1 -> 3
div113 divide 4 1 -> 4
div114 divide 5 1 -> 5
div115 divide 6 1 -> 6
div116 divide 7 1 -> 7
div117 divide 8 1 -> 8
div118 divide 9 1 -> 9
div119 divide 10 1 -> 10
div130 divide 12345 4.999 -> 2469.4939 Inexact Rounded
div131 divide 12345 4.99 -> 2473.9479 Inexact Rounded
div132 divide 12345 4.9 -> 2519.38776 Inexact Rounded
div133 divide 12345 5 -> 2469
div134 divide 12345 5.1 -> 2420.58824 Inexact Rounded
div135 divide 12345 5.01 -> 2464.07186 Inexact Rounded
div136 divide 12345 5.001 -> 2468.5063 Inexact Rounded
-- Various flavours of divide by 0
maxexponent: 999999999
minexponent: -999999999
div201 divide 0 0 -> ? Division_undefined
div202 divide 0.0E5 0 -> ? Division_undefined
div203 divide 0.000 0 -> ? Division_undefined
div204 divide 0.0001 0 -> ? Division_by_zero
div205 divide 0.01 0 -> ? Division_by_zero
div206 divide 0.1 0 -> ? Division_by_zero
div207 divide 1 0 -> ? Division_by_zero
div208 divide 1 0.0 -> ? Division_by_zero
div209 divide 10 0.0 -> ? Division_by_zero
div210 divide 1E+100 0.0 -> ? Division_by_zero
div211 divide 1E+1000 0 -> ? Division_by_zero
-- test possibly imprecise results
div220 divide 391 597 -> 0.654941374 Inexact Rounded
div221 divide 391 -597 -> -0.654941374 Inexact Rounded
div222 divide -391 597 -> -0.654941374 Inexact Rounded
div223 divide -391 -597 -> 0.654941374 Inexact Rounded
-- test some cases that are close to exponent overflow
maxexponent: 999999999
minexponent: -999999999
div270 divide 1 1e999999999 -> 1E-999999999
div271 divide 1 0.9e999999999 -> 1.11111111E-999999999 Inexact Rounded
div272 divide 1 0.99e999999999 -> 1.01010101E-999999999 Inexact Rounded
div273 divide 1 0.999999999e999999999 -> 1E-999999999 Inexact Rounded
div274 divide 9e999999999 1 -> 9E+999999999
div275 divide 9.9e999999999 1 -> 9.9E+999999999
div276 divide 9.99e999999999 1 -> 9.99E+999999999
div277 divide 9.99999999e999999999 1 -> 9.99999999E+999999999
div280 divide 0.1 9e-999999999 -> 1.11111111E+999999997 Inexact Rounded
div281 divide 0.1 99e-999999999 -> 1.01010101E+999999996 Inexact Rounded
div282 divide 0.1 999e-999999999 -> 1.001001E+999999995 Inexact Rounded
div283 divide 0.1 9e-999999998 -> 1.11111111E+999999996 Inexact Rounded
div284 divide 0.1 99e-999999998 -> 1.01010101E+999999995 Inexact Rounded
div285 divide 0.1 999e-999999998 -> 1.001001E+999999994 Inexact Rounded
div286 divide 0.1 999e-999999997 -> 1.001001E+999999993 Inexact Rounded
div287 divide 0.1 9999e-999999997 -> 1.00010001E+999999992 Inexact Rounded
div288 divide 0.1 99999e-999999997 -> 1.00001E+999999991 Inexact Rounded
-- overflow and underflow tests
maxexponent: 999999999
minexponent: -999999999
div330 divide +1.23456789012345E-0 9E+999999999 -> ? Inexact Lost_digits Rounded Underflow Subnormal
div331 divide 9E+999999999 +0.23456789012345E-0 -> ? Inexact Lost_digits Overflow Rounded
div332 divide +0.100 9E+999999999 -> ? Inexact Rounded Underflow Subnormal
div333 divide 9E-999999999 +9.100 -> ? Inexact Rounded Underflow Subnormal
div335 divide -1.23456789012345E-0 9E+999999999 -> ? Inexact Lost_digits Rounded Underflow Subnormal
div336 divide 9E+999999999 -0.83456789012345E-0 -> ? Inexact Lost_digits Overflow Rounded
div337 divide -0.100 9E+999999999 -> ? Inexact Rounded Underflow Subnormal
div338 divide 9E-999999999 -9.100 -> ? Inexact Rounded Underflow Subnormal
-- 'subnormal' results (all underflow or overflow in base arithemtic)
div360 divide 1e-600000000 1e+400000001 -> ? Underflow Subnormal Inexact Rounded
div361 divide 1e-600000000 1e+400000002 -> ? Underflow Subnormal Inexact Rounded
div362 divide 1e-600000000 1e+400000003 -> ? Underflow Subnormal Inexact Rounded
div363 divide 1e-600000000 1e+400000004 -> ? Underflow Subnormal Inexact Rounded
div364 divide 1e-600000000 1e+400000005 -> ? Underflow Subnormal Inexact Rounded
div365 divide 1e-600000000 1e+400000006 -> ? Underflow Subnormal Inexact Rounded
div366 divide 1e-600000000 1e+400000007 -> ? Underflow Subnormal Inexact Rounded
div367 divide 1e-600000000 1e+400000008 -> ? Underflow Subnormal Inexact Rounded
div368 divide 1e-600000000 1e+400000009 -> ? Underflow Subnormal Inexact Rounded
div369 divide 1e-600000000 1e+400000010 -> ? Underflow Subnormal Inexact Rounded
-- [no equivalent of 'subnormal' for overflow]
div370 divide 1e+600000000 1e-400000001 -> ? Overflow Inexact Rounded
div371 divide 1e+600000000 1e-400000002 -> ? Overflow Inexact Rounded
div372 divide 1e+600000000 1e-400000003 -> ? Overflow Inexact Rounded
div373 divide 1e+600000000 1e-400000004 -> ? Overflow Inexact Rounded
div374 divide 1e+600000000 1e-400000005 -> ? Overflow Inexact Rounded
div375 divide 1e+600000000 1e-400000006 -> ? Overflow Inexact Rounded
div376 divide 1e+600000000 1e-400000007 -> ? Overflow Inexact Rounded
div377 divide 1e+600000000 1e-400000008 -> ? Overflow Inexact Rounded
div378 divide 1e+600000000 1e-400000009 -> ? Overflow Inexact Rounded
div379 divide 1e+600000000 1e-400000010 -> ? Overflow Inexact Rounded
-- lostDigits checks
maxexponent: 999
minexponent: -999
precision: 9
div401 divide 12345678000 1 -> 1.2345678E+10 Rounded
div402 divide 1 12345678000 -> 8.10000066E-11 Inexact Rounded
div403 divide 1234567800 1 -> 1.2345678E+9 Rounded
div404 divide 1 1234567800 -> 8.10000066E-10 Inexact Rounded
div405 divide 1234567890 1 -> 1.23456789E+9 Rounded
div406 divide 1 1234567890 -> 8.10000007E-10 Inexact Rounded
div407 divide 1234567891 1 -> 1.23456789E+9 Inexact Lost_digits Rounded
div408 divide 1 1234567891 -> 8.10000007E-10 Inexact Lost_digits Rounded
div409 divide 12345678901 1 -> 1.23456789E+10 Inexact Lost_digits Rounded
div410 divide 1 12345678901 -> 8.10000007E-11 Inexact Lost_digits Rounded
div411 divide 1234567896 1 -> 1.2345679E+9 Inexact Lost_digits Rounded
div412 divide 1 1234567896 -> 8.10000001E-10 Inexact Lost_digits Rounded
-- previous case different (8.10000003E-10) if no input rounding
precision: 15
-- still checking for [no] lostDigits
div441 divide 12345678000 1 -> 12345678000
div442 divide 1 12345678000 -> 8.10000066420005E-11 Inexact Rounded
div443 divide 1234567800 1 -> 1234567800
div444 divide 1 1234567800 -> 8.10000066420005E-10 Inexact Rounded
div445 divide 1234567890 1 -> 1234567890
div446 divide 1 1234567890 -> 8.10000007371E-10 Inexact Rounded
div447 divide 1234567891 1 -> 1234567891
div448 divide 1 1234567891 -> 8.100000067149E-10 Inexact Rounded
div449 divide 12345678901 1 -> 12345678901
div450 divide 1 12345678901 -> 8.1000000730539E-11 Inexact Rounded
div451 divide 1234567896 1 -> 1234567896
div452 divide 1 1234567896 -> 8.100000034344E-10 Inexact Rounded
-- Null tests
div900 divide 10 # -> ? Invalid_operation
div901 divide # 10 -> ? Invalid_operation