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

« back to all changes in this revision

Viewing changes to Lib/test/decimaltestdata/ddRemainder.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
-- ddRemainder.decTest -- decDouble 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
precision:   16
 
23
maxExponent: 384
 
24
minExponent: -383
 
25
extended:    1
 
26
clamp:       1
 
27
rounding:    half_even
 
28
 
 
29
-- sanity checks (as base, above)
 
30
ddrem001 remainder  1     1    ->  0
 
31
ddrem002 remainder  2     1    ->  0
 
32
ddrem003 remainder  1     2    ->  1
 
33
ddrem004 remainder  2     2    ->  0
 
34
ddrem005 remainder  0     1    ->  0
 
35
ddrem006 remainder  0     2    ->  0
 
36
ddrem007 remainder  1     3    ->  1
 
37
ddrem008 remainder  2     3    ->  2
 
38
ddrem009 remainder  3     3    ->  0
 
39
 
 
40
ddrem010 remainder  2.4   1    ->  0.4
 
41
ddrem011 remainder  2.4   -1   ->  0.4
 
42
ddrem012 remainder  -2.4  1    ->  -0.4
 
43
ddrem013 remainder  -2.4  -1   ->  -0.4
 
44
ddrem014 remainder  2.40  1    ->  0.40
 
45
ddrem015 remainder  2.400 1    ->  0.400
 
46
ddrem016 remainder  2.4   2    ->  0.4
 
47
ddrem017 remainder  2.400 2    ->  0.400
 
48
ddrem018 remainder  2.    2    ->  0
 
49
ddrem019 remainder  20    20   ->  0
 
50
 
 
51
ddrem020 remainder  187   187    ->  0
 
52
ddrem021 remainder  5     2      ->  1
 
53
ddrem022 remainder  5     2.0    ->  1.0
 
54
ddrem023 remainder  5     2.000  ->  1.000
 
55
ddrem024 remainder  5     0.200  ->  0.000
 
56
ddrem025 remainder  5     0.200  ->  0.000
 
57
 
 
58
ddrem030 remainder  1     2      ->  1
 
59
ddrem031 remainder  1     4      ->  1
 
60
ddrem032 remainder  1     8      ->  1
 
61
 
 
62
ddrem033 remainder  1     16     ->  1
 
63
ddrem034 remainder  1     32     ->  1
 
64
ddrem035 remainder  1     64     ->  1
 
65
ddrem040 remainder  1    -2      ->  1
 
66
ddrem041 remainder  1    -4      ->  1
 
67
ddrem042 remainder  1    -8      ->  1
 
68
ddrem043 remainder  1    -16     ->  1
 
69
ddrem044 remainder  1    -32     ->  1
 
70
ddrem045 remainder  1    -64     ->  1
 
71
ddrem050 remainder -1     2      ->  -1
 
72
ddrem051 remainder -1     4      ->  -1
 
73
ddrem052 remainder -1     8      ->  -1
 
74
ddrem053 remainder -1     16     ->  -1
 
75
ddrem054 remainder -1     32     ->  -1
 
76
ddrem055 remainder -1     64     ->  -1
 
77
ddrem060 remainder -1    -2      ->  -1
 
78
ddrem061 remainder -1    -4      ->  -1
 
79
ddrem062 remainder -1    -8      ->  -1
 
80
ddrem063 remainder -1    -16     ->  -1
 
81
ddrem064 remainder -1    -32     ->  -1
 
82
ddrem065 remainder -1    -64     ->  -1
 
83
 
 
84
ddrem066 remainder  999999999     1  -> 0
 
85
ddrem067 remainder  999999999.4   1  -> 0.4
 
86
ddrem068 remainder  999999999.5   1  -> 0.5
 
87
ddrem069 remainder  999999999.9   1  -> 0.9
 
88
ddrem070 remainder  999999999.999 1  -> 0.999
 
89
ddrem071 remainder  999999.999999 1  -> 0.999999
 
90
ddrem072 remainder  9             1  -> 0
 
91
ddrem073 remainder  9999999999999999 1  -> 0
 
92
ddrem074 remainder  9999999999999999 2  -> 1
 
93
ddrem075 remainder  9999999999999999 3  -> 0
 
94
ddrem076 remainder  9999999999999999 4  -> 3
 
95
 
 
96
ddrem080 remainder  0.            1  -> 0
 
97
ddrem081 remainder  .0            1  -> 0.0
 
98
ddrem082 remainder  0.00          1  -> 0.00
 
99
ddrem083 remainder  0.00E+9       1  -> 0
 
100
ddrem084 remainder  0.00E+3       1  -> 0
 
101
ddrem085 remainder  0.00E+2       1  -> 0
 
102
ddrem086 remainder  0.00E+1       1  -> 0.0
 
103
ddrem087 remainder  0.00E+0       1  -> 0.00
 
104
ddrem088 remainder  0.00E-0       1  -> 0.00
 
