Plan 9 from Bell Labs’s /usr/web/sources/contrib/jas/root/sys/lib/python2.7/test/decimaltestdata/dqRemainderNear.decTest

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


------------------------------------------------------------------------
-- dqRemainderNear.decTest -- decQuad remainder-near                  --
-- 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         --
--   [email protected]                                                   --
------------------------------------------------------------------------
version: 2.59

extended:    1
clamp:       1
precision:   34
maxExponent: 6144
minExponent: -6143
rounding:    half_even

-- sanity checks (as base, above)
dqrmn001 remaindernear  1     1    ->  0
dqrmn002 remaindernear  2     1    ->  0
dqrmn003 remaindernear  1     2    ->  1
dqrmn004 remaindernear  2     2    ->  0
dqrmn005 remaindernear  0     1    ->  0
dqrmn006 remaindernear  0     2    ->  0
dqrmn007 remaindernear  1     3    ->  1
dqrmn008 remaindernear  2     3    -> -1
dqrmn009 remaindernear  3     3    ->  0

dqrmn010 remaindernear  2.4   1    ->  0.4
dqrmn011 remaindernear  2.4   -1   ->  0.4
dqrmn012 remaindernear  -2.4  1    ->  -0.4
dqrmn013 remaindernear  -2.4  -1   ->  -0.4
dqrmn014 remaindernear  2.40  1    ->  0.40
dqrmn015 remaindernear  2.400 1    ->  0.400
dqrmn016 remaindernear  2.4   2    ->  0.4
dqrmn017 remaindernear  2.400 2    ->  0.400
dqrmn018 remaindernear  2.    2    ->  0
dqrmn019 remaindernear  20    20   ->  0

dqrmn020 remaindernear  187   187    ->  0
dqrmn021 remaindernear  5     2      ->  1
dqrmn022 remaindernear  5     2.0    ->  1.0
dqrmn023 remaindernear  5     2.000  ->  1.000
dqrmn024 remaindernear  5     0.200  ->  0.000
dqrmn025 remaindernear  5     0.200  ->  0.000

dqrmn030 remaindernear  1     2      ->  1
dqrmn031 remaindernear  1     4      ->  1
dqrmn032 remaindernear  1     8      ->  1

dqrmn033 remaindernear  1     16     ->  1
dqrmn034 remaindernear  1     32     ->  1
dqrmn035 remaindernear  1     64     ->  1
dqrmn040 remaindernear  1    -2      ->  1
dqrmn041 remaindernear  1    -4      ->  1
dqrmn042 remaindernear  1    -8      ->  1
dqrmn043 remaindernear  1    -16     ->  1
dqrmn044 remaindernear  1    -32     ->  1
dqrmn045 remaindernear  1    -64     ->  1
dqrmn050 remaindernear -1     2      ->  -1
dqrmn051 remaindernear -1     4      ->  -1
dqrmn052 remaindernear -1     8      ->  -1
dqrmn053 remaindernear -1     16     ->  -1
dqrmn054 remaindernear -1     32     ->  -1
dqrmn055 remaindernear -1     64     ->  -1
dqrmn060 remaindernear -1    -2      ->  -1
dqrmn061 remaindernear -1    -4      ->  -1
dqrmn062 remaindernear -1    -8      ->  -1
dqrmn063 remaindernear -1    -16     ->  -1
dqrmn064 remaindernear -1    -32     ->  -1
dqrmn065 remaindernear -1    -64     ->  -1

dqrmn066 remaindernear          9.9   1  -> -0.1
dqrmn067 remaindernear         99.7   1  -> -0.3
dqrmn068 remaindernear  999999999     1  -> 0
dqrmn069 remaindernear  999999999.4   1  -> 0.4
dqrmn070 remaindernear  999999999.5   1  -> -0.5
dqrmn071 remaindernear  999999999.9   1  -> -0.1
dqrmn072 remaindernear  999999999.999 1  -> -0.001
dqrmn073 remaindernear  999999.999999 1  -> -0.000001
dqrmn074 remaindernear  9             1  -> 0
dqrmn075 remaindernear  9999999999999999 1  -> 0
dqrmn076 remaindernear  9999999999999999 2  -> -1
dqrmn077 remaindernear  9999999999999999 3  -> 0
dqrmn078 remaindernear  9999999999999999 4  -> -1

dqrmn080 remaindernear  0.            1  -> 0
dqrmn081 remaindernear  .0            1  -> 0.0
dqrmn082 remaindernear  0.00          1  -> 0.00
dqrmn083 remaindernear  0.00E+9       1  -> 0
dqrmn084 remaindernear  0.00E+3       1  -> 0
dqrmn085 remaindernear  0.00E+2       1  -> 0
dqrmn086 remaindernear  0.00E+1       1  -> 0.0
dqrmn087 remaindernear  0.00E+0       1  -> 0.00
dqrmn088 remaindernear  0.00E-0       1  -> 0.00
dqrmn089 remaindernear  0.00E-1       1  -> 0.000
dqrmn090 remaindernear  0.00E-2       1  -> 0.0000
dqrmn091 remaindernear  0.00E-3       1  -> 0.00000
dqrmn092 remaindernear  0.00E-4       1  -> 0.000000
dqrmn093 remaindernear  0.00E-5       1  -> 0E-7
dqrmn094 remaindernear  0.00E-6       1  -> 0E-8
dqrmn095 remaindernear  0.0000E-50    1  -> 0E-54

