Commit | Line | Data |
184f15d5 |
1 | #include this file into another test for subclass testing... |
2 | |
3 | ok ($class->config()->{lib},$CL); |
4 | |
990fb837 |
5 | $setup = ''; |
6 | |
184f15d5 |
7 | while (<DATA>) |
8 | { |
a4e2b1c6 |
9 | chomp; |
184f15d5 |
10 | $_ =~ s/#.*$//; # remove comments |
11 | $_ =~ s/\s+$//; # trailing spaces |
12 | next if /^$/; # skip empty lines & comments |
13 | if (s/^&//) |
14 | { |
15 | $f = $_; |
16 | } |
17 | elsif (/^\$/) |
18 | { |
19 | $setup = $_; $setup =~ s/\$/\$${class}::/g; # round_mode, div_scale |
20 | #print "\$setup== $setup\n"; |
21 | } |
22 | else |
23 | { |
24 | if (m|^(.*?):(/.+)$|) |
25 | { |
26 | $ans = $2; |
27 | @args = split(/:/,$1,99); |
28 | } |
29 | else |
30 | { |
31 | @args = split(/:/,$_,99); $ans = pop(@args); |
32 | } |
33 | $try = "\$x = new $class \"$args[0]\";"; |
34 | if ($f eq "bnorm") |
35 | { |
36 | $try .= "\$x;"; |
37 | } elsif ($f eq "finf") { |
990fb837 |
38 | my $a = $args[1] || ''; |
39 | $try .= "\$x->binf('$a');"; |
184f15d5 |
40 | } elsif ($f eq "is_inf") { |
41 | $try .= "\$x->is_inf('$args[1]');"; |
42 | } elsif ($f eq "fone") { |
43 | $try .= "\$x->bone('$args[1]');"; |
44 | } elsif ($f eq "fstr") { |
45 | $try .= "\$x->accuracy($args[1]); \$x->precision($args[2]);"; |
46 | $try .= '$x->bstr();'; |
47 | } elsif ($f eq "parts") { |
48 | # ->bstr() to see if an object is returned |
49 | $try .= '($a,$b) = $x->parts(); $a = $a->bstr(); $b = $b->bstr();'; |
50 | $try .= '"$a $b";'; |
51 | } elsif ($f eq "numerator") { |
52 | # ->bstr() to see if an object is returned |
53 | $try .= '$x->numerator()->bstr();'; |
54 | } elsif ($f eq "denominator") { |
55 | # ->bstr() to see if an object is returned |
56 | $try .= '$x->denominator()->bstr();'; |
7d341013 |
57 | } elsif ($f =~ /^(length|numify)$/) { |
58 | $try .= "\$x->$f();"; |
59 | # some unary ops (can't test the fxxx form, since no AUTOLOAD in BigRat) |
184f15d5 |
60 | } elsif ($f =~ /^f(nan|sstr|neg|floor|ceil|abs)$/) { |
61 | $try .= "\$x->b$1();"; |
62 | # some is_xxx test function |
b68b7ab1 |
63 | } elsif ($f =~ /^is_(zero|one|pos|neg|negative|positive|odd|even|nan|int)\z/) { |
184f15d5 |
64 | $try .= "\$x->$f();"; |
b68b7ab1 |
65 | } elsif ($f =~ /^(as_number|as_int)\z/){ |
66 | $try .= "\$x->$1();"; |
184f15d5 |
67 | } elsif ($f eq "finc") { |
68 | $try .= '++$x;'; |
69 | } elsif ($f eq "fdec") { |
70 | $try .= '--$x;'; |
12fc2493 |
71 | } elsif ($f eq "digit") { |
72 | $try .= "\$x->digit($args[1]);"; |
73 | } elsif ($f eq "fround") { |
184f15d5 |
74 | $try .= "$setup; \$x->bround($args[1]);"; |
75 | } elsif ($f eq "ffround") { |
76 | $try .= "$setup; \$x->bfround($args[1]);"; |
77 | } elsif ($f eq "fsqrt") { |
78 | $try .= "$setup; \$x->bsqrt();"; |
79 | } elsif ($f eq "flog") { |
80 | $try .= "$setup; \$x->blog();"; |
81 | } elsif ($f eq "ffac") { |
82 | $try .= "$setup; \$x->bfac();"; |
83 | } |
84 | else |
85 | { |
86 | $try .= "\$y = new $class \"$args[1]\";"; |
7afd7a91 |
87 | if ($f eq "bcmp") { |
184f15d5 |
88 | $try .= '$x <=> $y;'; |
7afd7a91 |
89 | } elsif ($f eq "bacmp") { |
184f15d5 |
90 | $try .= '$x->bacmp($y);'; |
91 | } elsif ($f eq "bpow") { |
92 | $try .= '$x ** $y;'; |
a4e2b1c6 |
93 | } elsif ($f eq "fpow") { |
94 | $try .= '$x->bpow($y);'; |
184f15d5 |
95 | } elsif ($f eq "badd") { |
96 | $try .= '$x + $y;'; |
97 | } elsif ($f eq "bsub") { |
98 | $try .= '$x - $y;'; |
99 | } elsif ($f eq "bmul") { |
100 | $try .= '$x * $y;'; |
101 | } elsif ($f eq "bdiv") { |
102 | $try .= "$setup; \$x / \$y;"; |
103 | } elsif ($f eq "fdiv-list") { |
104 | $try .= "$setup; join(',',\$x->bdiv(\$y));"; |
105 | } elsif ($f eq "brsft") { |
106 | $try .= '$x >> $y;'; |
107 | } elsif ($f eq "blsft") { |
108 | $try .= '$x << $y;'; |
109 | } elsif ($f eq "bmod") { |
110 | $try .= '$x % $y;'; |
7afd7a91 |
111 | } elsif( $f eq "bmodinv") { |
112 | $try .= "\$x->bmodinv(\$y);"; |
113 | } elsif( $f eq "blog") { |
114 | $try .= "\$x->blog(\$y);"; |
115 | } else { |
116 | $try .= "\$z = $class->new(\"$args[2]\");"; |
117 | |
118 | # Functions with three arguments |
119 | if( $f eq "bmodpow") { |
120 | $try .= "\$x->bmodpow(\$y,\$z);"; |
121 | } else { warn "Unknown op '$f'"; } |
122 | } |
184f15d5 |
123 | } |
124 | # print "# Trying: '$try'\n"; |
125 | $ans1 = eval $try; |
126 | if ($ans =~ m|^/(.*)$|) |
127 | { |
128 | my $pat = $1; |
129 | if ($ans1 =~ /$pat/) |
130 | { |
131 | ok (1,1); |
132 | } |
133 | else |
134 | { |
135 | print "# '$try' expected: /$pat/ got: '$ans1'\n" if !ok(1,0); |
136 | } |
137 | } |
138 | else |
139 | { |
140 | if ($ans eq "") |
141 | { |
142 | ok_undef ($ans1); |
143 | } |
144 | else |
145 | { |
146 | print "# Tried: '$try'\n" if !ok ($ans1, $ans); |
147 | # if (ref($ans1) eq "$class") |
148 | # { |
149 | # # float numbers are normalized (for now), so mantissa shouldn't have |
150 | # # trailing zeros |
151 | # #print $ans1->_trailing_zeros(),"\n"; |
152 | # print "# Has trailing zeros after '$try'\n" |
153 | # if !ok ($ans1->{_m}->_trailing_zeros(), 0); |
154 | # } |
155 | } |
156 | } # end pattern or string |
157 | } |
158 | } # end while |
159 | |
160 | # check whether $class->new( Math::BigInt->new()) destroys it |
161 | # ($y == 12 in this case) |
162 | $x = Math::BigInt->new(1200); $y = $class->new($x); |
163 | ok ($y,1200); ok ($x,1200); |
164 | |
165 | ############################################################################### |
166 | # zero,inf,one,nan |
167 | |
168 | $x = $class->new(2); $x->bzero(); ok_undef ($x->{_a}); ok_undef ($x->{_p}); |
169 | $x = $class->new(2); $x->binf(); ok_undef ($x->{_a}); ok_undef ($x->{_p}); |
170 | $x = $class->new(2); $x->bone(); ok_undef ($x->{_a}); ok_undef ($x->{_p}); |
171 | $x = $class->new(2); $x->bnan(); ok_undef ($x->{_a}); ok_undef ($x->{_p}); |
172 | |
173 | 1; # all done |
174 | |
175 | ############################################################################### |
176 | # Perl 5.005 does not like ok ($x,undef) |
177 | |
178 | sub ok_undef |
179 | { |
180 | my $x = shift; |
181 | |
182 | ok (1,1) and return if !defined $x; |
183 | ok ($x,'undef'); |
184 | } |
185 | |
186 | __DATA__ |
12fc2493 |
187 | &digit |
188 | 123:2:1 |
189 | 1234:0:4 |
190 | 1234:1:3 |
191 | 1234:2:2 |
192 | 1234:3:1 |
193 | 1234:-1:1 |
194 | 1234:-2:2 |
195 | 1234:-3:3 |
196 | 1234:-4:4 |
197 | 0:0:0 |
198 | 0:1:0 |
7afd7a91 |
199 | &bmodinv |
200 | # format: number:modulus:result |
201 | # bmodinv Data errors |
202 | abc:abc:NaN |
203 | abc:5:NaN |
204 | 5:abc:NaN |
205 | # bmodinv Expected Results from normal use |
206 | 1:5:1 |
207 | 3:5:2 |
208 | -2:5:2 |
209 | 8:5033:4404 |
210 | 1234567891:13:6 |
211 | -1234567891:13:7 |
212 | 324958749843759385732954874325984357439658735983745:2348249874968739:1741662881064902 |
213 | ## bmodinv Error cases / useless use of function |
214 | 3:-5:NaN |
215 | inf:5:NaN |
216 | 5:inf:NaN |
217 | -inf:5:NaN |
218 | 5:-inf:NaN |
990fb837 |
219 | &as_number |
220 | 144/7:20 |
b68b7ab1 |
221 | 12/1:12 |
222 | -12/1:-12 |
223 | -12/3:-4 |
224 | NaN:NaN |
225 | +inf:inf |
226 | -inf:-inf |
227 | &as_int |
228 | 144/7:20 |
229 | 12/1:12 |
230 | -12/1:-12 |
231 | -12/3:-4 |
990fb837 |
232 | NaN:NaN |
233 | +inf:inf |
234 | -inf:-inf |
7afd7a91 |
235 | &bmodpow |
236 | # format: number:exponent:modulus:result |
237 | # bmodpow Data errors |
238 | abc:abc:abc:NaN |
239 | 5:abc:abc:NaN |
240 | abc:5:abc:NaN |
241 | abc:abc:5:NaN |
242 | 5:5:abc:NaN |
243 | 5:abc:5:NaN |
244 | abc:5:5:NaN |
245 | # bmodpow Expected results |
246 | 0:0:2:1 |
247 | 1:0:2:1 |
248 | 0:0:1:0 |
249 | 8:7:5032:3840 |
250 | 8:-1:5033:4404 |
251 | 98436739867439843769485798542749827593285729587325:43698764986460981048259837659386739857456983759328457:6943857329857295827698367:3104744730915914415259518 |
252 | # bmodpow Error cases |
253 | 8:8:-5:NaN |
254 | 8:-1:16:NaN |
255 | inf:5:13:NaN |
256 | 5:inf:13:NaN |
990fb837 |
257 | &bmod |
258 | NaN:1:NaN |
259 | 1:NaN:NaN |
260 | 1:1:0 |
261 | 2:2:0 |
262 | 12:6:0 |
263 | 7/4:4/14:1/28 |
264 | 7/4:4/16:0 |
265 | -7/4:4/16:0 |
266 | -7/4:-4/16:0 |
267 | 7/4:-4/16:0 |
268 | 7/4:4/32:0 |
269 | -7/4:4/32:0 |
270 | -7/4:-4/32:0 |
271 | 7/4:-4/32:0 |
272 | 7/4:4/28:1/28 |
273 | -7/4:4/28:-1/28 |
274 | 7/4:-4/28:1/28 |
275 | -7/4:-4/28:-1/28 |
276 | &fsqrt |
277 | 1:1 |
278 | 0:0 |
279 | NaN:NaN |
280 | +inf:inf |
281 | -inf:NaN |
282 | 144:12 |
283 | # sqrt(144) / sqrt(4) = 12/2 = 6/1 |
284 | 144/4:6 |
285 | 25/16:5/4 |
286 | -3:NaN |
287 | &flog |
288 | NaN:NaN |
289 | 0:NaN |
7afd7a91 |
290 | -2:NaN |
291 | &blog |
292 | NaN:NaN:NaN |
293 | 0:NaN:NaN |
294 | NaN:0:NaN |
295 | NaN:1:NaN |
296 | 1:NaN:NaN |
297 | 0:2:NaN |
298 | 0:-2:NaN |
299 | 3:-2:NaN |
184f15d5 |
300 | &finf |
301 | 1:+:inf |
302 | 2:-:-inf |
303 | 3:abc:inf |
990fb837 |
304 | &numify |
93c87d9d |
305 | 0:0 |
306 | +1:1 |
307 | 1234:1234 |
308 | 3/4:0.75 |
309 | 5/2:2.5 |
310 | 3/2:1.5 |
311 | 5/4:1.25 |
990fb837 |
312 | NaN:NaN |
93c87d9d |
313 | +inf:inf |
314 | -inf:-inf |
184f15d5 |
315 | &fnan |
316 | abc:NaN |
317 | 2:NaN |
318 | -2:NaN |
319 | 0:NaN |
320 | &fone |
321 | 2:+:1 |
322 | -2:-:-1 |
323 | -2:+:1 |
324 | 2:-:-1 |
325 | 0::1 |
326 | -2::1 |
327 | abc::1 |
328 | 2:abc:1 |
329 | &fsstr |
330 | +inf:inf |
331 | -inf:-inf |
332 | abcfsstr:NaN |
333 | 1:1/1 |
334 | 3/1:3/1 |
335 | 0.1:1/10 |
336 | &bnorm |
337 | 1:1 |
338 | -0:0 |
339 | bnormNaN:NaN |
340 | +inf:inf |
341 | -inf:-inf |
7afd7a91 |
342 | inf/inf:NaN |
343 | 5/inf:0 |
344 | 5/-inf:0 |
345 | inf/5:inf |
346 | -inf/5:-inf |
347 | inf/-5:-inf |
348 | -inf/-5:inf |
184f15d5 |
349 | 123:123 |
350 | -123.4567:-1234567/10000 |
351 | # invalid inputs |
352 | 1__2:NaN |
353 | 1E1__2:NaN |
354 | 11__2E2:NaN |
355 | #1.E3:NaN |
356 | .2E-3.:NaN |
357 | #1e3e4:NaN |
358 | .2E2:20 |
359 | inf:inf |
360 | +inf:inf |
361 | -inf:-inf |
362 | +infinity:NaN |
363 | +-inf:NaN |
364 | abc:NaN |
365 | 1 a:NaN |
366 | 1bcd2:NaN |
367 | 11111b:NaN |
368 | +1z:NaN |
369 | -1z:NaN |
370 | 0:0 |
371 | +0:0 |
372 | +00:0 |
373 | +0_0_0:0 |
374 | 000000_0000000_00000:0 |
375 | -0:0 |
376 | -0000:0 |
377 | +1:1 |
378 | +01:1 |
379 | +001:1 |
380 | +00000100000:100000 |
12fc2493 |
381 | +00000800/00000010:80 |
382 | -00000800/00000010:-80 |
383 | +00000800/-00000010:-80 |
384 | -00000800/-00000010:80 |
184f15d5 |
385 | 123456789:123456789 |
386 | -1:-1 |
387 | -01:-1 |
388 | -001:-1 |
389 | -123456789:-123456789 |
390 | -00000100000:-100000 |
391 | 123.456a:NaN |
392 | 123.456:15432/125 |
393 | 0.01:1/100 |
394 | .002:1/500 |
395 | +.2:1/5 |
396 | -0.0003:-3/10000 |
397 | -.0000000004:-1/2500000000 |
398 | 123456E2:12345600 |
399 | 123456E-2:30864/25 |
400 | -123456E2:-12345600 |
401 | -123456E-2:-30864/25 |
402 | 1e1:10 |
403 | 2e-11:1/50000000000 |
404 | 12/10:6/5 |
405 | 0.1/0.1:1 |
406 | 100/0.1:1000 |
407 | 0.1/10:1/100 |
408 | 1 / 3:1/3 |
409 | 1/ 3:1/3 |
410 | 1 /3:1/3 |
411 | &fneg |
412 | fnegNaN:NaN |
413 | +inf:-inf |
414 | -inf:inf |
415 | +0:0 |
416 | +1:-1 |
417 | -1:1 |
418 | +123456789:-123456789 |
419 | -123456789:123456789 |
420 | +123.456789:-123456789/1000000 |
421 | -123456.789:123456789/1000 |
b68b7ab1 |
422 | 123/7:-123/7 |
423 | -123/7:123/7 |
424 | 123/-7:123/7 |
184f15d5 |
425 | &fabs |
426 | fabsNaN:NaN |
427 | +inf:inf |
428 | -inf:inf |
429 | +0:0 |
430 | +1:1 |
431 | -1:1 |
432 | +123456789:123456789 |
433 | -123456789:123456789 |
434 | +123.456789:123456789/1000000 |
435 | -123456.789:123456789/1000 |
436 | &badd |
437 | abc:abc:NaN |
438 | abc:+0:NaN |
439 | +0:abc:NaN |
440 | +inf:-inf:NaN |
441 | -inf:+inf:NaN |
442 | +inf:+inf:inf |
443 | -inf:-inf:-inf |
444 | baddNaN:+inf:NaN |
445 | baddNaN:+inf:NaN |
446 | +inf:baddNaN:NaN |
447 | -inf:baddNaN:NaN |
448 | +0:+0:0 |
449 | +1:+0:1 |
450 | +0:+1:1 |
451 | +1:+1:2 |
452 | -1:+0:-1 |
453 | +0:-1:-1 |
454 | -1:-1:-2 |
455 | -1:+1:0 |
456 | +1:-1:0 |
457 | +9:+1:10 |
458 | +99:+1:100 |
459 | +999:+1:1000 |
460 | +9999:+1:10000 |
461 | +99999:+1:100000 |
462 | +999999:+1:1000000 |
463 | +9999999:+1:10000000 |
464 | +99999999:+1:100000000 |
465 | +999999999:+1:1000000000 |
466 | +9999999999:+1:10000000000 |
467 | +99999999999:+1:100000000000 |
468 | +10:-1:9 |
469 | +100:-1:99 |
470 | +1000:-1:999 |
471 | +10000:-1:9999 |
472 | +100000:-1:99999 |
473 | +1000000:-1:999999 |
474 | +10000000:-1:9999999 |
475 | +100000000:-1:99999999 |
476 | +1000000000:-1:999999999 |
477 | +10000000000:-1:9999999999 |
478 | +123456789:+987654321:1111111110 |
479 | -123456789:+987654321:864197532 |
480 | -123456789:-987654321:-1111111110 |
481 | +123456789:-987654321:-864197532 |
482 | 1/3:1/3:2/3 |
483 | 2/3:-1/3:1/3 |
484 | &bsub |
485 | abc:abc:NaN |
486 | abc:+0:NaN |
487 | +0:abc:NaN |
488 | +inf:-inf:inf |
489 | -inf:+inf:-inf |
490 | +inf:+inf:NaN |
491 | -inf:-inf:NaN |
492 | baddNaN:+inf:NaN |
493 | baddNaN:+inf:NaN |
494 | +inf:baddNaN:NaN |
495 | -inf:baddNaN:NaN |
496 | +0:+0:0 |
497 | +1:+0:1 |
498 | +0:+1:-1 |
499 | +1:+1:0 |
500 | -1:+0:-1 |
501 | +0:-1:1 |
502 | -1:-1:0 |
503 | -1:+1:-2 |
504 | +1:-1:2 |
505 | +9:+1:8 |
506 | +99:+1:98 |
507 | +999:+1:998 |
508 | +9999:+1:9998 |
509 | +99999:+1:99998 |
510 | +999999:+1:999998 |
511 | +9999999:+1:9999998 |
512 | +99999999:+1:99999998 |
513 | +999999999:+1:999999998 |
514 | +9999999999:+1:9999999998 |
515 | +99999999999:+1:99999999998 |
516 | +10:-1:11 |
517 | +100:-1:101 |
518 | +1000:-1:1001 |
519 | +10000:-1:10001 |
520 | +100000:-1:100001 |
521 | +1000000:-1:1000001 |
522 | +10000000:-1:10000001 |
523 | +100000000:-1:100000001 |
524 | +1000000000:-1:1000000001 |
525 | +10000000000:-1:10000000001 |
526 | +123456789:+987654321:-864197532 |
527 | -123456789:+987654321:-1111111110 |
528 | -123456789:-987654321:864197532 |
529 | +123456789:-987654321:1111111110 |
530 | 2/3:1/3:1/3 |
531 | 7/27:3/54:11/54 |
532 | -2/3:+2/3:-4/3 |
533 | -2/3:-2/3:0 |
7afd7a91 |
534 | 0:-123:123 |
535 | 0:123:-123 |
184f15d5 |
536 | &bmul |
537 | abc:abc:NaN |
538 | abc:+0:NaN |
539 | +0:abc:NaN |
540 | +inf:NaNmul:NaN |
541 | +inf:NaNmul:NaN |
542 | NaNmul:+inf:NaN |
543 | NaNmul:-inf:NaN |
544 | +inf:+inf:inf |
545 | +inf:-inf:-inf |
546 | +inf:-inf:-inf |
547 | +inf:+inf:inf |
548 | +inf:123.34:inf |
549 | +inf:-123.34:-inf |
550 | -inf:123.34:-inf |
551 | -inf:-123.34:inf |
552 | 123.34:+inf:inf |
553 | -123.34:+inf:-inf |
554 | 123.34:-inf:-inf |
555 | -123.34:-inf:inf |
556 | +0:+0:0 |
557 | +0:+1:0 |
558 | +1:+0:0 |
559 | +0:-1:0 |
560 | -1:+0:0 |
561 | +123456789123456789:+0:0 |
562 | +0:+123456789123456789:0 |
563 | -1:-1:1 |
564 | -1:+1:-1 |
565 | +1:-1:-1 |
566 | +1:+1:1 |
567 | +2:+3:6 |
568 | -2:+3:-6 |
569 | +2:-3:-6 |
570 | -2:-3:6 |
571 | +111:+111:12321 |
572 | +10101:+10101:102030201 |
573 | +1001001:+1001001:1002003002001 |
574 | +100010001:+100010001:10002000300020001 |
575 | +10000100001:+10000100001:100002000030000200001 |
576 | +11111111111:+9:99999999999 |
577 | +22222222222:+9:199999999998 |
578 | +33333333333:+9:299999999997 |
579 | +44444444444:+9:399999999996 |
580 | +55555555555:+9:499999999995 |
581 | +66666666666:+9:599999999994 |
582 | +77777777777:+9:699999999993 |
583 | +88888888888:+9:799999999992 |
584 | +99999999999:+9:899999999991 |
585 | 6:120:720 |
586 | 10:10000:100000 |
587 | 1/4:1/3:1/12 |
588 | &bdiv |
589 | $div_scale = 40; $round_mode = 'even' |
590 | abc:abc:NaN |
591 | abc:+1:abc:NaN |
592 | +1:abc:NaN |
593 | -1:abc:NaN |
594 | 0:abc:NaN |
595 | +0:+0:NaN |
596 | +0:+1:0 |
597 | +1:+0:inf |
598 | +3214:+0:inf |
599 | +0:-1:0 |
600 | -1:+0:-inf |
601 | -3214:+0:-inf |
602 | +1:+1:1 |
603 | -1:-1:1 |
604 | +1:-1:-1 |
605 | -1:+1:-1 |
606 | +1:+2:1/2 |
607 | +2:+1:2 |
608 | 123:+inf:0 |
609 | 123:-inf:0 |
610 | +10:+5:2 |
611 | +100:+4:25 |
612 | +1000:+8:125 |
613 | +10000:+16:625 |
614 | +10000:-16:-625 |
615 | +999999999999:+9:111111111111 |
616 | +999999999999:+99:10101010101 |
617 | +999999999999:+999:1001001001 |
618 | +999999999999:+9999:100010001 |
619 | +999999999999999:+99999:10000100001 |
620 | +1000000000:+9:1000000000/9 |
621 | +2000000000:+9:2000000000/9 |
622 | +3000000000:+9:1000000000/3 |
623 | +4000000000:+9:4000000000/9 |
624 | +5000000000:+9:5000000000/9 |
625 | +6000000000:+9:2000000000/3 |
626 | +7000000000:+9:7000000000/9 |
627 | +8000000000:+9:8000000000/9 |
628 | +9000000000:+9:1000000000 |
629 | +35500000:+113:35500000/113 |
630 | +71000000:+226:35500000/113 |
631 | +106500000:+339:35500000/113 |
632 | +1000000000:+3:1000000000/3 |
633 | 2:25.024996000799840031993601279744051189762:1000000000000000000000000000000000000000/12512498000399920015996800639872025594881 |
634 | 123456:1:123456 |
635 | 1/4:1/3:3/4 |
636 | # reset scale for further tests |
637 | $div_scale = 40 |
638 | &is_nan |
639 | 123:0 |
640 | abc:1 |
641 | NaN:1 |
642 | -123:0 |
643 | &is_inf |
644 | +inf::1 |
645 | -inf::1 |
646 | abc::0 |
647 | 1::0 |
648 | NaN::0 |
649 | -1::0 |
650 | +inf:-:0 |
651 | +inf:+:1 |
652 | -inf:-:1 |
653 | -inf:+:0 |
654 | # it must be exactly /^[+-]inf$/ |
655 | +infinity::0 |
656 | -infinity::0 |
657 | &is_odd |
658 | abc:0 |
659 | 0:0 |
660 | -1:1 |
661 | -3:1 |
662 | 1:1 |
663 | 3:1 |
664 | 1000001:1 |
665 | 1000002:0 |
666 | +inf:0 |
667 | -inf:0 |
668 | 123.45:0 |
669 | -123.45:0 |
670 | 2:0 |
671 | &is_int |
672 | NaNis_int:0 |
673 | 0:1 |
674 | 1:1 |
675 | 2:1 |
676 | -2:1 |
677 | -1:1 |
678 | -inf:0 |
679 | +inf:0 |
680 | 123.4567:0 |
681 | -0.1:0 |
682 | -0.002:0 |
683 | 1/3:0 |
684 | 3/1:1 |
685 | &is_even |
686 | abc:0 |
687 | 0:1 |
688 | -1:0 |
689 | -3:0 |
690 | 1:0 |
691 | 3:0 |
692 | 1000001:0 |
693 | 1000002:1 |
694 | 2:1 |
695 | +inf:0 |
696 | -inf:0 |
697 | 123.456:0 |
698 | -123.456:0 |
699 | 0.01:0 |
700 | -0.01:0 |
701 | 120:1 |
702 | 1200:1 |
703 | -1200:1 |
b68b7ab1 |
704 | &is_pos |
705 | 0:0 |
706 | 1:1 |
707 | -1:0 |
708 | -123:0 |
709 | NaN:0 |
710 | -inf:0 |
711 | +inf:1 |
184f15d5 |
712 | &is_positive |
b68b7ab1 |
713 | 0:0 |
184f15d5 |
714 | 1:1 |
715 | -1:0 |
716 | -123:0 |
717 | NaN:0 |
718 | -inf:0 |
719 | +inf:1 |
b68b7ab1 |
720 | &is_neg |
721 | 0:0 |
722 | 1:0 |
723 | -1:1 |
724 | -123:1 |
725 | NaN:0 |
726 | -inf:1 |
727 | +inf:0 |
184f15d5 |
728 | &is_negative |
729 | 0:0 |
730 | 1:0 |
731 | -1:1 |
732 | -123:1 |
733 | NaN:0 |
734 | -inf:1 |
735 | +inf:0 |
a4e2b1c6 |
736 | &parts |
737 | 0:0 1 |
738 | 1:1 1 |
739 | 123:123 1 |
740 | -123:-123 1 |
741 | -1200:-1200 1 |
742 | 5/7:5 7 |
743 | -5/7:-5 7 |
744 | NaNparts:NaN NaN |
745 | +inf:inf inf |
746 | -inf:-inf inf |
12fc2493 |
747 | &length |
748 | 123:3 |
749 | -123:3 |
750 | 0:1 |
751 | 1:1 |
752 | 12345678901234567890:20 |
184f15d5 |
753 | &is_zero |
754 | NaNzero:0 |
755 | +inf:0 |
756 | -inf:0 |
757 | 0:1 |
758 | -1:0 |
759 | 1:0 |
760 | 0/3:1 |
761 | 1/3:0 |
7afd7a91 |
762 | -0/3:1 |
763 | 5/inf:1 |
184f15d5 |
764 | &is_one |
765 | NaNone:0 |
766 | +inf:0 |
767 | -inf:0 |
768 | 0:0 |
769 | 2:0 |
770 | 1:1 |
771 | -1:0 |
772 | -2:0 |
773 | 1/3:0 |
774 | 100/100:1 |
775 | 0.1/0.1:1 |
7afd7a91 |
776 | 5/inf:0 |
184f15d5 |
777 | &ffloor |
778 | 0:0 |
779 | abc:NaN |
780 | +inf:inf |
781 | -inf:-inf |
782 | 1:1 |
783 | -51:-51 |
784 | -51.2:-52 |
785 | 12.2:12 |
a4e2b1c6 |
786 | 3/7:0 |
787 | 6/7:0 |
788 | 7/7:1 |
789 | 8/7:1 |
790 | 13/7:1 |
791 | 14/7:2 |
792 | 15/7:2 |
793 | -3/7:-1 |
794 | -6/7:-1 |
795 | -7/1:-7 |
796 | -8/7:-2 |
797 | -13/7:-2 |
798 | -14/7:-2 |
799 | -15/7:-3 |
184f15d5 |
800 | &fceil |
801 | 0:0 |
802 | abc:NaN |
803 | +inf:inf |
804 | -inf:-inf |
805 | 1:1 |
806 | -51:-51 |
807 | -51.2:-51 |
808 | 12.2:13 |
a4e2b1c6 |
809 | 3/7:1 |
810 | 6/7:1 |
811 | 8/7:2 |
812 | 13/7:2 |
813 | 14/7:2 |
814 | 15/7:3 |
815 | -3/7:0 |
816 | -6/7:0 |
817 | -8/7:-1 |
818 | -13/7:-1 |
819 | -14/7:-2 |
820 | -15/7:-2 |
821 | &ffac |
822 | NaN:NaN |
823 | 1:1 |
824 | -1:NaN |
825 | &bpow |
826 | # bpow test for overload of ** |
827 | 2:2:4 |
828 | 3:3:27 |
7afd7a91 |
829 | &bacmp |
830 | +0:-0:0 |
831 | +0:+1:-1 |
832 | -1:+1:0 |
833 | +1:-1:0 |
834 | -1:+2:-1 |
835 | +2:-1:1 |
836 | -123456789:+987654321:-1 |
837 | +123456789:-987654321:-1 |
838 | +987654321:+123456789:1 |
839 | -987654321:+123456789:1 |
840 | -123:+4567889:-1 |
841 | # NaNs |
842 | acmpNaN:123: |
843 | 123:acmpNaN: |
844 | acmpNaN:acmpNaN: |
845 | # infinity |
846 | +inf:+inf:0 |
847 | -inf:-inf:0 |
848 | +inf:-inf:0 |
849 | -inf:+inf:0 |
850 | +inf:123:1 |
851 | -inf:123:1 |
852 | +inf:-123:1 |
853 | -inf:-123:1 |
854 | +inf:1/23:1 |
855 | -inf:1/23:1 |
856 | +inf:-1/23:1 |
857 | -inf:-1/23:1 |
858 | +inf:12/3:1 |
859 | -inf:12/3:1 |
860 | +inf:-12/3:1 |
861 | -inf:-12/3:1 |
862 | 123:inf:-1 |
863 | -123:inf:-1 |
864 | 123:-inf:-1 |
865 | -123:-inf:-1 |
866 | 1/23:inf:-1 |
867 | -1/23:inf:-1 |
868 | 1/23:-inf:-1 |
869 | -1/23:-inf:-1 |
870 | 12/3:inf:-1 |
871 | -12/3:inf:-1 |
872 | 12/3:-inf:-1 |
873 | -12/3:-inf:-1 |
874 | # return undef |
875 | +inf:NaN: |
876 | NaN:inf: |
877 | -inf:NaN: |
878 | NaN:-inf: |
879 | 1/3:2/3:-1 |
880 | 2/3:1/3:1 |
881 | 2/3:2/3:0 |
a4e2b1c6 |
882 | &fpow |
883 | 2/1:3/1:8 |
884 | 3/1:3/1:27 |
885 | 5/2:3/1:125/8 |
886 | -2/1:3/1:-8 |
887 | -3/1:3/1:-27 |
888 | -5/2:3/1:-125/8 |
889 | -2/1:4/1:16 |
890 | -3/1:4/1:81 |
891 | -5/2:4/1:625/16 |
892 | -5/2:-4/1:16/625 |
893 | 1/5:-3:125 |
894 | -1/5:-3:-125 |
895 | &numerator |
896 | NaN:NaN |
897 | inf:inf |
898 | -inf:-inf |
899 | 3/7:3 |
900 | -3/7:-3 |
901 | 0:0 |
902 | 1:1 |
12fc2493 |
903 | 5/-3:-5 |
a4e2b1c6 |
904 | &denominator |
905 | NaN:NaN |
12fc2493 |
906 | inf:1 |
907 | -inf:1 |
a4e2b1c6 |
908 | 3/7:7 |
909 | 0:1 |
910 | 1/1:1 |
12fc2493 |
911 | -1/1:1 |
a4e2b1c6 |
912 | -3/7:7 |
12fc2493 |
913 | 4/-5:5 |
a4e2b1c6 |
914 | &finc |
915 | 3/2:5/2 |
916 | -15/6:-3/2 |
917 | NaN:NaN |
918 | -1/3:2/3 |
919 | -2/7:5/7 |
920 | &fdec |
921 | 15/6:3/2 |
922 | -3/2:-5/2 |
923 | 1/3:-2/3 |
924 | 2/7:-5/7 |
925 | NaN:NaN |