105
ddrem089 remainder  0.00E-1       1  -> 0.000
 
106
ddrem090 remainder  0.00E-2       1  -> 0.0000
 
107
ddrem091 remainder  0.00E-3       1  -> 0.00000
 
108
ddrem092 remainder  0.00E-4       1  -> 0.000000
 
109
ddrem093 remainder  0.00E-5       1  -> 0E-7
 
110
ddrem094 remainder  0.00E-6       1  -> 0E-8
 
111
ddrem095 remainder  0.0000E-50    1  -> 0E-54
 
112
 
 
113
-- Various flavours of remainder by 0
 
114
ddrem101 remainder  0       0   -> NaN Division_undefined
 
115
ddrem102 remainder  0      -0   -> NaN Division_undefined
 
116
ddrem103 remainder -0       0   -> NaN Division_undefined
 
117
ddrem104 remainder -0      -0   -> NaN Division_undefined
 
118
ddrem105 remainder  0.0E5   0   -> NaN Division_undefined
 
119
ddrem106 remainder  0.000   0   -> NaN Division_undefined
 
120
-- [Some think this next group should be Division_by_zero exception, but
 
121
-- IEEE 854 is explicit that it is Invalid operation .. for
 
122
-- remainder-near, anyway]
 
123
ddrem107 remainder  0.0001  0   -> NaN Invalid_operation
 
124
ddrem108 remainder  0.01    0   -> NaN Invalid_operation
 
125
ddrem109 remainder  0.1     0   -> NaN Invalid_operation
 
126
ddrem110 remainder  1       0   -> NaN Invalid_operation
 
127
ddrem111 remainder  1       0.0 -> NaN Invalid_operation
 
128
ddrem112 remainder 10       0.0 -> NaN Invalid_operation
 
129
ddrem113 remainder 1E+100   0.0 -> NaN Invalid_operation
 
130
ddrem114 remainder 1E+380   0   -> NaN Invalid_operation
 
131
ddrem115 remainder  0.0001 -0   -> NaN Invalid_operation
 
132
ddrem116 remainder  0.01   -0   -> NaN Invalid_operation
 
133
ddrem119 remainder  0.1    -0   -> NaN Invalid_operation
 
134
ddrem120 remainder  1      -0   -> NaN Invalid_operation
 
135
ddrem121 remainder  1      -0.0 -> NaN Invalid_operation
 
136
ddrem122 remainder 10      -0.0 -> NaN Invalid_operation
 
137
ddrem123 remainder 1E+100  -0.0 -> NaN Invalid_operation
 
138
ddrem124 remainder 1E+384  -0   -> NaN Invalid_operation
 
139
-- and zeros on left
 
140
ddrem130 remainder  0      1   ->  0
 
141
ddrem131 remainder  0     -1   ->  0
 
142
ddrem132 remainder  0.0    1   ->  0.0
 
143
ddrem133 remainder  0.0   -1   ->  0.0
 
144
ddrem134 remainder -0      1   -> -0
 
145
ddrem135 remainder -0     -1   -> -0
 
146
ddrem136 remainder -0.0    1   -> -0.0
 
147
ddrem137 remainder -0.0   -1   -> -0.0
 
148
 
 
149
-- 0.5ers
 
150
ddrem143 remainder   0.5  2     ->  0.5
 
151
ddrem144 remainder   0.5  2.1   ->  0.5
 
152
ddrem145 remainder   0.5  2.01  ->  0.50
 
153
ddrem146 remainder   0.5  2.001 ->  0.500
 
154
ddrem147 remainder   0.50 2     ->  0.50
 
155
ddrem148 remainder   0.50 2.01  ->  0.50
 
156
ddrem149 remainder   0.50 2.001 ->  0.500
 
157
 
 
158
-- steadies
 
159
ddrem150 remainder  1  1   -> 0
 
160
ddrem151 remainder  1  2   -> 1
 
161
ddrem152 remainder  1  3   -> 1
 
162
ddrem153 remainder  1  4   -> 1
 
163
ddrem154 remainder  1  5   -> 1
 
164
ddrem155 remainder  1  6   -> 1
 
165
ddrem156 remainder  1  7   -> 1
 
166
ddrem157 remainder  1  8   -> 1
 
167
ddrem158 remainder  1  9   -> 1
 
168
ddrem159 remainder  1  10  -> 1
 
169
ddrem160 remainder  1  1   -> 0
 
170
ddrem161 remainder  2  1   -> 0
 
171
ddrem162 remainder  3  1   -> 0
 
172
ddrem163 remainder  4  1   -> 0
 
173
ddrem164 remainder  5  1   -> 0
 
174
ddrem165 remainder  6  1   -> 0
 
175
ddrem166 remainder  7  1   -> 0
 
176
ddrem167 remainder  8  1   -> 0
 
177
ddrem168 remainder  9  1   -> 0
 
178
ddrem169 remainder  10 1   -> 0
 
