~ubuntu-branches/ubuntu/maverick/python3.1/maverick

« back to all changes in this revision

Viewing changes to Lib/test/decimaltestdata/remainderNear.decTest

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Klose
  • Date: 2009-03-23 00:01:27 UTC
  • Revision ID: james.westby@ubuntu.com-20090323000127-5fstfxju4ufrhthq
Tags: upstream-3.1~a1+20090322
ImportĀ upstreamĀ versionĀ 3.1~a1+20090322

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
------------------------------------------------------------------------
 
2
-- remainderNear.decTest -- decimal remainder-near (IEEE remainder)   --
 
3
-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
 
4
------------------------------------------------------------------------
 
5
-- Please see the document "General Decimal Arithmetic Testcases"     --
 
6
-- at http://www2.hursley.ibm.com/decimal for the description of      --
 
7
-- these testcases.                                                   --
 
8
--                                                                    --
 
9
-- These testcases are experimental ('beta' versions), and they       --
 
10
-- may contain errors.  They are offered on an as-is basis.  In       --
 
11
-- particular, achieving the same results as the tests here is not    --
 
12
-- a guarantee that an implementation complies with any Standard      --
 
13
-- or specification.  The tests are not exhaustive.                   --
 
14
--                                                                    --
 
15
-- Please send comments, suggestions, and corrections to the author:  --
 
16
--   Mike Cowlishaw, IBM Fellow                                       --
 
17
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
 
18
--   mfc@uk.ibm.com                                                   --
 
19
------------------------------------------------------------------------
 
20
version: 2.58
 
21
 
 
22
extended:    1
 
23
precision:   9
 
24
rounding:    half_up
 
25
maxExponent: 384
 
26
minexponent: -383
 
27
 
 
28
rmnx001 remaindernear  1     1    ->  0
 
29
rmnx002 remaindernear  2     1    ->  0
 
30
rmnx003 remaindernear  1     2    ->  1
 
31
rmnx004 remaindernear  2     2    ->  0
 
32
rmnx005 remaindernear  0     1    ->  0
 
33
rmnx006 remaindernear  0     2    ->  0
 
34
rmnx007 remaindernear  1     3    ->  1
 
35
rmnx008 remaindernear  2     3    -> -1
 
36
rmnx009 remaindernear  3     3    ->  0
 
37
 
 
38
rmnx010 remaindernear  2.4   1    ->  0.4
 
39
rmnx011 remaindernear  2.4   -1   ->  0.4
 
40
rmnx012 remaindernear  -2.4  1    ->  -0.4
 
41
rmnx013 remaindernear  -2.4  -1   ->  -0.4
 
42
rmnx014 remaindernear  2.40  1    ->  0.40
 
43
rmnx015 remaindernear  2.400 1    ->  0.400
 
44
rmnx016 remaindernear  2.4   2    ->  0.4
 
45
rmnx017 remaindernear  2.400 2    ->  0.400
 
46
rmnx018 remaindernear  2.    2    ->  0
 
47
rmnx019 remaindernear  20    20   ->  0
 
48
 
 
49
rmnx020 remaindernear  187   187    ->  0
 
50
rmnx021 remaindernear  5     2      ->  1
 
51
rmnx022 remaindernear  5     2.0    ->  1.0
 
52
rmnx023 remaindernear  5     2.000  ->  1.000
 
53
rmnx024 remaindernear  5     0.200  ->  0.000
 
54
rmnx025 remaindernear  5     0.200  ->  0.000
 
55
 
 
56
rmnx030 remaindernear  1     2      ->  1
 
57
rmnx031 remaindernear  1     4      ->  1
 
58
rmnx032 remaindernear  1     8      ->  1
 
59
rmnx033 remaindernear  1     16     ->  1
 
60
rmnx034 remaindernear  1     32     ->  1
 
61
rmnx035 remaindernear  1     64     ->  1
 
62
rmnx040 remaindernear  1    -2      ->  1
 
63
rmnx041 remaindernear  1    -4      ->  1
 
64
rmnx042 remaindernear  1    -8      ->  1
 
65
rmnx043 remaindernear  1    -16     ->  1
 
66
rmnx044 remaindernear  1    -32     ->  1
 
67
rmnx045 remaindernear  1    -64     ->  1
 
68
rmnx050 remaindernear -1     2      ->  -1
 
69
rmnx051 remaindernear -1     4      ->  -1
 
70
rmnx052 remaindernear -1     8      ->  -1
 
71
rmnx053 remaindernear -1     16     ->  -1
 
72
rmnx054 remaindernear -1     32     ->  -1
 
73
rmnx055 remaindernear -1     64     ->  -1
 
74
rmnx060 remaindernear -1    -2      ->  -1
 
75
rmnx061 remaindernear -1    -4      ->  -1
 
76
rmnx062 remaindernear -1    -8      ->  -1
 
77
rmnx063 remaindernear -1    -16     ->  -1
 