-- Various flavours of remaindernear by 0
dqrmn101 remaindernear  0       0   -> NaN Division_undefined
dqrmn102 remaindernear  0      -0   -> NaN Division_undefined
dqrmn103 remaindernear -0       0   -> NaN Division_undefined
dqrmn104 remaindernear -0      -0   -> NaN Division_undefined
dqrmn105 remaindernear  0.0E5   0   -> NaN Division_undefined
dqrmn106 remaindernear  0.000   0   -> NaN Division_undefined
-- [Some think this next group should be Division_by_zero exception, but
-- IEEE 854 is explicit that it is Invalid operation .. for
-- remainder-near, anyway]
dqrmn107 remaindernear  0.0001  0   -> NaN Invalid_operation
dqrmn108 remaindernear  0.01    0   -> NaN Invalid_operation
dqrmn109 remaindernear  0.1     0   -> NaN Invalid_operation
dqrmn110 remaindernear  1       0   -> NaN Invalid_operation
dqrmn111 remaindernear  1       0.0 -> NaN Invalid_operation
dqrmn112 remaindernear 10       0.0 -> NaN Invalid_operation
dqrmn113 remaindernear 1E+100   0.0 -> NaN Invalid_operation
dqrmn114 remaindernear 1E+380   0   -> NaN Invalid_operation
dqrmn115 remaindernear  0.0001 -0   -> NaN Invalid_operation
dqrmn116 remaindernear  0.01   -0   -> NaN Invalid_operation
dqrmn119 remaindernear  0.1    -0   -> NaN Invalid_operation
dqrmn120 remaindernear  1      -0   -> NaN Invalid_operation
dqrmn121 remaindernear  1      -0.0 -> NaN Invalid_operation
dqrmn122 remaindernear 10      -0.0 -> NaN Invalid_operation
dqrmn123 remaindernear 1E+100  -0.0 -> NaN Invalid_operation
dqrmn124 remaindernear 1E+384  -0   -> NaN Invalid_operation
-- and zeros on left
dqrmn130 remaindernear  0      1   ->  0
dqrmn131 remaindernear  0     -1   ->  0
dqrmn132 remaindernear  0.0    1   ->  0.0
dqrmn133 remaindernear  0.0   -1   ->  0.0
dqrmn134 remaindernear -0      1   -> -0
dqrmn135 remaindernear -0     -1   -> -0
dqrmn136 remaindernear -0.0    1   -> -0.0
dqrmn137 remaindernear -0.0   -1   -> -0.0

-- 0.5ers
dqrmn143 remaindernear   0.5  2     ->  0.5
dqrmn144 remaindernear   0.5  2.1   ->  0.5
dqrmn145 remaindernear   0.5  2.01  ->  0.50
dqrmn146 remaindernear   0.5  2.001 ->  0.500
dqrmn147 remaindernear   0.50 2     ->  0.50
dqrmn148 remaindernear   0.50 2.01  ->  0.50
dqrmn149 remaindernear   0.50 2.001 ->  0.500

-- steadies
dqrmn150 remaindernear  1  1   -> 0
dqrmn151 remaindernear  1  2   -> 1
dqrmn152 remaindernear  1  3   -> 1
dqrmn153 remaindernear  1  4   -> 1
dqrmn154 remaindernear  1  5   -> 1
dqrmn155 remaindernear  1  6   -> 1
dqrmn156 remaindernear  1  7   -> 1
dqrmn157 remaindernear  1  8   -> 1
dqrmn158 remaindernear  1  9   -> 1
dqrmn159 remaindernear  1  10  -> 1
dqrmn160 remaindernear  1  1   -> 0
dqrmn161 remaindernear  2  1   -> 0
dqrmn162 remaindernear  3  1   -> 0
dqrmn163 remaindernear  4  1   -> 0
dqrmn164 remaindernear  5  1   -> 0
dqrmn165 remaindernear  6  1   -> 0
dqrmn166 remaindernear  7  1   -> 0
dqrmn167 remaindernear  8  1   -> 0
dqrmn168 remaindernear  9  1   -> 0
dqrmn169 remaindernear  10 1   -> 0

-- some differences from remainder
dqrmn171 remaindernear   0.4  1.020 ->  0.400
dqrmn172 remaindernear   0.50 1.020 ->  0.500
dqrmn173 remaindernear   0.51 1.020 ->  0.510
dqrmn174 remaindernear   0.52 1.020 -> -0.500
dqrmn175 remaindernear   0.6  1.020 -> -0.420

