[perl5.git] / cpan / Math-BigRat / t / bigratpm.inc

#include this file into another test for subclass testing...

ok ($class->config()->{lib},$CL);

$setup = '';

while (<DATA>)
  {
  chomp;
  $_ =~ s/#.*$//;	# remove comments
  $_ =~ s/\s+$//;	# trailing spaces
  next if /^$/;		# skip empty lines & comments
  if (s/^&//)
    {
    $f = $_;
    }
  elsif (/^\$/)
    {
    $setup = $_; $setup =~ s/\$/\$${class}::/g;	# round_mode, div_scale
    #print "\$setup== $setup\n";
    }
  else
    {
    if (m|^(.*?):(/.+)$|)
      {
      $ans = $2;
      @args = split(/:/,$1,99);
      }
    else
      {
      @args = split(/:/,$_,99); $ans = pop(@args);
      }
    $try = "\$x = new $class \"$args[0]\";";
    if ($f eq "bnorm")
      {
        $try .= "\$x;";
      } elsif ($f eq "finf") {
        my $a = $args[1] || '';
        $try .= "\$x->binf('$a');";
      } elsif ($f eq "is_inf") {
        $try .= "\$x->is_inf('$args[1]');"; 
      } elsif ($f eq "fone") {
        $try .= "\$x->bone('$args[1]');";
      } elsif ($f eq "fstr") {
        $try .= "\$x->accuracy($args[1]); \$x->precision($args[2]);";
        $try .= '$x->bstr();';
      } elsif ($f eq "parts") {
        # ->bstr() to see if an object is returned
        $try .= '($a,$b) = $x->parts(); $a = $a->bstr(); $b = $b->bstr();';
        $try .= '"$a $b";';
      } elsif ($f eq "numerator") {
        # ->bstr() to see if an object is returned
        $try .= '$x->numerator()->bstr();';
      } elsif ($f eq "denominator") {
        # ->bstr() to see if an object is returned
        $try .= '$x->denominator()->bstr();';
      } elsif ($f =~ /^(length|numify)$/) {
        $try .= "\$x->$f();";
      # some unary ops (can't test the fxxx form, since no AUTOLOAD in BigRat)
      } elsif ($f =~ /^f(nan|sstr|neg|floor|ceil|abs)$/) {
        $try .= "\$x->b$1();";
      # some is_xxx test function	
      } elsif ($f =~ /^is_(zero|one|pos|neg|negative|positive|odd|even|nan|int)\z/) {
        $try .= "\$x->$f();";
      } elsif ($f =~ /^(as_number|as_int)\z/){
        $try .= "\$x->$1();";
      } elsif ($f eq "finc") {
        $try .= '++$x;';
      } elsif ($f eq "fdec") {
        $try .= '--$x;';
      } elsif ($f eq "digit") {
        $try .= "\$x->digit($args[1]);";
      } elsif ($f eq "fround") {
        $try .= "$setup; \$x->bround($args[1]);";
      } elsif ($f eq "ffround") {
        $try .= "$setup; \$x->bfround($args[1]);";
      } elsif ($f eq "fsqrt") {
        $try .= "$setup; \$x->bsqrt();";
      } elsif ($f eq "flog") {
        $try .= "$setup; \$x->blog();";
      } elsif ($f eq "ffac") {
        $try .= "$setup; \$x->bfac();";
      }
    else
      {
      $try .= "\$y = new $class \"$args[1]\";";
      if ($f eq "bcmp") {
        $try .= '$x <=> $y;';
      } elsif ($f eq "bacmp") {
        $try .= '$x->bacmp($y);';
      } elsif ($f eq "bpow") {
        $try .= '$x ** $y;';
      } elsif ($f eq "fpow") {
        $try .= '$x->bpow($y);';
      } elsif ($f eq "badd") {
        $try .= '$x + $y;';
      } elsif ($f eq "bsub") {
        $try .= '$x - $y;';
      } elsif ($f eq "bmul") {
        $try .= '$x * $y;';
      } elsif ($f eq "bdiv") {
        $try .= "$setup; \$x / \$y;";
      } elsif ($f eq "fdiv-list") {
        $try .= "$setup; join(',',\$x->bdiv(\$y));";
      } elsif ($f eq "brsft") {
        $try .= '$x >> $y;';
      } elsif ($f eq "blsft") {
        $try .= '$x << $y;';
      } elsif ($f eq "bmod") {
        $try .= '$x % $y;';
      } elsif( $f eq "bmodinv") {
       $try .= "\$x->bmodinv(\$y);";
      } elsif( $f eq "blog") {
       $try .= "\$x->blog(\$y);";
      } else {
        $try .= "\$z = $class->new(\"$args[2]\");";

        # Functions with three arguments
        if( $f eq "bmodpow") {
          $try .= "\$x->bmodpow(\$y,\$z);";
        } else { warn "Unknown op '$f'"; }
      }
    }
    # print "# Trying: '$try'\n";
    $ans1 = eval $try;
    if ($ans =~ m|^/(.*)$|)
      {
      my $pat = $1;
      if ($ans1 =~ /$pat/)
        {
        ok (1,1);
        }
      else
        {
        print "# '$try' expected: /$pat/ got: '$ans1'\n" if !ok(1,0);
        }
      }
    else
      {
      if ($ans eq "")
        {
        ok_undef ($ans1);
        }
      else
        {
        print "# Tried: '$try'\n" if !ok ($ans1, $ans);
#        if (ref($ans1) eq "$class")
#	  {
#	  # float numbers are normalized (for now), so mantissa shouldn't have
#	  # trailing zeros
#	  #print $ans1->_trailing_zeros(),"\n";
#          print "# Has trailing zeros after '$try'\n"
#	   if !ok ($ans1->{_m}->_trailing_zeros(), 0);
#	  }
        }
      } # end pattern or string
    }
  } # end while

# check whether $class->new( Math::BigInt->new()) destroys it 
# ($y == 12 in this case)
$x = Math::BigInt->new(1200); $y = $class->new($x);
ok ($y,1200); ok ($x,1200);

###############################################################################
# zero,inf,one,nan

$x = $class->new(2); $x->bzero(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
$x = $class->new(2); $x->binf();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
$x = $class->new(2); $x->bone();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
$x = $class->new(2); $x->bnan();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
        
1; # all done

###############################################################################
# Perl 5.005 does not like ok ($x,undef)

sub ok_undef
  {
  my $x = shift;

  ok (1,1) and return if !defined $x;
  ok ($x,'undef');
  }

__DATA__
&digit
123:2:1
1234:0:4
1234:1:3
1234:2:2
1234:3:1
1234:-1:1
1234:-2:2
1234:-3:3
1234:-4:4
0:0:0
0:1:0
&bmodinv
# format: number:modulus:result
# bmodinv Data errors
abc:abc:NaN
abc:5:NaN
5:abc:NaN
# bmodinv Expected Results from normal use
1:5:1
3:5:2
-2:5:2
8:5033:4404
1234567891:13:6
-1234567891:13:7
324958749843759385732954874325984357439658735983745:2348249874968739:1741662881064902
## bmodinv Error cases / useless use of function
3:-5:NaN
inf:5:NaN
5:inf:NaN
-inf:5:NaN
5:-inf:NaN
&as_number
144/7:20
12/1:12
-12/1:-12
-12/3:-4
NaN:NaN
+inf:inf
-inf:-inf
&as_int
144/7:20
12/1:12
-12/1:-12
-12/3:-4
NaN:NaN
+inf:inf
-inf:-inf
&bmodpow
# format: number:exponent:modulus:result
# bmodpow Data errors
abc:abc:abc:NaN
5:abc:abc:NaN
abc:5:abc:NaN
abc:abc:5:NaN
5:5:abc:NaN
5:abc:5:NaN
abc:5:5:NaN
# bmodpow Expected results
0:0:2:1
1:0:2:1
0:0:1:0
8:7:5032:3840
8:-1:5033:4404
98436739867439843769485798542749827593285729587325:43698764986460981048259837659386739857456983759328457:6943857329857295827698367:3104744730915914415259518
# bmodpow Error cases
8:8:-5:NaN
8:-1:16:NaN
inf:5:13:NaN
5:inf:13:NaN
&bmod
NaN:1:NaN
1:NaN:NaN
1:1:0
2:2:0
12:6:0
7/4:4/14:1/28
7/4:4/16:0
-7/4:4/16:0
-7/4:-4/16:0
7/4:-4/16:0
7/4:4/32:0
-7/4:4/32:0
-7/4:-4/32:0
7/4:-4/32:0
7/4:4/28:1/28
-7/4:4/28:-1/28
7/4:-4/28:1/28
-7/4:-4/28:-1/28
&fsqrt
1:1
0:0
NaN:NaN
+inf:inf
-inf:NaN
144:12
# sqrt(144) / sqrt(4) = 12/2 = 6/1
144/4:6
25/16:5/4
-3:NaN
&flog
NaN:NaN
0:NaN
-2:NaN
&blog
NaN:NaN:NaN
0:NaN:NaN
NaN:0:NaN
NaN:1:NaN
1:NaN:NaN
0:2:NaN
0:-2:NaN
3:-2:NaN
&finf
1:+:inf
2:-:-inf
3:abc:inf
&numify
0:0
+1:1
1234:1234
3/4:0.75
5/2:2.5
3/2:1.5
5/4:1.25
NaN:NaN
+inf:inf
-inf:-inf
&fnan
abc:NaN
2:NaN
-2:NaN
0:NaN
&fone
2:+:1
-2:-:-1
-2:+:1
2:-:-1
0::1
-2::1
abc::1
2:abc:1
&fsstr
+inf:inf
-inf:-inf
abcfsstr:NaN
1:1/1
3/1:3/1
0.1:1/10
&bnorm
1:1
-0:0
bnormNaN:NaN
+inf:inf
-inf:-inf
inf/inf:NaN
5/inf:0
5/-inf:0
inf/5:inf
-inf/5:-inf
inf/-5:-inf
-inf/-5:inf
123:123
-123.4567:-1234567/10000
# invalid inputs
1__2:NaN
1E1__2:NaN
11__2E2:NaN
#1.E3:NaN
.2E-3.:NaN
#1e3e4:NaN
.2E2:20
inf:inf
+inf:inf
-inf:-inf
+infinity:NaN
+-inf:NaN
abc:NaN
   1 a:NaN
1bcd2:NaN
11111b:NaN
+1z:NaN
-1z:NaN
0:0
+0:0
+00:0
+0_0_0:0
000000_0000000_00000:0
-0:0
-0000:0
+1:1
+01:1
+001:1
+00000100000:100000
+00000800/00000010:80
-00000800/00000010:-80
+00000800/-00000010:-80
-00000800/-00000010:80
123456789:123456789
-1:-1
-01:-1
-001:-1
-123456789:-123456789
-00000100000:-100000
123.456a:NaN
123.456:15432/125
0.01:1/100
.002:1/500
+.2:1/5
-0.0003:-3/10000
-.0000000004:-1/2500000000
123456E2:12345600
123456E-2:30864/25
-123456E2:-12345600
-123456E-2:-30864/25
1e1:10
2e-11:1/50000000000
12/10:6/5
0.1/0.1:1
100/0.1:1000
0.1/10:1/100
1 / 3:1/3
1/ 3:1/3
1 /3:1/3
&fneg
fnegNaN:NaN
+inf:-inf
-inf:inf
+0:0
+1:-1
-1:1
+123456789:-123456789
-123456789:123456789
+123.456789:-123456789/1000000
-123456.789:123456789/1000
123/7:-123/7
-123/7:123/7
123/-7:123/7
&fabs
fabsNaN:NaN
+inf:inf
-inf:inf
+0:0
+1:1
-1:1
+123456789:123456789
-123456789:123456789
+123.456789:123456789/1000000
-123456.789:123456789/1000
&badd
abc:abc:NaN
abc:+0:NaN
+0:abc:NaN
+inf:-inf:NaN
-inf:+inf:NaN
+inf:+inf:inf
-inf:-inf:-inf
baddNaN:+inf:NaN
baddNaN:+inf:NaN
+inf:baddNaN:NaN
-inf:baddNaN:NaN
+0:+0:0
+1:+0:1
+0:+1:1
+1:+1:2
-1:+0:-1
+0:-1:-1
-1:-1:-2
-1:+1:0
+1:-1:0
+9:+1:10
+99:+1:100
+999:+1:1000
+9999:+1:10000
+99999:+1:100000
+999999:+1:1000000
+9999999:+1:10000000
+99999999:+1:100000000
+999999999:+1:1000000000
+9999999999:+1:10000000000
+99999999999:+1:100000000000
+10:-1:9
+100:-1:99
+1000:-1:999
+10000:-1:9999
+100000:-1:99999
+1000000:-1:999999
+10000000:-1:9999999
+100000000:-1:99999999
+1000000000:-1:999999999
+10000000000:-1:9999999999
+123456789:+987654321:1111111110
-123456789:+987654321:864197532
-123456789:-987654321:-1111111110
+123456789:-987654321:-864197532
1/3:1/3:2/3
2/3:-1/3:1/3
&bsub
abc:abc:NaN
abc:+0:NaN
+0:abc:NaN
+inf:-inf:inf
-inf:+inf:-inf
+inf:+inf:NaN
-inf:-inf:NaN
baddNaN:+inf:NaN
baddNaN:+inf:NaN
+inf:baddNaN:NaN
-inf:baddNaN:NaN
+0:+0:0
+1:+0:1
+0:+1:-1
+1:+1:0
-1:+0:-1
+0:-1:1
-1:-1:0
-1:+1:-2
+1:-1:2
+9:+1:8
+99:+1:98
+999:+1:998
+9999:+1:9998
+99999:+1:99998
+999999:+1:999998
+9999999:+1:9999998
+99999999:+1:99999998
+999999999:+1:999999998
+9999999999:+1:9999999998
+99999999999:+1:99999999998
+10:-1:11
+100:-1:101
+1000:-1:1001
+10000:-1:10001
+100000:-1:100001
+1000000:-1:1000001
+10000000:-1:10000001
+100000000:-1:100000001
+1000000000:-1:1000000001
+10000000000:-1:10000000001
+123456789:+987654321:-864197532
-123456789:+987654321:-1111111110
-123456789:-987654321:864197532
+123456789:-987654321:1111111110
2/3:1/3:1/3
7/27:3/54:11/54
-2/3:+2/3:-4/3
-2/3:-2/3:0
0:-123:123
0:123:-123
&bmul
abc:abc:NaN
abc:+0:NaN
+0:abc:NaN
+inf:NaNmul:NaN
+inf:NaNmul:NaN
NaNmul:+inf:NaN
NaNmul:-inf:NaN
+inf:+inf:inf
+inf:-inf:-inf
+inf:-inf:-inf
+inf:+inf:inf
+inf:123.34:inf
+inf:-123.34:-inf
-inf:123.34:-inf
-inf:-123.34:inf
123.34:+inf:inf
-123.34:+inf:-inf
123.34:-inf:-inf
-123.34:-inf:inf
+0:+0:0
+0:+1:0
+1:+0:0
+0:-1:0
-1:+0:0
+123456789123456789:+0:0
+0:+123456789123456789:0
-1:-1:1
-1:+1:-1
+1:-1:-1
+1:+1:1
+2:+3:6
-2:+3:-6
+2:-3:-6
-2:-3:6
+111:+111:12321
+10101:+10101:102030201
+1001001:+1001001:1002003002001
+100010001:+100010001:10002000300020001
+10000100001:+10000100001:100002000030000200001
+11111111111:+9:99999999999
+22222222222:+9:199999999998
+33333333333:+9:299999999997
+44444444444:+9:399999999996
+55555555555:+9:499999999995
+66666666666:+9:599999999994
+77777777777:+9:699999999993
+88888888888:+9:799999999992
+99999999999:+9:899999999991
6:120:720
10:10000:100000
1/4:1/3:1/12
&bdiv
$div_scale = 40; $round_mode = 'even'
abc:abc:NaN
abc:+1:abc:NaN
+1:abc:NaN
-1:abc:NaN
0:abc:NaN
+0:+0:NaN
+0:+1:0
+1:+0:inf
+3214:+0:inf
+0:-1:0
-1:+0:-inf
-3214:+0:-inf
+1:+1:1
-1:-1:1
+1:-1:-1
-1:+1:-1
+1:+2:1/2
+2:+1:2
123:+inf:0
123:-inf:0
+10:+5:2
+100:+4:25
+1000:+8:125
+10000:+16:625
+10000:-16:-625
+999999999999:+9:111111111111
+999999999999:+99:10101010101
+999999999999:+999:1001001001
+999999999999:+9999:100010001
+999999999999999:+99999:10000100001
+1000000000:+9:1000000000/9
+2000000000:+9:2000000000/9
+3000000000:+9:1000000000/3
+4000000000:+9:4000000000/9
+5000000000:+9:5000000000/9
+6000000000:+9:2000000000/3
+7000000000:+9:7000000000/9
+8000000000:+9:8000000000/9
+9000000000:+9:1000000000
+35500000:+113:35500000/113
+71000000:+226:35500000/113
+106500000:+339:35500000/113
+1000000000:+3:1000000000/3
2:25.024996000799840031993601279744051189762:1000000000000000000000000000000000000000/12512498000399920015996800639872025594881
123456:1:123456
1/4:1/3:3/4
# reset scale for further tests
$div_scale = 40
&is_nan
123:0
abc:1
NaN:1
-123:0
&is_inf
+inf::1
-inf::1
abc::0
1::0
NaN::0
-1::0
+inf:-:0
+inf:+:1
-inf:-:1
-inf:+:0
# it must be exactly /^[+-]inf$/
+infinity::0
-infinity::0
&is_odd
abc:0
0:0
-1:1
-3:1
1:1
3:1
1000001:1
1000002:0
+inf:0
-inf:0
123.45:0
-123.45:0
2:0
&is_int
NaNis_int:0
0:1
1:1
2:1
-2:1
-1:1
-inf:0
+inf:0
123.4567:0
-0.1:0
-0.002:0
1/3:0
3/1:1
&is_even
abc:0
0:1
-1:0
-3:0
1:0
3:0
1000001:0
1000002:1
2:1
+inf:0
-inf:0
123.456:0
-123.456:0
0.01:0
-0.01:0
120:1
1200:1
-1200:1
&is_pos
0:0
1:1
-1:0
-123:0
NaN:0
-inf:0
+inf:1
&is_positive
0:0
1:1
-1:0
-123:0
NaN:0
-inf:0
+inf:1
&is_neg
0:0
1:0
-1:1
-123:1
NaN:0
-inf:1
+inf:0
&is_negative
0:0
1:0
-1:1
-123:1
NaN:0
-inf:1
+inf:0
&parts
0:0 1
1:1 1
123:123 1
-123:-123 1
-1200:-1200 1
5/7:5 7
-5/7:-5 7
NaNparts:NaN NaN
+inf:inf inf
-inf:-inf inf
&length
123:3
-123:3
0:1
1:1
12345678901234567890:20
&is_zero
NaNzero:0
+inf:0
-inf:0
0:1
-1:0
1:0
0/3:1
1/3:0
-0/3:1
5/inf:1
&is_one
NaNone:0
+inf:0
-inf:0
0:0
2:0
1:1
-1:0
-2:0
1/3:0
100/100:1
0.1/0.1:1
5/inf:0
&ffloor
0:0
abc:NaN
+inf:inf
-inf:-inf
1:1
-51:-51
-51.2:-52
12.2:12
3/7:0
6/7:0
7/7:1
8/7:1
13/7:1
14/7:2
15/7:2
-3/7:-1
-6/7:-1
-7/1:-7
-8/7:-2
-13/7:-2
-14/7:-2
-15/7:-3
&fceil
0:0
abc:NaN
+inf:inf
-inf:-inf
1:1
-51:-51
-51.2:-51
12.2:13
3/7:1
6/7:1
8/7:2
13/7:2
14/7:2
15/7:3
-3/7:0
-6/7:0
-8/7:-1
-13/7:-1
-14/7:-2
-15/7:-2
&ffac
NaN:NaN
1:1
-1:NaN
&bpow
# bpow test for overload of **
2:2:4
3:3:27
&bacmp
+0:-0:0
+0:+1:-1
-1:+1:0
+1:-1:0
-1:+2:-1
+2:-1:1
-123456789:+987654321:-1
+123456789:-987654321:-1
+987654321:+123456789:1
-987654321:+123456789:1
-123:+4567889:-1
# NaNs
acmpNaN:123:
123:acmpNaN:
acmpNaN:acmpNaN:
# infinity
+inf:+inf:0
-inf:-inf:0
+inf:-inf:0
-inf:+inf:0
+inf:123:1
-inf:123:1
+inf:-123:1
-inf:-123:1
+inf:1/23:1
-inf:1/23:1
+inf:-1/23:1
-inf:-1/23:1
+inf:12/3:1
-inf:12/3:1
+inf:-12/3:1
-inf:-12/3:1
123:inf:-1
-123:inf:-1
123:-inf:-1
-123:-inf:-1
1/23:inf:-1
-1/23:inf:-1
1/23:-inf:-1
-1/23:-inf:-1
12/3:inf:-1
-12/3:inf:-1
12/3:-inf:-1
-12/3:-inf:-1
# return undef
+inf:NaN:
NaN:inf:
-inf:NaN:
NaN:-inf:
1/3:2/3:-1
2/3:1/3:1
2/3:2/3:0
&fpow
2/1:3/1:8
3/1:3/1:27
5/2:3/1:125/8
-2/1:3/1:-8
-3/1:3/1:-27
-5/2:3/1:-125/8
-2/1:4/1:16
-3/1:4/1:81
-5/2:4/1:625/16
-5/2:-4/1:16/625
1/5:-3:125
-1/5:-3:-125
&numerator
NaN:NaN
inf:inf
-inf:-inf
3/7:3
-3/7:-3
0:0
1:1
5/-3:-5
&denominator
NaN:NaN
inf:1
-inf:1
3/7:7
0:1
1/1:1
-1/1:1
-3/7:7
4/-5:5
&finc
3/2:5/2
-15/6:-3/2
NaN:NaN
-1/3:2/3
-2/7:5/7
&fdec
15/6:3/2
-3/2:-5/2
1/3:-2/3
2/7:-5/7
NaN:NaN
Commit	Line	Data
184f15d5 JH	1	#include this file into another test for subclass testing...
	2
	3	ok ($class->config()->{lib},$CL);
	4
990fb837 RGS	5	$setup = '';
990fb837 RGS	6
184f15d5 JH	7	while (<DATA>)
184f15d5 JH	8	{
a4e2b1c6	9	chomp;
184f15d5 JH	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 RGS	38	my $a = $args[1] \|\| '';
990fb837 RGS	39	$try .= "\$x->binf('$a');";
184f15d5 JH	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 T	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 JH	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 T	65	} elsif ($f =~ /^(as_number\|as_int)\z/){
b68b7ab1 T	66	$try .= "\$x->$1();";
184f15d5 JH	67	} elsif ($f eq "finc") {
	68	$try .= '++$x;';
	69	} elsif ($f eq "fdec") {
	70	$try .= '--$x;';
12fc2493 AMS	71	} elsif ($f eq "digit") {
	72	$try .= "\$x->digit($args[1]);";
	73	} elsif ($f eq "fround") {
184f15d5 JH	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 JH	90	$try .= '$x->bacmp($y);';
	91	} elsif ($f eq "bpow") {
	92	$try .= '$x ** $y;';
a4e2b1c6 JH	93	} elsif ($f eq "fpow") {
a4e2b1c6 JH	94	$try .= '$x->bpow($y);';
184f15d5 JH	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 T	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 JH	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 AMS	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 T	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 RGS	219	&as_number
990fb837 RGS	220	144/7:20
b68b7ab1 T	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 RGS	232	NaN:NaN
	233	+inf:inf
	234	-inf:-inf
7afd7a91 T	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 RGS	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 T	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 JH	300	&finf
	301	1:+:inf
	302	2:-:-inf
	303	3:abc:inf
990fb837	304	&numify
93c87d9d T	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 T	313	+inf:inf
93c87d9d T	314	-inf:-inf
184f15d5 JH	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 T	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 JH	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 AMS	381	+00000800/00000010:80
	382	-00000800/00000010:-80
	383	+00000800/-00000010:-80
	384	-00000800/-00000010:80
184f15d5 JH	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 T	422	123/7:-123/7
	423	-123/7:123/7
	424	123/-7:123/7
184f15d5 JH	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 T	534	0:-123:123
7afd7a91 T	535	0:123:-123
184f15d5 JH	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 T	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 JH	714	1:1
	715	-1:0
	716	-123:0
	717	NaN:0
	718	-inf:0
	719	+inf:1
b68b7ab1 T	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 JH	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 JH	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 AMS	747	&length
	748	123:3
	749	-123:3
	750	0:1
	751	1:1
	752	12345678901234567890:20
184f15d5 JH	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 T	762	-0/3:1
7afd7a91 T	763	5/inf:1
184f15d5 JH	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 JH	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 JH	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 JH	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 JH	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 T	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 JH	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 JH	904	&denominator
a4e2b1c6 JH	905	NaN:NaN
12fc2493 AMS	906	inf:1
12fc2493 AMS	907	-inf:1
a4e2b1c6 JH	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 JH	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