78
rmnx064 remaindernear -1    -32     ->  -1
 
79
rmnx065 remaindernear -1    -64     ->  -1
 
80
 
 
81
rmnx066 remaindernear  999999997     1  -> 0
 
82
rmnx067 remaindernear  999999997.4   1  -> 0.4
 
83
rmnx068 remaindernear  999999997.5   1  -> -0.5
 
84
rmnx069 remaindernear  999999997.9   1  -> -0.1
 
85
rmnx070 remaindernear  999999997.999 1  -> -0.001
 
86
 
 
87
rmnx071 remaindernear  999999998     1  -> 0
 
88
rmnx072 remaindernear  999999998.4   1  -> 0.4
 
89
rmnx073 remaindernear  999999998.5   1  -> 0.5
 
90
rmnx074 remaindernear  999999998.9   1  -> -0.1
 
91
rmnx075 remaindernear  999999998.999 1  -> -0.001
 
92
 
 
93
rmnx076 remaindernear  999999999     1  -> 0
 
94
rmnx077 remaindernear  999999999.4   1  -> 0.4
 
95
rmnx078 remaindernear  999999999.5   1  -> NaN Division_impossible
 
96
rmnx079 remaindernear  999999999.9   1  -> NaN Division_impossible
 
97
rmnx080 remaindernear  999999999.999 1  -> NaN Division_impossible
 
98
 
 
99
precision: 6
 
100
rmnx081 remaindernear  999999999     1  -> NaN Division_impossible
 
101
rmnx082 remaindernear  99999999      1  -> NaN Division_impossible
 
102
rmnx083 remaindernear  9999999       1  -> NaN Division_impossible
 
103
rmnx084 remaindernear  999999        1  -> 0
 
104
rmnx085 remaindernear  99999         1  -> 0
 
105
rmnx086 remaindernear  9999          1  -> 0
 
106
rmnx087 remaindernear  999           1  -> 0
 
107
rmnx088 remaindernear  99            1  -> 0
 
108
rmnx089 remaindernear  9             1  -> 0
 
109
 
 
110
precision: 9
 
111
rmnx090 remaindernear  0.            1  -> 0
 
112
rmnx091 remaindernear  .0            1  -> 0.0
 
113
rmnx092 remaindernear  0.00          1  -> 0.00
 
114
rmnx093 remaindernear  0.00E+9       1  -> 0
 
115
rmnx094 remaindernear  0.0000E-50    1  -> 0E-54
 
116
 
 
117
 
 
118
-- Various flavours of remaindernear by 0
 
119
precision: 9
 
120
maxexponent: 999999999
 
121
minexponent: -999999999
 
122
rmnx101 remaindernear  0       0   -> NaN Division_undefined
 
123
rmnx102 remaindernear  0      -0   -> NaN Division_undefined
 
124
rmnx103 remaindernear -0       0   -> NaN Division_undefined
 
125
rmnx104 remaindernear -0      -0   -> NaN Division_undefined
 
126
rmnx105 remaindernear  0.0E5   0   -> NaN Division_undefined
 
127
rmnx106 remaindernear  0.000   0   -> NaN Division_undefined
 
128
-- [Some think this next group should be Division_by_zero exception,
 
129
-- but IEEE 854 is explicit that it is Invalid operation .. for
 
130
-- remaindernear-near, anyway]
 
131
rmnx107 remaindernear  0.0001  0   -> NaN Invalid_operation
 
132
rmnx108 remaindernear  0.01    0   -> NaN Invalid_operation
 
133
rmnx109 remaindernear  0.1     0   -> NaN Invalid_operation
 
134
rmnx110 remaindernear  1       0   -> NaN Invalid_operation
 
135
rmnx111 remaindernear  1       0.0 -> NaN Invalid_operation
 
136
rmnx112 remaindernear 10       0.0 -> NaN Invalid_operation
 
137
rmnx113 remaindernear 1E+100   0.0 -> NaN Invalid_operation
 
138
rmnx114 remaindernear 1E+1000  0   -> NaN Invalid_operation
 
139
rmnx115 remaindernear  0.0001 -0   -> NaN Invalid_operation
 
140
rmnx116 remaindernear  0.01   -0   -> NaN Invalid_operation
 
141
rmnx119 remaindernear  0.1    -0   -> NaN Invalid_operation
 
142
rmnx120 remaindernear  1      -0   -> NaN Invalid_operation
 
143
rmnx121 remaindernear  1      -0.0 -> NaN Invalid_operation
 
144
rmnx122 remaindernear 10      -0.0 -> NaN Invalid_operation
 
145
rmnx123 remaindernear 1E+100  -0.0 -> NaN Invalid_operation
 
146
rmnx124 remaindernear 1E+1000 -0   -> NaN Invalid_operation
 
147
-- and zeros on left
 
148
rmnx130 remaindernear  0      1   ->  0
 