-- More flavours of remaindernear by 0
dqrmn201 remaindernear  0      0   -> NaN Division_undefined
dqrmn202 remaindernear  0.0E5  0   -> NaN Division_undefined
dqrmn203 remaindernear  0.000  0   -> NaN Division_undefined
dqrmn204 remaindernear  0.0001 0   -> NaN Invalid_operation
dqrmn205 remaindernear  0.01   0   -> NaN Invalid_operation
dqrmn206 remaindernear  0.1    0   -> NaN Invalid_operation
dqrmn207 remaindernear  1      0   -> NaN Invalid_operation
dqrmn208 remaindernear  1      0.0 -> NaN Invalid_operation
dqrmn209 remaindernear 10      0.0 -> NaN Invalid_operation
dqrmn210 remaindernear 1E+100  0.0 -> NaN Invalid_operation
dqrmn211 remaindernear 1E+380  0   -> NaN Invalid_operation

-- tests from the extended specification
dqrmn221 remaindernear 2.1     3   -> -0.9
dqrmn222 remaindernear  10     6   -> -2
dqrmn223 remaindernear  10     3   ->  1
dqrmn224 remaindernear -10     3   -> -1
dqrmn225 remaindernear  10.2   1   -> 0.2
dqrmn226 remaindernear  10     0.3 -> 0.1
dqrmn227 remaindernear   3.6   1.3 -> -0.3

-- some differences from remainder
dqrmn231 remaindernear  -0.4  1.020 -> -0.400
dqrmn232 remaindernear  -0.50 1.020 -> -0.500
dqrmn233 remaindernear  -0.51 1.020 -> -0.510
dqrmn234 remaindernear  -0.52 1.020 ->  0.500
dqrmn235 remaindernear  -0.6  1.020 ->  0.420

-- high Xs
dqrmn240 remaindernear  1E+2  1.00  ->  0.00

-- dqrmn3xx are from DiagBigDecimal
dqrmn301 remaindernear   1    3     ->  1
dqrmn302 remaindernear   5    5     ->  0
dqrmn303 remaindernear   13   10    ->  3
dqrmn304 remaindernear   13   50    ->  13
dqrmn305 remaindernear   13   100   ->  13
dqrmn306 remaindernear   13   1000  ->  13
dqrmn307 remaindernear   .13    1   ->  0.13
dqrmn308 remaindernear   0.133  1   ->  0.133
dqrmn309 remaindernear   0.1033 1   ->  0.1033
dqrmn310 remaindernear   1.033  1   ->  0.033
dqrmn311 remaindernear   10.33  1   ->  0.33
dqrmn312 remaindernear   10.33 10   ->  0.33
dqrmn313 remaindernear   103.3  1   ->  0.3
dqrmn314 remaindernear   133   10   ->  3
dqrmn315 remaindernear   1033  10   ->  3
dqrmn316 remaindernear   1033  50   -> -17
dqrmn317 remaindernear   101.0  3   -> -1.0
dqrmn318 remaindernear   102.0  3   ->  0.0
dqrmn319 remaindernear   103.0  3   ->  1.0
dqrmn320 remaindernear   2.40   1   ->  0.40
dqrmn321 remaindernear   2.400  1   ->  0.400
dqrmn322 remaindernear   2.4    1   ->  0.4
dqrmn323 remaindernear   2.4    2   ->  0.4
dqrmn324 remaindernear   2.400  2   ->  0.400
dqrmn325 remaindernear   1   0.3    ->  0.1
dqrmn326 remaindernear   1   0.30   ->  0.10
dqrmn327 remaindernear   1   0.300  ->  0.100
dqrmn328 remaindernear   1   0.3000 ->  0.1000
dqrmn329 remaindernear   1.0    0.3 ->  0.1
dqrmn330 remaindernear   1.00   0.3 ->  0.10
dqrmn331 remaindernear   1.000  0.3 ->  0.100
dqrmn332 remaindernear   1.0000 0.3 ->  0.1000
dqrmn333 remaindernear   0.5  2     ->  0.5
dqrmn334 remaindernear   0.5  2.1   ->  0.5
dqrmn335 remaindernear   0.5  2.01  ->  0.50
dqrmn336 remaindernear   0.5  2.001 ->  0.500
dqrmn337 remaindernear   0.50 2     ->  0.50
dqrmn338 remaindernear   0.50 2.01  ->  0.50
dqrmn339 remaindernear   0.50 2.001 ->  0.500

dqrmn340 remaindernear   0.5   0.5000001    ->  -1E-7
dqrmn341 remaindernear   0.5   0.50000001    ->  -1E-8
dqrmn342 remaindernear   0.5   0.500000001    ->  -1E-9
dqrmn343 remaindernear   0.5   0.5000000001    ->  -1E-10
dqrmn344 remaindernear   0.5   0.50000000001    ->  -1E-11
dqrmn345 remaindernear   0.5   0.4999999    ->  1E-7
dqrmn346 remaindernear   0.5   0.49999999    ->  1E-8
dqrmn347 remaindernear   0.5   0.499999999    ->  1E-9
dqrmn348 remaindernear   0.5   0.4999999999    ->  1E-10
dqrmn349 remaindernear   0.5   0.49999999999    ->  1E-11
dqrmn350 remaindernear   0.5   0.499999999999    ->  1E-12

