|
1 ------------------------------------------------------------------------ |
|
2 -- dqRemainder.decTest -- decQuad 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 clamp: 1 |
|
24 precision: 34 |
|
25 maxExponent: 6144 |
|
26 minExponent: -6143 |
|
27 rounding: half_even |
|
28 |
|
29 -- sanity checks (as base, above) |
|
30 dqrem001 remainder 1 1 -> 0 |
|
31 dqrem002 remainder 2 1 -> 0 |
|
32 dqrem003 remainder 1 2 -> 1 |
|
33 dqrem004 remainder 2 2 -> 0 |
|
34 dqrem005 remainder 0 1 -> 0 |
|
35 dqrem006 remainder 0 2 -> 0 |
|
36 dqrem007 remainder 1 3 -> 1 |
|
37 dqrem008 remainder 2 3 -> 2 |
|
38 dqrem009 remainder 3 3 -> 0 |
|
39 |
|
40 dqrem010 remainder 2.4 1 -> 0.4 |
|
41 dqrem011 remainder 2.4 -1 -> 0.4 |
|
42 dqrem012 remainder -2.4 1 -> -0.4 |
|
43 dqrem013 remainder -2.4 -1 -> -0.4 |
|
44 dqrem014 remainder 2.40 1 -> 0.40 |
|
45 dqrem015 remainder 2.400 1 -> 0.400 |
|
46 dqrem016 remainder 2.4 2 -> 0.4 |
|
47 dqrem017 remainder 2.400 2 -> 0.400 |
|
48 dqrem018 remainder 2. 2 -> 0 |
|
49 dqrem019 remainder 20 20 -> 0 |
|
50 |
|
51 dqrem020 remainder 187 187 -> 0 |
|
52 dqrem021 remainder 5 2 -> 1 |
|
53 dqrem022 remainder 5 2.0 -> 1.0 |
|
54 dqrem023 remainder 5 2.000 -> 1.000 |
|
55 dqrem024 remainder 5 0.200 -> 0.000 |
|
56 dqrem025 remainder 5 0.200 -> 0.000 |
|
57 |
|
58 dqrem030 remainder 1 2 -> 1 |
|
59 dqrem031 remainder 1 4 -> 1 |
|
60 dqrem032 remainder 1 8 -> 1 |
|
61 |
|
62 dqrem033 remainder 1 16 -> 1 |
|
63 dqrem034 remainder 1 32 -> 1 |
|
64 dqrem035 remainder 1 64 -> 1 |
|
65 dqrem040 remainder 1 -2 -> 1 |
|
66 dqrem041 remainder 1 -4 -> 1 |
|
67 dqrem042 remainder 1 -8 -> 1 |
|
68 dqrem043 remainder 1 -16 -> 1 |
|
69 dqrem044 remainder 1 -32 -> 1 |
|
70 dqrem045 remainder 1 -64 -> 1 |
|
71 dqrem050 remainder -1 2 -> -1 |
|
72 dqrem051 remainder -1 4 -> -1 |
|
73 dqrem052 remainder -1 8 -> -1 |
|
74 dqrem053 remainder -1 16 -> -1 |
|
75 dqrem054 remainder -1 32 -> -1 |
|
76 dqrem055 remainder -1 64 -> -1 |
|
77 dqrem060 remainder -1 -2 -> -1 |
|
78 dqrem061 remainder -1 -4 -> -1 |
|
79 dqrem062 remainder -1 -8 -> -1 |
|
80 dqrem063 remainder -1 -16 -> -1 |
|
81 dqrem064 remainder -1 -32 -> -1 |
|
82 dqrem065 remainder -1 -64 -> -1 |
|
83 |
|
84 dqrem066 remainder 999999999 1 -> 0 |
|
85 dqrem067 remainder 999999999.4 1 -> 0.4 |
|
86 dqrem068 remainder 999999999.5 1 -> 0.5 |
|
87 dqrem069 remainder 999999999.9 1 -> 0.9 |
|
88 dqrem070 remainder 999999999.999 1 -> 0.999 |
|
89 dqrem071 remainder 999999.999999 1 -> 0.999999 |
|
90 dqrem072 remainder 9 1 -> 0 |
|
91 |
|
92 dqrem080 remainder 0. 1 -> 0 |
|
93 dqrem081 remainder .0 1 -> 0.0 |
|
94 dqrem082 remainder 0.00 1 -> 0.00 |
|
95 dqrem083 remainder 0.00E+9 1 -> 0 |
|
96 dqrem084 remainder 0.00E+3 1 -> 0 |
|
97 dqrem085 remainder 0.00E+2 1 -> 0 |
|
98 dqrem086 remainder 0.00E+1 1 -> 0.0 |
|
99 dqrem087 remainder 0.00E+0 1 -> 0.00 |
|
100 dqrem088 remainder 0.00E-0 1 -> 0.00 |
|
101 dqrem089 remainder 0.00E-1 1 -> 0.000 |
|
102 dqrem090 remainder 0.00E-2 1 -> 0.0000 |
|
103 dqrem091 remainder 0.00E-3 1 -> 0.00000 |
|
104 dqrem092 remainder 0.00E-4 1 -> 0.000000 |
|
105 dqrem093 remainder 0.00E-5 1 -> 0E-7 |
|
106 dqrem094 remainder 0.00E-6 1 -> 0E-8 |
|
107 dqrem095 remainder 0.0000E-50 1 -> 0E-54 |
|
108 |
|
109 -- Various flavours of remainder by 0 |
|
110 dqrem101 remainder 0 0 -> NaN Division_undefined |
|
111 dqrem102 remainder 0 -0 -> NaN Division_undefined |
|
112 dqrem103 remainder -0 0 -> NaN Division_undefined |
|
113 dqrem104 remainder -0 -0 -> NaN Division_undefined |
|
114 dqrem105 remainder 0.0E5 0 -> NaN Division_undefined |
|
115 dqrem106 remainder 0.000 0 -> NaN Division_undefined |
|
116 -- [Some think this next group should be Division_by_zero exception, but |
|
117 -- IEEE 854 is explicit that it is Invalid operation .. for |
|
118 -- remainder-near, anyway] |
|
119 dqrem107 remainder 0.0001 0 -> NaN Invalid_operation |
|
120 dqrem108 remainder 0.01 0 -> NaN Invalid_operation |
|
121 dqrem109 remainder 0.1 0 -> NaN Invalid_operation |
|
122 dqrem110 remainder 1 0 -> NaN Invalid_operation |
|
123 dqrem111 remainder 1 0.0 -> NaN Invalid_operation |
|
124 dqrem112 remainder 10 0.0 -> NaN Invalid_operation |
|
125 dqrem113 remainder 1E+100 0.0 -> NaN Invalid_operation |
|
126 dqrem114 remainder 1E+380 0 -> NaN Invalid_operation |
|
127 dqrem115 remainder 0.0001 -0 -> NaN Invalid_operation |
|
128 dqrem116 remainder 0.01 -0 -> NaN Invalid_operation |
|
129 dqrem119 remainder 0.1 -0 -> NaN Invalid_operation |
|
130 dqrem120 remainder 1 -0 -> NaN Invalid_operation |
|
131 dqrem121 remainder 1 -0.0 -> NaN Invalid_operation |
|
132 dqrem122 remainder 10 -0.0 -> NaN Invalid_operation |
|
133 dqrem123 remainder 1E+100 -0.0 -> NaN Invalid_operation |
|
134 dqrem124 remainder 1E+384 -0 -> NaN Invalid_operation |
|
135 -- and zeros on left |
|
136 dqrem130 remainder 0 1 -> 0 |
|
137 dqrem131 remainder 0 -1 -> 0 |
|
138 dqrem132 remainder 0.0 1 -> 0.0 |
|
139 dqrem133 remainder 0.0 -1 -> 0.0 |
|
140 dqrem134 remainder -0 1 -> -0 |
|
141 dqrem135 remainder -0 -1 -> -0 |
|
142 dqrem136 remainder -0.0 1 -> -0.0 |
|
143 dqrem137 remainder -0.0 -1 -> -0.0 |
|
144 |
|
145 -- 0.5ers |
|
146 dqrem143 remainder 0.5 2 -> 0.5 |
|
147 dqrem144 remainder 0.5 2.1 -> 0.5 |
|
148 dqrem145 remainder 0.5 2.01 -> 0.50 |
|
149 dqrem146 remainder 0.5 2.001 -> 0.500 |
|
150 dqrem147 remainder 0.50 2 -> 0.50 |
|
151 dqrem148 remainder 0.50 2.01 -> 0.50 |
|
152 dqrem149 remainder 0.50 2.001 -> 0.500 |
|
153 |
|
154 -- steadies |
|
155 dqrem150 remainder 1 1 -> 0 |
|
156 dqrem151 remainder 1 2 -> 1 |
|
157 dqrem152 remainder 1 3 -> 1 |
|
158 dqrem153 remainder 1 4 -> 1 |
|
159 dqrem154 remainder 1 5 -> 1 |
|
160 dqrem155 remainder 1 6 -> 1 |
|
161 dqrem156 remainder 1 7 -> 1 |
|
162 dqrem157 remainder 1 8 -> 1 |
|
163 dqrem158 remainder 1 9 -> 1 |
|
164 dqrem159 remainder 1 10 -> 1 |
|
165 dqrem160 remainder 1 1 -> 0 |
|
166 dqrem161 remainder 2 1 -> 0 |
|
167 dqrem162 remainder 3 1 -> 0 |
|
168 dqrem163 remainder 4 1 -> 0 |
|
169 dqrem164 remainder 5 1 -> 0 |
|
170 dqrem165 remainder 6 1 -> 0 |
|
171 dqrem166 remainder 7 1 -> 0 |
|
172 dqrem167 remainder 8 1 -> 0 |
|
173 dqrem168 remainder 9 1 -> 0 |
|
174 dqrem169 remainder 10 1 -> 0 |
|
175 |
|
176 -- some differences from remainderNear |
|
177 dqrem171 remainder 0.4 1.020 -> 0.400 |
|
178 dqrem172 remainder 0.50 1.020 -> 0.500 |
|
179 dqrem173 remainder 0.51 1.020 -> 0.510 |
|
180 dqrem174 remainder 0.52 1.020 -> 0.520 |
|
181 dqrem175 remainder 0.6 1.020 -> 0.600 |
|
182 |
|
183 -- More flavours of remainder by 0 |
|
184 dqrem201 remainder 0 0 -> NaN Division_undefined |
|
185 dqrem202 remainder 0.0E5 0 -> NaN Division_undefined |
|
186 dqrem203 remainder 0.000 0 -> NaN Division_undefined |
|
187 dqrem204 remainder 0.0001 0 -> NaN Invalid_operation |
|
188 dqrem205 remainder 0.01 0 -> NaN Invalid_operation |
|
189 dqrem206 remainder 0.1 0 -> NaN Invalid_operation |
|
190 dqrem207 remainder 1 0 -> NaN Invalid_operation |
|
191 dqrem208 remainder 1 0.0 -> NaN Invalid_operation |
|
192 dqrem209 remainder 10 0.0 -> NaN Invalid_operation |
|
193 dqrem210 remainder 1E+100 0.0 -> NaN Invalid_operation |
|
194 dqrem211 remainder 1E+380 0 -> NaN Invalid_operation |
|
195 |
|
196 -- some differences from remainderNear |
|
197 dqrem231 remainder -0.4 1.020 -> -0.400 |
|
198 dqrem232 remainder -0.50 1.020 -> -0.500 |
|
199 dqrem233 remainder -0.51 1.020 -> -0.510 |
|
200 dqrem234 remainder -0.52 1.020 -> -0.520 |
|
201 dqrem235 remainder -0.6 1.020 -> -0.600 |
|
202 |
|
203 -- high Xs |
|
204 dqrem240 remainder 1E+2 1.00 -> 0.00 |
|
205 |
|
206 -- dqrem3xx are from DiagBigDecimal |
|
207 dqrem301 remainder 1 3 -> 1 |
|
208 dqrem302 remainder 5 5 -> 0 |
|
209 dqrem303 remainder 13 10 -> 3 |
|
210 dqrem304 remainder 13 50 -> 13 |
|
211 dqrem305 remainder 13 100 -> 13 |
|
212 dqrem306 remainder 13 1000 -> 13 |
|
213 dqrem307 remainder .13 1 -> 0.13 |
|
214 dqrem308 remainder 0.133 1 -> 0.133 |
|
215 dqrem309 remainder 0.1033 1 -> 0.1033 |
|
216 dqrem310 remainder 1.033 1 -> 0.033 |
|
217 dqrem311 remainder 10.33 1 -> 0.33 |
|
218 dqrem312 remainder 10.33 10 -> 0.33 |
|
219 dqrem313 remainder 103.3 1 -> 0.3 |
|
220 dqrem314 remainder 133 10 -> 3 |
|
221 dqrem315 remainder 1033 10 -> 3 |
|
222 dqrem316 remainder 1033 50 -> 33 |
|
223 dqrem317 remainder 101.0 3 -> 2.0 |
|
224 dqrem318 remainder 102.0 3 -> 0.0 |
|
225 dqrem319 remainder 103.0 3 -> 1.0 |
|
226 dqrem320 remainder 2.40 1 -> 0.40 |
|
227 dqrem321 remainder 2.400 1 -> 0.400 |
|
228 dqrem322 remainder 2.4 1 -> 0.4 |
|
229 dqrem323 remainder 2.4 2 -> 0.4 |
|
230 dqrem324 remainder 2.400 2 -> 0.400 |
|
231 dqrem325 remainder 1 0.3 -> 0.1 |
|
232 dqrem326 remainder 1 0.30 -> 0.10 |
|
233 dqrem327 remainder 1 0.300 -> 0.100 |
|
234 dqrem328 remainder 1 0.3000 -> 0.1000 |
|
235 dqrem329 remainder 1.0 0.3 -> 0.1 |
|
236 dqrem330 remainder 1.00 0.3 -> 0.10 |
|
237 dqrem331 remainder 1.000 0.3 -> 0.100 |
|
238 dqrem332 remainder 1.0000 0.3 -> 0.1000 |
|
239 dqrem333 remainder 0.5 2 -> 0.5 |
|
240 dqrem334 remainder 0.5 2.1 -> 0.5 |
|
241 dqrem335 remainder 0.5 2.01 -> 0.50 |
|
242 dqrem336 remainder 0.5 2.001 -> 0.500 |
|
243 dqrem337 remainder 0.50 2 -> 0.50 |
|
244 dqrem338 remainder 0.50 2.01 -> 0.50 |
|
245 dqrem339 remainder 0.50 2.001 -> 0.500 |
|
246 |
|
247 dqrem340 remainder 0.5 0.5000001 -> 0.5000000 |
|
248 dqrem341 remainder 0.5 0.50000001 -> 0.50000000 |
|
249 dqrem342 remainder 0.5 0.500000001 -> 0.500000000 |
|
250 dqrem343 remainder 0.5 0.5000000001 -> 0.5000000000 |
|
251 dqrem344 remainder 0.5 0.50000000001 -> 0.50000000000 |
|
252 dqrem345 remainder 0.5 0.4999999 -> 1E-7 |
|
253 dqrem346 remainder 0.5 0.49999999 -> 1E-8 |
|
254 dqrem347 remainder 0.5 0.499999999 -> 1E-9 |
|
255 dqrem348 remainder 0.5 0.4999999999 -> 1E-10 |
|
256 dqrem349 remainder 0.5 0.49999999999 -> 1E-11 |
|
257 dqrem350 remainder 0.5 0.499999999999 -> 1E-12 |
|
258 |
|
259 dqrem351 remainder 0.03 7 -> 0.03 |
|
260 dqrem352 remainder 5 2 -> 1 |
|
261 dqrem353 remainder 4.1 2 -> 0.1 |
|
262 dqrem354 remainder 4.01 2 -> 0.01 |
|
263 dqrem355 remainder 4.001 2 -> 0.001 |
|
264 dqrem356 remainder 4.0001 2 -> 0.0001 |
|
265 dqrem357 remainder 4.00001 2 -> 0.00001 |
|
266 dqrem358 remainder 4.000001 2 -> 0.000001 |
|
267 dqrem359 remainder 4.0000001 2 -> 1E-7 |
|
268 |
|
269 dqrem360 remainder 1.2 0.7345 -> 0.4655 |
|
270 dqrem361 remainder 0.8 12 -> 0.8 |
|
271 dqrem362 remainder 0.8 0.2 -> 0.0 |
|
272 dqrem363 remainder 0.8 0.3 -> 0.2 |
|
273 dqrem364 remainder 0.800 12 -> 0.800 |
|
274 dqrem365 remainder 0.800 1.7 -> 0.800 |
|
275 dqrem366 remainder 2.400 2 -> 0.400 |
|
276 |
|
277 dqrem371 remainder 2.400 2 -> 0.400 |
|
278 |
|
279 dqrem381 remainder 12345 1 -> 0 |
|
280 dqrem382 remainder 12345 1.0001 -> 0.7657 |
|
281 dqrem383 remainder 12345 1.001 -> 0.668 |
|
282 dqrem384 remainder 12345 1.01 -> 0.78 |
|
283 dqrem385 remainder 12345 1.1 -> 0.8 |
|
284 dqrem386 remainder 12355 4 -> 3 |
|
285 dqrem387 remainder 12345 4 -> 1 |
|
286 dqrem388 remainder 12355 4.0001 -> 2.6912 |
|
287 dqrem389 remainder 12345 4.0001 -> 0.6914 |
|
288 dqrem390 remainder 12345 4.9 -> 1.9 |
|
289 dqrem391 remainder 12345 4.99 -> 4.73 |
|
290 dqrem392 remainder 12345 4.999 -> 2.469 |
|
291 dqrem393 remainder 12345 4.9999 -> 0.2469 |
|
292 dqrem394 remainder 12345 5 -> 0 |
|
293 dqrem395 remainder 12345 5.0001 -> 4.7532 |
|
294 dqrem396 remainder 12345 5.001 -> 2.532 |
|
295 dqrem397 remainder 12345 5.01 -> 0.36 |
|
296 dqrem398 remainder 12345 5.1 -> 3.0 |
|
297 |
|
298 -- the nasty division-by-1 cases |
|
299 dqrem401 remainder 0.5 1 -> 0.5 |
|
300 dqrem402 remainder 0.55 1 -> 0.55 |
|
301 dqrem403 remainder 0.555 1 -> 0.555 |
|
302 dqrem404 remainder 0.5555 1 -> 0.5555 |
|
303 dqrem405 remainder 0.55555 1 -> 0.55555 |
|
304 dqrem406 remainder 0.555555 1 -> 0.555555 |
|
305 dqrem407 remainder 0.5555555 1 -> 0.5555555 |
|
306 dqrem408 remainder 0.55555555 1 -> 0.55555555 |
|
307 dqrem409 remainder 0.555555555 1 -> 0.555555555 |
|
308 |
|
309 -- folddowns |
|
310 dqrem421 remainder 1E+6144 1 -> NaN Division_impossible |
|
311 dqrem422 remainder 1E+6144 1E+6143 -> 0E+6111 Clamped |
|
312 dqrem423 remainder 1E+6144 2E+6143 -> 0E+6111 Clamped |
|
313 dqrem424 remainder 1E+6144 3E+6143 -> 1.00000000000000000000000000000000E+6143 Clamped |
|
314 dqrem425 remainder 1E+6144 4E+6143 -> 2.00000000000000000000000000000000E+6143 Clamped |
|
315 dqrem426 remainder 1E+6144 5E+6143 -> 0E+6111 Clamped |
|
316 dqrem427 remainder 1E+6144 6E+6143 -> 4.00000000000000000000000000000000E+6143 Clamped |
|
317 dqrem428 remainder 1E+6144 7E+6143 -> 3.00000000000000000000000000000000E+6143 Clamped |
|
318 dqrem429 remainder 1E+6144 8E+6143 -> 2.00000000000000000000000000000000E+6143 Clamped |
|
319 dqrem430 remainder 1E+6144 9E+6143 -> 1.00000000000000000000000000000000E+6143 Clamped |
|
320 -- tinies |
|
321 dqrem431 remainder 1E-6175 1E-6176 -> 0E-6176 |
|
322 dqrem432 remainder 1E-6175 2E-6176 -> 0E-6176 |
|
323 dqrem433 remainder 1E-6175 3E-6176 -> 1E-6176 Subnormal |
|
324 dqrem434 remainder 1E-6175 4E-6176 -> 2E-6176 Subnormal |
|
325 dqrem435 remainder 1E-6175 5E-6176 -> 0E-6176 |
|
326 dqrem436 remainder 1E-6175 6E-6176 -> 4E-6176 Subnormal |
|
327 dqrem437 remainder 1E-6175 7E-6176 -> 3E-6176 Subnormal |
|
328 dqrem438 remainder 1E-6175 8E-6176 -> 2E-6176 Subnormal |
|
329 dqrem439 remainder 1E-6175 9E-6176 -> 1E-6176 Subnormal |
|
330 dqrem440 remainder 1E-6175 10E-6176 -> 0E-6176 |
|
331 dqrem441 remainder 1E-6175 11E-6176 -> 1.0E-6175 Subnormal |
|
332 dqrem442 remainder 100E-6175 11E-6176 -> 1.0E-6175 Subnormal |
|
333 dqrem443 remainder 100E-6175 20E-6176 -> 0E-6176 |
|
334 dqrem444 remainder 100E-6175 21E-6176 -> 1.3E-6175 Subnormal |
|
335 dqrem445 remainder 100E-6175 30E-6176 -> 1.0E-6175 Subnormal |
|
336 |
|
337 -- zero signs |
|
338 dqrem650 remainder 1 1 -> 0 |
|
339 dqrem651 remainder -1 1 -> -0 |
|
340 dqrem652 remainder 1 -1 -> 0 |
|
341 dqrem653 remainder -1 -1 -> -0 |
|
342 dqrem654 remainder 0 1 -> 0 |
|
343 dqrem655 remainder -0 1 -> -0 |
|
344 dqrem656 remainder 0 -1 -> 0 |
|
345 dqrem657 remainder -0 -1 -> -0 |
|
346 dqrem658 remainder 0.00 1 -> 0.00 |
|
347 dqrem659 remainder -0.00 1 -> -0.00 |
|
348 |
|
349 -- Specials |
|
350 dqrem680 remainder Inf -Inf -> NaN Invalid_operation |
|
351 dqrem681 remainder Inf -1000 -> NaN Invalid_operation |
|
352 dqrem682 remainder Inf -1 -> NaN Invalid_operation |
|
353 dqrem683 remainder Inf 0 -> NaN Invalid_operation |
|
354 dqrem684 remainder Inf -0 -> NaN Invalid_operation |
|
355 dqrem685 remainder Inf 1 -> NaN Invalid_operation |
|
356 dqrem686 remainder Inf 1000 -> NaN Invalid_operation |
|
357 dqrem687 remainder Inf Inf -> NaN Invalid_operation |
|
358 dqrem688 remainder -1000 Inf -> -1000 |
|
359 dqrem689 remainder -Inf Inf -> NaN Invalid_operation |
|
360 dqrem691 remainder -1 Inf -> -1 |
|
361 dqrem692 remainder 0 Inf -> 0 |
|
362 dqrem693 remainder -0 Inf -> -0 |
|
363 dqrem694 remainder 1 Inf -> 1 |
|
364 dqrem695 remainder 1000 Inf -> 1000 |
|
365 dqrem696 remainder Inf Inf -> NaN Invalid_operation |
|
366 |
|
367 dqrem700 remainder -Inf -Inf -> NaN Invalid_operation |
|
368 dqrem701 remainder -Inf -1000 -> NaN Invalid_operation |
|
369 dqrem702 remainder -Inf -1 -> NaN Invalid_operation |
|
370 dqrem703 remainder -Inf -0 -> NaN Invalid_operation |
|
371 dqrem704 remainder -Inf 0 -> NaN Invalid_operation |
|
372 dqrem705 remainder -Inf 1 -> NaN Invalid_operation |
|
373 dqrem706 remainder -Inf 1000 -> NaN Invalid_operation |
|
374 dqrem707 remainder -Inf Inf -> NaN Invalid_operation |
|
375 dqrem708 remainder -Inf -Inf -> NaN Invalid_operation |
|
376 dqrem709 remainder -1000 Inf -> -1000 |
|
377 dqrem710 remainder -1 -Inf -> -1 |
|
378 dqrem711 remainder -0 -Inf -> -0 |
|
379 dqrem712 remainder 0 -Inf -> 0 |
|
380 dqrem713 remainder 1 -Inf -> 1 |
|
381 dqrem714 remainder 1000 -Inf -> 1000 |
|
382 dqrem715 remainder Inf -Inf -> NaN Invalid_operation |
|
383 |
|
384 dqrem721 remainder NaN -Inf -> NaN |
|
385 dqrem722 remainder NaN -1000 -> NaN |
|
386 dqrem723 remainder NaN -1 -> NaN |
|
387 dqrem724 remainder NaN -0 -> NaN |
|
388 dqrem725 remainder -NaN 0 -> -NaN |
|
389 dqrem726 remainder NaN 1 -> NaN |
|
390 dqrem727 remainder NaN 1000 -> NaN |
|
391 dqrem728 remainder NaN Inf -> NaN |
|
392 dqrem729 remainder NaN -NaN -> NaN |
|
393 dqrem730 remainder -Inf NaN -> NaN |
|
394 dqrem731 remainder -1000 NaN -> NaN |
|
395 dqrem732 remainder -1 NaN -> NaN |
|
396 dqrem733 remainder -0 -NaN -> -NaN |
|
397 dqrem734 remainder 0 NaN -> NaN |
|
398 dqrem735 remainder 1 -NaN -> -NaN |
|
399 dqrem736 remainder 1000 NaN -> NaN |
|
400 dqrem737 remainder Inf NaN -> NaN |
|
401 |
|
402 dqrem741 remainder sNaN -Inf -> NaN Invalid_operation |
|
403 dqrem742 remainder sNaN -1000 -> NaN Invalid_operation |
|
404 dqrem743 remainder -sNaN -1 -> -NaN Invalid_operation |
|
405 dqrem744 remainder sNaN -0 -> NaN Invalid_operation |
|
406 dqrem745 remainder sNaN 0 -> NaN Invalid_operation |
|
407 dqrem746 remainder sNaN 1 -> NaN Invalid_operation |
|
408 dqrem747 remainder sNaN 1000 -> NaN Invalid_operation |
|
409 dqrem749 remainder sNaN NaN -> NaN Invalid_operation |
|
410 dqrem750 remainder sNaN sNaN -> NaN Invalid_operation |
|
411 dqrem751 remainder NaN sNaN -> NaN Invalid_operation |
|
412 dqrem752 remainder -Inf sNaN -> NaN Invalid_operation |
|
413 dqrem753 remainder -1000 sNaN -> NaN Invalid_operation |
|
414 dqrem754 remainder -1 sNaN -> NaN Invalid_operation |
|
415 dqrem755 remainder -0 sNaN -> NaN Invalid_operation |
|
416 dqrem756 remainder 0 sNaN -> NaN Invalid_operation |
|
417 dqrem757 remainder 1 sNaN -> NaN Invalid_operation |
|
418 dqrem758 remainder 1000 sNaN -> NaN Invalid_operation |
|
419 dqrem759 remainder Inf -sNaN -> -NaN Invalid_operation |
|
420 |
|
421 -- propaging NaNs |
|
422 dqrem760 remainder NaN1 NaN7 -> NaN1 |
|
423 dqrem761 remainder sNaN2 NaN8 -> NaN2 Invalid_operation |
|
424 dqrem762 remainder NaN3 sNaN9 -> NaN9 Invalid_operation |
|
425 dqrem763 remainder sNaN4 sNaN10 -> NaN4 Invalid_operation |
|
426 dqrem764 remainder 15 NaN11 -> NaN11 |
|
427 dqrem765 remainder NaN6 NaN12 -> NaN6 |
|
428 dqrem766 remainder Inf NaN13 -> NaN13 |
|
429 dqrem767 remainder NaN14 -Inf -> NaN14 |
|
430 dqrem768 remainder 0 NaN15 -> NaN15 |
|
431 dqrem769 remainder NaN16 -0 -> NaN16 |
|
432 |
|
433 -- edge cases of impossible |
|
434 dqrem770 remainder 1234568888888887777777777890123456 10 -> 6 |
|
435 dqrem771 remainder 1234568888888887777777777890123456 1 -> 0 |
|
436 dqrem772 remainder 1234568888888887777777777890123456 0.1 -> NaN Division_impossible |
|
437 dqrem773 remainder 1234568888888887777777777890123456 0.01 -> NaN Division_impossible |
|
438 |
|
439 -- long operand checks |
|
440 dqrem801 remainder 12345678000 100 -> 0 |
|
441 dqrem802 remainder 1 12345678000 -> 1 |
|
442 dqrem803 remainder 1234567800 10 -> 0 |
|
443 dqrem804 remainder 1 1234567800 -> 1 |
|
444 dqrem805 remainder 1234567890 10 -> 0 |
|
445 dqrem806 remainder 1 1234567890 -> 1 |
|
446 dqrem807 remainder 1234567891 10 -> 1 |
|
447 dqrem808 remainder 1 1234567891 -> 1 |
|
448 dqrem809 remainder 12345678901 100 -> 1 |
|
449 dqrem810 remainder 1 12345678901 -> 1 |
|
450 dqrem811 remainder 1234567896 10 -> 6 |
|
451 dqrem812 remainder 1 1234567896 -> 1 |
|
452 |
|
453 dqrem821 remainder 12345678000 100 -> 0 |
|
454 dqrem822 remainder 1 12345678000 -> 1 |
|
455 dqrem823 remainder 1234567800 10 -> 0 |
|
456 dqrem824 remainder 1 1234567800 -> 1 |
|
457 dqrem825 remainder 1234567890 10 -> 0 |
|
458 dqrem826 remainder 1 1234567890 -> 1 |
|
459 dqrem827 remainder 1234567891 10 -> 1 |
|
460 dqrem828 remainder 1 1234567891 -> 1 |
|
461 dqrem829 remainder 12345678901 100 -> 1 |
|
462 dqrem830 remainder 1 12345678901 -> 1 |
|
463 dqrem831 remainder 1234567896 10 -> 6 |
|
464 dqrem832 remainder 1 1234567896 -> 1 |
|
465 |
|
466 -- from divideint |
|
467 dqrem840 remainder 100000000.0 1 -> 0.0 |
|
468 dqrem841 remainder 100000000.4 1 -> 0.4 |
|
469 dqrem842 remainder 100000000.5 1 -> 0.5 |
|
470 dqrem843 remainder 100000000.9 1 -> 0.9 |
|
471 dqrem844 remainder 100000000.999 1 -> 0.999 |
|
472 dqrem850 remainder 100000003 5 -> 3 |
|
473 dqrem851 remainder 10000003 5 -> 3 |
|
474 dqrem852 remainder 1000003 5 -> 3 |
|
475 dqrem853 remainder 100003 5 -> 3 |
|
476 dqrem854 remainder 10003 5 -> 3 |
|
477 dqrem855 remainder 1003 5 -> 3 |
|
478 dqrem856 remainder 103 5 -> 3 |
|
479 dqrem857 remainder 13 5 -> 3 |
|
480 dqrem858 remainder 1 5 -> 1 |
|
481 |
|
482 -- Vladimir's cases 1234567890123456 |
|
483 dqrem860 remainder 123.0e1 1000000000000000 -> 1230 |
|
484 dqrem861 remainder 1230 1000000000000000 -> 1230 |
|
485 dqrem862 remainder 12.3e2 1000000000000000 -> 1230 |
|
486 dqrem863 remainder 1.23e3 1000000000000000 -> 1230 |
|
487 dqrem864 remainder 123e1 1000000000000000 -> 1230 |
|
488 dqrem870 remainder 123e1 1000000000000000 -> 1230 |
|
489 dqrem871 remainder 123e1 100000000000000 -> 1230 |
|
490 dqrem872 remainder 123e1 10000000000000 -> 1230 |
|
491 dqrem873 remainder 123e1 1000000000000 -> 1230 |
|
492 dqrem874 remainder 123e1 100000000000 -> 1230 |
|
493 dqrem875 remainder 123e1 10000000000 -> 1230 |
|
494 dqrem876 remainder 123e1 1000000000 -> 1230 |
|
495 dqrem877 remainder 123e1 100000000 -> 1230 |
|
496 dqrem878 remainder 1230 100000000 -> 1230 |
|
497 dqrem879 remainder 123e1 10000000 -> 1230 |
|
498 dqrem880 remainder 123e1 1000000 -> 1230 |
|
499 dqrem881 remainder 123e1 100000 -> 1230 |
|
500 dqrem882 remainder 123e1 10000 -> 1230 |
|
501 dqrem883 remainder 123e1 1000 -> 230 |
|
502 dqrem884 remainder 123e1 100 -> 30 |
|
503 dqrem885 remainder 123e1 10 -> 0 |
|
504 dqrem886 remainder 123e1 1 -> 0 |
|
505 |
|
506 dqrem890 remainder 123e1 2000000000000000 -> 1230 |
|
507 dqrem891 remainder 123e1 200000000000000 -> 1230 |
|
508 dqrem892 remainder 123e1 20000000000000 -> 1230 |
|
509 dqrem893 remainder 123e1 2000000000000 -> 1230 |
|
510 dqrem894 remainder 123e1 200000000000 -> 1230 |
|
511 dqrem895 remainder 123e1 20000000000 -> 1230 |
|
512 dqrem896 remainder 123e1 2000000000 -> 1230 |
|
513 dqrem897 remainder 123e1 200000000 -> 1230 |
|
514 dqrem899 remainder 123e1 20000000 -> 1230 |
|
515 dqrem900 remainder 123e1 2000000 -> 1230 |
|
516 dqrem901 remainder 123e1 200000 -> 1230 |
|
517 dqrem902 remainder 123e1 20000 -> 1230 |
|
518 dqrem903 remainder 123e1 2000 -> 1230 |
|
519 dqrem904 remainder 123e1 200 -> 30 |
|
520 dqrem905 remainder 123e1 20 -> 10 |
|
521 dqrem906 remainder 123e1 2 -> 0 |
|
522 |
|
523 dqrem910 remainder 123e1 5000000000000000 -> 1230 |
|
524 dqrem911 remainder 123e1 500000000000000 -> 1230 |
|
525 dqrem912 remainder 123e1 50000000000000 -> 1230 |
|
526 dqrem913 remainder 123e1 5000000000000 -> 1230 |
|
527 dqrem914 remainder 123e1 500000000000 -> 1230 |
|
528 dqrem915 remainder 123e1 50000000000 -> 1230 |
|
529 dqrem916 remainder 123e1 5000000000 -> 1230 |
|
530 dqrem917 remainder 123e1 500000000 -> 1230 |
|
531 dqrem919 remainder 123e1 50000000 -> 1230 |
|
532 dqrem920 remainder 123e1 5000000 -> 1230 |
|
533 dqrem921 remainder 123e1 500000 -> 1230 |
|
534 dqrem922 remainder 123e1 50000 -> 1230 |
|
535 dqrem923 remainder 123e1 5000 -> 1230 |
|
536 dqrem924 remainder 123e1 500 -> 230 |
|
537 dqrem925 remainder 123e1 50 -> 30 |
|
538 dqrem926 remainder 123e1 5 -> 0 |
|
539 |
|
540 dqrem930 remainder 123e1 9000000000000000 -> 1230 |
|
541 dqrem931 remainder 123e1 900000000000000 -> 1230 |
|
542 dqrem932 remainder 123e1 90000000000000 -> 1230 |
|
543 dqrem933 remainder 123e1 9000000000000 -> 1230 |
|
544 dqrem934 remainder 123e1 900000000000 -> 1230 |
|
545 dqrem935 remainder 123e1 90000000000 -> 1230 |
|
546 dqrem936 remainder 123e1 9000000000 -> 1230 |
|
547 dqrem937 remainder 123e1 900000000 -> 1230 |
|
548 dqrem939 remainder 123e1 90000000 -> 1230 |
|
549 dqrem940 remainder 123e1 9000000 -> 1230 |
|
550 dqrem941 remainder 123e1 900000 -> 1230 |
|
551 dqrem942 remainder 123e1 90000 -> 1230 |
|
552 dqrem943 remainder 123e1 9000 -> 1230 |
|
553 dqrem944 remainder 123e1 900 -> 330 |
|
554 dqrem945 remainder 123e1 90 -> 60 |
|
555 dqrem946 remainder 123e1 9 -> 6 |
|
556 |
|
557 dqrem950 remainder 123e1 1000000000000000 -> 1230 |
|
558 dqrem961 remainder 123e1 2999999999999999 -> 1230 |
|
559 dqrem962 remainder 123e1 3999999999999999 -> 1230 |
|
560 dqrem963 remainder 123e1 4999999999999999 -> 1230 |
|
561 dqrem964 remainder 123e1 5999999999999999 -> 1230 |
|
562 dqrem965 remainder 123e1 6999999999999999 -> 1230 |
|
563 dqrem966 remainder 123e1 7999999999999999 -> 1230 |
|
564 dqrem967 remainder 123e1 8999999999999999 -> 1230 |
|
565 dqrem968 remainder 123e1 9999999999999999 -> 1230 |
|
566 dqrem969 remainder 123e1 9876543210987654 -> 1230 |
|
567 |
|
568 dqrem980 remainder 123e1 1000E299 -> 1.23E+3 -- 123E+1 internally |
|
569 |
|
570 -- overflow and underflow tests [from divide] |
|
571 dqrem1051 remainder 1e+277 1e-311 -> NaN Division_impossible |
|
572 dqrem1052 remainder 1e+277 -1e-311 -> NaN Division_impossible |
|
573 dqrem1053 remainder -1e+277 1e-311 -> NaN Division_impossible |
|
574 dqrem1054 remainder -1e+277 -1e-311 -> NaN Division_impossible |
|
575 dqrem1055 remainder 1e-277 1e+311 -> 1E-277 |
|
576 dqrem1056 remainder 1e-277 -1e+311 -> 1E-277 |
|
577 dqrem1057 remainder -1e-277 1e+311 -> -1E-277 |
|
578 dqrem1058 remainder -1e-277 -1e+311 -> -1E-277 |
|
579 |
|
580 -- Gyuris example |
|
581 dqrem1070 remainder 8.336804418094040989630006819881709E-6143 8.336804418094040989630006819889000E-6143 -> 8.336804418094040989630006819881709E-6143 |
|
582 |
|
583 -- destructive subtract |
|
584 dqrem1120 remainder 1234567890123456789012345678901234 1.000000000000000000000000000000001 -> 0.765432109876543210987654321098768 |
|
585 dqrem1121 remainder 1234567890123456789012345678901234 1.00000000000000000000000000000001 -> 0.65432109876543210987654321098779 |
|
586 dqrem1122 remainder 1234567890123456789012345678901234 1.0000000000000000000000000000001 -> 0.5432109876543210987654321098890 |
|
587 dqrem1123 remainder 1234567890123456789012345678901255 4.000000000000000000000000000000001 -> 2.691358027469135802746913580274687 |
|
588 dqrem1124 remainder 1234567890123456789012345678901234 4.000000000000000000000000000000001 -> 1.691358027469135802746913580274692 |
|
589 dqrem1125 remainder 1234567890123456789012345678901234 4.9999999999999999999999999999999 -> 3.6913578024691357802469135780251 |
|
590 dqrem1126 remainder 1234567890123456789012345678901234 4.99999999999999999999999999999999 -> 1.46913578024691357802469135780247 |
|
591 dqrem1127 remainder 1234567890123456789012345678901234 4.999999999999999999999999999999999 -> 4.246913578024691357802469135780246 |
|
592 dqrem1128 remainder 1234567890123456789012345678901234 5.0000000000000000000000000000001 -> 4.3086421975308642197530864219759 |
|
593 |
|
594 -- Null tests |
|
595 dqrem1000 remainder 10 # -> NaN Invalid_operation |
|
596 dqrem1001 remainder # 10 -> NaN Invalid_operation |
|
597 |