149
rmnx131 remaindernear  0     -1   ->  0
 
150
rmnx132 remaindernear  0.0    1   ->  0.0
 
151
rmnx133 remaindernear  0.0   -1   ->  0.0
 
152
rmnx134 remaindernear -0      1   -> -0
 
153
rmnx135 remaindernear -0     -1   -> -0
 
154
rmnx136 remaindernear -0.0    1   -> -0.0
 
155
rmnx137 remaindernear -0.0   -1   -> -0.0
 
156
 
 
157
-- 0.5ers
 
158
rmmx143 remaindernear   0.5  2     ->  0.5
 
159
rmmx144 remaindernear   0.5  2.1   ->  0.5
 
160
rmmx145 remaindernear   0.5  2.01  ->  0.50
 
161
rmmx146 remaindernear   0.5  2.001 ->  0.500
 
162
rmmx147 remaindernear   0.50 2     ->  0.50
 
163
rmmx148 remaindernear   0.50 2.01  ->  0.50
 
164
rmmx149 remaindernear   0.50 2.001 ->  0.500
 
165
 
 
166
-- some differences from remainder
 
167
rmnx150 remaindernear   0.4  1.020 ->  0.400
 
168
rmnx151 remaindernear   0.50 1.020 ->  0.500
 
169
rmnx152 remaindernear   0.51 1.020 ->  0.510
 
170
rmnx153 remaindernear   0.52 1.020 -> -0.500
 
171
rmnx154 remaindernear   0.6  1.020 -> -0.420
 
172
rmnx155 remaindernear   0.49 1     ->  0.49
 
173
rmnx156 remaindernear   0.50 1     ->  0.50
 
174
rmnx157 remaindernear   1.50 1     -> -0.50
 
175
rmnx158 remaindernear   2.50 1     ->  0.50
 
176
rmnx159 remaindernear   9.50 1     -> -0.50
 
177
rmnx160 remaindernear   0.51 1     -> -0.49
 
178
 
 
179
-- the nasty division-by-1 cases
 
180
rmnx161 remaindernear   0.4         1   ->  0.4
 
181
rmnx162 remaindernear   0.45        1   ->  0.45
 
182
rmnx163 remaindernear   0.455       1   ->  0.455
 
183
rmnx164 remaindernear   0.4555      1   ->  0.4555
 
184
rmnx165 remaindernear   0.45555     1   ->  0.45555
 
185
rmnx166 remaindernear   0.455555    1   ->  0.455555
 
186
rmnx167 remaindernear   0.4555555   1   ->  0.4555555
 
187
rmnx168 remaindernear   0.45555555  1   ->  0.45555555
 
188
rmnx169 remaindernear   0.455555555 1   ->  0.455555555
 
189
-- with spill...
 
190
rmnx171 remaindernear   0.5         1   ->  0.5
 
191
rmnx172 remaindernear   0.55        1   -> -0.45
 
192
rmnx173 remaindernear   0.555       1   -> -0.445
 
193
rmnx174 remaindernear   0.5555      1   -> -0.4445
 
194
rmnx175 remaindernear   0.55555     1   -> -0.44445
 
195
rmnx176 remaindernear   0.555555    1   -> -0.444445
 
196
rmnx177 remaindernear   0.5555555   1   -> -0.4444445
 
197
rmnx178 remaindernear   0.55555555  1   -> -0.44444445
 
198
rmnx179 remaindernear   0.555555555 1   -> -0.444444445
 
199
 
 
200
-- progression
 
201
rmnx180 remaindernear  1  1   -> 0
 
202
rmnx181 remaindernear  1  2   -> 1
 
203
rmnx182 remaindernear  1  3   -> 1
 
204
rmnx183 remaindernear  1  4   -> 1
 
205
rmnx184 remaindernear  1  5   -> 1
 
206
rmnx185 remaindernear  1  6   -> 1
 
207
rmnx186 remaindernear  1  7   -> 1
 
208
rmnx187 remaindernear  1  8   -> 1
 
209
rmnx188 remaindernear  1  9   -> 1
 
210
rmnx189 remaindernear  1  10  -> 1
 
211
rmnx190 remaindernear  1  1   -> 0
 
212
rmnx191 remaindernear  2  1   -> 0
 
213
rmnx192 remaindernear  3  1   -> 0
 
214
rmnx193 remaindernear  4  1   -> 0
 
215
rmnx194 remaindernear  5  1   -> 0
 
216
rmnx195 remaindernear  6  1   -> 0
 
217
rmnx196 remaindernear  7  1   -> 0
 
218
rmnx197 remaindernear  8  1   -> 0
 
219
rmnx198 remaindernear  9  1   -> 0
 
220
rmnx199 remaindernear  10 1   -> 0
 
221
 
 
222
 
 
223
-- Various flavours of remaindernear by 0
 
224
maxexponent: 999999999
 
225
minexponent: -999999999
 