dqrmn351 remaindernear   0.03  7  ->  0.03
dqrmn352 remaindernear   5   2    ->  1
dqrmn353 remaindernear   4.1   2    ->  0.1
dqrmn354 remaindernear   4.01   2    ->  0.01
dqrmn355 remaindernear   4.001   2    ->  0.001
dqrmn356 remaindernear   4.0001   2    ->  0.0001
dqrmn357 remaindernear   4.00001   2    ->  0.00001
dqrmn358 remaindernear   4.000001   2    ->  0.000001
dqrmn359 remaindernear   4.0000001   2    ->  1E-7

dqrmn360 remaindernear   1.2   0.7345 -> -0.2690
dqrmn361 remaindernear   0.8   12     ->  0.8
dqrmn362 remaindernear   0.8   0.2    ->  0.0
dqrmn363 remaindernear   0.8   0.3    -> -0.1
dqrmn364 remaindernear   0.800   12   ->  0.800
dqrmn365 remaindernear   0.800   1.7  ->  0.800
dqrmn366 remaindernear   2.400   2    ->  0.400

-- round to even
dqrmn371 remaindernear   121     2    ->  1
dqrmn372 remaindernear   122     2    ->  0
dqrmn373 remaindernear   123     2    -> -1
dqrmn374 remaindernear   124     2    ->  0
dqrmn375 remaindernear   125     2    ->  1
dqrmn376 remaindernear   126     2    ->  0
dqrmn377 remaindernear   127     2    -> -1

dqrmn381 remaindernear 12345  1         ->  0
dqrmn382 remaindernear 12345  1.0001    -> -0.2344
dqrmn383 remaindernear 12345  1.001     -> -0.333
dqrmn384 remaindernear 12345  1.01      -> -0.23
dqrmn385 remaindernear 12345  1.1       -> -0.3
dqrmn386 remaindernear 12355  4         -> -1
dqrmn387 remaindernear 12345  4         ->  1
dqrmn388 remaindernear 12355  4.0001    -> -1.3089
dqrmn389 remaindernear 12345  4.0001    ->  0.6914
dqrmn390 remaindernear 12345  4.9       ->  1.9
dqrmn391 remaindernear 12345  4.99      -> -0.26
dqrmn392 remaindernear 12345  4.999     ->  2.469
dqrmn393 remaindernear 12345  4.9999    ->  0.2469
dqrmn394 remaindernear 12345  5         ->  0
dqrmn395 remaindernear 12345  5.0001    -> -0.2469
dqrmn396 remaindernear 12345  5.001     -> -2.469
dqrmn397 remaindernear 12345  5.01      ->  0.36
dqrmn398 remaindernear 12345  5.1       -> -2.1

-- the nasty division-by-1 cases
dqrmn401 remaindernear   0.4         1   ->  0.4
dqrmn402 remaindernear   0.45        1   ->  0.45
dqrmn403 remaindernear   0.455       1   ->  0.455
dqrmn404 remaindernear   0.4555      1   ->  0.4555
dqrmn405 remaindernear   0.45555     1   ->  0.45555
dqrmn406 remaindernear   0.455555    1   ->  0.455555
dqrmn407 remaindernear   0.4555555   1   ->  0.4555555
dqrmn408 remaindernear   0.45555555  1   ->  0.45555555
dqrmn409 remaindernear   0.455555555 1   ->  0.455555555
-- with spill... [412 exercises sticktab loop]
dqrmn411 remaindernear   0.5         1   ->  0.5
dqrmn412 remaindernear   0.55        1   -> -0.45
dqrmn413 remaindernear   0.555       1   -> -0.445
dqrmn414 remaindernear   0.5555      1   -> -0.4445
dqrmn415 remaindernear   0.55555     1   -> -0.44445
dqrmn416 remaindernear   0.555555    1   -> -0.444445
dqrmn417 remaindernear   0.5555555   1   -> -0.4444445
dqrmn418 remaindernear   0.55555555  1   -> -0.44444445
dqrmn419 remaindernear   0.555555555 1   -> -0.444444445

