| ------------------------------------------------------------------------ |
| -- nextminus.decTest -- decimal next that is less [754r nextdown] -- |
| -- 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 |
| |
| extended: 1 |
| precision: 9 |
| rounding: half_up |
| maxExponent: 384 |
| minexponent: -383 |
| |
| nextm001 nextminus 0.999999995 -> 0.999999994 |
| nextm002 nextminus 0.999999996 -> 0.999999995 |
| nextm003 nextminus 0.999999997 -> 0.999999996 |
| nextm004 nextminus 0.999999998 -> 0.999999997 |
| nextm005 nextminus 0.999999999 -> 0.999999998 |
| nextm006 nextminus 1.00000000 -> 0.999999999 |
| nextm007 nextminus 1.0 -> 0.999999999 |
| nextm008 nextminus 1 -> 0.999999999 |
| nextm009 nextminus 1.00000001 -> 1.00000000 |
| nextm010 nextminus 1.00000002 -> 1.00000001 |
| nextm011 nextminus 1.00000003 -> 1.00000002 |
| nextm012 nextminus 1.00000004 -> 1.00000003 |
| nextm013 nextminus 1.00000005 -> 1.00000004 |
| nextm014 nextminus 1.00000006 -> 1.00000005 |
| nextm015 nextminus 1.00000007 -> 1.00000006 |
| nextm016 nextminus 1.00000008 -> 1.00000007 |
| nextm017 nextminus 1.00000009 -> 1.00000008 |
| nextm018 nextminus 1.00000010 -> 1.00000009 |
| nextm019 nextminus 1.00000011 -> 1.00000010 |
| nextm020 nextminus 1.00000012 -> 1.00000011 |
| |
| nextm021 nextminus -0.999999995 -> -0.999999996 |
| nextm022 nextminus -0.999999996 -> -0.999999997 |
| nextm023 nextminus -0.999999997 -> -0.999999998 |
| nextm024 nextminus -0.999999998 -> -0.999999999 |
| nextm025 nextminus -0.999999999 -> -1.00000000 |
| nextm026 nextminus -1.00000000 -> -1.00000001 |
| nextm027 nextminus -1.0 -> -1.00000001 |
| nextm028 nextminus -1 -> -1.00000001 |
| nextm029 nextminus -1.00000001 -> -1.00000002 |
| nextm030 nextminus -1.00000002 -> -1.00000003 |
| nextm031 nextminus -1.00000003 -> -1.00000004 |
| nextm032 nextminus -1.00000004 -> -1.00000005 |
| nextm033 nextminus -1.00000005 -> -1.00000006 |
| nextm034 nextminus -1.00000006 -> -1.00000007 |
| nextm035 nextminus -1.00000007 -> -1.00000008 |
| nextm036 nextminus -1.00000008 -> -1.00000009 |
| nextm037 nextminus -1.00000009 -> -1.00000010 |
| nextm038 nextminus -1.00000010 -> -1.00000011 |
| nextm039 nextminus -1.00000011 -> -1.00000012 |
| |
| -- input operand is >precision |
| nextm041 nextminus 1.00000010998 -> 1.00000010 |
| nextm042 nextminus 1.00000010999 -> 1.00000010 |
| nextm043 nextminus 1.00000011000 -> 1.00000010 |
| nextm044 nextminus 1.00000011001 -> 1.00000011 |
| nextm045 nextminus 1.00000011002 -> 1.00000011 |
| nextm046 nextminus 1.00000011002 -> 1.00000011 |
| nextm047 nextminus 1.00000011052 -> 1.00000011 |
| nextm048 nextminus 1.00000011552 -> 1.00000011 |
| nextm049 nextminus -1.00000010998 -> -1.00000011 |
| nextm050 nextminus -1.00000010999 -> -1.00000011 |
| nextm051 nextminus -1.00000011000 -> -1.00000012 |
| nextm052 nextminus -1.00000011001 -> -1.00000012 |
| nextm053 nextminus -1.00000011002 -> -1.00000012 |
| nextm054 nextminus -1.00000011002 -> -1.00000012 |
| nextm055 nextminus -1.00000011052 -> -1.00000012 |
| nextm056 nextminus -1.00000011552 -> -1.00000012 |
| -- ultra-tiny inputs |
| nextm060 nextminus 1E-99999 -> 0E-391 |
| nextm061 nextminus 1E-999999999 -> 0E-391 |
| nextm062 nextminus 1E-391 -> 0E-391 |
| nextm063 nextminus -1E-99999 -> -1E-391 |
| nextm064 nextminus -1E-999999999 -> -1E-391 |
| nextm065 nextminus -1E-391 -> -2E-391 |
| |
| -- Zeros |
| nextm100 nextminus -0 -> -1E-391 |
| nextm101 nextminus 0 -> -1E-391 |
| nextm102 nextminus 0.00 -> -1E-391 |
| nextm103 nextminus -0.00 -> -1E-391 |
| nextm104 nextminus 0E-300 -> -1E-391 |
| nextm105 nextminus 0E+300 -> -1E-391 |
| nextm106 nextminus 0E+30000 -> -1E-391 |
| nextm107 nextminus -0E+30000 -> -1E-391 |
| |
| precision: 9 |
| maxExponent: 999 |
| minexponent: -999 |
| -- specials |
| nextm150 nextminus Inf -> 9.99999999E+999 |
| nextm151 nextminus -Inf -> -Infinity |
| nextm152 nextminus NaN -> NaN |
| nextm153 nextminus sNaN -> NaN Invalid_operation |
| nextm154 nextminus NaN77 -> NaN77 |
| nextm155 nextminus sNaN88 -> NaN88 Invalid_operation |
| nextm156 nextminus -NaN -> -NaN |
| nextm157 nextminus -sNaN -> -NaN Invalid_operation |
| nextm158 nextminus -NaN77 -> -NaN77 |
| nextm159 nextminus -sNaN88 -> -NaN88 Invalid_operation |
| |
| -- Nmax, Nmin, Ntiny, subnormals |
| nextm170 nextminus 9.99999999E+999 -> 9.99999998E+999 |
| nextm171 nextminus 9.99999998E+999 -> 9.99999997E+999 |
| nextm172 nextminus 1E-999 -> 9.9999999E-1000 |
| nextm173 nextminus 1.00000000E-999 -> 9.9999999E-1000 |
| nextm174 nextminus 9E-1007 -> 8E-1007 |
| nextm175 nextminus 9.9E-1006 -> 9.8E-1006 |
| nextm176 nextminus 9.9999E-1003 -> 9.9998E-1003 |
| nextm177 nextminus 9.9999999E-1000 -> 9.9999998E-1000 |
| nextm178 nextminus 9.9999998E-1000 -> 9.9999997E-1000 |
| nextm179 nextminus 9.9999997E-1000 -> 9.9999996E-1000 |
| nextm180 nextminus 0E-1007 -> -1E-1007 |
| nextm181 nextminus 1E-1007 -> 0E-1007 |
| nextm182 nextminus 2E-1007 -> 1E-1007 |
| |
| nextm183 nextminus -0E-1007 -> -1E-1007 |
| nextm184 nextminus -1E-1007 -> -2E-1007 |
| nextm185 nextminus -2E-1007 -> -3E-1007 |
| nextm186 nextminus -10E-1007 -> -1.1E-1006 |
| nextm187 nextminus -100E-1007 -> -1.01E-1005 |
| nextm188 nextminus -100000E-1007 -> -1.00001E-1002 |
| nextm189 nextminus -1.0000E-999 -> -1.00000001E-999 |
| nextm190 nextminus -1.00000000E-999 -> -1.00000001E-999 |
| nextm191 nextminus -1E-999 -> -1.00000001E-999 |
| nextm192 nextminus -9.99999998E+999 -> -9.99999999E+999 |
| nextm193 nextminus -9.99999999E+999 -> -Infinity |
| |
| -- Null tests |
| nextm900 nextminus # -> NaN Invalid_operation |
| |