226
rmnx201 remaindernear  0      0   -> NaN Division_undefined
 
227
rmnx202 remaindernear  0.0E5  0   -> NaN Division_undefined
 
228
rmnx203 remaindernear  0.000  0   -> NaN Division_undefined
 
229
rmnx204 remaindernear  0.0001 0   -> NaN Invalid_operation
 
230
rmnx205 remaindernear  0.01   0   -> NaN Invalid_operation
 
231
rmnx206 remaindernear  0.1    0   -> NaN Invalid_operation
 
232
rmnx207 remaindernear  1      0   -> NaN Invalid_operation
 
233
rmnx208 remaindernear  1      0.0 -> NaN Invalid_operation
 
234
rmnx209 remaindernear 10      0.0 -> NaN Invalid_operation
 
235
rmnx210 remaindernear 1E+100  0.0 -> NaN Invalid_operation
 
236
rmnx211 remaindernear 1E+1000 0   -> NaN Invalid_operation
 
237
 
 
238
-- tests from the extended specification
 
239
rmnx221 remaindernear 2.1     3   -> -0.9
 
240
rmnx222 remaindernear  10     6   -> -2
 
241
rmnx223 remaindernear  10     3   ->  1
 
242
rmnx224 remaindernear -10     3   -> -1
 
243
rmnx225 remaindernear  10.2   1   -> 0.2
 
244
rmnx226 remaindernear  10     0.3 -> 0.1
 
245
rmnx227 remaindernear   3.6   1.3 -> -0.3
 
246
 
 
247
-- some differences from remainder
 
248
rmnx231 remaindernear   0.4  1.020 ->  0.400
 
249
rmnx232 remaindernear   0.50 1.020 ->  0.500
 
250
rmnx233 remaindernear   0.51 1.020 ->  0.510
 
251
rmnx234 remaindernear   0.52 1.020 -> -0.500
 
252
rmnx235 remaindernear   0.6  1.020 -> -0.420
 
253
 
 
254
-- test some cases that are close to exponent overflow
 
255
maxexponent: 999999999
 
256
minexponent: -999999999
 
257
rmnx270 remaindernear 1 1e999999999    -> 1
 
258
rmnx271 remaindernear 1 0.9e999999999  -> 1
 
259
rmnx272 remaindernear 1 0.99e999999999 -> 1
 
260
rmnx273 remaindernear 1 0.999999999e999999999 -> 1
 
261
rmnx274 remaindernear 9e999999999          1 -> NaN Division_impossible
 
262
rmnx275 remaindernear 9.9e999999999        1 -> NaN Division_impossible
 
263
rmnx276 remaindernear 9.99e999999999       1 -> NaN Division_impossible
 
264
rmnx277 remaindernear 9.99999999e999999999 1 -> NaN Division_impossible
 
265
 
 
266
rmnx280 remaindernear 0.1 9e-999999999       -> NaN Division_impossible
 
267
rmnx281 remaindernear 0.1 99e-999999999      -> NaN Division_impossible
 
268
rmnx282 remaindernear 0.1 999e-999999999     -> NaN Division_impossible
 
269
 
 
270
rmnx283 remaindernear 0.1 9e-999999998       -> NaN Division_impossible
 
271
rmnx284 remaindernear 0.1 99e-999999998      -> NaN Division_impossible
 
272
rmnx285 remaindernear 0.1 999e-999999998     -> NaN Division_impossible
 
273
rmnx286 remaindernear 0.1 999e-999999997     -> NaN Division_impossible
 
274
rmnx287 remaindernear 0.1 9999e-999999997    -> NaN Division_impossible
 
275
rmnx288 remaindernear 0.1 99999e-999999997   -> NaN Division_impossible
 
276
 
 
277
-- rmnx3xx are from DiagBigDecimal
 
278
rmnx301 remaindernear   1    3     ->  1
 
279
rmnx302 remaindernear   5    5     ->  0
 
280
rmnx303 remaindernear   13   10    ->  3
 
281
rmnx304 remaindernear   13   50    ->  13
 
282
rmnx305 remaindernear   13   100   ->  13
 
283
rmnx306 remaindernear   13   1000  ->  13
 
284
rmnx307 remaindernear   .13    1   ->  0.13
 
285
rmnx308 remaindernear   0.133  1   ->  0.133
 
286
rmnx309 remaindernear   0.1033 1   ->  0.1033
 
287
rmnx310 remaindernear   1.033  1   ->  0.033
 
288
rmnx311 remaindernear   10.33  1   ->  0.33
 
289
rmnx312 remaindernear   10.33 10   ->  0.33
 
290
rmnx313 remaindernear   103.3  1   ->  0.3
 
291
rmnx314 remaindernear   133   10   ->  3
 
292
rmnx315 remaindernear   1033  10   ->  3
 
293
rmnx316 remaindernear   1033  50   -> -17
 
294
rmnx317 remaindernear   101.0  3   -> -1.0
 