179
 
 
180
-- some differences from remainderNear
 
181
ddrem171 remainder   0.4  1.020 ->  0.400
 
182
ddrem172 remainder   0.50 1.020 ->  0.500
 
183
ddrem173 remainder   0.51 1.020 ->  0.510
 
184
ddrem174 remainder   0.52 1.020 ->  0.520
 
185
ddrem175 remainder   0.6  1.020 ->  0.600
 
186
 
 
187
-- More flavours of remainder by 0
 
188
ddrem201 remainder  0      0   -> NaN Division_undefined
 
189
ddrem202 remainder  0.0E5  0   -> NaN Division_undefined
 
190
ddrem203 remainder  0.000  0   -> NaN Division_undefined
 
191
ddrem204 remainder  0.0001 0   -> NaN Invalid_operation
 
192
ddrem205 remainder  0.01   0   -> NaN Invalid_operation
 
193
ddrem206 remainder  0.1    0   -> NaN Invalid_operation
 
194
ddrem207 remainder  1      0   -> NaN Invalid_operation
 
195
ddrem208 remainder  1      0.0 -> NaN Invalid_operation
 
196
ddrem209 remainder 10      0.0 -> NaN Invalid_operation
 
197
ddrem210 remainder 1E+100  0.0 -> NaN Invalid_operation
 
198
ddrem211 remainder 1E+380  0   -> NaN Invalid_operation
 
199
 
 
200
-- some differences from remainderNear
 
201
ddrem231 remainder  -0.4  1.020 -> -0.400
 
202
ddrem232 remainder  -0.50 1.020 -> -0.500
 
203
ddrem233 remainder  -0.51 1.020 -> -0.510
 
204
ddrem234 remainder  -0.52 1.020 -> -0.520
 
205
ddrem235 remainder  -0.6  1.020 -> -0.600
 
206
 
 
207
-- high Xs
 
208
ddrem240 remainder  1E+2  1.00  ->  0.00
 
209
 
 
210
-- ddrem3xx are from DiagBigDecimal
 
211
ddrem301 remainder   1    3     ->  1
 
212
ddrem302 remainder   5    5     ->  0
 
213
ddrem303 remainder   13   10    ->  3
 
214
ddrem304 remainder   13   50    ->  13
 
215
ddrem305 remainder   13   100   ->  13
 
216
ddrem306 remainder   13   1000  ->  13
 
217
ddrem307 remainder   .13    1   ->  0.13
 
218
ddrem308 remainder   0.133  1   ->  0.133
 
219
ddrem309 remainder   0.1033 1   ->  0.1033
 
220
ddrem310 remainder   1.033  1   ->  0.033
 
221
ddrem311 remainder   10.33  1   ->  0.33
 
222
ddrem312 remainder   10.33 10   ->  0.33
 
223
ddrem313 remainder   103.3  1   ->  0.3
 
224
ddrem314 remainder   133   10   ->  3
 
225
ddrem315 remainder   1033  10   ->  3
 
226
ddrem316 remainder   1033  50   ->  33
 
227
ddrem317 remainder   101.0  3   ->  2.0
 
228
ddrem318 remainder   102.0  3   ->  0.0
 
229
ddrem319 remainder   103.0  3   ->  1.0
 
230
ddrem320 remainder   2.40   1   ->  0.40
 
231
ddrem321 remainder   2.400  1   ->  0.400
 
232
ddrem322 remainder   2.4    1   ->  0.4
 
233
ddrem323 remainder   2.4    2   ->  0.4
 
234
ddrem324 remainder   2.400  2   ->  0.400
 
235
ddrem325 remainder   1   0.3    ->  0.1
 
236
ddrem326 remainder   1   0.30   ->  0.10
 
237
ddrem327 remainder   1   0.300  ->  0.100
 
238
ddrem328 remainder   1   0.3000 ->  0.1000
 
239
ddrem329 remainder   1.0    0.3 ->  0.1
 
240
ddrem330 remainder   1.00   0.3 ->  0.10
 
241
ddrem331 remainder   1.000  0.3 ->  0.100
 
242
ddrem332 remainder   1.0000 0.3 ->  0.1000
 
243
ddrem333 remainder   0.5  2     ->  0.5
 
244
ddrem334 remainder   0.5  2.1   ->  0.5
 
245
ddrem335 remainder   0.5  2.01  ->  0.50
 
246
ddrem336 remainder   0.5  2.001 ->  0.500
 
247
ddrem337 remainder   0.50 2     ->  0.50
 
248
ddrem338 remainder   0.50 2.01  ->  0.50
 
249
ddrem339 remainder   0.50 2.001 ->  0.500
 
250
 
 
251
ddrem340 remainder   0.5   0.5000001    ->  0.5000000
 
252
ddrem341 remainder   0.5   0.50000001    ->  0.50000000
 
253
ddrem342 remainder   0.5   0.500000001    ->  0.500000000
 
