------------------------------------------------------------------------ -- 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