lib/Math/BigInt/t/bigfltpm.inc

   1 #include this file into another test for subclass testing...
   2
   3 ok ($class->config()->{lib},$CL);
   4
   5 while (<DATA>)
   6   {
   7   chop;
   8   $_ =~ s/#.*$//;       # remove comments
   9   $_ =~ s/\s+$//;       # trailing spaces
  10   next if /^$/;         # skip empty lines & comments
  11   if (s/^&//)
  12     {
  13     $f = $_;
  14     }
  15   elsif (/^\$/)
  16     {
  17     $setup = $_; $setup =~ s/\$/\$${class}::/g; # round_mode, div_scale
  18     #print "\$setup== $setup\n";
  19     }
  20   else
  21     {
  22     if (m|^(.*?):(/.+)$|)
  23       {
  24       $ans = $2;
  25       @args = split(/:/,$1,99);
  26       }
  27     else
  28       {
  29       @args = split(/:/,$_,99); $ans = pop(@args);
  30       }
  31     $try = "\$x = new $class \"$args[0]\";";
  32     if ($f eq "fnorm")
  33       {
  34         $try .= "\$x;";
  35       } elsif ($f eq "finf") {
  36         $try .= "\$x->finf('$args[1]');";
  37       } elsif ($f eq "is_inf") {
  38         $try .= "\$x->is_inf('$args[1]');";
  39       } elsif ($f eq "fone") {
  40         $try .= "\$x->bone('$args[1]');";
  41       } elsif ($f eq "fstr") {
  42         $try .= "\$x->accuracy($args[1]); \$x->precision($args[2]);";
  43         $try .= '$x->fstr();';
  44       } elsif ($f eq "parts") {
  45         # ->bstr() to see if an object is returned
  46         $try .= '($a,$b) = $x->parts(); $a = $a->bstr(); $b = $b->bstr();';
  47         $try .= '"$a $b";';
  48       } elsif ($f eq "exponent") {
  49         # ->bstr() to see if an object is returned
  50         $try .= '$x->exponent()->bstr();';
  51       } elsif ($f eq "mantissa") {
  52         # ->bstr() to see if an object is returned
  53         $try .= '$x->mantissa()->bstr();';
  54       } elsif ($f eq "numify") {
  55         $try .= "\$x->numify();";
  56       } elsif ($f eq "length") {
  57         $try .= "\$x->length();";
  58       # some unary ops (test the fxxx form, since that is done by AUTOLOAD)
  59       } elsif ($f =~ /^f(nan|sstr|neg|floor|ceil|abs)$/) {
  60         $try .= "\$x->f$1();";
  61       # some is_xxx test function
  62       } elsif ($f =~ /^is_(zero|one|negative|positive|odd|even|nan|int)$/) {
  63         $try .= "\$x->$f();";
  64       } elsif ($f eq "as_number") {
  65         $try .= '$x->as_number();';
  66       } elsif ($f eq "finc") {
  67         $try .= '++$x;';
  68       } elsif ($f eq "fdec") {
  69         $try .= '--$x;';
  70       }elsif ($f eq "fround") {
  71         $try .= "$setup; \$x->fround($args[1]);";
  72       } elsif ($f eq "ffround") {
  73         $try .= "$setup; \$x->ffround($args[1]);";
  74       } elsif ($f eq "fsqrt") {
  75         $try .= "$setup; \$x->fsqrt();";
  76       } elsif ($f eq "flog") {
  77         $try .= "$setup; \$x->flog();";
  78       } elsif ($f eq "ffac") {
  79         $try .= "$setup; \$x->ffac();";
  80       }
  81     else
  82       {
  83       $try .= "\$y = new $class \"$args[1]\";";
  84       if ($f eq "fcmp") {
  85         $try .= '$x <=> $y;';
  86       } elsif ($f eq "facmp") {
  87         $try .= '$x->facmp($y);';
  88       } elsif ($f eq "fpow") {
  89         $try .= '$x ** $y;';
  90       } elsif ($f eq "fadd") {
  91         $try .= '$x + $y;';
  92       } elsif ($f eq "fsub") {
  93         $try .= '$x - $y;';
  94       } elsif ($f eq "fmul") {
  95         $try .= '$x * $y;';
  96       } elsif ($f eq "fdiv") {
  97         $try .= "$setup; \$x / \$y;";
  98       } elsif ($f eq "fdiv-list") {
  99         $try .= "$setup; join(',',\$x->fdiv(\$y));";
 100       } elsif ($f eq "frsft") {
 101         $try .= '$x >> $y;';
 102       } elsif ($f eq "flsft") {
 103         $try .= '$x << $y;';
 104       } elsif ($f eq "fmod") {
 105         $try .= '$x % $y;';
 106       } else { warn "Unknown op '$f'"; }
 107     }
 108     # print "# Trying: '$try'\n";
 109     $ans1 = eval $try;
 110     if ($ans =~ m|^/(.*)$|)
 111       {
 112       my $pat = $1;
 113       if ($ans1 =~ /$pat/)
 114         {
 115         ok (1,1);
 116         }
 117       else
 118         {
 119         print "# '$try' expected: /$pat/ got: '$ans1'\n" if !ok(1,0);
 120         }
 121       }
 122     else
 123       {
 124       if ($ans eq "")
 125         {
 126         ok_undef ($ans1);
 127         }
 128       else
 129         {
 130         print "# Tried: '$try'\n" if !ok ($ans1, $ans);
 131         if (ref($ans1) eq "$class")
 132           {
 133           # float numbers are normalized (for now), so mantissa shouldn't have
 134           # trailing zeros
 135           #print $ans1->_trailing_zeros(),"\n";
 136           print "# Has trailing zeros after '$try'\n"
 137            if !ok ($ans1->{_m}->_trailing_zeros(), 0);
 138           }
 139         }
 140       } # end pattern or string
 141     }
 142   } # end while
 143
 144 # check whether $class->new( Math::BigInt->new()) destroys it
 145 # ($y == 12 in this case)
 146 $x = Math::BigInt->new(1200); $y = $class->new($x);
 147 ok ($y,1200); ok ($x,1200);
 148
 149 ###############################################################################
 150 # zero,inf,one,nan
 151
 152 $x = $class->new(2); $x->fzero(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
 153 $x = $class->new(2); $x->finf();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
 154 $x = $class->new(2); $x->fone();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
 155 $x = $class->new(2); $x->fnan();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
 156
 157 ###############################################################################
 158 # fsqrt() with set global A/P or A/P enabled on $x, also a test whether fsqrt()
 159 # correctly modifies $x
 160
 161 $class->accuracy(undef); $class->precision(undef);      # reset
 162
 163 $x = $class->new(12); $class->precision(-2); $x->fsqrt(); ok ($x,'3.46');
 164
 165 $class->precision(undef);
 166 $x = $class->new(12); $class->precision(0); $x->fsqrt(); ok ($x,'3');
 167
 168 $class->precision(-3); $x = $class->new(12); $x->fsqrt(); ok ($x,'3.464');
 169
 170 # A and P set => NaN
 171 ${${class}.'::accuracy'} = 4; $x = $class->new(12); $x->fsqrt(3); ok ($x,'NaN');
 172 # supplied arg overrides set global
 173 $class->precision(undef); $x = $class->new(12); $x->fsqrt(3); ok ($x,'3.46');
 174
 175 $class->accuracy(undef); $class->precision(undef); # reset for further tests
 176
 177 1; # all done
 178
 179 ###############################################################################
 180 # Perl 5.005 does not like ok ($x,undef)
 181
 182 sub ok_undef
 183   {
 184   my $x = shift;
 185
 186   ok (1,1) and return if !defined $x;
 187   ok ($x,'undef');
 188   }
 189
 190 __DATA__
 191 $div_scale = 40;
 192 &flog
 193 0:NaN
 194 -1:NaN
 195 -2:NaN
 196 1:0
 197 # this is too slow for the testsuite
 198 #2.718281828:0.9999999998311266953289851340574956564911
 199 #$div_scale = 20;
 200 #2.718281828:0.99999999983112669533
 201 1:0
 202 # too slow, too (or hangs?)
 203 #123:4.8112184355
 204 # $div_scale = 14;
 205 #10:0:2.302585092994
 206 #1000:0:6.90775527898214
 207 #100:0:4.60517018598809
 208 #2:0:0.693147180559945
 209 #3.1415:0:1.14470039286086
 210 #12345:0:9.42100640177928
 211 #0.001:0:-6.90775527898214
 212 # reset for further tests
 213 $div_scale = 40;
 214 &frsft
 215 NaNfrsft:2:NaN
 216 0:2:0
 217 1:1:0.5
 218 2:1:1
 219 4:1:2
 220 123:1:61.5
 221 32:3:4
 222 &flsft
 223 NaNflsft:0:NaN
 224 2:1:4
 225 4:3:32
 226 5:3:40
 227 1:2:4
 228 0:5:0
 229 &fnorm
 230 1:1
 231 -0:0
 232 fnormNaN:NaN
 233 +inf:inf
 234 -inf:-inf
 235 123:123
 236 -123.4567:-123.4567
 237 # invalid inputs
 238 1__2:NaN
 239 1E1__2:NaN
 240 11__2E2:NaN
 241 #1.E3:NaN
 242 .2E-3.:NaN
 243 #1e3e4:NaN
 244 .2E2:20
 245 &as_number
 246 0:0
 247 1:1
 248 1.2:1
 249 2.345:2
 250 -2:-2
 251 -123.456:-123
 252 -200:-200
 253 &finf
 254 1:+:inf
 255 2:-:-inf
 256 3:abc:inf
 257 &numify
 258 0:0e+1
 259 +1:1e+0
 260 1234:1234e+0
 261 NaN:NaN
 262 +inf:inf
 263 -inf:-inf
 264 &fnan
 265 abc:NaN
 266 2:NaN
 267 -2:NaN
 268 0:NaN
 269 &fone
 270 2:+:1
 271 -2:-:-1
 272 -2:+:1
 273 2:-:-1
 274 0::1
 275 -2::1
 276 abc::1
 277 2:abc:1
 278 &fsstr
 279 +inf:inf
 280 -inf:-inf
 281 abcfsstr:NaN
 282 1234.567:1234567e-3
 283 &fstr
 284 +inf:::inf
 285 -inf:::-inf
 286 abcfstr:::NaN
 287 1234.567:9::1234.56700
 288 1234.567::-6:1234.567000
 289 12345:5::12345
 290 0.001234:6::0.00123400
 291 0.001234::-8:0.00123400
 292 0:4::0
 293 0::-4:0.0000
 294 &fnorm
 295 inf:inf
 296 +inf:inf
 297 -inf:-inf
 298 +infinity:NaN
 299 +-inf:NaN
 300 abc:NaN
 301    1 a:NaN
 302 1bcd2:NaN
 303 11111b:NaN
 304 +1z:NaN
 305 -1z:NaN
 306 0:0
 307 +0:0
 308 +00:0
 309 +0_0_0:0
 310 000000_0000000_00000:0
 311 -0:0
 312 -0000:0
 313 +1:1
 314 +01:1
 315 +001:1
 316 +00000100000:100000
 317 123456789:123456789
 318 -1:-1
 319 -01:-1
 320 -001:-1
 321 -123456789:-123456789
 322 -00000100000:-100000
 323 123.456a:NaN
 324 123.456:123.456
 325 0.01:0.01
 326 .002:0.002
 327 +.2:0.2
 328 -0.0003:-0.0003
 329 -.0000000004:-0.0000000004
 330 123456E2:12345600
 331 123456E-2:1234.56
 332 -123456E2:-12345600
 333 -123456E-2:-1234.56
 334 1e1:10
 335 2e-11:0.00000000002
 336 # excercise _split
 337   .02e-1:0.002
 338    000001:1
 339    -00001:-1
 340    -1:-1
 341   000.01:0.01
 342    -000.0023:-0.0023
 343   1.1e1:11
 344 -3e111:-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
 345 -4e-1111:-0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004
 346 &fpow
 347 2:2:4
 348 1:2:1
 349 1:3:1
 350 -1:2:1
 351 -1:3:-1
 352 123.456:2:15241.383936
 353 2:-2:0.25
 354 2:-3:0.125
 355 128:-2:0.00006103515625
 356 abc:123.456:NaN
 357 123.456:abc:NaN
 358 +inf:123.45:inf
 359 -inf:123.45:-inf
 360 +inf:-123.45:inf
 361 -inf:-123.45:-inf
 362 &fneg
 363 fnegNaN:NaN
 364 +inf:-inf
 365 -inf:inf
 366 +0:0
 367 +1:-1
 368 -1:1
 369 +123456789:-123456789
 370 -123456789:123456789
 371 +123.456789:-123.456789
 372 -123456.789:123456.789
 373 &fabs
 374 fabsNaN:NaN
 375 +inf:inf
 376 -inf:inf
 377 +0:0
 378 +1:1
 379 -1:1
 380 +123456789:123456789
 381 -123456789:123456789
 382 +123.456789:123.456789
 383 -123456.789:123456.789
 384 &fround
 385 $round_mode = "trunc"
 386 +inf:5:inf
 387 -inf:5:-inf
 388 0:5:0
 389 NaNfround:5:NaN
 390 +10123456789:5:10123000000
 391 -10123456789:5:-10123000000
 392 +10123456789.123:5:10123000000
 393 -10123456789.123:5:-10123000000
 394 +10123456789:9:10123456700
 395 -10123456789:9:-10123456700
 396 +101234500:6:101234000
 397 -101234500:6:-101234000
 398 $round_mode = "zero"
 399 +20123456789:5:20123000000
 400 -20123456789:5:-20123000000
 401 +20123456789.123:5:20123000000
 402 -20123456789.123:5:-20123000000
 403 +20123456789:9:20123456800
 404 -20123456789:9:-20123456800
 405 +201234500:6:201234000
 406 -201234500:6:-201234000
 407 $round_mode = "+inf"
 408 +30123456789:5:30123000000
 409 -30123456789:5:-30123000000
 410 +30123456789.123:5:30123000000
 411 -30123456789.123:5:-30123000000
 412 +30123456789:9:30123456800
 413 -30123456789:9:-30123456800
 414 +301234500:6:301235000
 415 -301234500:6:-301234000
 416 $round_mode = "-inf"
 417 +40123456789:5:40123000000
 418 -40123456789:5:-40123000000
 419 +40123456789.123:5:40123000000
 420 -40123456789.123:5:-40123000000
 421 +40123456789:9:40123456800
 422 -40123456789:9:-40123456800
 423 +401234500:6:401234000
 424 -401234500:6:-401235000
 425 $round_mode = "odd"
 426 +50123456789:5:50123000000
 427 -50123456789:5:-50123000000
 428 +50123456789.123:5:50123000000
 429 -50123456789.123:5:-50123000000
 430 +50123456789:9:50123456800
 431 -50123456789:9:-50123456800
 432 +501234500:6:501235000
 433 -501234500:6:-501235000
 434 $round_mode = "even"
 435 +60123456789:5:60123000000
 436 -60123456789:5:-60123000000
 437 +60123456789:9:60123456800
 438 -60123456789:9:-60123456800
 439 +601234500:6:601234000
 440 -601234500:6:-601234000
 441 +60123456789.0123:5:60123000000
 442 -60123456789.0123:5:-60123000000
 443 &ffround
 444 $round_mode = "trunc"
 445 +inf:5:inf
 446 -inf:5:-inf
 447 0:5:0
 448 NaNffround:5:NaN
 449 +1.23:-1:1.2
 450 +1.234:-1:1.2
 451 +1.2345:-1:1.2
 452 +1.23:-2:1.23
 453 +1.234:-2:1.23
 454 +1.2345:-2:1.23
 455 +1.23:-3:1.230
 456 +1.234:-3:1.234
 457 +1.2345:-3:1.234
 458 -1.23:-1:-1.2
 459 +1.27:-1:1.2
 460 -1.27:-1:-1.2
 461 +1.25:-1:1.2
 462 -1.25:-1:-1.2
 463 +1.35:-1:1.3
 464 -1.35:-1:-1.3
 465 -0.0061234567890:-1:0.0
 466 -0.0061:-1:0.0
 467 -0.00612:-1:0.0
 468 -0.00612:-2:0.00
 469 -0.006:-1:0.0
 470 -0.006:-2:0.00
 471 -0.0006:-2:0.00
 472 -0.0006:-3:0.000
 473 -0.0065:-3:/-0\.006|-6e-03
 474 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 475 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 476 0.05:0:0
 477 0.5:0:0
 478 0.51:0:0
 479 0.41:0:0
 480 $round_mode = "zero"
 481 +2.23:-1:/2.2(?:0{5}\d+)?
 482 -2.23:-1:/-2.2(?:0{5}\d+)?
 483 +2.27:-1:/2.(?:3|29{5}\d+)
 484 -2.27:-1:/-2.(?:3|29{5}\d+)
 485 +2.25:-1:/2.2(?:0{5}\d+)?
 486 -2.25:-1:/-2.2(?:0{5}\d+)?
 487 +2.35:-1:/2.(?:3|29{5}\d+)
 488 -2.35:-1:/-2.(?:3|29{5}\d+)
 489 -0.0065:-1:0.0
 490 -0.0065:-2:/-0\.01|-1e-02
 491 -0.0065:-3:/-0\.006|-6e-03
 492 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 493 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 494 0.05:0:0
 495 0.5:0:0
 496 0.51:0:1
 497 0.41:0:0
 498 $round_mode = "+inf"
 499 +3.23:-1:/3.2(?:0{5}\d+)?
 500 -3.23:-1:/-3.2(?:0{5}\d+)?
 501 +3.27:-1:/3.(?:3|29{5}\d+)
 502 -3.27:-1:/-3.(?:3|29{5}\d+)
 503 +3.25:-1:/3.(?:3|29{5}\d+)
 504 -3.25:-1:/-3.2(?:0{5}\d+)?
 505 +3.35:-1:/3.(?:4|39{5}\d+)
 506 -3.35:-1:/-3.(?:3|29{5}\d+)
 507 -0.0065:-1:0.0
 508 -0.0065:-2:/-0\.01|-1e-02
 509 -0.0065:-3:/-0\.006|-6e-03
 510 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 511 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 512 0.05:0:0
 513 0.5:0:1
 514 0.51:0:1
 515 0.41:0:0
 516 $round_mode = "-inf"
 517 +4.23:-1:/4.2(?:0{5}\d+)?
 518 -4.23:-1:/-4.2(?:0{5}\d+)?
 519 +4.27:-1:/4.(?:3|29{5}\d+)
 520 -4.27:-1:/-4.(?:3|29{5}\d+)
 521 +4.25:-1:/4.2(?:0{5}\d+)?
 522 -4.25:-1:/-4.(?:3|29{5}\d+)
 523 +4.35:-1:/4.(?:3|29{5}\d+)
 524 -4.35:-1:/-4.(?:4|39{5}\d+)
 525 -0.0065:-1:0.0
 526 -0.0065:-2:/-0\.01|-1e-02
 527 -0.0065:-3:/-0\.007|-7e-03
 528 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 529 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 530 0.05:0:0
 531 0.5:0:0
 532 0.51:0:1
 533 0.41:0:0
 534 $round_mode = "odd"
 535 +5.23:-1:/5.2(?:0{5}\d+)?
 536 -5.23:-1:/-5.2(?:0{5}\d+)?
 537 +5.27:-1:/5.(?:3|29{5}\d+)
 538 -5.27:-1:/-5.(?:3|29{5}\d+)
 539 +5.25:-1:/5.(?:3|29{5}\d+)
 540 -5.25:-1:/-5.(?:3|29{5}\d+)
 541 +5.35:-1:/5.(?:3|29{5}\d+)
 542 -5.35:-1:/-5.(?:3|29{5}\d+)
 543 -0.0065:-1:0.0
 544 -0.0065:-2:/-0\.01|-1e-02
 545 -0.0065:-3:/-0\.007|-7e-03
 546 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 547 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 548 0.05:0:0
 549 0.5:0:1
 550 0.51:0:1
 551 0.41:0:0
 552 $round_mode = "even"
 553 +6.23:-1:/6.2(?:0{5}\d+)?
 554 -6.23:-1:/-6.2(?:0{5}\d+)?
 555 +6.27:-1:/6.(?:3|29{5}\d+)
 556 -6.27:-1:/-6.(?:3|29{5}\d+)
 557 +6.25:-1:/6.(?:2(?:0{5}\d+)?|29{5}\d+)
 558 -6.25:-1:/-6.(?:2(?:0{5}\d+)?|29{5}\d+)
 559 +6.35:-1:/6.(?:4|39{5}\d+|29{8}\d+)
 560 -6.35:-1:/-6.(?:4|39{5}\d+|29{8}\d+)
 561 -0.0065:-1:0.0
 562 -0.0065:-2:/-0\.01|-1e-02
 563 -0.0065:-3:/-0\.006|-7e-03
 564 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 565 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 566 0.05:0:0
 567 0.5:0:0
 568 0.51:0:1
 569 0.41:0:0
 570 0.01234567:-3:0.012
 571 0.01234567:-4:0.0123
 572 0.01234567:-5:0.01235
 573 0.01234567:-6:0.012346
 574 0.01234567:-7:0.0123457
 575 0.01234567:-8:0.01234567
 576 0.01234567:-9:0.012345670
 577 0.01234567:-12:0.012345670000
 578 &fcmp
 579 fcmpNaN:fcmpNaN:
 580 fcmpNaN:+0:
 581 +0:fcmpNaN:
 582 +0:+0:0
 583 -1:+0:-1
 584 +0:-1:1
 585 +1:+0:1
 586 +0:+1:-1
 587 -1:+1:-1
 588 +1:-1:1
 589 -1:-1:0
 590 +1:+1:0
 591 -1.1:0:-1
 592 +0:-1.1:1
 593 +1.1:+0:1
 594 +0:+1.1:-1
 595 +123:+123:0
 596 +123:+12:1
 597 +12:+123:-1
 598 -123:-123:0
 599 -123:-12:-1
 600 -12:-123:1
 601 +123:+124:-1
 602 +124:+123:1
 603 -123:-124:1
 604 -124:-123:-1
 605 0:0.01:-1
 606 0:0.0001:-1
 607 0:-0.0001:1
 608 0:-0.1:1
 609 0.1:0:1
 610 0.00001:0:1
 611 -0.0001:0:-1
 612 -0.1:0:-1
 613 0:0.0001234:-1
 614 0:-0.0001234:1
 615 0.0001234:0:1
 616 -0.0001234:0:-1
 617 0.0001:0.0005:-1
 618 0.0005:0.0001:1
 619 0.005:0.0001:1
 620 0.001:0.0005:1
 621 0.000001:0.0005:-1
 622 0.00000123:0.0005:-1
 623 0.00512:0.0001:1
 624 0.005:0.000112:1
 625 0.00123:0.0005:1
 626 1.5:2:-1
 627 2:1.5:1
 628 1.54321:234:-1
 629 234:1.54321:1
 630 # infinity
 631 -inf:5432112345:-1
 632 +inf:5432112345:1
 633 -inf:-5432112345:-1
 634 +inf:-5432112345:1
 635 -inf:54321.12345:-1
 636 +inf:54321.12345:1
 637 -inf:-54321.12345:-1
 638 +inf:-54321.12345:1
 639 +inf:+inf:0
 640 -inf:-inf:0
 641 +inf:-inf:1
 642 -inf:+inf:-1
 643 # return undef
 644 +inf:NaN:
 645 NaN:inf:
 646 -inf:NaN:
 647 NaN:-inf:
 648 &facmp
 649 fcmpNaN:fcmpNaN:
 650 fcmpNaN:+0:
 651 +0:fcmpNaN:
 652 +0:+0:0
 653 -1:+0:1
 654 +0:-1:-1
 655 +1:+0:1
 656 +0:+1:-1
 657 -1:+1:0
 658 +1:-1:0
 659 -1:-1:0
 660 +1:+1:0
 661 -1.1:0:1
 662 +0:-1.1:-1
 663 +1.1:+0:1
 664 +0:+1.1:-1
 665 +123:+123:0
 666 +123:+12:1
 667 +12:+123:-1
 668 -123:-123:0
 669 -123:-12:1
 670 -12:-123:-1
 671 +123:+124:-1
 672 +124:+123:1
 673 -123:-124:-1
 674 -124:-123:1
 675 0:0.01:-1
 676 0:0.0001:-1
 677 0:-0.0001:-1
 678 0:-0.1:-1
 679 0.1:0:1
 680 0.00001:0:1
 681 -0.0001:0:1
 682 -0.1:0:1
 683 0:0.0001234:-1
 684 0:-0.0001234:-1
 685 0.0001234:0:1
 686 -0.0001234:0:1
 687 0.0001:0.0005:-1
 688 0.0005:0.0001:1
 689 0.005:0.0001:1
 690 0.001:0.0005:1
 691 0.000001:0.0005:-1
 692 0.00000123:0.0005:-1
 693 0.00512:0.0001:1
 694 0.005:0.000112:1
 695 0.00123:0.0005:1
 696 1.5:2:-1
 697 2:1.5:1
 698 1.54321:234:-1
 699 234:1.54321:1
 700 # infinity
 701 -inf:5432112345:1
 702 +inf:5432112345:1
 703 -inf:-5432112345:1
 704 +inf:-5432112345:1
 705 -inf:54321.12345:1
 706 +inf:54321.12345:1
 707 -inf:-54321.12345:1
 708 +inf:-54321.12345:1
 709 +inf:+inf:0
 710 -inf:-inf:0
 711 +inf:-inf:0
 712 -inf:+inf:0
 713 5:inf:-1
 714 -1:inf:-1
 715 5:-inf:-1
 716 -1:-inf:-1
 717 # return undef
 718 +inf:facmpNaN:
 719 facmpNaN:inf:
 720 -inf:facmpNaN:
 721 facmpNaN:-inf:
 722 &fdec
 723 fdecNaN:NaN
 724 +inf:inf
 725 -inf:-inf
 726 +0:-1
 727 +1:0
 728 -1:-2
 729 1.23:0.23
 730 -1.23:-2.23
 731 100:99
 732 101:100
 733 -100:-101
 734 -99:-100
 735 -98:-99
 736 99:98
 737 &finc
 738 fincNaN:NaN
 739 +inf:inf
 740 -inf:-inf
 741 +0:1
 742 +1:2
 743 -1:0
 744 1.23:2.23
 745 -1.23:-0.23
 746 100:101
 747 -100:-99
 748 -99:-98
 749 -101:-100
 750 99:100
 751 &fadd
 752 abc:abc:NaN
 753 abc:+0:NaN
 754 +0:abc:NaN
 755 +inf:-inf:0
 756 -inf:+inf:0
 757 +inf:+inf:inf
 758 -inf:-inf:-inf
 759 baddNaN:+inf:NaN
 760 baddNaN:+inf:NaN
 761 +inf:baddNaN:NaN
 762 -inf:baddNaN:NaN
 763 +0:+0:0
 764 +1:+0:1
 765 +0:+1:1
 766 +1:+1:2
 767 -1:+0:-1
 768 +0:-1:-1
 769 -1:-1:-2
 770 -1:+1:0
 771 +1:-1:0
 772 +9:+1:10
 773 +99:+1:100
 774 +999:+1:1000
 775 +9999:+1:10000
 776 +99999:+1:100000
 777 +999999:+1:1000000
 778 +9999999:+1:10000000
 779 +99999999:+1:100000000
 780 +999999999:+1:1000000000
 781 +9999999999:+1:10000000000
 782 +99999999999:+1:100000000000
 783 +10:-1:9
 784 +100:-1:99
 785 +1000:-1:999
 786 +10000:-1:9999
 787 +100000:-1:99999
 788 +1000000:-1:999999
 789 +10000000:-1:9999999
 790 +100000000:-1:99999999
 791 +1000000000:-1:999999999
 792 +10000000000:-1:9999999999
 793 +123456789:+987654321:1111111110
 794 -123456789:+987654321:864197532
 795 -123456789:-987654321:-1111111110
 796 +123456789:-987654321:-864197532
 797 0.001234:0.0001234:0.0013574
 798 &fsub
 799 abc:abc:NaN
 800 abc:+0:NaN
 801 +0:abc:NaN
 802 +inf:-inf:inf
 803 -inf:+inf:-inf
 804 +inf:+inf:0
 805 -inf:-inf:0
 806 baddNaN:+inf:NaN
 807 baddNaN:+inf:NaN
 808 +inf:baddNaN:NaN
 809 -inf:baddNaN:NaN
 810 +0:+0:0
 811 +1:+0:1
 812 +0:+1:-1
 813 +1:+1:0
 814 -1:+0:-1
 815 +0:-1:1
 816 -1:-1:0
 817 -1:+1:-2
 818 +1:-1:2
 819 +9:+1:8
 820 +99:+1:98
 821 +999:+1:998
 822 +9999:+1:9998
 823 +99999:+1:99998
 824 +999999:+1:999998
 825 +9999999:+1:9999998
 826 +99999999:+1:99999998
 827 +999999999:+1:999999998
 828 +9999999999:+1:9999999998
 829 +99999999999:+1:99999999998
 830 +10:-1:11
 831 +100:-1:101
 832 +1000:-1:1001
 833 +10000:-1:10001
 834 +100000:-1:100001
 835 +1000000:-1:1000001
 836 +10000000:-1:10000001
 837 +100000000:-1:100000001
 838 +1000000000:-1:1000000001
 839 +10000000000:-1:10000000001
 840 +123456789:+987654321:-864197532
 841 -123456789:+987654321:-1111111110
 842 -123456789:-987654321:864197532
 843 +123456789:-987654321:1111111110
 844 &fmul
 845 abc:abc:NaN
 846 abc:+0:NaN
 847 +0:abc:NaN
 848 +inf:NaNmul:NaN
 849 +inf:NaNmul:NaN
 850 NaNmul:+inf:NaN
 851 NaNmul:-inf:NaN
 852 +inf:+inf:inf
 853 +inf:-inf:-inf
 854 +inf:-inf:-inf
 855 +inf:+inf:inf
 856 +inf:123.34:inf
 857 +inf:-123.34:-inf
 858 -inf:123.34:-inf
 859 -inf:-123.34:inf
 860 123.34:+inf:inf
 861 -123.34:+inf:-inf
 862 123.34:-inf:-inf
 863 -123.34:-inf:inf
 864 +0:+0:0
 865 +0:+1:0
 866 +1:+0:0
 867 +0:-1:0
 868 -1:+0:0
 869 +123456789123456789:+0:0
 870 +0:+123456789123456789:0
 871 -1:-1:1
 872 -1:+1:-1
 873 +1:-1:-1
 874 +1:+1:1
 875 +2:+3:6
 876 -2:+3:-6
 877 +2:-3:-6
 878 -2:-3:6
 879 +111:+111:12321
 880 +10101:+10101:102030201
 881 +1001001:+1001001:1002003002001
 882 +100010001:+100010001:10002000300020001
 883 +10000100001:+10000100001:100002000030000200001
 884 +11111111111:+9:99999999999
 885 +22222222222:+9:199999999998
 886 +33333333333:+9:299999999997
 887 +44444444444:+9:399999999996
 888 +55555555555:+9:499999999995
 889 +66666666666:+9:599999999994
 890 +77777777777:+9:699999999993
 891 +88888888888:+9:799999999992
 892 +99999999999:+9:899999999991
 893 6:120:720
 894 10:10000:100000
 895 &fdiv-list
 896 0:0:NaN,NaN
 897 0:1:0,0
 898 9:4:2.25,1
 899 9:5:1.8,4
 900 &fdiv
 901 $div_scale = 40; $round_mode = 'even'
 902 abc:abc:NaN
 903 abc:+1:abc:NaN
 904 +1:abc:NaN
 905 -1:abc:NaN
 906 0:abc:NaN
 907 +0:+0:NaN
 908 +0:+1:0
 909 +1:+0:inf
 910 +3214:+0:inf
 911 +0:-1:0
 912 -1:+0:-inf
 913 -3214:+0:-inf
 914 +1:+1:1
 915 -1:-1:1
 916 +1:-1:-1
 917 -1:+1:-1
 918 +1:+2:0.5
 919 +2:+1:2
 920 123:+inf:0
 921 123:-inf:0
 922 +10:+5:2
 923 +100:+4:25
 924 +1000:+8:125
 925 +10000:+16:625
 926 +10000:-16:-625
 927 +999999999999:+9:111111111111
 928 +999999999999:+99:10101010101
 929 +999999999999:+999:1001001001
 930 +999999999999:+9999:100010001
 931 +999999999999999:+99999:10000100001
 932 +1000000000:+9:111111111.1111111111111111111111111111111
 933 +2000000000:+9:222222222.2222222222222222222222222222222
 934 +3000000000:+9:333333333.3333333333333333333333333333333
 935 +4000000000:+9:444444444.4444444444444444444444444444444
 936 +5000000000:+9:555555555.5555555555555555555555555555556
 937 +6000000000:+9:666666666.6666666666666666666666666666667
 938 +7000000000:+9:777777777.7777777777777777777777777777778
 939 +8000000000:+9:888888888.8888888888888888888888888888889
 940 +9000000000:+9:1000000000
 941 +35500000:+113:314159.2920353982300884955752212389380531
 942 +71000000:+226:314159.2920353982300884955752212389380531
 943 +106500000:+339:314159.2920353982300884955752212389380531
 944 +1000000000:+3:333333333.3333333333333333333333333333333
 945 2:25.024996000799840031993601279744051189762:0.07992009269196593320152084692285869265447
 946 123456:1:123456
 947 $div_scale = 20
 948 +1000000000:+9:111111111.11111111111
 949 +2000000000:+9:222222222.22222222222
 950 +3000000000:+9:333333333.33333333333
 951 +4000000000:+9:444444444.44444444444
 952 +5000000000:+9:555555555.55555555556
 953 +6000000000:+9:666666666.66666666667
 954 +7000000000:+9:777777777.77777777778
 955 +8000000000:+9:888888888.88888888889
 956 +9000000000:+9:1000000000
 957 1:10:0.1
 958 1:100:0.01
 959 1:1000:0.001
 960 1:10000:0.0001
 961 1:504:0.001984126984126984127
 962 2:1.987654321:1.0062111801179738436
 963 123456789.123456789123456789123456789:1:123456789.12345678912
 964 # the next two cases are the "old" behaviour, but are now (>v0.01) different
 965 #+35500000:+113:314159.292035398230088
 966 #+71000000:+226:314159.292035398230088
 967 +35500000:+113:314159.29203539823009
 968 +71000000:+226:314159.29203539823009
 969 +106500000:+339:314159.29203539823009
 970 +1000000000:+3:333333333.33333333333
 971 $div_scale = 1
 972 # round to accuracy 1 after bdiv
 973 +124:+3:40
 974 123456789.1234:1:100000000
 975 # reset scale for further tests
 976 $div_scale = 40
 977 &fmod
 978 +9:4:1
 979 +9:5:4
 980 +9000:56:40
 981 +56:9000:56
 982 # inf handling, see table in doc
 983 0:inf:0
 984 0:-inf:0
 985 5:inf:5
 986 5:-inf:5
 987 -5:inf:-5
 988 -5:-inf:-5
 989 inf:5:0
 990 -inf:5:0
 991 inf:-5:0
 992 -inf:-5:0
 993 5:5:0
 994 -5:-5:0
 995 inf:inf:NaN
 996 -inf:-inf:NaN
 997 -inf:inf:NaN
 998 inf:-inf:NaN
 999 8:0:8
1000 inf:0:inf
1001 # exceptions to reminder rule
1002 -inf:0:-inf
1003 -8:0:-8
1004 0:0:NaN
1005 abc:abc:NaN
1006 abc:1:abc:NaN
1007 1:abc:NaN
1008 0:0:NaN
1009 0:1:0
1010 1:0:1
1011 0:-1:0
1012 -1:0:-1
1013 1:1:0
1014 -1:-1:0
1015 1:-1:0
1016 -1:1:0
1017 1:2:1
1018 2:1:0
1019 1000000000:9:1
1020 2000000000:9:2
1021 3000000000:9:3
1022 4000000000:9:4
1023 5000000000:9:5
1024 6000000000:9:6
1025 7000000000:9:7
1026 8000000000:9:8
1027 9000000000:9:0
1028 35500000:113:33
1029 71000000:226:66
1030 106500000:339:99
1031 1000000000:3:1
1032 10:5:0
1033 100:4:0
1034 1000:8:0
1035 10000:16:0
1036 999999999999:9:0
1037 999999999999:99:0
1038 999999999999:999:0
1039 999999999999:9999:0
1040 999999999999999:99999:0
1041 -9:+5:1
1042 +9:-5:-1
1043 -9:-5:-4
1044 -5:3:1
1045 -2:3:1
1046 4:3:1
1047 1:3:1
1048 -5:-3:-2
1049 -2:-3:-2
1050 4:-3:-2
1051 1:-3:-2
1052 4095:4095:0
1053 100041000510123:3:0
1054 152403346:12345:4321
1055 87654321:87654321:0
1056 # now some floating point tests
1057 123:2.5:0.5
1058 1230:2.5:0
1059 123.4:2.5:0.9
1060 123e1:25:5
1061 &ffac
1062 Nanfac:NaN
1063 -1:NaN
1064 0:1
1065 1:1
1066 2:2
1067 3:6
1068 4:24
1069 5:120
1070 6:720
1071 10:3628800
1072 11:39916800
1073 12:479001600
1074 &fsqrt
1075 +0:0
1076 -1:NaN
1077 -2:NaN
1078 -16:NaN
1079 -123.45:NaN
1080 nanfsqrt:NaN
1081 +inf:inf
1082 -inf:NaN
1083 1:1
1084 2:1.41421356237309504880168872420969807857
1085 4:2
1086 9:3
1087 16:4
1088 100:10
1089 123.456:11.11107555549866648462149404118219234119
1090 15241.38393:123.4559999756998444766131352122991626468
1091 1.44:1.2
1092 # sqrt(1.44) = 1.2, sqrt(e10) = e5 => 12e4
1093 1.44E10:120000
1094 2e10:141421.356237309504880168872420969807857
1095 144e20:120000000000
1096 # proved to be an endless loop under 7-9
1097 12:3.464101615137754587054892683011744733886
1098 &is_nan
1099 123:0
1100 abc:1
1101 NaN:1
1102 -123:0
1103 &is_inf
1104 +inf::1
1105 -inf::1
1106 abc::0
1107 1::0
1108 NaN::0
1109 -1::0
1110 +inf:-:0
1111 +inf:+:1
1112 -inf:-:1
1113 -inf:+:0
1114 # it must be exactly /^[+-]inf$/
1115 +infinity::0
1116 -infinity::0
1117 &is_odd
1118 abc:0
1119 0:0
1120 -1:1
1121 -3:1
1122 1:1
1123 3:1
1124 1000001:1
1125 1000002:0
1126 +inf:0
1127 -inf:0
1128 123.45:0
1129 -123.45:0
1130 2:0
1131 &is_int
1132 NaNis_int:0
1133 0:1
1134 1:1
1135 2:1
1136 -2:1
1137 -1:1
1138 -inf:0
1139 +inf:0
1140 123.4567:0
1141 -0.1:0
1142 -0.002:0
1143 &is_even
1144 abc:0
1145 0:1
1146 -1:0
1147 -3:0
1148 1:0
1149 3:0
1150 1000001:0
1151 1000002:1
1152 2:1
1153 +inf:0
1154 -inf:0
1155 123.456:0
1156 -123.456:0
1157 0.01:0
1158 -0.01:0
1159 120:1
1160 1200:1
1161 -1200:1
1162 &is_positive
1163 0:1
1164 1:1
1165 -1:0
1166 -123:0
1167 NaN:0
1168 -inf:0
1169 +inf:1
1170 &is_negative
1171 0:0
1172 1:0
1173 -1:1
1174 -123:1
1175 NaN:0
1176 -inf:1
1177 +inf:0
1178 &parts
1179 0:0 1
1180 1:1 0
1181 123:123 0
1182 -123:-123 0
1183 -1200:-12 2
1184 NaNparts:NaN NaN
1185 +inf:inf inf
1186 -inf:-inf inf
1187 &exponent
1188 0:1
1189 1:0
1190 123:0
1191 -123:0
1192 -1200:2
1193 +inf:inf
1194 -inf:inf
1195 NaNexponent:NaN
1196 &mantissa
1197 0:0
1198 1:1
1199 123:123
1200 -123:-123
1201 -1200:-12
1202 +inf:inf
1203 -inf:-inf
1204 NaNmantissa:NaN
1205 &length
1206 123:3
1207 -123:3
1208 0:1
1209 1:1
1210 12345678901234567890:20
1211 &is_zero
1212 NaNzero:0
1213 +inf:0
1214 -inf:0
1215 0:1
1216 -1:0
1217 1:0
1218 &is_one
1219 NaNone:0
1220 +inf:0
1221 -inf:0
1222 0:0
1223 2:0
1224 1:1
1225 -1:0
1226 -2:0
1227 &ffloor
1228 0:0
1229 abc:NaN
1230 +inf:inf
1231 -inf:-inf
1232 1:1
1233 -51:-51
1234 -51.2:-52
1235 12.2:12
1236 &fceil
1237 0:0
1238 abc:NaN
1239 +inf:inf
1240 -inf:-inf
1241 1:1
1242 -51:-51
1243 -51.2:-51
1244 12.2:13