254
ddrem343 remainder   0.5   0.5000000001    ->  0.5000000000
 
255
ddrem344 remainder   0.5   0.50000000001    ->  0.50000000000
 
256
ddrem345 remainder   0.5   0.4999999    ->  1E-7
 
257
ddrem346 remainder   0.5   0.49999999    ->  1E-8
 
258
ddrem347 remainder   0.5   0.499999999    ->  1E-9
 
259
ddrem348 remainder   0.5   0.4999999999    ->  1E-10
 
260
ddrem349 remainder   0.5   0.49999999999    ->  1E-11
 
261
ddrem350 remainder   0.5   0.499999999999    ->  1E-12
 
262
 
 
263
ddrem351 remainder   0.03  7  ->  0.03
 
264
ddrem352 remainder   5   2    ->  1
 
265
ddrem353 remainder   4.1   2    ->  0.1
 
266
ddrem354 remainder   4.01   2    ->  0.01
 
267
ddrem355 remainder   4.001   2    ->  0.001
 
268
ddrem356 remainder   4.0001   2    ->  0.0001
 
269
ddrem357 remainder   4.00001   2    ->  0.00001
 
270
ddrem358 remainder   4.000001   2    ->  0.000001
 
271
ddrem359 remainder   4.0000001   2    ->  1E-7
 
272
 
 
273
ddrem360 remainder   1.2   0.7345 ->  0.4655
 
274
ddrem361 remainder   0.8   12     ->  0.8
 
275
ddrem362 remainder   0.8   0.2    ->  0.0
 
276
ddrem363 remainder   0.8   0.3    ->  0.2
 
277
ddrem364 remainder   0.800   12   ->  0.800
 
278
ddrem365 remainder   0.800   1.7  ->  0.800
 
279
ddrem366 remainder   2.400   2    ->  0.400
 
280
 
 
281
ddrem371 remainder   2.400  2        ->  0.400
 
282
 
 
283
ddrem381 remainder 12345  1         ->  0
 
284
ddrem382 remainder 12345  1.0001    ->  0.7657
 
285
ddrem383 remainder 12345  1.001     ->  0.668
 
286
ddrem384 remainder 12345  1.01      ->  0.78
 
287
ddrem385 remainder 12345  1.1       ->  0.8
 
288
ddrem386 remainder 12355  4         ->  3
 
289
ddrem387 remainder 12345  4         ->  1
 
290
ddrem388 remainder 12355  4.0001    ->  2.6912
 
291
ddrem389 remainder 12345  4.0001    ->  0.6914
 
292
ddrem390 remainder 12345  4.9       ->  1.9
 
293
ddrem391 remainder 12345  4.99      ->  4.73
 
294
ddrem392 remainder 12345  4.999     ->  2.469
 
295
ddrem393 remainder 12345  4.9999    ->  0.2469
 
296
ddrem394 remainder 12345  5         ->  0
 
297
ddrem395 remainder 12345  5.0001    ->  4.7532
 
298
ddrem396 remainder 12345  5.001     ->  2.532
 
299
ddrem397 remainder 12345  5.01      ->  0.36
 
300
ddrem398 remainder 12345  5.1       ->  3.0
 
301
 
 
302
-- the nasty division-by-1 cases
 
303
ddrem401 remainder   0.5         1   ->  0.5
 
304
ddrem402 remainder   0.55        1   ->  0.55
 
305
ddrem403 remainder   0.555       1   ->  0.555
 
306
ddrem404 remainder   0.5555      1   ->  0.5555
 
307
ddrem405 remainder   0.55555     1   ->  0.55555
 
308
ddrem406 remainder   0.555555    1   ->  0.555555
 
309
ddrem407 remainder   0.5555555   1   ->  0.5555555
 
310
ddrem408 remainder   0.55555555  1   ->  0.55555555
 
311
ddrem409 remainder   0.555555555 1   ->  0.555555555
 
312
 
 
313
-- folddowns
 
314
ddrem421 remainder   1E+384       1  ->   NaN Division_impossible
 
315
ddrem422 remainder   1E+384  1E+383  ->   0E+369 Clamped
 
316
ddrem423 remainder   1E+384  2E+383  ->   0E+369 Clamped
 
317
ddrem424 remainder   1E+384  3E+383  ->   1.00000000000000E+383 Clamped
 
318
ddrem425 remainder   1E+384  4E+383  ->   2.00000000000000E+383 Clamped
 
319
ddrem426 remainder   1E+384  5E+383  ->   0E+369 Clamped
 
320
ddrem427 remainder   1E+384  6E+383  ->   4.00000000000000E+383 Clamped
 
321
ddrem428 remainder   1E+384  7E+383  ->   3.00000000000000E+383 Clamped
 
322
ddrem429 remainder   1E+384  8E+383  ->   2.00000000000000E+383 Clamped
 
323
ddrem430 remainder   1E+384  9E+383  ->   1.00000000000000E+383 Clamped
 
