This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Fix RT #62052: Math::BigFloat -> bdiv() in list context
[perl5.git] / dist / Math-BigInt / t / upgrade.inc
1 # include this file into another for subclass testing
2
3 # This file is nearly identical to bigintpm.t, except that certain results
4 # are _requird_ to be different due to "upgrading" or "promoting" to BigFloat.
5 # The reverse is not true, any unmarked results can be either BigInt or
6 # BigFloat, depending on how good the internal optimization is (e.g. it
7 # is usually desirable to have 2 ** 2 return a BigInt, not a BigFloat).
8
9 # Results that are required to be BigFloat are marked with C<^> at the end.
10
11 # Please note that the testcount goes up by two for each extra result marked
12 # with ^, since then we test whether it has the proper class and that it left
13 # the upgrade variable alone.
14
15 my $version = ${"$class\::VERSION"};
16
17 ##############################################################################
18 # for testing inheritance of _swap
19
20 package Math::Foo;
21
22 use Math::BigInt lib => $main::CL;
23 use vars qw/@ISA/;
24 @ISA = (qw/Math::BigInt/);
25
26 use overload
27 # customized overload for sub, since original does not use swap there
28 '-'     =>      sub { my @a = ref($_[0])->_swap(@_);
29                    $a[0]->bsub($a[1])};
30
31 sub _swap
32   {
33   # a fake _swap, which reverses the params
34   my $self = shift;                     # for override in subclass
35   if ($_[2])
36     {
37     my $c = ref ($_[0] ) || 'Math::Foo';
38     return ( $_[0]->copy(), $_[1] );
39     }
40   else
41     {
42     return ( Math::Foo->new($_[1]), $_[0] );
43     }
44   }
45
46 ##############################################################################
47 package main;
48
49 my $CALC = $class->config()->{lib}; is ($CALC,$CL);
50
51 my ($f,$z,$a,$exp,@a,$m,$e,$round_mode,$expected_class);
52
53 while (<DATA>) 
54   {
55   $_ =~ s/[\n\r]//g;    # remove newlines
56   next if /^#/; # skip comments
57   if (s/^&//) 
58     {
59     $f = $_; next;
60     }
61   elsif (/^\$/) 
62     {
63     $round_mode = $_; $round_mode =~ s/^\$/$class\->/; next;
64     }
65
66   @args = split(/:/,$_,99); $ans = pop(@args);
67   $expected_class = $class;
68   if ($ans =~ /\^$/)
69     {
70     $expected_class = $ECL; $ans =~ s/\^$//;
71     }
72   $try = "\$x = $class->new(\"$args[0]\");";
73   if ($f eq "bnorm")
74     {
75     $try = "\$x = $class->bnorm(\"$args[0]\");";
76   # some is_xxx tests
77    } elsif ($f =~ /^is_(zero|one|odd|even|negative|positive|nan|int)$/) {
78     $try .= "\$x->$f();";
79    } elsif ($f eq "as_hex") {
80     $try .= '$x->as_hex();';
81    } elsif ($f eq "as_bin") {
82     $try .= '$x->as_bin();';
83    } elsif ($f eq "is_inf") {
84     $try .= "\$x->is_inf('$args[1]');";
85    } elsif ($f eq "binf") {
86     $try .= "\$x->binf('$args[1]');";
87    } elsif ($f eq "bone") {
88     $try .= "\$x->bone('$args[1]');";
89    # some unary ops
90    } elsif ($f =~ /^b(nan|floor|ceil|int|sstr|neg|abs|inc|dec|not|sqrt|fac)$/) {
91     $try .= "\$x->$f();";
92    } elsif ($f eq "length") {
93     $try .= '$x->length();';
94    } elsif ($f eq "exponent"){
95     # ->bstr() to see if an object is returned
96     $try .= '$x = $x->exponent()->bstr();';
97    } elsif ($f eq "mantissa"){
98     # ->bstr() to see if an object is returned
99     $try .= '$x = $x->mantissa()->bstr();';
100    } elsif ($f eq "parts"){
101     $try .= '($m,$e) = $x->parts();'; 
102     # ->bstr() to see if an object is returned
103     $try .= '$m = $m->bstr(); $m = "NaN" if !defined $m;';
104     $try .= '$e = $e->bstr(); $e = "NaN" if !defined $e;';
105     $try .= '"$m,$e";';
106    } else {
107     if ($args[1] !~ /\./)
108       {
109       $try .= "\$y = $class->new(\"$args[1]\");";       # BigInt
110       }
111     else
112       {
113       $try .= "\$y = $ECL->new(\"$args[1]\");";         # BigFloat
114       }
115     if ($f eq "bcmp")
116       {
117       $try .= '$x->bcmp($y);';
118       } elsif ($f eq "bround") {
119       $try .= "$round_mode; \$x->bround(\$y);";
120       } elsif ($f eq "broot") {
121       $try .= "\$x->broot(\$y);";
122       } elsif ($f eq "bacmp"){
123       $try .= '$x->bacmp($y);';
124       } elsif ($f eq "badd"){
125       $try .= '$x + $y;';
126       } elsif ($f eq "bsub"){
127       $try .= '$x - $y;';
128       } elsif ($f eq "bmul"){
129       $try .= '$x * $y;';
130       } elsif ($f eq "bdiv"){
131       $try .= '$x / $y;';
132       } elsif ($f eq "bdiv-list"){
133       $try .= 'join (",",$x->bdiv($y));';
134       # overload via x=
135       } elsif ($f =~ /^.=$/){
136       $try .= "\$x $f \$y;";
137       # overload via x
138       } elsif ($f =~ /^.$/){
139       $try .= "\$x $f \$y;";
140       } elsif ($f eq "bmod"){
141       $try .= '$x % $y;';
142       } elsif ($f eq "bgcd")
143         {
144         if (defined $args[2])
145           {
146           $try .= " \$z = $class->new('$args[2]'); ";
147           }
148         $try .= "$class\::bgcd(\$x, \$y";
149         $try .= ", \$z" if (defined $args[2]);
150         $try .= " );";
151         }
152       elsif ($f eq "blcm")
153         {
154         if (defined $args[2])
155           {
156           $try .= " \$z = $class->new('$args[2]'); ";
157           }
158         $try .= "$class\::blcm(\$x, \$y";
159         $try .= ", \$z" if (defined $args[2]);
160         $try .= " );";
161       }elsif ($f eq "blsft"){
162         if (defined $args[2])
163           {
164           $try .= "\$x->blsft(\$y,$args[2]);";
165           }
166         else
167           {
168           $try .= "\$x << \$y;";
169           }
170       }elsif ($f eq "brsft"){
171         if (defined $args[2])
172           {
173           $try .= "\$x->brsft(\$y,$args[2]);";
174           }
175         else
176           {
177           $try .= "\$x >> \$y;";
178           }
179       }elsif ($f eq "band"){
180         $try .= "\$x & \$y;";
181       }elsif ($f eq "bior"){
182         $try .= "\$x | \$y;";
183       }elsif ($f eq "bxor"){
184         $try .= "\$x ^ \$y;";
185       }elsif ($f eq "bpow"){
186         $try .= "\$x ** \$y;";
187       }elsif ($f eq "digit"){
188         $try = "\$x = $class->new('$args[0]'); \$x->digit($args[1]);";
189       } else { warn "Unknown op '$f'"; }
190     } # end else all other ops
191
192   $ans1 = eval $try;
193   # convert hex/binary targets to decimal       
194   if ($ans =~ /^(0x0x|0b0b)/)
195     {
196     $ans =~ s/^0[xb]//; $ans = Math::BigInt->new($ans)->bstr();
197     }
198   if ($ans eq "")
199     {
200       is ($ans1, undef);
201     }
202   else
203     {
204     # print "try: $try ans: $ans1 $ans\n";
205     print "# Tried: '$try'\n" if !is ($ans1, $ans);
206     if ($expected_class ne $class)
207       {
208       is (ref($ans1),$expected_class);  # also checks that it really is ref!
209       is ($Math::BigInt::upgrade,'Math::BigFloat');     # still okay?
210       }
211     }
212   # check internal state of number objects
213   is_valid($ans1,$f) if ref $ans1; 
214   } # endwhile data tests
215 close DATA;
216
217 my $warn = ''; $SIG{__WARN__} = sub { $warn = shift; };
218
219 # these should not warn
220 $warn = ''; eval "\$z = 3.17 <= \$y"; is ($z, 1); is ($warn, '');
221 $warn = ''; eval "\$z = \$y >= 3.17"; is ($z, 1); is ($warn, '');
222
223 # all tests done
224
225 1;
226
227 ###############################################################################
228 # sub to check validity of a BigInt internally, to ensure that no op leaves a
229 # number object in an invalid state (f.i. "-0")
230
231 sub is_valid
232   {
233   my ($x,$f,$c) = @_;
234
235   # The checks here are loosened a bit to allow BigInt or BigFloats to pass
236
237   my $e = 0;                    # error?
238   # ok as reference? 
239   # $e = "Not a reference to $c" if (ref($x) || '') ne $c;
240
241   # has ok sign?
242   $e = "Illegal sign $x->{sign} (expected: '+', '-', '-inf', '+inf' or 'NaN'"
243    if $e eq '0' && $x->{sign} !~ /^(\+|-|\+inf|-inf|NaN)$/;
244
245   $e = "-0 is invalid!" if $e ne '0' && $x->{sign} eq '-' && $x == 0;
246   #$e = $CALC->_check($x->{value}) if $e eq '0';
247
248   # test done, see if error did crop up
249   is (1,1), return if ($e eq '0');
250
251   is (1,$e." after op '$f'");
252   }
253
254 __DATA__
255 &.=
256 1234:-345:1234-345
257 &+=
258 1:2:3
259 -1:-2:-3
260 &-=
261 1:2:-1
262 -1:-2:1
263 &*=
264 2:3:6
265 -1:5:-5
266 &%=
267 100:3:1
268 8:9:8
269 &/=
270 100:3:33.33333333333333333333333333333333333333
271 -8:2:-4
272 &|=
273 2:1:3
274 &&=
275 5:7:5
276 &^=
277 5:7:2
278 &is_negative
279 0:0
280 -1:1
281 1:0
282 +inf:0
283 -inf:1
284 NaNneg:0
285 &is_positive
286 0:0
287 -1:0
288 1:1
289 +inf:1
290 -inf:0
291 NaNneg:0
292 &is_odd
293 abc:0
294 0:0
295 1:1
296 3:1
297 -1:1
298 -3:1
299 10000001:1
300 10000002:0
301 2:0
302 120:0
303 121:1
304 &is_int
305 NaN:0
306 inf:0
307 -inf:0
308 1:1
309 12:1
310 123e12:1
311 &is_even
312 abc:0
313 0:1
314 1:0
315 3:0
316 -1:0
317 -3:0
318 10000001:0
319 10000002:1
320 2:1
321 120:1
322 121:0
323 &bacmp
324 +0:-0:0
325 +0:+1:-1
326 -1:+1:0
327 +1:-1:0
328 -1:+2:-1
329 +2:-1:1
330 -123456789:+987654321:-1
331 +123456789:-987654321:-1
332 +987654321:+123456789:1
333 -987654321:+123456789:1
334 -123:+4567889:-1
335 # NaNs
336 acmpNaN:123:
337 123:acmpNaN:
338 acmpNaN:acmpNaN:
339 # infinity
340 +inf:+inf:0
341 -inf:-inf:0
342 +inf:-inf:0
343 -inf:+inf:0
344 +inf:123:1
345 -inf:123:1
346 +inf:-123:1
347 -inf:-123:1
348 # return undef
349 +inf:NaN:
350 NaN:inf:
351 -inf:NaN:
352 NaN:-inf:
353 &bnorm
354 123:123
355 12.3:12.3^
356 # binary input
357 0babc:NaN
358 0b123:NaN
359 0b0:0
360 -0b0:0
361 -0b1:-1
362 0b0001:1
363 0b001:1
364 0b011:3
365 0b101:5
366 0b1001:9
367 0b10001:17
368 0b100001:33
369 0b1000001:65
370 0b10000001:129
371 0b100000001:257
372 0b1000000001:513
373 0b10000000001:1025
374 0b100000000001:2049
375 0b1000000000001:4097
376 0b10000000000001:8193
377 0b100000000000001:16385
378 0b1000000000000001:32769
379 0b10000000000000001:65537
380 0b100000000000000001:131073
381 0b1000000000000000001:262145
382 0b10000000000000000001:524289
383 0b100000000000000000001:1048577
384 0b1000000000000000000001:2097153
385 0b10000000000000000000001:4194305
386 0b100000000000000000000001:8388609
387 0b1000000000000000000000001:16777217
388 0b10000000000000000000000001:33554433
389 0b100000000000000000000000001:67108865
390 0b1000000000000000000000000001:134217729
391 0b10000000000000000000000000001:268435457
392 0b100000000000000000000000000001:536870913
393 0b1000000000000000000000000000001:1073741825
394 0b10000000000000000000000000000001:2147483649
395 0b100000000000000000000000000000001:4294967297
396 0b1000000000000000000000000000000001:8589934593
397 0b10000000000000000000000000000000001:17179869185
398 0b__101:NaN
399 0b1_0_1:5
400 0b0_0_0_1:1
401 # hex input
402 -0x0:0
403 0xabcdefgh:NaN
404 0x1234:4660
405 0xabcdef:11259375
406 -0xABCDEF:-11259375
407 -0x1234:-4660
408 0x12345678:305419896
409 0x1_2_3_4_56_78:305419896
410 0xa_b_c_d_e_f:11259375
411 0x__123:NaN
412 0x9:9
413 0x11:17
414 0x21:33
415 0x41:65
416 0x81:129
417 0x101:257
418 0x201:513
419 0x401:1025
420 0x801:2049
421 0x1001:4097
422 0x2001:8193
423 0x4001:16385
424 0x8001:32769
425 0x10001:65537
426 0x20001:131073
427 0x40001:262145
428 0x80001:524289
429 0x100001:1048577
430 0x200001:2097153
431 0x400001:4194305
432 0x800001:8388609
433 0x1000001:16777217
434 0x2000001:33554433
435 0x4000001:67108865
436 0x8000001:134217729
437 0x10000001:268435457
438 0x20000001:536870913
439 0x40000001:1073741825
440 0x80000001:2147483649
441 0x100000001:4294967297
442 0x200000001:8589934593
443 0x400000001:17179869185
444 0x800000001:34359738369
445 # inf input
446 inf:inf
447 +inf:inf
448 -inf:-inf
449 0inf:NaN
450 # abnormal input
451 :NaN
452 abc:NaN
453    1 a:NaN
454 1bcd2:NaN
455 11111b:NaN
456 +1z:NaN
457 -1z:NaN
458 # only one underscore between two digits
459 _123:NaN
460 _123_:NaN
461 123_:NaN
462 1__23:NaN
463 1E1__2:NaN
464 1_E12:NaN
465 1E_12:NaN
466 1_E_12:NaN
467 +_1E12:NaN
468 +0_1E2:100
469 +0_0_1E2:100
470 -0_0_1E2:-100
471 -0_0_1E+0_0_2:-100
472 E1:NaN
473 E23:NaN
474 1.23E1:12.3^
475 1.23E-1:0.123^
476 # bug with two E's in number being valid
477 1e2e3:NaN
478 1e2r:NaN
479 1e2.0:NaN
480 # leading zeros
481 012:12
482 0123:123
483 01234:1234
484 012345:12345
485 0123456:123456
486 01234567:1234567
487 012345678:12345678
488 0123456789:123456789
489 01234567891:1234567891
490 012345678912:12345678912
491 0123456789123:123456789123
492 01234567891234:1234567891234
493 # normal input
494 0:0
495 +0:0
496 +00:0
497 +000:0
498 000000000000000000:0
499 -0:0
500 -0000:0
501 +1:1
502 +01:1
503 +001:1
504 +00000100000:100000
505 123456789:123456789
506 -1:-1
507 -01:-1
508 -001:-1
509 -123456789:-123456789
510 -00000100000:-100000
511 1_2_3:123
512 10000000000E-1_0:1
513 1E2:100
514 1E1:10
515 1E0:1
516 1.23E2:123
517 100E-1:10
518 # floating point input
519 # .2e2:20
520 1.E3:1000
521 1.01E2:101
522 1010E-1:101
523 -1010E0:-1010
524 -1010E1:-10100
525 1234.00:1234
526 # non-integer numbers
527 -1010E-2:-10.1^
528 -1.01E+1:-10.1^
529 -1.01E-1:-0.101^
530 &bnan
531 1:NaN
532 2:NaN
533 abc:NaN
534 &bone
535 2:+:1
536 2:-:-1
537 boneNaN:-:-1
538 boneNaN:+:1
539 2:abc:1
540 3::1
541 &binf
542 1:+:inf
543 2:-:-inf
544 3:abc:inf
545 &is_nan
546 123:0
547 abc:1
548 NaN:1
549 -123:0
550 &is_inf
551 +inf::1
552 -inf::1
553 abc::0
554 1::0
555 NaN::0
556 -1::0
557 +inf:-:0
558 +inf:+:1
559 -inf:-:1
560 -inf:+:0
561 # it must be exactly /^[+-]inf$/
562 +infinity::0
563 -infinity::0
564 &blsft
565 abc:abc:NaN
566 +2:+2:8
567 +1:+32:4294967296
568 +1:+48:281474976710656
569 +8:-2:NaN
570 # excercise base 10
571 +12345:4:10:123450000
572 -1234:0:10:-1234
573 +1234:0:10:1234
574 +2:2:10:200
575 +12:2:10:1200
576 +1234:-3:10:NaN
577 1234567890123:12:10:1234567890123000000000000
578 &brsft
579 abc:abc:NaN
580 +8:+2:2
581 +4294967296:+32:1
582 +281474976710656:+48:1
583 +2:-2:NaN
584 # exercise base 10
585 -1234:0:10:-1234
586 +1234:0:10:1234
587 +200:2:10:2
588 +1234:3:10:1
589 +1234:2:10:12
590 +1234:-3:10:NaN
591 310000:4:10:31
592 12300000:5:10:123
593 1230000000000:10:10:123
594 09876123456789067890:12:10:9876123
595 1234561234567890123:13:10:123456
596 &bsstr
597 1e+34:1e+34
598 123.456E3:123456e+0
599 100:1e+2
600 abc:NaN
601 &bneg
602 bnegNaN:NaN
603 +inf:-inf
604 -inf:inf
605 abd:NaN
606 0:0
607 1:-1
608 -1:1
609 +123456789:-123456789
610 -123456789:123456789
611 &babs
612 babsNaN:NaN
613 +inf:inf
614 -inf:inf
615 0:0
616 1:1
617 -1:1
618 +123456789:123456789
619 -123456789:123456789
620 &bcmp
621 bcmpNaN:bcmpNaN:
622 bcmpNaN:0:
623 0:bcmpNaN:
624 0:0:0
625 -1:0:-1
626 0:-1:1
627 1:0:1
628 0:1:-1
629 -1:1:-1
630 1:-1:1
631 -1:-1:0
632 1:1:0
633 123:123:0
634 123:12:1
635 12:123:-1
636 -123:-123:0
637 -123:-12:-1
638 -12:-123:1
639 123:124:-1
640 124:123:1
641 -123:-124:1
642 -124:-123:-1
643 100:5:1
644 -123456789:987654321:-1
645 +123456789:-987654321:1
646 -987654321:123456789:-1
647 -inf:5432112345:-1
648 +inf:5432112345:1
649 -inf:-5432112345:-1
650 +inf:-5432112345:1
651 +inf:+inf:0
652 -inf:-inf:0
653 +inf:-inf:1
654 -inf:+inf:-1
655 5:inf:-1
656 5:inf:-1
657 -5:-inf:1
658 -5:-inf:1
659 # return undef
660 +inf:NaN:
661 NaN:inf:
662 -inf:NaN:
663 NaN:-inf:
664 &binc
665 abc:NaN
666 +inf:inf
667 -inf:-inf
668 +0:1
669 +1:2
670 -1:0
671 &bdec
672 abc:NaN
673 +inf:inf
674 -inf:-inf
675 +0:-1
676 +1:0
677 -1:-2
678 &badd
679 abc:abc:NaN
680 abc:0:NaN
681 +0:abc:NaN
682 +inf:-inf:NaN
683 -inf:+inf:NaN
684 +inf:+inf:inf
685 -inf:-inf:-inf
686 baddNaN:+inf:NaN
687 baddNaN:+inf:NaN
688 +inf:baddNaN:NaN
689 -inf:baddNaN:NaN
690 0:0:0
691 1:0:1
692 0:1:1
693 1:1:2
694 -1:0:-1
695 0:-1:-1
696 -1:-1:-2
697 -1:+1:0
698 +1:-1:0
699 +9:+1:10
700 +99:+1:100
701 +999:+1:1000
702 +9999:+1:10000
703 +99999:+1:100000
704 +999999:+1:1000000
705 +9999999:+1:10000000
706 +99999999:+1:100000000
707 +999999999:+1:1000000000
708 +9999999999:+1:10000000000
709 +99999999999:+1:100000000000
710 +10:-1:9
711 +100:-1:99
712 +1000:-1:999
713 +10000:-1:9999
714 +100000:-1:99999
715 +1000000:-1:999999
716 +10000000:-1:9999999
717 +100000000:-1:99999999
718 +1000000000:-1:999999999
719 +10000000000:-1:9999999999
720 +123456789:987654321:1111111110
721 -123456789:987654321:864197532
722 -123456789:-987654321:-1111111110
723 +123456789:-987654321:-864197532
724 2:2.5:4.5^
725 -123:-1.5:-124.5^
726 -1.2:1:-0.2^
727 &bsub
728 abc:abc:NaN
729 abc:+0:NaN
730 +0:abc:NaN
731 +inf:-inf:inf
732 -inf:+inf:-inf
733 +inf:+inf:NaN
734 -inf:-inf:NaN
735 +0:+0:0
736 +1:+0:1
737 +0:+1:-1
738 +1:+1:0
739 -1:+0:-1
740 +0:-1:1
741 -1:-1:0
742 -1:+1:-2
743 +1:-1:2
744 +9:+1:8
745 +99:+1:98
746 +999:+1:998
747 +9999:+1:9998
748 +99999:+1:99998
749 +999999:+1:999998
750 +9999999:+1:9999998
751 +99999999:+1:99999998
752 +999999999:+1:999999998
753 +9999999999:+1:9999999998
754 +99999999999:+1:99999999998
755 +10:-1:11
756 +100:-1:101
757 +1000:-1:1001
758 +10000:-1:10001
759 +100000:-1:100001
760 +1000000:-1:1000001
761 +10000000:-1:10000001
762 +100000000:-1:100000001
763 +1000000000:-1:1000000001
764 +10000000000:-1:10000000001
765 +123456789:+987654321:-864197532
766 -123456789:+987654321:-1111111110
767 -123456789:-987654321:864197532
768 +123456789:-987654321:1111111110
769 &bmul
770 abc:abc:NaN
771 abc:+0:NaN
772 +0:abc:NaN
773 NaNmul:+inf:NaN
774 NaNmul:-inf:NaN
775 -inf:NaNmul:NaN
776 +inf:NaNmul:NaN
777 +inf:+inf:inf
778 +inf:-inf:-inf
779 -inf:+inf:-inf
780 -inf:-inf:inf
781 +0:+0:0
782 +0:+1:0
783 +1:+0:0
784 +0:-1:0
785 -1:+0:0
786 123456789123456789:0:0
787 0:123456789123456789:0
788 -1:-1:1
789 -1:+1:-1
790 +1:-1:-1
791 +1:+1:1
792 +2:+3:6
793 -2:+3:-6
794 +2:-3:-6
795 -2:-3:6
796 111:111:12321
797 10101:10101:102030201
798 1001001:1001001:1002003002001
799 100010001:100010001:10002000300020001
800 10000100001:10000100001:100002000030000200001
801 11111111111:9:99999999999
802 22222222222:9:199999999998
803 33333333333:9:299999999997
804 44444444444:9:399999999996
805 55555555555:9:499999999995
806 66666666666:9:599999999994
807 77777777777:9:699999999993
808 88888888888:9:799999999992
809 99999999999:9:899999999991
810 +25:+25:625
811 +12345:+12345:152399025
812 +99999:+11111:1111088889
813 9999:10000:99990000
814 99999:100000:9999900000
815 999999:1000000:999999000000
816 9999999:10000000:99999990000000
817 99999999:100000000:9999999900000000
818 999999999:1000000000:999999999000000000
819 9999999999:10000000000:99999999990000000000
820 99999999999:100000000000:9999999999900000000000
821 999999999999:1000000000000:999999999999000000000000
822 9999999999999:10000000000000:99999999999990000000000000
823 99999999999999:100000000000000:9999999999999900000000000000
824 999999999999999:1000000000000000:999999999999999000000000000000
825 9999999999999999:10000000000000000:99999999999999990000000000000000
826 99999999999999999:100000000000000000:9999999999999999900000000000000000
827 999999999999999999:1000000000000000000:999999999999999999000000000000000000
828 9999999999999999999:10000000000000000000:99999999999999999990000000000000000000
829 3:3.5:10.5^
830 3.5:3:10.5^
831 &bdiv-list
832 100:20:5,0
833 4095:4095:1,0
834 -4095:-4095:1,0
835 4095:-4095:-1,0
836 -4095:4095:-1,0
837 123:2:61,1
838 9:5:1,4
839 9:4:2,1
840 # inf handling and general remainder
841 5:8:0,5
842 0:8:0,0
843 11:2:5,1
844 11:-2:-5,-1
845 -11:2:-5,1
846 # see table in documentation in MBI
847 0:inf:0,0
848 0:-inf:0,0
849 5:inf:0,5
850 5:-inf:0,5
851 -5:inf:0,-5
852 -5:-inf:0,-5
853 inf:5:inf,0
854 -inf:5:-inf,0
855 inf:-5:-inf,0
856 -inf:-5:inf,0
857 5:5:1,0
858 -5:-5:1,0
859 inf:inf:NaN,NaN
860 -inf:-inf:NaN,NaN
861 -inf:inf:NaN,NaN
862 inf:-inf:NaN,NaN
863 8:0:inf,8
864 inf:0:inf,inf
865 # exceptions to remainder rule
866 -8:0:-inf,-8
867 -inf:0:-inf,-inf
868 0:0:NaN,NaN
869 &bdiv
870 abc:abc:NaN
871 abc:1:NaN
872 1:abc:NaN
873 0:0:NaN
874 # inf handling (see table in doc)
875 0:inf:0
876 0:-inf:0
877 5:inf:0
878 5:-inf:0
879 -5:inf:0
880 -5:-inf:0
881 inf:5:inf
882 -inf:5:-inf
883 inf:-5:-inf
884 -inf:-5:inf
885 5:5:1
886 -5:-5:1
887 inf:inf:NaN
888 -inf:-inf:NaN
889 -inf:inf:NaN
890 inf:-inf:NaN
891 8:0:inf
892 inf:0:inf
893 -8:0:-inf
894 -inf:0:-inf
895 0:0:NaN
896 11:2:5.5^
897 -11:-2:5.5^
898 -11:2:-5.5^
899 11:-2:-5.5^
900 0:1:0
901 0:-1:0
902 1:1:1
903 -1:-1:1
904 1:-1:-1
905 -1:1:-1
906 1:2:0.5^
907 2:1:2
908 1000000000:9:111111111.1111111111111111111111111111111^
909 2000000000:9:222222222.2222222222222222222222222222222^
910 3000000000:9:333333333.3333333333333333333333333333333^
911 4000000000:9:444444444.4444444444444444444444444444444^
912 5000000000:9:555555555.5555555555555555555555555555556^
913 6000000000:9:666666666.6666666666666666666666666666667^
914 7000000000:9:777777777.7777777777777777777777777777778^
915 8000000000:9:888888888.8888888888888888888888888888889^
916 9000000000:9:1000000000
917 35500000:113:314159.2920353982300884955752212389380531^
918 71000000:226:314159.2920353982300884955752212389380531^
919 106500000:339:314159.2920353982300884955752212389380531^
920 1000000000:3:333333333.3333333333333333333333333333333^
921 +10:+5:2
922 +100:+4:25
923 +1000:+8:125
924 +10000:+16:625
925 999999999999:9:111111111111
926 999999999999:99:10101010101
927 999999999999:999:1001001001
928 999999999999:9999:100010001
929 999999999999999:99999:10000100001
930 +1111088889:99999:11111
931 -5:-3:1.666666666666666666666666666666666666667^
932 -5:3:-1.666666666666666666666666666666666666667^
933 4:3:1.333333333333333333333333333333333333333^
934 4:-3:-1.333333333333333333333333333333333333333^
935 1:3:0.3333333333333333333333333333333333333333^
936 1:-3:-0.3333333333333333333333333333333333333333^
937 -2:-3:0.6666666666666666666666666666666666666667^
938 -2:3:-0.6666666666666666666666666666666666666667^
939 8:5:1.6^
940 -8:5:-1.6^
941 14:-3:-4.666666666666666666666666666666666666667^
942 -14:3:-4.666666666666666666666666666666666666667^
943 -14:-3:4.666666666666666666666666666666666666667^
944 14:3:4.666666666666666666666666666666666666667^
945 # bug in Calc with '99999' vs $BASE-1
946 #10000000000000000000000000000000000000000000000000000000000000000000000000000000000:10000000375084540248994272022843165711074:999999962491547381984643365663244474111576
947 12:24:0.5^
948 &bmod
949 # inf handling, see table in doc
950 0:inf:0
951 0:-inf:0
952 5:inf:5
953 5:-inf:5
954 -5:inf:-5
955 -5:-inf:-5
956 inf:5:0
957 -inf:5:0
958 inf:-5:0
959 -inf:-5:0
960 5:5:0
961 -5:-5:0
962 inf:inf:NaN
963 -inf:-inf:NaN
964 -inf:inf:NaN
965 inf:-inf:NaN
966 8:0:8
967 inf:0:inf
968 # exceptions to remainder rule
969 -inf:0:-inf
970 -8:0:-8
971 0:0:NaN
972 abc:abc:NaN
973 abc:1:abc:NaN
974 1:abc:NaN
975 0:0:NaN
976 0:1:0
977 1:0:1
978 0:-1:0
979 -1:0:-1
980 1:1:0
981 -1:-1:0
982 1:-1:0
983 -1:1:0
984 1:2:1
985 2:1:0
986 1000000000:9:1
987 2000000000:9:2
988 3000000000:9:3
989 4000000000:9:4
990 5000000000:9:5
991 6000000000:9:6
992 7000000000:9:7
993 8000000000:9:8
994 9000000000:9:0
995 35500000:113:33
996 71000000:226:66
997 106500000:339:99
998 1000000000:3:1
999 10:5:0
1000 100:4:0
1001 1000:8:0
1002 10000:16:0
1003 999999999999:9:0
1004 999999999999:99:0
1005 999999999999:999:0
1006 999999999999:9999:0
1007 999999999999999:99999:0
1008 -9:+5:1
1009 +9:-5:-1
1010 -9:-5:-4
1011 -5:3:1
1012 -2:3:1
1013 4:3:1
1014 1:3:1
1015 -5:-3:-2
1016 -2:-3:-2
1017 4:-3:-2
1018 1:-3:-2
1019 4095:4095:0
1020 100041000510123:3:0
1021 152403346:12345:4321
1022 9:5:4
1023 &bgcd
1024 abc:abc:NaN
1025 abc:+0:NaN
1026 +0:abc:NaN
1027 +0:+0:0
1028 +0:+1:1
1029 +1:+0:1
1030 +1:+1:1
1031 +2:+3:1
1032 +3:+2:1
1033 -3:+2:1
1034 100:625:25
1035 4096:81:1
1036 1034:804:2
1037 27:90:56:1
1038 27:90:54:9
1039 &blcm
1040 abc:abc:NaN
1041 abc:+0:NaN
1042 +0:abc:NaN
1043 +0:+0:NaN
1044 +1:+0:0
1045 +0:+1:0
1046 +27:+90:270
1047 +1034:+804:415668
1048 &band
1049 abc:abc:NaN
1050 abc:0:NaN
1051 0:abc:NaN
1052 1:2:0
1053 3:2:2
1054 +8:+2:0
1055 +281474976710656:0:0
1056 +281474976710656:1:0
1057 +281474976710656:+281474976710656:281474976710656
1058 -2:-3:-4
1059 -1:-1:-1
1060 -6:-6:-6
1061 -7:-4:-8
1062 -7:4:0
1063 -4:7:4
1064 # equal arguments are treated special, so also do some test with unequal ones
1065 0xFFFF:0xFFFF:0x0xFFFF
1066 0xFFFFFF:0xFFFFFF:0x0xFFFFFF
1067 0xFFFFFFFF:0xFFFFFFFF:0x0xFFFFFFFF
1068 0xFFFFFFFFFF:0xFFFFFFFFFF:0x0xFFFFFFFFFF
1069 0xFFFFFFFFFFFF:0xFFFFFFFFFFFF:0x0xFFFFFFFFFFFF
1070 0xF0F0:0xF0F0:0x0xF0F0
1071 0x0F0F:0x0F0F:0x0x0F0F
1072 0xF0F0F0:0xF0F0F0:0x0xF0F0F0
1073 0x0F0F0F:0x0F0F0F:0x0x0F0F0F
1074 0xF0F0F0F0:0xF0F0F0F0:0x0xF0F0F0F0
1075 0x0F0F0F0F:0x0F0F0F0F:0x0x0F0F0F0F
1076 0xF0F0F0F0F0:0xF0F0F0F0F0:0x0xF0F0F0F0F0
1077 0x0F0F0F0F0F:0x0F0F0F0F0F:0x0x0F0F0F0F0F
1078 0xF0F0F0F0F0F0:0xF0F0F0F0F0F0:0x0xF0F0F0F0F0F0
1079 0x0F0F0F0F0F0F:0x0F0F0F0F0F0F:0x0x0F0F0F0F0F0F
1080 0x1F0F0F0F0F0F:0x3F0F0F0F0F0F:0x0x1F0F0F0F0F0F
1081 &bior
1082 abc:abc:NaN
1083 abc:0:NaN
1084 0:abc:NaN
1085 1:2:3
1086 +8:+2:10
1087 +281474976710656:0:281474976710656
1088 +281474976710656:1:281474976710657
1089 +281474976710656:281474976710656:281474976710656
1090 -2:-3:-1
1091 -1:-1:-1
1092 -6:-6:-6
1093 -7:4:-3
1094 -4:7:-1
1095 # equal arguments are treated special, so also do some test with unequal ones
1096 0xFFFF:0xFFFF:0x0xFFFF
1097 0xFFFFFF:0xFFFFFF:0x0xFFFFFF
1098 0xFFFFFFFF:0xFFFFFFFF:0x0xFFFFFFFF
1099 0xFFFFFFFFFF:0xFFFFFFFFFF:0x0xFFFFFFFFFF
1100 0xFFFFFFFFFFFF:0xFFFFFFFFFFFF:0x0xFFFFFFFFFFFF
1101 0:0xFFFF:0x0xFFFF
1102 0:0xFFFFFF:0x0xFFFFFF
1103 0:0xFFFFFFFF:0x0xFFFFFFFF
1104 0:0xFFFFFFFFFF:0x0xFFFFFFFFFF
1105 0:0xFFFFFFFFFFFF:0x0xFFFFFFFFFFFF
1106 0xFFFF:0:0x0xFFFF
1107 0xFFFFFF:0:0x0xFFFFFF
1108 0xFFFFFFFF:0:0x0xFFFFFFFF
1109 0xFFFFFFFFFF:0:0x0xFFFFFFFFFF
1110 0xFFFFFFFFFFFF:0:0x0xFFFFFFFFFFFF
1111 0xF0F0:0xF0F0:0x0xF0F0
1112 0x0F0F:0x0F0F:0x0x0F0F
1113 0xF0F0:0x0F0F:0x0xFFFF
1114 0xF0F0F0:0xF0F0F0:0x0xF0F0F0
1115 0x0F0F0F:0x0F0F0F:0x0x0F0F0F
1116 0x0F0F0F:0xF0F0F0:0x0xFFFFFF
1117 0xF0F0F0F0:0xF0F0F0F0:0x0xF0F0F0F0
1118 0x0F0F0F0F:0x0F0F0F0F:0x0x0F0F0F0F
1119 0x0F0F0F0F:0xF0F0F0F0:0x0xFFFFFFFF
1120 0xF0F0F0F0F0:0xF0F0F0F0F0:0x0xF0F0F0F0F0
1121 0x0F0F0F0F0F:0x0F0F0F0F0F:0x0x0F0F0F0F0F
1122 0x0F0F0F0F0F:0xF0F0F0F0F0:0x0xFFFFFFFFFF
1123 0xF0F0F0F0F0F0:0xF0F0F0F0F0F0:0x0xF0F0F0F0F0F0
1124 0x0F0F0F0F0F0F:0x0F0F0F0F0F0F:0x0x0F0F0F0F0F0F
1125 0x0F0F0F0F0F0F:0xF0F0F0F0F0F0:0x0xFFFFFFFFFFFF
1126 0x1F0F0F0F0F0F:0xF0F0F0F0F0F0:0x0xFFFFFFFFFFFF
1127 &bxor
1128 abc:abc:NaN
1129 abc:0:NaN
1130 0:abc:NaN
1131 1:2:3
1132 +8:+2:10
1133 +281474976710656:0:281474976710656
1134 +281474976710656:1:281474976710657
1135 +281474976710656:281474976710656:0
1136 -2:-3:3
1137 -1:-1:0
1138 -6:-6:0
1139 -7:4:-3
1140 -4:7:-5
1141 4:-7:-3
1142 -4:-7:5
1143 # equal arguments are treated special, so also do some test with unequal ones
1144 0xFFFF:0xFFFF:0
1145 0xFFFFFF:0xFFFFFF:0
1146 0xFFFFFFFF:0xFFFFFFFF:0
1147 0xFFFFFFFFFF:0xFFFFFFFFFF:0
1148 0xFFFFFFFFFFFF:0xFFFFFFFFFFFF:0
1149 0:0xFFFF:0x0xFFFF
1150 0:0xFFFFFF:0x0xFFFFFF
1151 0:0xFFFFFFFF:0x0xFFFFFFFF
1152 0:0xFFFFFFFFFF:0x0xFFFFFFFFFF
1153 0:0xFFFFFFFFFFFF:0x0xFFFFFFFFFFFF
1154 0xFFFF:0:0x0xFFFF
1155 0xFFFFFF:0:0x0xFFFFFF
1156 0xFFFFFFFF:0:0x0xFFFFFFFF
1157 0xFFFFFFFFFF:0:0x0xFFFFFFFFFF
1158 0xFFFFFFFFFFFF:0:0x0xFFFFFFFFFFFF
1159 0xF0F0:0xF0F0:0
1160 0x0F0F:0x0F0F:0
1161 0xF0F0:0x0F0F:0x0xFFFF
1162 0xF0F0F0:0xF0F0F0:0
1163 0x0F0F0F:0x0F0F0F:0
1164 0x0F0F0F:0xF0F0F0:0x0xFFFFFF
1165 0xF0F0F0F0:0xF0F0F0F0:0
1166 0x0F0F0F0F:0x0F0F0F0F:0
1167 0x0F0F0F0F:0xF0F0F0F0:0x0xFFFFFFFF
1168 0xF0F0F0F0F0:0xF0F0F0F0F0:0
1169 0x0F0F0F0F0F:0x0F0F0F0F0F:0
1170 0x0F0F0F0F0F:0xF0F0F0F0F0:0x0xFFFFFFFFFF
1171 0xF0F0F0F0F0F0:0xF0F0F0F0F0F0:0
1172 0x0F0F0F0F0F0F:0x0F0F0F0F0F0F:0
1173 0x0F0F0F0F0F0F:0xF0F0F0F0F0F0:0x0xFFFFFFFFFFFF
1174 &bnot
1175 abc:NaN
1176 +0:-1
1177 +8:-9
1178 +281474976710656:-281474976710657
1179 -1:0
1180 -2:1
1181 -12:11
1182 &digit
1183 0:0:0
1184 12:0:2
1185 12:1:1
1186 123:0:3
1187 123:1:2
1188 123:2:1
1189 123:-1:1
1190 123:-2:2
1191 123:-3:3
1192 123456:0:6
1193 123456:1:5
1194 123456:2:4
1195 123456:3:3
1196 123456:4:2
1197 123456:5:1
1198 123456:-1:1
1199 123456:-2:2
1200 123456:-3:3
1201 100000:-3:0
1202 100000:0:0
1203 100000:1:0
1204 &mantissa
1205 abc:NaN
1206 1e4:1
1207 2e0:2
1208 123:123
1209 -1:-1
1210 -2:-2
1211 +inf:inf
1212 -inf:-inf
1213 &exponent
1214 abc:NaN
1215 1e4:4
1216 2e0:0
1217 123:0
1218 -1:0
1219 -2:0
1220 0:1
1221 +inf:inf
1222 -inf:inf
1223 &parts
1224 abc:NaN,NaN
1225 1e4:1,4
1226 2e0:2,0
1227 123:123,0
1228 -1:-1,0
1229 -2:-2,0
1230 0:0,1
1231 +inf:inf,inf
1232 -inf:-inf,inf
1233 &bfac
1234 -1:NaN
1235 NaNfac:NaN
1236 +inf:inf
1237 -inf:NaN
1238 0:1
1239 1:1
1240 2:2
1241 3:6
1242 4:24
1243 5:120
1244 6:720
1245 10:3628800
1246 11:39916800
1247 12:479001600
1248 &bpow
1249 abc:12:NaN
1250 12:abc:NaN
1251 0:0:1
1252 0:1:0
1253 0:2:0
1254 0:-1:inf
1255 0:-2:inf
1256 1:0:1
1257 1:1:1
1258 1:2:1
1259 1:3:1
1260 1:-1:1
1261 1:-2:1
1262 1:-3:1
1263 2:0:1
1264 2:1:2
1265 2:2:4
1266 2:3:8
1267 3:3:27
1268 2:-1:0.5^
1269 -2:-1:-0.5^
1270 2:-2:0.25^
1271 # Y is even => result positive
1272 -2:-2:0.25^
1273 # Y is odd => result negative
1274 -2:-3:-0.125^
1275 +inf:1234500012:inf
1276 -inf:1234500012:inf
1277 -inf:1234500013:-inf
1278 +inf:-12345000123:inf
1279 -inf:-12345000123:-inf
1280 # 1 ** -x => 1 / (1 ** x)
1281 -1:0:1
1282 -2:0:1
1283 -1:1:-1
1284 -1:2:1
1285 -1:3:-1
1286 -1:4:1
1287 -1:5:-1
1288 -1:-1:-1
1289 -1:-2:1
1290 -1:-3:-1
1291 -1:-4:1
1292 -2:2:4
1293 -2:3:-8
1294 -2:4:16
1295 -2:5:-32
1296 -3:2:9
1297 -3:3:-27
1298 -3:4:81
1299 -3:5:-243
1300 10:2:100
1301 10:3:1000
1302 10:4:10000
1303 10:5:100000
1304 10:6:1000000
1305 10:7:10000000
1306 10:8:100000000
1307 10:9:1000000000
1308 10:20:100000000000000000000
1309 123456:2:15241383936
1310 #2:0.5:1.41^
1311 &length
1312 100:3
1313 10:2
1314 1:1
1315 0:1
1316 12345:5
1317 10000000000000000:17
1318 -123:3
1319 215960156869840440586892398248:30
1320 # broot always upgrades
1321 &broot
1322 144:2:12^
1323 123:2:11.09053650640941716205160010260993291846^
1324 # bsqrt always upgrades
1325 &bsqrt
1326 145:12.04159457879229548012824103037860805243^
1327 144:12^
1328 143:11.95826074310139802112984075619561661399^
1329 16:4
1330 170:13.03840481040529742916594311485836883306^
1331 169:13
1332 168:12.96148139681572046193193487217599331541^
1333 4:2
1334 3:1.732050807568877293527446341505872366943^
1335 2:1.41421356237309504880168872420969807857^
1336 9:3
1337 12:3.464101615137754587054892683011744733886^
1338 256:16
1339 100000000:10000
1340 4000000000000:2000000
1341 152399026:12345.00004050222755607815159966235881398^
1342 152399025:12345
1343 152399024:12344.99995949777231103967404745303741942^
1344 1:1
1345 0:0
1346 -2:NaN
1347 -123:NaN
1348 Nan:NaN
1349 +inf:inf
1350 -inf:NaN
1351 &bround
1352 $round_mode('trunc')
1353 0:12:0
1354 NaNbround:12:NaN
1355 +inf:12:inf
1356 -inf:12:-inf
1357 1234:0:1234
1358 1234:2:1200
1359 123456:4:123400
1360 123456:5:123450
1361 123456:6:123456
1362 +10123456789:5:10123000000
1363 -10123456789:5:-10123000000
1364 +10123456789:9:10123456700
1365 -10123456789:9:-10123456700
1366 +101234500:6:101234000
1367 -101234500:6:-101234000
1368 #+101234500:-4:101234000
1369 #-101234500:-4:-101234000
1370 $round_mode('zero')
1371 +20123456789:5:20123000000
1372 -20123456789:5:-20123000000
1373 +20123456789:9:20123456800
1374 -20123456789:9:-20123456800
1375 +201234500:6:201234000
1376 -201234500:6:-201234000
1377 #+201234500:-4:201234000
1378 #-201234500:-4:-201234000
1379 +12345000:4:12340000
1380 -12345000:4:-12340000
1381 $round_mode('+inf')
1382 +30123456789:5:30123000000
1383 -30123456789:5:-30123000000
1384 +30123456789:9:30123456800
1385 -30123456789:9:-30123456800
1386 +301234500:6:301235000
1387 -301234500:6:-301234000
1388 #+301234500:-4:301235000
1389 #-301234500:-4:-301234000
1390 +12345000:4:12350000
1391 -12345000:4:-12340000
1392 $round_mode('-inf')
1393 +40123456789:5:40123000000
1394 -40123456789:5:-40123000000
1395 +40123456789:9:40123456800
1396 -40123456789:9:-40123456800
1397 +401234500:6:401234000
1398 +401234500:6:401234000
1399 #-401234500:-4:-401235000
1400 #-401234500:-4:-401235000
1401 +12345000:4:12340000
1402 -12345000:4:-12350000
1403 $round_mode('odd')
1404 +50123456789:5:50123000000
1405 -50123456789:5:-50123000000
1406 +50123456789:9:50123456800
1407 -50123456789:9:-50123456800
1408 +501234500:6:501235000
1409 -501234500:6:-501235000
1410 #+501234500:-4:501235000
1411 #-501234500:-4:-501235000
1412 +12345000:4:12350000
1413 -12345000:4:-12350000
1414 $round_mode('even')
1415 +60123456789:5:60123000000
1416 -60123456789:5:-60123000000
1417 +60123456789:9:60123456800
1418 -60123456789:9:-60123456800
1419 +601234500:6:601234000
1420 -601234500:6:-601234000
1421 #+601234500:-4:601234000
1422 #-601234500:-4:-601234000
1423 #-601234500:-9:0
1424 #-501234500:-9:0
1425 #-601234500:-8:0
1426 #-501234500:-8:0
1427 +1234567:7:1234567
1428 +1234567:6:1234570
1429 +12345000:4:12340000
1430 -12345000:4:-12340000
1431 &is_zero
1432 0:1
1433 NaNzero:0
1434 +inf:0
1435 -inf:0
1436 123:0
1437 -1:0
1438 1:0
1439 &is_one
1440 0:0
1441 NaNone:0
1442 +inf:0
1443 -inf:0
1444 1:1
1445 2:0
1446 -1:0
1447 -2:0
1448 # floor and ceil are pretty pointless in integer space, but play safe
1449 &bfloor
1450 0:0
1451 NaNfloor:NaN
1452 +inf:inf
1453 -inf:-inf
1454 -1:-1
1455 -2:-2
1456 2:2
1457 3:3
1458 abc:NaN
1459 &bceil
1460 NaNceil:NaN
1461 +inf:inf
1462 -inf:-inf
1463 0:0
1464 -1:-1
1465 -2:-2
1466 2:2
1467 3:3
1468 abc:NaN
1469 &bint
1470 NaN:NaN
1471 +inf:inf
1472 -inf:-inf
1473 0:0
1474 -1:-1
1475 -2:-2
1476 2:2
1477 3:3
1478 &as_hex
1479 128:0x80
1480 -128:-0x80
1481 0:0x0
1482 -0:0x0
1483 1:0x1
1484 0x123456789123456789:0x123456789123456789
1485 +inf:inf
1486 -inf:-inf
1487 NaNas_hex:NaN
1488 &as_bin
1489 128:0b10000000
1490 -128:-0b10000000
1491 0:0b0
1492 -0:0b0
1493 1:0b1
1494 0b1010111101010101010110110110110110101:0b1010111101010101010110110110110110101
1495 +inf:inf
1496 -inf:-inf
1497 NaNas_bin:NaN