-- folddowns
dqrmn421 remaindernear   1E+6144        1  ->   NaN Division_impossible
dqrmn422 remaindernear   1E+6144  1E+6143  ->   0E+6111 Clamped
dqrmn423 remaindernear   1E+6144  2E+6143  ->   0E+6111 Clamped
dqrmn424 remaindernear   1E+6144  3E+6143  ->   1.00000000000000000000000000000000E+6143 Clamped
dqrmn425 remaindernear   1E+6144  4E+6143  ->   2.00000000000000000000000000000000E+6143 Clamped
dqrmn426 remaindernear   1E+6144  5E+6143  ->   0E+6111 Clamped
dqrmn427 remaindernear   1E+6144  6E+6143  ->  -2.00000000000000000000000000000000E+6143 Clamped
dqrmn428 remaindernear   1E+6144  7E+6143  ->   3.00000000000000000000000000000000E+6143 Clamped
dqrmn429 remaindernear   1E+6144  8E+6143  ->   2.00000000000000000000000000000000E+6143 Clamped
dqrmn430 remaindernear   1E+6144  9E+6143  ->   1.00000000000000000000000000000000E+6143 Clamped
-- tinies
dqrmn431 remaindernear   1E-6175  1E-6176  ->   0E-6176
dqrmn432 remaindernear   1E-6175  2E-6176  ->   0E-6176
dqrmn433 remaindernear   1E-6175  3E-6176  ->   1E-6176 Subnormal
dqrmn434 remaindernear   1E-6175  4E-6176  ->   2E-6176 Subnormal
dqrmn435 remaindernear   1E-6175  5E-6176  ->   0E-6176
dqrmn436 remaindernear   1E-6175  6E-6176  ->  -2E-6176 Subnormal
dqrmn437 remaindernear   1E-6175  7E-6176  ->   3E-6176 Subnormal
dqrmn438 remaindernear   1E-6175  8E-6176  ->   2E-6176 Subnormal
dqrmn439 remaindernear   1E-6175  9E-6176  ->   1E-6176 Subnormal
dqrmn440 remaindernear   1E-6175 10E-6176  ->   0E-6176
dqrmn441 remaindernear   1E-6175 11E-6176  ->  -1E-6176 Subnormal
dqrmn442 remaindernear 100E-6175 11E-6176  ->  -1E-6176 Subnormal
dqrmn443 remaindernear 100E-6175 20E-6176  ->   0E-6176
dqrmn444 remaindernear 100E-6175 21E-6176  ->  -8E-6176 Subnormal
dqrmn445 remaindernear 100E-6175 30E-6176  -> 1.0E-6175 Subnormal

-- zero signs
dqrmn650 remaindernear  1  1 ->  0
dqrmn651 remaindernear -1  1 -> -0
dqrmn652 remaindernear  1 -1 ->  0
dqrmn653 remaindernear -1 -1 -> -0
dqrmn654 remaindernear  0  1 ->  0
dqrmn655 remaindernear -0  1 -> -0
dqrmn656 remaindernear  0 -1 ->  0
dqrmn657 remaindernear -0 -1 -> -0
dqrmn658 remaindernear  0.00  1  ->  0.00
dqrmn659 remaindernear -0.00  1  -> -0.00

-- Specials
dqrmn680 remaindernear  Inf  -Inf   ->  NaN Invalid_operation
dqrmn681 remaindernear  Inf  -1000  ->  NaN Invalid_operation
dqrmn682 remaindernear  Inf  -1     ->  NaN Invalid_operation
dqrmn683 remaindernear  Inf   0     ->  NaN Invalid_operation
dqrmn684 remaindernear  Inf  -0     ->  NaN Invalid_operation
dqrmn685 remaindernear  Inf   1     ->  NaN Invalid_operation
dqrmn686 remaindernear  Inf   1000  ->  NaN Invalid_operation
dqrmn687 remaindernear  Inf   Inf   ->  NaN Invalid_operation
dqrmn688 remaindernear -1000  Inf   -> -1000
dqrmn689 remaindernear -Inf   Inf   ->  NaN Invalid_operation
dqrmn691 remaindernear -1     Inf   -> -1
dqrmn692 remaindernear  0     Inf   ->  0
dqrmn693 remaindernear -0     Inf   -> -0
dqrmn694 remaindernear  1     Inf   ->  1
dqrmn695 remaindernear  1000  Inf   ->  1000
dqrmn696 remaindernear  Inf   Inf   ->  NaN Invalid_operation

dqrmn700 remaindernear -Inf  -Inf   ->  NaN Invalid_operation
dqrmn701 remaindernear -Inf  -1000  ->  NaN Invalid_operation
dqrmn702 remaindernear -Inf  -1     ->  NaN Invalid_operation
dqrmn703 remaindernear -Inf  -0     ->  NaN Invalid_operation
dqrmn704 remaindernear -Inf   0     ->  NaN Invalid_operation
dqrmn705 remaindernear -Inf   1     ->  NaN Invalid_operation
dqrmn706 remaindernear -Inf   1000  ->  NaN Invalid_operation
dqrmn707 remaindernear -Inf   Inf   ->  NaN Invalid_operation
dqrmn708 remaindernear -Inf  -Inf   ->  NaN Invalid_operation
dqrmn709 remaindernear -1000  Inf   -> -1000
dqrmn710 remaindernear -1    -Inf   -> -1
dqrmn711 remaindernear -0    -Inf   -> -0
dqrmn712 remaindernear  0    -Inf   ->  0
dqrmn713 remaindernear  1    -Inf   ->  1
dqrmn714 remaindernear  1000 -Inf   ->  1000
dqrmn715 remaindernear  Inf  -Inf   ->  NaN Invalid_operation

