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

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

is ($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;
      like ($ans1, qr/$pat/);
      }
    else
      {
      if ($ans eq "")
        {
        is ($ans1, undef);
        }
      else
        {
	is ($ans1, $ans) or diag("Tried: '$try'");
#        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 !is ($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);
is ($y,1200); is ($x,1200);

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

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