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