dqrmn721 remaindernear  NaN -Inf    ->  NaN
dqrmn722 remaindernear  NaN -1000   ->  NaN
dqrmn723 remaindernear  NaN -1      ->  NaN
dqrmn724 remaindernear  NaN -0      ->  NaN
dqrmn725 remaindernear -NaN  0      -> -NaN
dqrmn726 remaindernear  NaN  1      ->  NaN
dqrmn727 remaindernear  NaN  1000   ->  NaN
dqrmn728 remaindernear  NaN  Inf    ->  NaN
dqrmn729 remaindernear  NaN -NaN    ->  NaN
dqrmn730 remaindernear -Inf  NaN    ->  NaN
dqrmn731 remaindernear -1000 NaN    ->  NaN
dqrmn732 remaindernear -1    NaN    ->  NaN
dqrmn733 remaindernear -0   -NaN    -> -NaN
dqrmn734 remaindernear  0    NaN    ->  NaN
dqrmn735 remaindernear  1   -NaN    -> -NaN
dqrmn736 remaindernear  1000 NaN    ->  NaN
dqrmn737 remaindernear  Inf  NaN    ->  NaN

dqrmn741 remaindernear  sNaN -Inf   ->  NaN  Invalid_operation
dqrmn742 remaindernear  sNaN -1000  ->  NaN  Invalid_operation
dqrmn743 remaindernear -sNaN -1     -> -NaN  Invalid_operation
dqrmn744 remaindernear  sNaN -0     ->  NaN  Invalid_operation
dqrmn745 remaindernear  sNaN  0     ->  NaN  Invalid_operation
dqrmn746 remaindernear  sNaN  1     ->  NaN  Invalid_operation
dqrmn747 remaindernear  sNaN  1000  ->  NaN  Invalid_operation
dqrmn749 remaindernear  sNaN  NaN   ->  NaN  Invalid_operation
dqrmn750 remaindernear  sNaN sNaN   ->  NaN  Invalid_operation
dqrmn751 remaindernear  NaN  sNaN   ->  NaN  Invalid_operation
dqrmn752 remaindernear -Inf  sNaN   ->  NaN  Invalid_operation
dqrmn753 remaindernear -1000 sNaN   ->  NaN  Invalid_operation
dqrmn754 remaindernear -1    sNaN   ->  NaN  Invalid_operation
dqrmn755 remaindernear -0    sNaN   ->  NaN  Invalid_operation
dqrmn756 remaindernear  0    sNaN   ->  NaN  Invalid_operation
dqrmn757 remaindernear  1    sNaN   ->  NaN  Invalid_operation
dqrmn758 remaindernear  1000 sNaN   ->  NaN  Invalid_operation
dqrmn759 remaindernear  Inf -sNaN   -> -NaN  Invalid_operation

-- propaging NaNs
dqrmn760 remaindernear  NaN1   NaN7   ->  NaN1
dqrmn761 remaindernear sNaN2   NaN8   ->  NaN2 Invalid_operation
dqrmn762 remaindernear  NaN3  sNaN9   ->  NaN9 Invalid_operation
dqrmn763 remaindernear sNaN4  sNaN10  ->  NaN4 Invalid_operation
dqrmn764 remaindernear    15   NaN11  ->  NaN11
dqrmn765 remaindernear  NaN6   NaN12  ->  NaN6
dqrmn766 remaindernear  Inf    NaN13  ->  NaN13
dqrmn767 remaindernear  NaN14  -Inf   ->  NaN14
dqrmn768 remaindernear    0    NaN15  ->  NaN15
dqrmn769 remaindernear  NaN16   -0    ->  NaN16

-- edge cases of impossible
dqrmn770  remaindernear  1234500000000000000000067890123456  10    -> -4
dqrmn771  remaindernear  1234500000000000000000067890123456   1    ->  0
dqrmn772  remaindernear  1234500000000000000000067890123456   0.1  ->  NaN Division_impossible
dqrmn773  remaindernear  1234500000000000000000067890123456   0.01 ->  NaN Division_impossible

-- long operand checks
dqrmn801 remaindernear 12345678000 100 -> 0
dqrmn802 remaindernear 1 12345678000   -> 1
dqrmn803 remaindernear 1234567800  10  -> 0
dqrmn804 remaindernear 1 1234567800    -> 1
dqrmn805 remaindernear 1234567890  10  -> 0
dqrmn806 remaindernear 1 1234567890    -> 1
dqrmn807 remaindernear 1234567891  10  -> 1
dqrmn808 remaindernear 1 1234567891    -> 1
dqrmn809 remaindernear 12345678901 100 -> 1
dqrmn810 remaindernear 1 12345678901   -> 1
dqrmn811 remaindernear 1234567896  10  -> -4
dqrmn812 remaindernear 1 1234567896    -> 1