324
-- tinies
 
325
ddrem431 remainder   1E-397  1E-398  ->   0E-398
 
326
ddrem432 remainder   1E-397  2E-398  ->   0E-398
 
327
ddrem433 remainder   1E-397  3E-398  ->   1E-398 Subnormal
 
328
ddrem434 remainder   1E-397  4E-398  ->   2E-398 Subnormal
 
329
ddrem435 remainder   1E-397  5E-398  ->   0E-398
 
330
ddrem436 remainder   1E-397  6E-398  ->   4E-398 Subnormal
 
331
ddrem437 remainder   1E-397  7E-398  ->   3E-398 Subnormal
 
332
ddrem438 remainder   1E-397  8E-398  ->   2E-398 Subnormal
 
333
ddrem439 remainder   1E-397  9E-398  ->   1E-398 Subnormal
 
334
ddrem440 remainder   1E-397 10E-398  ->   0E-398
 
335
ddrem441 remainder   1E-397 11E-398  -> 1.0E-397 Subnormal
 
336
ddrem442 remainder 100E-397 11E-398  -> 1.0E-397 Subnormal
 
337
ddrem443 remainder 100E-397 20E-398  ->   0E-398
 
338
ddrem444 remainder 100E-397 21E-398  -> 1.3E-397 Subnormal
 
339
ddrem445 remainder 100E-397 30E-398  -> 1.0E-397 Subnormal
 
340
 
 
341
-- zero signs
 
342
ddrem650 remainder  1  1 ->  0
 
343
ddrem651 remainder -1  1 -> -0
 
344
ddrem652 remainder  1 -1 ->  0
 
345
ddrem653 remainder -1 -1 -> -0
 
346
ddrem654 remainder  0  1 ->  0
 
347
ddrem655 remainder -0  1 -> -0
 
348
ddrem656 remainder  0 -1 ->  0
 
349
ddrem657 remainder -0 -1 -> -0
 
350
ddrem658 remainder  0.00  1  ->  0.00
 
351
ddrem659 remainder -0.00  1  -> -0.00
 
352
 
 
353
-- Specials
 
354
ddrem680 remainder  Inf  -Inf   ->  NaN Invalid_operation
 
355
ddrem681 remainder  Inf  -1000  ->  NaN Invalid_operation
 
356
ddrem682 remainder  Inf  -1     ->  NaN Invalid_operation
 
357
ddrem683 remainder  Inf   0     ->  NaN Invalid_operation
 
358
ddrem684 remainder  Inf  -0     ->  NaN Invalid_operation
 
359
ddrem685 remainder  Inf   1     ->  NaN Invalid_operation
 
360
ddrem686 remainder  Inf   1000  ->  NaN Invalid_operation
 
361
ddrem687 remainder  Inf   Inf   ->  NaN Invalid_operation
 
362
ddrem688 remainder -1000  Inf   -> -1000
 
363
ddrem689 remainder -Inf   Inf   ->  NaN Invalid_operation
 
364
ddrem691 remainder -1     Inf   -> -1
 
365
ddrem692 remainder  0     Inf   ->  0
 
366
ddrem693 remainder -0     Inf   -> -0
 
367
ddrem694 remainder  1     Inf   ->  1
 
368
ddrem695 remainder  1000  Inf   ->  1000
 
369
ddrem696 remainder  Inf   Inf   ->  NaN Invalid_operation
 
370
 
 
371
ddrem700 remainder -Inf  -Inf   ->  NaN Invalid_operation
 
372
ddrem701 remainder -Inf  -1000  ->  NaN Invalid_operation
 
373
ddrem702 remainder -Inf  -1     ->  NaN Invalid_operation
 
374
ddrem703 remainder -Inf  -0     ->  NaN Invalid_operation
 
375
ddrem704 remainder -Inf   0     ->  NaN Invalid_operation
 
376
ddrem705 remainder -Inf   1     ->  NaN Invalid_operation
 
377
ddrem706 remainder -Inf   1000  ->  NaN Invalid_operation
 
378
ddrem707 remainder -Inf   Inf   ->  NaN Invalid_operation
 
379
ddrem708 remainder -Inf  -Inf   ->  NaN Invalid_operation
 
380
ddrem709 remainder -1000  Inf   -> -1000
 
381
ddrem710 remainder -1    -Inf   -> -1
 
382
ddrem711 remainder -0    -Inf   -> -0
 
383
ddrem712 remainder  0    -Inf   ->  0
 
384
ddrem713 remainder  1    -Inf   ->  1
 
385
ddrem714 remainder  1000 -Inf   ->  1000
 
386
ddrem715 remainder  Inf  -Inf   ->  NaN Invalid_operation
 
387
 
 
388
ddrem721 remainder  NaN -Inf    ->  NaN
 
389
ddrem722 remainder  NaN -1000   ->  NaN
 
390
ddrem723 remainder  NaN -1      ->  NaN
 