295
rmnx318 remaindernear   102.0  3   ->  0.0
 
296
rmnx319 remaindernear   103.0  3   ->  1.0
 
297
rmnx320 remaindernear   2.40   1   ->  0.40
 
298
rmnx321 remaindernear   2.400  1   ->  0.400
 
299
rmnx322 remaindernear   2.4    1   ->  0.4
 
300
rmnx323 remaindernear   2.4    2   ->  0.4
 
301
rmnx324 remaindernear   2.400  2   ->  0.400
 
302
rmnx325 remaindernear   1   0.3    ->  0.1
 
303
rmnx326 remaindernear   1   0.30   ->  0.10
 
304
rmnx327 remaindernear   1   0.300  ->  0.100
 
305
rmnx328 remaindernear   1   0.3000 ->  0.1000
 
306
rmnx329 remaindernear   1.0    0.3 ->  0.1
 
307
rmnx330 remaindernear   1.00   0.3 ->  0.10
 
308
rmnx331 remaindernear   1.000  0.3 ->  0.100
 
309
rmnx332 remaindernear   1.0000 0.3 ->  0.1000
 
310
rmnx333 remaindernear   0.5  2     ->  0.5
 
311
rmnx334 remaindernear   0.5  2.1   ->  0.5
 
312
rmnx335 remaindernear   0.5  2.01  ->  0.50
 
313
rmnx336 remaindernear   0.5  2.001 ->  0.500
 
314
rmnx337 remaindernear   0.50 2     ->  0.50
 
315
rmnx338 remaindernear   0.50 2.01  ->  0.50
 
316
rmnx339 remaindernear   0.50 2.001 ->  0.500
 
317
 
 
318
rmnx340 remaindernear   0.5   0.5000001    ->  -1E-7
 
319
rmnx341 remaindernear   0.5   0.50000001    ->  -1E-8
 
320
rmnx342 remaindernear   0.5   0.500000001    ->  -1E-9
 
321
rmnx343 remaindernear   0.5   0.5000000001    ->  -1E-10
 
322
rmnx344 remaindernear   0.5   0.50000000001    ->  -1E-11
 
323
rmnx345 remaindernear   0.5   0.4999999    ->  1E-7
 
324
rmnx346 remaindernear   0.5   0.49999999    ->  1E-8
 
325
rmnx347 remaindernear   0.5   0.499999999    ->  1E-9
 
326
rmnx348 remaindernear   0.5   0.4999999999    ->  1E-10
 
327
rmnx349 remaindernear   0.5   0.49999999999    ->  1E-11
 
328
 
 
329
rmnx350 remaindernear   0.03  7  ->  0.03
 
330
rmnx351 remaindernear   5   2    ->  1
 
331
rmnx352 remaindernear   4.1   2    ->  0.1
 
332
rmnx353 remaindernear   4.01   2    ->  0.01
 
333
rmnx354 remaindernear   4.001   2    ->  0.001
 
334
rmnx355 remaindernear   4.0001   2    ->  0.0001
 
335
rmnx356 remaindernear   4.00001   2    ->  0.00001
 
336
rmnx357 remaindernear   4.000001   2    ->  0.000001
 
337
rmnx358 remaindernear   4.0000001   2    ->  1E-7
 
338
 
 
339
rmnx360 remaindernear   1.2   0.7345 -> -0.2690
 
340
rmnx361 remaindernear   0.8   12     ->  0.8
 
341
rmnx362 remaindernear   0.8   0.2    ->  0.0
 
342
rmnx363 remaindernear   0.8   0.3    -> -0.1
 
343
rmnx364 remaindernear   0.800   12   ->  0.800
 
344
rmnx365 remaindernear   0.800   1.7  ->  0.800
 
345
rmnx366 remaindernear   2.400   2    ->  0.400
 
346
 
 
347
precision: 6
 
348
rmnx371 remaindernear   2.400  2        ->  0.400
 
349
precision: 3
 
350
rmnx372 remaindernear   12345678900000 12e+12 -> 3.46E+11 Inexact Rounded
 
351
 
 
352
precision: 5
 
353
rmnx381 remaindernear 12345  1         ->  0
 
354
rmnx382 remaindernear 12345  1.0001    -> -0.2344
 
355
rmnx383 remaindernear 12345  1.001     -> -0.333
 
356
rmnx384 remaindernear 12345  1.01      -> -0.23
 
357
rmnx385 remaindernear 12345  1.1       -> -0.3
 
358
rmnx386 remaindernear 12355  4         -> -1
 
359
rmnx387 remaindernear 12345  4         ->  1
 
360
rmnx388 remaindernear 12355  4.0001    -> -1.3089
 
361
rmnx389 remaindernear 12345  4.0001    ->  0.6914
 
362
rmnx390 remaindernear 12345  4.9       ->  1.9
 
363
rmnx391 remaindernear 12345  4.99      -> -0.26
 
