Repository URL to install this package:
------------------------------------------------------------------------
-- dqAdd.decTest -- decQuad addition --
-- 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
-- This set of tests are for decQuads only; all arguments are
-- representable in a decQuad
extended: 1
clamp: 1
precision: 34
maxExponent: 6144
minExponent: -6143
rounding: half_even
-- [first group are 'quick confidence check']
dqadd001 add 1 1 -> 2
dqadd002 add 2 3 -> 5
dqadd003 add '5.75' '3.3' -> 9.05
dqadd004 add '5' '-3' -> 2
dqadd005 add '-5' '-3' -> -8
dqadd006 add '-7' '2.5' -> -4.5
dqadd007 add '0.7' '0.3' -> 1.0
dqadd008 add '1.25' '1.25' -> 2.50
dqadd009 add '1.23456789' '1.00000000' -> '2.23456789'
dqadd010 add '1.23456789' '1.00000011' -> '2.23456800'
-- 1234567890123456 1234567890123456
dqadd011 add '0.4444444444444444444444444444444446' '0.5555555555555555555555555555555555' -> '1.000000000000000000000000000000000' Inexact Rounded
dqadd012 add '0.4444444444444444444444444444444445' '0.5555555555555555555555555555555555' -> '1.000000000000000000000000000000000' Rounded
dqadd013 add '0.4444444444444444444444444444444444' '0.5555555555555555555555555555555555' -> '0.9999999999999999999999999999999999'
dqadd014 add '4444444444444444444444444444444444' '0.49' -> '4444444444444444444444444444444444' Inexact Rounded
dqadd015 add '4444444444444444444444444444444444' '0.499' -> '4444444444444444444444444444444444' Inexact Rounded
dqadd016 add '4444444444444444444444444444444444' '0.4999' -> '4444444444444444444444444444444444' Inexact Rounded
dqadd017 add '4444444444444444444444444444444444' '0.5000' -> '4444444444444444444444444444444444' Inexact Rounded
dqadd018 add '4444444444444444444444444444444444' '0.5001' -> '4444444444444444444444444444444445' Inexact Rounded
dqadd019 add '4444444444444444444444444444444444' '0.501' -> '4444444444444444444444444444444445' Inexact Rounded
dqadd020 add '4444444444444444444444444444444444' '0.51' -> '4444444444444444444444444444444445' Inexact Rounded
dqadd021 add 0 1 -> 1
dqadd022 add 1 1 -> 2
dqadd023 add 2 1 -> 3
dqadd024 add 3 1 -> 4
dqadd025 add 4 1 -> 5
dqadd026 add 5 1 -> 6
dqadd027 add 6 1 -> 7
dqadd028 add 7 1 -> 8
dqadd029 add 8 1 -> 9
dqadd030 add 9 1 -> 10
-- some carrying effects
dqadd031 add '0.9998' '0.0000' -> '0.9998'
dqadd032 add '0.9998' '0.0001' -> '0.9999'
dqadd033 add '0.9998' '0.0002' -> '1.0000'
dqadd034 add '0.9998' '0.0003' -> '1.0001'
dqadd035 add '70' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
dqadd036 add '700' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
dqadd037 add '7000' '10000e+34' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
dqadd038 add '70000' '10000e+34' -> '1.000000000000000000000000000000001E+38' Inexact Rounded
dqadd039 add '700000' '10000e+34' -> '1.000000000000000000000000000000007E+38' Rounded
-- symmetry:
dqadd040 add '10000e+34' '70' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
dqadd041 add '10000e+34' '700' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
dqadd042 add '10000e+34' '7000' -> '1.000000000000000000000000000000000E+38' Inexact Rounded
dqadd044 add '10000e+34' '70000' -> '1.000000000000000000000000000000001E+38' Inexact Rounded
dqadd045 add '10000e+34' '700000' -> '1.000000000000000000000000000000007E+38' Rounded
-- same, without rounding
dqadd046 add '10000e+9' '7' -> '10000000000007'
dqadd047 add '10000e+9' '70' -> '10000000000070'
dqadd048 add '10000e+9' '700' -> '10000000000700'
dqadd049 add '10000e+9' '7000' -> '10000000007000'
dqadd050 add '10000e+9' '70000' -> '10000000070000'
dqadd051 add '10000e+9' '700000' -> '10000000700000'
dqadd052 add '10000e+9' '7000000' -> '10000007000000'
-- examples from decarith
dqadd053 add '12' '7.00' -> '19.00'
dqadd054 add '1.3' '-1.07' -> '0.23'
dqadd055 add '1.3' '-1.30' -> '0.00'
dqadd056 add '1.3' '-2.07' -> '-0.77'
dqadd057 add '1E+2' '1E+4' -> '1.01E+4'
-- leading zero preservation
dqadd061 add 1 '0.0001' -> '1.0001'
dqadd062 add 1 '0.00001' -> '1.00001'
dqadd063 add 1 '0.000001' -> '1.000001'
dqadd064 add 1 '0.0000001' -> '1.0000001'
dqadd065 add 1 '0.00000001' -> '1.00000001'
-- some funny zeros [in case of bad signum]
dqadd070 add 1 0 -> 1
dqadd071 add 1 0. -> 1
dqadd072 add 1 .0 -> 1.0
dqadd073 add 1 0.0 -> 1.0
dqadd074 add 1 0.00 -> 1.00
dqadd075 add 0 1 -> 1
dqadd076 add 0. 1 -> 1
dqadd077 add .0 1 -> 1.0
dqadd078 add 0.0 1 -> 1.0
dqadd079 add 0.00 1 -> 1.00
-- some carries
dqadd080 add 999999998 1 -> 999999999
dqadd081 add 999999999 1 -> 1000000000
dqadd082 add 99999999 1 -> 100000000
dqadd083 add 9999999 1 -> 10000000
dqadd084 add 999999 1 -> 1000000
dqadd085 add 99999 1 -> 100000
dqadd086 add 9999 1 -> 10000
dqadd087 add 999 1 -> 1000
dqadd088 add 99 1 -> 100
dqadd089 add 9 1 -> 10
-- more LHS swaps
dqadd090 add '-56267E-10' 0 -> '-0.0000056267'
dqadd091 add '-56267E-6' 0 -> '-0.056267'
dqadd092 add '-56267E-5' 0 -> '-0.56267'
dqadd093 add '-56267E-4' 0 -> '-5.6267'
dqadd094 add '-56267E-3' 0 -> '-56.267'
dqadd095 add '-56267E-2' 0 -> '-562.67'
dqadd096 add '-56267E-1' 0 -> '-5626.7'
dqadd097 add '-56267E-0' 0 -> '-56267'
dqadd098 add '-5E-10' 0 -> '-5E-10'
dqadd099 add '-5E-7' 0 -> '-5E-7'
dqadd100 add '-5E-6' 0 -> '-0.000005'
dqadd101 add '-5E-5' 0 -> '-0.00005'
dqadd102 add '-5E-4' 0 -> '-0.0005'
dqadd103 add '-5E-1' 0 -> '-0.5'
dqadd104 add '-5E0' 0 -> '-5'
dqadd105 add '-5E1' 0 -> '-50'
dqadd106 add '-5E5' 0 -> '-500000'
dqadd107 add '-5E33' 0 -> '-5000000000000000000000000000000000'
dqadd108 add '-5E34' 0 -> '-5.000000000000000000000000000000000E+34' Rounded
dqadd109 add '-5E35' 0 -> '-5.000000000000000000000000000000000E+35' Rounded
dqadd110 add '-5E36' 0 -> '-5.000000000000000000000000000000000E+36' Rounded
dqadd111 add '-5E100' 0 -> '-5.000000000000000000000000000000000E+100' Rounded
-- more RHS swaps
dqadd113 add 0 '-56267E-10' -> '-0.0000056267'
dqadd114 add 0 '-56267E-6' -> '-0.056267'
dqadd116 add 0 '-56267E-5' -> '-0.56267'
dqadd117 add 0 '-56267E-4' -> '-5.6267'
dqadd119 add 0 '-56267E-3' -> '-56.267'
dqadd120 add 0 '-56267E-2' -> '-562.67'
dqadd121 add 0 '-56267E-1' -> '-5626.7'
dqadd122 add 0 '-56267E-0' -> '-56267'
dqadd123 add 0 '-5E-10' -> '-5E-10'
dqadd124 add 0 '-5E-7' -> '-5E-7'
dqadd125 add 0 '-5E-6' -> '-0.000005'
dqadd126 add 0 '-5E-5' -> '-0.00005'
dqadd127 add 0 '-5E-4' -> '-0.0005'
dqadd128 add 0 '-5E-1' -> '-0.5'
dqadd129 add 0 '-5E0' -> '-5'
dqadd130 add 0 '-5E1' -> '-50'
dqadd131 add 0 '-5E5' -> '-500000'
dqadd132 add 0 '-5E33' -> '-5000000000000000000000000000000000'
dqadd133 add 0 '-5E34' -> '-5.000000000000000000000000000000000E+34' Rounded
dqadd134 add 0 '-5E35' -> '-5.000000000000000000000000000000000E+35' Rounded
dqadd135 add 0 '-5E36' -> '-5.000000000000000000000000000000000E+36' Rounded
dqadd136 add 0 '-5E100' -> '-5.000000000000000000000000000000000E+100' Rounded
-- related
dqadd137 add 1 '0E-39' -> '1.000000000000000000000000000000000' Rounded
dqadd138 add -1 '0E-39' -> '-1.000000000000000000000000000000000' Rounded
dqadd139 add '0E-39' 1 -> '1.000000000000000000000000000000000' Rounded
dqadd140 add '0E-39' -1 -> '-1.000000000000000000000000000000000' Rounded
dqadd141 add 1E+29 0.0000 -> '100000000000000000000000000000.0000'
dqadd142 add 1E+29 0.00000 -> '100000000000000000000000000000.0000' Rounded
dqadd143 add 0.000 1E+30 -> '1000000000000000000000000000000.000'
dqadd144 add 0.0000 1E+30 -> '1000000000000000000000000000000.000' Rounded
-- [some of the next group are really constructor tests]
dqadd146 add '00.0' 0 -> '0.0'
dqadd147 add '0.00' 0 -> '0.00'
dqadd148 add 0 '0.00' -> '0.00'
dqadd149 add 0 '00.0' -> '0.0'
dqadd150 add '00.0' '0.00' -> '0.00'
dqadd151 add '0.00' '00.0' -> '0.00'
dqadd152 add '3' '.3' -> '3.3'
dqadd153 add '3.' '.3' -> '3.3'
dqadd154 add '3.0' '.3' -> '3.3'
dqadd155 add '3.00' '.3' -> '3.30'
dqadd156 add '3' '3' -> '6'
dqadd157 add '3' '+3' -> '6'
dqadd158 add '3' '-3' -> '0'
dqadd159 add '0.3' '-0.3' -> '0.0'
dqadd160 add '0.03' '-0.03' -> '0.00'
-- try borderline precision, with carries, etc.
dqadd161 add '1E+12' '-1' -> '999999999999'
dqadd162 add '1E+12' '1.11' -> '1000000000001.11'
dqadd163 add '1.11' '1E+12' -> '1000000000001.11'
dqadd164 add '-1' '1E+12' -> '999999999999'
dqadd165 add '7E+12' '-1' -> '6999999999999'
dqadd166 add '7E+12' '1.11' -> '7000000000001.11'
dqadd167 add '1.11' '7E+12' -> '7000000000001.11'
dqadd168 add '-1' '7E+12' -> '6999999999999'
rounding: half_up
dqadd170 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555567' -> '5.000000000000000000000000000000001' Inexact Rounded
dqadd171 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555566' -> '5.000000000000000000000000000000001' Inexact Rounded
dqadd172 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555565' -> '5.000000000000000000000000000000001' Inexact Rounded
dqadd173 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555564' -> '5.000000000000000000000000000000000' Inexact Rounded
dqadd174 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555553' -> '4.999999999999999999999999999999999' Inexact Rounded
dqadd175 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555552' -> '4.999999999999999999999999999999999' Inexact Rounded
dqadd176 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555551' -> '4.999999999999999999999999999999999' Inexact Rounded
dqadd177 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555550' -> '4.999999999999999999999999999999999' Rounded
dqadd178 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555545' -> '4.999999999999999999999999999999999' Inexact Rounded
dqadd179 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555544' -> '4.999999999999999999999999999999998' Inexact Rounded
dqadd180 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555543' -> '4.999999999999999999999999999999998' Inexact Rounded
dqadd181 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555542' -> '4.999999999999999999999999999999998' Inexact Rounded
dqadd182 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555541' -> '4.999999999999999999999999999999998' Inexact Rounded
dqadd183 add '4.444444444444444444444444444444444' '0.5555555555555555555555555555555540' -> '4.999999999999999999999999999999998' Rounded
-- and some more, including residue effects and different roundings
rounding: half_up
dqadd200 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'
dqadd201 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd202 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd203 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd204 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd205 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd206 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd207 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd208 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd209 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd210 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd211 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd212 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd213 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd214 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd215 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd216 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'
dqadd217 add '1231234567890123456784560123456789' 1.000000001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd218 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd219 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded
rounding: half_even
dqadd220 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'
dqadd221 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd222 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd223 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd224 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd225 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd226 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd227 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd228 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd229 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd230 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd231 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd232 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd233 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd234 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd235 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd236 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'
dqadd237 add '1231234567890123456784560123456789' 1.00000001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd238 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd239 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded
-- critical few with even bottom digit...
dqadd240 add '1231234567890123456784560123456788' 0.499999999 -> '1231234567890123456784560123456788' Inexact Rounded
dqadd241 add '1231234567890123456784560123456788' 0.5 -> '1231234567890123456784560123456788' Inexact Rounded
dqadd242 add '1231234567890123456784560123456788' 0.500000001 -> '1231234567890123456784560123456789' Inexact Rounded
rounding: down
dqadd250 add '1231234567890123456784560123456789' 0 -> '1231234567890123456784560123456789'
dqadd251 add '1231234567890123456784560123456789' 0.000000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd252 add '1231234567890123456784560123456789' 0.000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd253 add '1231234567890123456784560123456789' 0.1 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd254 add '1231234567890123456784560123456789' 0.4 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd255 add '1231234567890123456784560123456789' 0.49 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd256 add '1231234567890123456784560123456789' 0.499999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd257 add '1231234567890123456784560123456789' 0.499999999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd258 add '1231234567890123456784560123456789' 0.5 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd259 add '1231234567890123456784560123456789' 0.500000001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd260 add '1231234567890123456784560123456789' 0.500001 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd261 add '1231234567890123456784560123456789' 0.51 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd262 add '1231234567890123456784560123456789' 0.6 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd263 add '1231234567890123456784560123456789' 0.9 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd264 add '1231234567890123456784560123456789' 0.99999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd265 add '1231234567890123456784560123456789' 0.999999999 -> '1231234567890123456784560123456789' Inexact Rounded
dqadd266 add '1231234567890123456784560123456789' 1 -> '1231234567890123456784560123456790'
dqadd267 add '1231234567890123456784560123456789' 1.00000001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd268 add '1231234567890123456784560123456789' 1.00001 -> '1231234567890123456784560123456790' Inexact Rounded
dqadd269 add '1231234567890123456784560123456789' 1.1 -> '1231234567890123456784560123456790' Inexact Rounded
-- 1 in last place tests
rounding: half_up
dqadd301 add -1 1 -> 0
dqadd302 add 0 1 -> 1
dqadd303 add 1 1 -> 2
dqadd304 add 12 1 -> 13
dqadd305 add 98 1 -> 99
dqadd306 add 99 1 -> 100
dqadd307 add 100 1 -> 101
dqadd308 add 101 1 -> 102
dqadd309 add -1 -1 -> -2
dqadd310 add 0 -1 -> -1
dqadd311 add 1 -1 -> 0
dqadd312 add 12 -1 -> 11
dqadd313 add 98 -1 -> 97
dqadd314 add 99 -1 -> 98
dqadd315 add 100 -1 -> 99
dqadd316 add 101 -1 -> 100
dqadd321 add -0.01 0.01 -> 0.00
dqadd322 add 0.00 0.01 -> 0.01
dqadd323 add 0.01 0.01 -> 0.02
dqadd324 add 0.12 0.01 -> 0.13
dqadd325 add 0.98 0.01 -> 0.99
dqadd326 add 0.99 0.01 -> 1.00
dqadd327 add 1.00 0.01 -> 1.01
dqadd328 add 1.01 0.01 -> 1.02
dqadd329 add -0.01 -0.01 -> -0.02
dqadd330 add 0.00 -0.01 -> -0.01
dqadd331 add 0.01 -0.01 -> 0.00
dqadd332 add 0.12 -0.01 -> 0.11
dqadd333 add 0.98 -0.01 -> 0.97
dqadd334 add 0.99 -0.01 -> 0.98
dqadd335 add 1.00 -0.01 -> 0.99
dqadd336 add 1.01 -0.01 -> 1.00
-- some more cases where adding 0 affects the coefficient
dqadd340 add 1E+3 0 -> 1000
dqadd341 add 1E+33 0 -> 1000000000000000000000000000000000
dqadd342 add 1E+34 0 -> 1.000000000000000000000000000000000E+34 Rounded
dqadd343 add 1E+35 0 -> 1.000000000000000000000000000000000E+35 Rounded
Loading ...