391
ddrem724 remainder  NaN -0      ->  NaN
 
392
ddrem725 remainder -NaN  0      -> -NaN
 
393
ddrem726 remainder  NaN  1      ->  NaN
 
394
ddrem727 remainder  NaN  1000   ->  NaN
 
395
ddrem728 remainder  NaN  Inf    ->  NaN
 
396
ddrem729 remainder  NaN -NaN    ->  NaN
 
397
ddrem730 remainder -Inf  NaN    ->  NaN
 
398
ddrem731 remainder -1000 NaN    ->  NaN
 
399
ddrem732 remainder -1    NaN    ->  NaN
 
400
ddrem733 remainder -0   -NaN    -> -NaN
 
401
ddrem734 remainder  0    NaN    ->  NaN
 
402
ddrem735 remainder  1   -NaN    -> -NaN
 
403
ddrem736 remainder  1000 NaN    ->  NaN
 
404
ddrem737 remainder  Inf  NaN    ->  NaN
 
405
 
 
406
ddrem741 remainder  sNaN -Inf   ->  NaN  Invalid_operation
 
407
ddrem742 remainder  sNaN -1000  ->  NaN  Invalid_operation
 
408
ddrem743 remainder -sNaN -1     -> -NaN  Invalid_operation
 
409
ddrem744 remainder  sNaN -0     ->  NaN  Invalid_operation
 
410
ddrem745 remainder  sNaN  0     ->  NaN  Invalid_operation
 
411
ddrem746 remainder  sNaN  1     ->  NaN  Invalid_operation
 
412
ddrem747 remainder  sNaN  1000  ->  NaN  Invalid_operation
 
413
ddrem749 remainder  sNaN  NaN   ->  NaN  Invalid_operation
 
414
ddrem750 remainder  sNaN sNaN   ->  NaN  Invalid_operation
 
415
ddrem751 remainder  NaN  sNaN   ->  NaN  Invalid_operation
 
416
ddrem752 remainder -Inf  sNaN   ->  NaN  Invalid_operation
 
417
ddrem753 remainder -1000 sNaN   ->  NaN  Invalid_operation
 
418
ddrem754 remainder -1    sNaN   ->  NaN  Invalid_operation
 
419
ddrem755 remainder -0    sNaN   ->  NaN  Invalid_operation
 
420
ddrem756 remainder  0    sNaN   ->  NaN  Invalid_operation
 
421
ddrem757 remainder  1    sNaN   ->  NaN  Invalid_operation
 
422
ddrem758 remainder  1000 sNaN   ->  NaN  Invalid_operation
 
423
ddrem759 remainder  Inf -sNaN   -> -NaN  Invalid_operation
 
424
 
 
425
-- propaging NaNs
 
426
ddrem760 remainder  NaN1   NaN7   ->  NaN1
 
427
ddrem761 remainder sNaN2   NaN8   ->  NaN2 Invalid_operation
 
428
ddrem762 remainder  NaN3  sNaN9   ->  NaN9 Invalid_operation
 
429
ddrem763 remainder sNaN4  sNaN10  ->  NaN4 Invalid_operation
 
430
ddrem764 remainder    15   NaN11  ->  NaN11
 
431
ddrem765 remainder  NaN6   NaN12  ->  NaN6
 
432
ddrem766 remainder  Inf    NaN13  ->  NaN13
 
433
ddrem767 remainder  NaN14  -Inf   ->  NaN14
 
434
ddrem768 remainder    0    NaN15  ->  NaN15
 
435
ddrem769 remainder  NaN16   -0    ->  NaN16
 
436
 
 
437
-- edge cases of impossible
 
438
ddrem770  remainder  1234567890123456  10    ->  6
 
439
ddrem771  remainder  1234567890123456   1    ->  0
 
440
ddrem772  remainder  1234567890123456   0.1  ->  NaN Division_impossible
 
441
ddrem773  remainder  1234567890123456   0.01 ->  NaN Division_impossible
 
442
 
 
443
-- long operand checks
 
444
ddrem801 remainder 12345678000 100 -> 0
 
445
ddrem802 remainder 1 12345678000   -> 1
 
446
ddrem803 remainder 1234567800  10  -> 0
 
447
ddrem804 remainder 1 1234567800    -> 1
 
448
ddrem805 remainder 1234567890  10  -> 0
 
449
ddrem806 remainder 1 1234567890    -> 1
 
450
ddrem807 remainder 1234567891  10  -> 1
 
451
ddrem808 remainder 1 1234567891    -> 1
 
452
ddrem809 remainder 12345678901 100 -> 1
 
453
ddrem810 remainder 1 12345678901   -> 1
 
454
ddrem811 remainder 1234567896  10  -> 6
 
455
ddrem812 remainder 1 1234567896    -> 1
 
456
 
 
457
ddrem821 remainder 12345678000 100 -> 0
 
458
ddrem822 remainder 1 12345678000   -> 1
 