364
rmnx392 remaindernear 12345  4.999     ->  2.469
 
365
rmnx393 remaindernear 12345  4.9999    ->  0.2469
 
366
rmnx394 remaindernear 12345  5         ->  0
 
367
rmnx395 remaindernear 12345  5.0001    -> -0.2469
 
368
rmnx396 remaindernear 12345  5.001     -> -2.469
 
369
rmnx397 remaindernear 12345  5.01      ->  0.36
 
370
rmnx398 remaindernear 12345  5.1       -> -2.1
 
371
 
 
372
precision: 9
 
373
-- some nasty division-by-1 cases [some similar above]
 
374
rmnx401 remaindernear   0.4         1   ->  0.4
 
375
rmnx402 remaindernear   0.45        1   ->  0.45
 
376
rmnx403 remaindernear   0.455       1   ->  0.455
 
377
rmnx404 remaindernear   0.4555      1   ->  0.4555
 
378
rmnx405 remaindernear   0.45555     1   ->  0.45555
 
379
rmnx406 remaindernear   0.455555    1   ->  0.455555
 
380
rmnx407 remaindernear   0.4555555   1   ->  0.4555555
 
381
rmnx408 remaindernear   0.45555555  1   ->  0.45555555
 
382
rmnx409 remaindernear   0.455555555 1   ->  0.455555555
 
383
 
 
384
-- some tricky LHSs
 
385
rmnx420 remaindernear   99999999.999999999   1E+8   -> -1E-9
 
386
rmnx421 remaindernear  999999999.999999999   1E+9   -> -1E-9
 
387
precision: 9
 
388
rmnx430 remaindernear   0.455555555 1   ->  0.455555555
 
389
precision: 8
 
390
rmnx431 remaindernear   0.455555555 1   ->  0.45555556 Inexact Rounded
 
391
precision: 7
 
392
rmnx432 remaindernear   0.455555555 1   ->  0.4555556  Inexact Rounded
 
393
precision: 6
 
394
rmnx433 remaindernear   0.455555555 1   ->  0.455556   Inexact Rounded
 
395
precision: 5
 
396
rmnx434 remaindernear   0.455555555 1   ->  0.45556    Inexact Rounded
 
397
precision: 4
 
398
rmnx435 remaindernear   0.455555555 1   ->  0.4556     Inexact Rounded
 
399
precision: 3
 
400
rmnx436 remaindernear   0.455555555 1   ->  0.456      Inexact Rounded
 
401
precision: 2
 
402
rmnx437 remaindernear   0.455555555 1   ->  0.46       Inexact Rounded
 
403
precision: 1
 
404
rmnx438 remaindernear   0.455555555 1   ->  0.5        Inexact Rounded
 
405
 
 
406
-- early tests; from text descriptions
 
407
precision: 9
 
408
rmnx601 remaindernear  10   6  -> -2
 
409
rmnx602 remaindernear -10   6  -> 2
 
410
rmnx603 remaindernear  11   3  -> -1
 
411
rmnx604 remaindernear  11   5  -> 1
 
412
rmnx605 remaindernear   7.7 8  -> -0.3
 
413
rmnx606 remaindernear  31.5 3  -> 1.5    -- i=10
 
414
rmnx607 remaindernear  34.5 3  -> -1.5   -- i=11
 
415
 
 
416
-- zero signs
 
417
rmnx650 remaindernear  1  1 ->  0
 
418
rmnx651 remaindernear -1  1 -> -0
 
419
rmnx652 remaindernear  1 -1 ->  0
 
420
rmnx653 remaindernear -1 -1 -> -0
 
421
rmnx654 remaindernear  0  1 ->  0
 
422
rmnx655 remaindernear -0  1 -> -0
 
423
rmnx656 remaindernear  0 -1 ->  0
 
424
rmnx657 remaindernear -0 -1 -> -0
 
425
rmnx658 remaindernear  0.00  1  ->  0.00
 
426
rmnx659 remaindernear -0.00  1  -> -0.00
 
427
 
 
428
-- Specials
 
429
rmnx680 remaindernear  Inf  -Inf   ->  NaN Invalid_operation
 
430
rmnx681 remaindernear  Inf  -1000  ->  NaN Invalid_operation
 
431
rmnx682 remaindernear  Inf  -1     ->  NaN Invalid_operation
 
432
rmnx683 remaindernear  Inf   0     ->  NaN Invalid_operation
 
433
rmnx684 remaindernear  Inf  -0     ->  NaN Invalid_operation
 
434
rmnx685 remaindernear  Inf   1     ->  NaN Invalid_operation
 
435
rmnx686 remaindernear  Inf   1000  ->  NaN Invalid_operation
 
436
rmnx687 remaindernear  Inf   Inf   ->  NaN Invalid_operation
 
437
rmnx688 remaindernear -1000  Inf   -> -1000
 