dqrmn821 remaindernear 12345678000 100 -> 0
dqrmn822 remaindernear 1 12345678000   -> 1
dqrmn823 remaindernear 1234567800  10  -> 0
dqrmn824 remaindernear 1 1234567800    -> 1
dqrmn825 remaindernear 1234567890  10  -> 0
dqrmn826 remaindernear 1 1234567890    -> 1
dqrmn827 remaindernear 1234567891  10  -> 1
dqrmn828 remaindernear 1 1234567891    -> 1
dqrmn829 remaindernear 12345678901 100 -> 1
dqrmn830 remaindernear 1 12345678901   -> 1
dqrmn831 remaindernear 1234567896  10  -> -4
dqrmn832 remaindernear 1 1234567896    -> 1

-- from divideint
dqrmn840 remaindernear  100000000.0   1  ->  0.0
dqrmn841 remaindernear  100000000.4   1  ->  0.4
dqrmn842 remaindernear  100000000.5   1  ->  0.5
dqrmn843 remaindernear  100000000.9   1  -> -0.1
dqrmn844 remaindernear  100000000.999 1  -> -0.001
dqrmn850 remaindernear  100000003     5  -> -2
dqrmn851 remaindernear  10000003      5  -> -2
dqrmn852 remaindernear  1000003       5  -> -2
dqrmn853 remaindernear  100003        5  -> -2
dqrmn854 remaindernear  10003         5  -> -2
dqrmn855 remaindernear  1003          5  -> -2
dqrmn856 remaindernear  103           5  -> -2
dqrmn857 remaindernear  13            5  -> -2
dqrmn858 remaindernear  1             5  ->  1

-- Vladimir's cases         1234567890123456
dqrmn860 remaindernear 123.0e1 1000000000000000  -> 1230
dqrmn861 remaindernear 1230    1000000000000000  -> 1230
dqrmn862 remaindernear 12.3e2  1000000000000000  -> 1230
dqrmn863 remaindernear 1.23e3  1000000000000000  -> 1230
dqrmn864 remaindernear 123e1   1000000000000000  -> 1230
dqrmn870 remaindernear 123e1    1000000000000000 -> 1230
dqrmn871 remaindernear 123e1     100000000000000 -> 1230
dqrmn872 remaindernear 123e1      10000000000000 -> 1230
dqrmn873 remaindernear 123e1       1000000000000 -> 1230
dqrmn874 remaindernear 123e1        100000000000 -> 1230
dqrmn875 remaindernear 123e1         10000000000 -> 1230
dqrmn876 remaindernear 123e1          1000000000 -> 1230
dqrmn877 remaindernear 123e1           100000000 -> 1230
dqrmn878 remaindernear 1230            100000000 -> 1230
dqrmn879 remaindernear 123e1            10000000 -> 1230
dqrmn880 remaindernear 123e1             1000000 -> 1230
dqrmn881 remaindernear 123e1              100000 -> 1230
dqrmn882 remaindernear 123e1               10000 -> 1230
dqrmn883 remaindernear 123e1                1000 ->  230
dqrmn884 remaindernear 123e1                 100 ->   30
dqrmn885 remaindernear 123e1                  10 ->    0
dqrmn886 remaindernear 123e1                   1 ->    0

dqrmn890 remaindernear 123e1    2000000000000000 -> 1230
dqrmn891 remaindernear 123e1     200000000000000 -> 1230
dqrmn892 remaindernear 123e1      20000000000000 -> 1230
dqrmn893 remaindernear 123e1       2000000000000 -> 1230
dqrmn894 remaindernear 123e1        200000000000 -> 1230
dqrmn895 remaindernear 123e1         20000000000 -> 1230
dqrmn896 remaindernear 123e1          2000000000 -> 1230
dqrmn897 remaindernear 123e1           200000000 -> 1230
dqrmn899 remaindernear 123e1            20000000 -> 1230
dqrmn900 remaindernear 123e1             2000000 -> 1230
dqrmn901 remaindernear 123e1              200000 -> 1230
dqrmn902 remaindernear 123e1               20000 -> 1230
dqrmn903 remaindernear 123e1                2000 -> -770
dqrmn904 remaindernear 123e1                 200 ->   30
dqrmn905 remaindernear 123e1                  20 ->  -10
dqrmn906 remaindernear 123e1                   2 ->    0

dqrmn910 remaindernear 123e1    5000000000000000 -> 1230
dqrmn911 remaindernear 123e1     500000000000000 -> 1230
dqrmn912 remaindernear 123e1      50000000000000 -> 1230
dqrmn913 remaindernear 123e1       5000000000000 -> 1230
dqrmn914 remaindernear 123e1        500000000000 -> 1230
dqrmn915 remaindernear 123e1         50000000000 -> 1230
dqrmn916 remaindernear 123e1          5000000000 -> 1230
dqrmn917 remaindernear 123e1           500000000 -> 1230
dqrmn919 remaindernear 123e1            50000000 -> 1230
dqrmn920 remaindernear 123e1             5000000 -> 1230
dqrmn921 remaindernear 123e1              500000 -> 1230
dqrmn922 remaindernear 123e1               50000 -> 1230
dqrmn923 remaindernear 123e1                5000 -> 1230
dqrmn924 remaindernear 123e1                 500 ->  230
dqrmn925 remaindernear 123e1                  50 ->  -20
dqrmn926 remaindernear 123e1                   5 ->    0