459
ddrem823 remainder 1234567800  10  -> 0
 
460
ddrem824 remainder 1 1234567800    -> 1
 
461
ddrem825 remainder 1234567890  10  -> 0
 
462
ddrem826 remainder 1 1234567890    -> 1
 
463
ddrem827 remainder 1234567891  10  -> 1
 
464
ddrem828 remainder 1 1234567891    -> 1
 
465
ddrem829 remainder 12345678901 100 -> 1
 
466
ddrem830 remainder 1 12345678901   -> 1
 
467
ddrem831 remainder 1234567896  10  -> 6
 
468
ddrem832 remainder 1 1234567896    -> 1
 
469
 
 
470
-- from divideint
 
471
ddrem840 remainder  100000000.0   1  ->  0.0
 
472
ddrem841 remainder  100000000.4   1  ->  0.4
 
473
ddrem842 remainder  100000000.5   1  ->  0.5
 
474
ddrem843 remainder  100000000.9   1  ->  0.9
 
475
ddrem844 remainder  100000000.999 1  ->  0.999
 
476
ddrem850 remainder  100000003     5  ->  3
 
477
ddrem851 remainder  10000003      5  ->  3
 
478
ddrem852 remainder  1000003       5  ->  3
 
479
ddrem853 remainder  100003        5  ->  3
 
480
ddrem854 remainder  10003         5  ->  3
 
481
ddrem855 remainder  1003          5  ->  3
 
482
ddrem856 remainder  103           5  ->  3
 
483
ddrem857 remainder  13            5  ->  3
 
484
ddrem858 remainder  1             5  ->  1
 
485
 
 
486
-- Vladimir's cases         1234567890123456
 
487
ddrem860 remainder 123.0e1 1000000000000000  -> 1230
 
488
ddrem861 remainder 1230    1000000000000000  -> 1230
 
489
ddrem862 remainder 12.3e2  1000000000000000  -> 1230
 
490
ddrem863 remainder 1.23e3  1000000000000000  -> 1230
 
491
ddrem864 remainder 123e1   1000000000000000  -> 1230
 
492
ddrem870 remainder 123e1    1000000000000000 -> 1230
 
493
ddrem871 remainder 123e1     100000000000000 -> 1230
 
494
ddrem872 remainder 123e1      10000000000000 -> 1230
 
495
ddrem873 remainder 123e1       1000000000000 -> 1230
 
496
ddrem874 remainder 123e1        100000000000 -> 1230
 
497
ddrem875 remainder 123e1         10000000000 -> 1230
 
498
ddrem876 remainder 123e1          1000000000 -> 1230
 
499
ddrem877 remainder 123e1           100000000 -> 1230
 
500
ddrem878 remainder 1230            100000000 -> 1230
 
501
ddrem879 remainder 123e1            10000000 -> 1230
 
502
ddrem880 remainder 123e1             1000000 -> 1230
 
503
ddrem881 remainder 123e1              100000 -> 1230
 
504
ddrem882 remainder 123e1               10000 -> 1230
 
505
ddrem883 remainder 123e1                1000 ->  230
 
506
ddrem884 remainder 123e1                 100 ->   30
 
507
ddrem885 remainder 123e1                  10 ->    0
 
508
ddrem886 remainder 123e1                   1 ->    0
 
509
 
 
510
ddrem890 remainder 123e1    2000000000000000 -> 1230
 
511
ddrem891 remainder 123e1     200000000000000 -> 1230
 
512
ddrem892 remainder 123e1      20000000000000 -> 1230
 
513
ddrem893 remainder 123e1       2000000000000 -> 1230
 
514
ddrem894 remainder 123e1        200000000000 -> 1230
 
515
ddrem895 remainder 123e1         20000000000 -> 1230
 
516
ddrem896 remainder 123e1          2000000000 -> 1230
 
517
ddrem897 remainder 123e1           200000000 -> 1230
 
518
ddrem899 remainder 123e1            20000000 -> 1230
 
519
ddrem900 remainder 123e1             2000000 -> 1230
 
520
ddrem901 remainder 123e1              200000 -> 1230
 
521
ddrem902 remainder 123e1               20000 -> 1230
 
522
ddrem903 remainder 123e1                2000 -> 1230
 
523
ddrem904 remainder 123e1                 200 ->   30
 
524
ddrem905 remainder 123e1                  20 ->   10
 
525
ddrem906 remainder 123e1                   2 ->    0
 
526
 
 
527
ddrem910 remainder 123e1    5000000000000000 -> 1230
 
528
ddrem911 remainder 123e1     500000000000000 -> 1230
 
529
ddrem912 remainder 123e1      50000000000000 -> 1230
 
530
ddrem913 remainder 123e1       5000000000000 -> 1230
 
531
ddrem914 remainder 123e1        500000000000 -> 1230
 
532
ddrem915 remainder 123e1         50000000000 -> 1230
 