438
rmnx689 remaindernear -Inf   Inf   ->  NaN Invalid_operation
 
439
rmnx691 remaindernear -1     Inf   -> -1
 
440
rmnx692 remaindernear  0     Inf   ->  0
 
441
rmnx693 remaindernear -0     Inf   -> -0
 
442
rmnx694 remaindernear  1     Inf   ->  1
 
443
rmnx695 remaindernear  1000  Inf   ->  1000
 
444
rmnx696 remaindernear  Inf   Inf   ->  NaN Invalid_operation
 
445
 
 
446
rmnx700 remaindernear -Inf  -Inf   ->  NaN Invalid_operation
 
447
rmnx701 remaindernear -Inf  -1000  ->  NaN Invalid_operation
 
448
rmnx702 remaindernear -Inf  -1     ->  NaN Invalid_operation
 
449
rmnx703 remaindernear -Inf  -0     ->  NaN Invalid_operation
 
450
rmnx704 remaindernear -Inf   0     ->  NaN Invalid_operation
 
451
rmnx705 remaindernear -Inf   1     ->  NaN Invalid_operation
 
452
rmnx706 remaindernear -Inf   1000  ->  NaN Invalid_operation
 
453
rmnx707 remaindernear -Inf   Inf   ->  NaN Invalid_operation
 
454
rmnx708 remaindernear -Inf  -Inf   ->  NaN Invalid_operation
 
455
rmnx709 remaindernear -1000  Inf   -> -1000
 
456
rmnx710 remaindernear -1    -Inf   -> -1
 
457
rmnx711 remaindernear -0    -Inf   -> -0
 
458
rmnx712 remaindernear  0    -Inf   ->  0
 
459
rmnx713 remaindernear  1    -Inf   ->  1
 
460
rmnx714 remaindernear  1000 -Inf   ->  1000
 
461
rmnx715 remaindernear  Inf  -Inf   ->  NaN Invalid_operation
 
462
 
 
463
rmnx721 remaindernear  NaN -Inf    ->  NaN
 
464
rmnx722 remaindernear  NaN -1000   ->  NaN
 
465
rmnx723 remaindernear  NaN -1      ->  NaN
 
466
rmnx724 remaindernear  NaN -0      ->  NaN
 
467
rmnx725 remaindernear  NaN  0      ->  NaN
 
468
rmnx726 remaindernear  NaN  1      ->  NaN
 
469
rmnx727 remaindernear  NaN  1000   ->  NaN
 
470
rmnx728 remaindernear  NaN  Inf    ->  NaN
 
471
rmnx729 remaindernear  NaN  NaN    ->  NaN
 
472
rmnx730 remaindernear -Inf  NaN    ->  NaN
 
473
rmnx731 remaindernear -1000 NaN    ->  NaN
 
474
rmnx732 remaindernear -1   -NaN    -> -NaN
 
475
rmnx733 remaindernear -0    NaN    ->  NaN
 
476
rmnx734 remaindernear  0    NaN    ->  NaN
 
477
rmnx735 remaindernear  1    NaN    ->  NaN
 
478
rmnx736 remaindernear  1000 NaN    ->  NaN
 
479
rmnx737 remaindernear  Inf  NaN    ->  NaN
 
480
 
 
481
rmnx741 remaindernear  sNaN -Inf   ->  NaN  Invalid_operation
 
482
rmnx742 remaindernear  sNaN -1000  ->  NaN  Invalid_operation
 
483
rmnx743 remaindernear -sNaN -1     -> -NaN  Invalid_operation
 
484
rmnx744 remaindernear  sNaN -0     ->  NaN  Invalid_operation
 
485
rmnx745 remaindernear  sNaN  0     ->  NaN  Invalid_operation
 
486
rmnx746 remaindernear  sNaN  1     ->  NaN  Invalid_operation
 
487
rmnx747 remaindernear  sNaN  1000  ->  NaN  Invalid_operation
 
488
rmnx749 remaindernear  sNaN  NaN   ->  NaN  Invalid_operation
 
489
rmnx750 remaindernear  sNaN sNaN   ->  NaN  Invalid_operation
 
490
rmnx751 remaindernear  NaN  sNaN   ->  NaN  Invalid_operation
 
491
rmnx752 remaindernear -Inf  sNaN   ->  NaN  Invalid_operation
 
492
rmnx753 remaindernear -1000 sNaN   ->  NaN  Invalid_operation
 
493
rmnx754 remaindernear -1    sNaN   ->  NaN  Invalid_operation
 
494
rmnx755 remaindernear -0   -sNaN   -> -NaN  Invalid_operation
 
495
rmnx756 remaindernear  0    sNaN   ->  NaN  Invalid_operation
 
496
rmnx757 remaindernear  1    sNaN   ->  NaN  Invalid_operation
 
497
rmnx758 remaindernear  1000 sNaN   ->  NaN  Invalid_operation
 
498
rmnx759 remaindernear  Inf  sNaN   ->  NaN  Invalid_operation
 