dqrmn930 remaindernear 123e1    9000000000000000 -> 1230
dqrmn931 remaindernear 123e1     900000000000000 -> 1230
dqrmn932 remaindernear 123e1      90000000000000 -> 1230
dqrmn933 remaindernear 123e1       9000000000000 -> 1230
dqrmn934 remaindernear 123e1        900000000000 -> 1230
dqrmn935 remaindernear 123e1         90000000000 -> 1230
dqrmn936 remaindernear 123e1          9000000000 -> 1230
dqrmn937 remaindernear 123e1           900000000 -> 1230
dqrmn939 remaindernear 123e1            90000000 -> 1230
dqrmn940 remaindernear 123e1             9000000 -> 1230
dqrmn941 remaindernear 123e1              900000 -> 1230
dqrmn942 remaindernear 123e1               90000 -> 1230
dqrmn943 remaindernear 123e1                9000 -> 1230
dqrmn944 remaindernear 123e1                 900 ->  330
dqrmn945 remaindernear 123e1                  90 ->  -30
dqrmn946 remaindernear 123e1                   9 ->   -3

dqrmn950 remaindernear 123e1   1000000000000000 -> 1230
dqrmn961 remaindernear 123e1   2999999999999999 -> 1230
dqrmn962 remaindernear 123e1   3999999999999999 -> 1230
dqrmn963 remaindernear 123e1   4999999999999999 -> 1230
dqrmn964 remaindernear 123e1   5999999999999999 -> 1230
dqrmn965 remaindernear 123e1   6999999999999999 -> 1230
dqrmn966 remaindernear 123e1   7999999999999999 -> 1230
dqrmn967 remaindernear 123e1   8999999999999999 -> 1230
dqrmn968 remaindernear 123e1   9999999999999999 -> 1230
dqrmn969 remaindernear 123e1   9876543210987654 -> 1230

dqrmn980 remaindernear 123e1 1000E299 -> 1.23E+3  -- 123E+1 internally

-- overflow and underflow tests [from divide]
dqrmn1051 remaindernear  1e+277  1e-311 ->  NaN Division_impossible
dqrmn1052 remaindernear  1e+277 -1e-311 ->  NaN Division_impossible
dqrmn1053 remaindernear -1e+277  1e-311 ->  NaN Division_impossible
dqrmn1054 remaindernear -1e+277 -1e-311 ->  NaN Division_impossible
dqrmn1055 remaindernear  1e-277  1e+311 ->  1E-277
dqrmn1056 remaindernear  1e-277 -1e+311 ->  1E-277
dqrmn1057 remaindernear -1e-277  1e+311 -> -1E-277
dqrmn1058 remaindernear -1e-277 -1e+311 -> -1E-277

-- Gyuris example
dqrmn1070 remainder 8.336804418094040989630006819881709E-6143 8.336804418094040989630006819889000E-6143 -> 8.336804418094040989630006819881709E-6143

-- destructive subtract
dqrmn1101  remaindernear  1234567890123456789012345678901234  1.000000000000000000000000000000001  ->  -0.234567890123456789012345678901233
dqrmn1102  remaindernear  1234567890123456789012345678901234   1.00000000000000000000000000000001  ->   -0.34567890123456789012345678901222
dqrmn1103  remaindernear  1234567890123456789012345678901234    1.0000000000000000000000000000001  ->    -0.4567890123456789012345678901111
dqrmn1104  remaindernear  1234567890123456789012345678901255  4.000000000000000000000000000000001  ->  -1.308641972530864197253086419725314
dqrmn1105  remaindernear  1234567890123456789012345678901234  4.000000000000000000000000000000001  ->   1.691358027469135802746913580274692
dqrmn1106  remaindernear  1234567890123456789012345678901234    4.9999999999999999999999999999999  ->    -1.3086421975308642197530864219748
dqrmn1107  remaindernear  1234567890123456789012345678901234   4.99999999999999999999999999999999  ->    1.46913578024691357802469135780247
dqrmn1108  remaindernear  1234567890123456789012345678901234  4.999999999999999999999999999999999  ->  -0.753086421975308642197530864219753
dqrmn1109  remaindernear  1234567890123456789012345678901234  5.000000000000000000000000000000001  ->  -1.246913578024691357802469135780247
dqrmn1110  remaindernear  1234567890123456789012345678901234   5.00000000000000000000000000000001  ->    1.53086421975308642197530864219754
dqrmn1111  remaindernear  1234567890123456789012345678901234    5.0000000000000000000000000000001  ->    -0.6913578024691357802469135780242

-- Null tests
dqrmn1000 remaindernear 10  # -> NaN Invalid_operation
dqrmn1001 remaindernear  # 10 -> NaN Invalid_operation


Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to [email protected].