533
ddrem916 remainder 123e1          5000000000 -> 1230
 
534
ddrem917 remainder 123e1           500000000 -> 1230
 
535
ddrem919 remainder 123e1            50000000 -> 1230
 
536
ddrem920 remainder 123e1             5000000 -> 1230
 
537
ddrem921 remainder 123e1              500000 -> 1230
 
538
ddrem922 remainder 123e1               50000 -> 1230
 
539
ddrem923 remainder 123e1                5000 -> 1230
 
540
ddrem924 remainder 123e1                 500 ->  230
 
541
ddrem925 remainder 123e1                  50 ->   30
 
542
ddrem926 remainder 123e1                   5 ->    0
 
543
 
 
544
ddrem930 remainder 123e1    9000000000000000 -> 1230
 
545
ddrem931 remainder 123e1     900000000000000 -> 1230
 
546
ddrem932 remainder 123e1      90000000000000 -> 1230
 
547
ddrem933 remainder 123e1       9000000000000 -> 1230
 
548
ddrem934 remainder 123e1        900000000000 -> 1230
 
549
ddrem935 remainder 123e1         90000000000 -> 1230
 
550
ddrem936 remainder 123e1          9000000000 -> 1230
 
551
ddrem937 remainder 123e1           900000000 -> 1230
 
552
ddrem939 remainder 123e1            90000000 -> 1230
 
553
ddrem940 remainder 123e1             9000000 -> 1230
 
554
ddrem941 remainder 123e1              900000 -> 1230
 
555
ddrem942 remainder 123e1               90000 -> 1230
 
556
ddrem943 remainder 123e1                9000 -> 1230
 
557
ddrem944 remainder 123e1                 900 ->  330
 
558
ddrem945 remainder 123e1                  90 ->   60
 
559
ddrem946 remainder 123e1                   9 ->    6
 
560
 
 
561
ddrem950 remainder 123e1   1000000000000000 -> 1230
 
562
ddrem961 remainder 123e1   2999999999999999 -> 1230
 
563
ddrem962 remainder 123e1   3999999999999999 -> 1230
 
564
ddrem963 remainder 123e1   4999999999999999 -> 1230
 
565
ddrem964 remainder 123e1   5999999999999999 -> 1230
 
566
ddrem965 remainder 123e1   6999999999999999 -> 1230
 
567
ddrem966 remainder 123e1   7999999999999999 -> 1230
 
568
ddrem967 remainder 123e1   8999999999999999 -> 1230
 
569
ddrem968 remainder 123e1   9999999999999999 -> 1230
 
570
ddrem969 remainder 123e1   9876543210987654 -> 1230
 
571
 
 
572
ddrem980 remainder 123e1 1000E299 -> 1.23E+3  -- 123E+1 internally
 
573
 
 
574
-- overflow and underflow tests [from divide]
 
575
ddrem1051 remainder  1e+277  1e-311 ->  NaN Division_impossible
 
576
ddrem1052 remainder  1e+277 -1e-311 ->  NaN Division_impossible
 
577
ddrem1053 remainder -1e+277  1e-311 ->  NaN Division_impossible
 
578
ddrem1054 remainder -1e+277 -1e-311 ->  NaN Division_impossible
 
579
ddrem1055 remainder  1e-277  1e+311 ->  1E-277
 
580
ddrem1056 remainder  1e-277 -1e+311 ->  1E-277
 
581
ddrem1057 remainder -1e-277  1e+311 -> -1E-277
 
582
ddrem1058 remainder -1e-277 -1e+311 -> -1E-277
 
583
 
 
584
-- destructive subtract
 
585
ddrem1101 remainder  1234567890123456  1.000000000000001  ->  0.765432109876546
 
586
ddrem1102 remainder  1234567890123456   1.00000000000001  ->   0.65432109876557
 
587
ddrem1103 remainder  1234567890123456    1.0000000000001  ->    0.5432109876668
 
588
ddrem1104 remainder  1234567890123455  4.000000000000001  ->  2.691358027469137
 
589
ddrem1105 remainder  1234567890123456  4.000000000000001  ->  3.691358027469137
 
590
ddrem1106 remainder  1234567890123456    4.9999999999999  ->    0.6913578024696
 
591
ddrem1107 remainder  1234567890123456   4.99999999999999  ->   3.46913578024691
 
592
ddrem1108 remainder  1234567890123456  4.999999999999999  ->  1.246913578024691
 
593
ddrem1109 remainder  1234567890123456  5.000000000000001  ->  0.753086421975309
 
594
ddrem1110 remainder  1234567890123456   5.00000000000001  ->   3.53086421975310
 
595
ddrem1111 remainder  1234567890123456    5.0000000000001  ->    1.3086421975314
 
596
 
 
597
-- Null tests
 
598
ddrem1000 remainder 10  # -> NaN Invalid_operation
 
599
ddrem1001 remainder  # 10 -> NaN Invalid_operation
 
600