499
rmnx760 remaindernear  NaN  sNaN   ->  NaN  Invalid_operation
 
500
 
 
501
-- propaging NaNs
 
502
rmnx761 remaindernear  NaN1   NaN7   ->  NaN1
 
503
rmnx762 remaindernear sNaN2   NaN8   ->  NaN2 Invalid_operation
 
504
rmnx763 remaindernear  NaN3 -sNaN9   -> -NaN9 Invalid_operation
 
505
rmnx764 remaindernear sNaN4  sNaN10  ->  NaN4 Invalid_operation
 
506
rmnx765 remaindernear    15   NaN11  ->  NaN11
 
507
rmnx766 remaindernear  NaN6   NaN12  ->  NaN6
 
508
rmnx767 remaindernear  Inf   -NaN13  -> -NaN13
 
509
rmnx768 remaindernear  NaN14  -Inf   ->  NaN14
 
510
rmnx769 remaindernear    0    NaN15  ->  NaN15
 
511
rmnx770 remaindernear -NaN16   -0    -> -NaN16
 
512
 
 
513
-- test some cases that are close to exponent overflow
 
514
maxexponent: 999999999
 
515
minexponent: -999999999
 
516
rmnx780 remaindernear 1 1e999999999    -> 1
 
517
rmnx781 remaindernear 1 0.9e999999999  -> 1
 
518
rmnx782 remaindernear 1 0.99e999999999 -> 1
 
519
rmnx783 remaindernear 1 0.999999999e999999999 -> 1
 
520
rmnx784 remaindernear 9e999999999          1 -> NaN Division_impossible
 
521
rmnx785 remaindernear 9.9e999999999        1 -> NaN Division_impossible
 
522
rmnx786 remaindernear 9.99e999999999       1 -> NaN Division_impossible
 
523
rmnx787 remaindernear 9.99999999e999999999 1 -> NaN Division_impossible
 
524
 
 
525
 
 
526
-- overflow and underflow tests [from divide]
 
527
precision: 9
 
528
maxexponent: 999999999
 
529
minexponent: -999999999
 
530
rmnx790 remaindernear +1.23456789012345E-0 9E+999999999 -> 1.23456789 Inexact Rounded
 
531
rmnx791 remaindernear 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible
 
532
rmnx792 remaindernear +0.100 9E+999999999               -> 0.100
 
533
rmnx793 remaindernear 9E-999999999 +9.100               -> 9E-999999999
 
534
rmnx795 remaindernear -1.23456789012345E-0 9E+999999999 -> -1.23456789 Inexact Rounded
 
535
rmnx796 remaindernear 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible
 
536
rmnx797 remaindernear -0.100 9E+999999999               -> -0.100
 
537
rmnx798 remaindernear 9E-999999999 -9.100               -> 9E-999999999
 
538
 
 
539
-- long operands checks
 
540
maxexponent: 999
 
541
minexponent: -999
 
542
precision: 9
 
543
rmnx801 remaindernear 12345678000 100 -> 0
 
544
rmnx802 remaindernear 1 12345678000   -> 1
 
545
rmnx803 remaindernear 1234567800  10  -> 0
 
546
rmnx804 remaindernear 1 1234567800    -> 1
 
547
rmnx805 remaindernear 1234567890  10  -> 0
 
548
rmnx806 remaindernear 1 1234567890    -> 1
 
549
rmnx807 remaindernear 1234567891  10  -> 1
 
550
rmnx808 remaindernear 1 1234567891    -> 1
 
551
rmnx809 remaindernear 12345678901 100 -> 1
 
552
rmnx810 remaindernear 1 12345678901   -> 1
 
553
rmnx811 remaindernear 1234567896  10  -> -4
 
554
rmnx812 remaindernear 1 1234567896    -> 1
 
555
 
 
556
precision: 15
 
557
rmnx841 remaindernear 12345678000 100 -> 0
 
558
rmnx842 remaindernear 1 12345678000   -> 1
 
559
rmnx843 remaindernear 1234567800  10  -> 0
 
560
rmnx844 remaindernear 1 1234567800    -> 1
 
561
rmnx845 remaindernear 1234567890  10  -> 0
 
562
rmnx846 remaindernear 1 1234567890    -> 1
 
563
rmnx847 remaindernear 1234567891  10  -> 1
 
564
rmnx848 remaindernear 1 1234567891    -> 1
 
565
rmnx849 remaindernear 12345678901 100 -> 1
 
566
rmnx850 remaindernear 1 12345678901   -> 1
 
567
rmnx851 remaindernear 1234567896  10  -> -4
 
568
rmnx852 remaindernear 1 1234567896    -> 1
 
569
 
 
570
-- Null tests
 
571
rmnx900 remaindernear 10  # -> NaN Invalid_operation
 
572
rmnx901 remaindernear  # 10 -> NaN Invalid_operation