Turn 2 strcpy()s into memcpy() because we know the length.
[p5sagit/p5-mst-13.2.git] / lib / Math / BigInt / t / bigfltpm.inc
CommitLineData
ee15d750 1#include this file into another test for subclass testing...
b3abae2a 2
3ok ($class->config()->{lib},$CL);
4
56d9de68 5use strict;
6
ee15d750 7while (<DATA>)
8 {
d614cd8b 9 chomp;
ee15d750 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 }
9b924220 33 $try = "\$x = $class->new(\"$args[0]\");";
ee15d750 34 if ($f eq "fnorm")
35 {
36 $try .= "\$x;";
37 } elsif ($f eq "finf") {
38 $try .= "\$x->finf('$args[1]');";
027dc388 39 } elsif ($f eq "is_inf") {
40 $try .= "\$x->is_inf('$args[1]');";
ee15d750 41 } elsif ($f eq "fone") {
42 $try .= "\$x->bone('$args[1]');";
43 } elsif ($f eq "fstr") {
44 $try .= "\$x->accuracy($args[1]); \$x->precision($args[2]);";
45 $try .= '$x->fstr();';
ee15d750 46 } elsif ($f eq "parts") {
48b581a2 47 # ->bstr() to see if an object is returned
ee15d750 48 $try .= '($a,$b) = $x->parts(); $a = $a->bstr(); $b = $b->bstr();';
49 $try .= '"$a $b";';
ee15d750 50 } elsif ($f eq "exponent") {
48b581a2 51 # ->bstr() to see if an object is returned
ee15d750 52 $try .= '$x->exponent()->bstr();';
53 } elsif ($f eq "mantissa") {
48b581a2 54 # ->bstr() to see if an object is returned
ee15d750 55 $try .= '$x->mantissa()->bstr();';
56d9de68 56 } elsif ($f =~ /^(numify|length|as_number|as_hex|as_bin)$/) {
57 $try .= "\$x->$f();";
b3abae2a 58 # some unary ops (test the fxxx form, since that is done by AUTOLOAD)
027dc388 59 } elsif ($f =~ /^f(nan|sstr|neg|floor|ceil|abs)$/) {
394e6ffb 60 $try .= "\$x->f$1();";
027dc388 61 # some is_xxx test function
b3abae2a 62 } elsif ($f =~ /^is_(zero|one|negative|positive|odd|even|nan|int)$/) {
027dc388 63 $try .= "\$x->$f();";
ee15d750 64 } elsif ($f eq "finc") {
65 $try .= '++$x;';
66 } elsif ($f eq "fdec") {
67 $try .= '--$x;';
68 }elsif ($f eq "fround") {
69 $try .= "$setup; \$x->fround($args[1]);";
70 } elsif ($f eq "ffround") {
71 $try .= "$setup; \$x->ffround($args[1]);";
72 } elsif ($f eq "fsqrt") {
73 $try .= "$setup; \$x->fsqrt();";
b3abae2a 74 } elsif ($f eq "ffac") {
75 $try .= "$setup; \$x->ffac();";
990fb837 76 } elsif ($f eq "flog") {
77 if ($args[1] ne '')
78 {
79 $try .= "\$y = $class->new($args[1]);";
80 $try .= "$setup; \$x->flog(\$y);";
81 }
82 else
83 {
84 $try .= "$setup; \$x->flog();";
85 }
ee15d750 86 }
87 else
88 {
990fb837 89 $try .= "\$y = $class->new(\"$args[1]\");";
ee15d750 90 if ($f eq "fcmp") {
91 $try .= '$x <=> $y;';
92 } elsif ($f eq "facmp") {
93 $try .= '$x->facmp($y);';
94 } elsif ($f eq "fpow") {
95 $try .= '$x ** $y;';
990fb837 96 } elsif ($f eq "froot") {
97 $try .= "$setup; \$x->froot(\$y);";
ee15d750 98 } elsif ($f eq "fadd") {
99 $try .= '$x + $y;';
100 } elsif ($f eq "fsub") {
101 $try .= '$x - $y;';
102 } elsif ($f eq "fmul") {
103 $try .= '$x * $y;';
104 } elsif ($f eq "fdiv") {
105 $try .= "$setup; \$x / \$y;";
b3abae2a 106 } elsif ($f eq "fdiv-list") {
107 $try .= "$setup; join(',',\$x->fdiv(\$y));";
394e6ffb 108 } elsif ($f eq "frsft") {
109 $try .= '$x >> $y;';
110 } elsif ($f eq "flsft") {
111 $try .= '$x << $y;';
ee15d750 112 } elsif ($f eq "fmod") {
113 $try .= '$x % $y;';
114 } else { warn "Unknown op '$f'"; }
115 }
e745a66c 116 # print "# Trying: '$try'\n";
ee15d750 117 $ans1 = eval $try;
118 if ($ans =~ m|^/(.*)$|)
119 {
120 my $pat = $1;
121 if ($ans1 =~ /$pat/)
122 {
123 ok (1,1);
124 }
125 else
126 {
127 print "# '$try' expected: /$pat/ got: '$ans1'\n" if !ok(1,0);
128 }
129 }
130 else
131 {
132 if ($ans eq "")
133 {
134 ok_undef ($ans1);
135 }
136 else
137 {
138 print "# Tried: '$try'\n" if !ok ($ans1, $ans);
139 if (ref($ans1) eq "$class")
140 {
027dc388 141 # float numbers are normalized (for now), so mantissa shouldn't have
142 # trailing zeros
ee15d750 143 #print $ans1->_trailing_zeros(),"\n";
144 print "# Has trailing zeros after '$try'\n"
9b924220 145 if !ok ($CL->_zeros( $ans1->{_m}), 0);
ee15d750 146 }
147 }
148 } # end pattern or string
149 }
150 } # end while
151
394e6ffb 152# check whether $class->new( Math::BigInt->new()) destroys it
153# ($y == 12 in this case)
ee15d750 154$x = Math::BigInt->new(1200); $y = $class->new($x);
155ok ($y,1200); ok ($x,1200);
156
157###############################################################################
f9a08e12 158# Really huge, big, ultra-mega-biggy-monster exponents
159# Technically, the exponents should not be limited (they are BigInts), but
160# practically there are a few places were they are limited to a Perl scalar.
161# This is sometimes for speed, sometimes because otherwise the number wouldn't
162# fit into your memory (just think of 1e123456789012345678901234567890 + 1!)
163# anyway. We don't test everything here, but let's make sure it just basically
164# works.
165
166my $monster = '1e1234567890123456789012345678901234567890';
167
9b924220 168# new and exponent
56d9de68 169ok ($class->new($monster)->bsstr(),
170 '1e+1234567890123456789012345678901234567890');
9b924220 171ok ($class->new($monster)->exponent(),
172 '1234567890123456789012345678901234567890');
f9a08e12 173# cmp
174ok ($class->new($monster) > 0,1);
175
176# sub/mul
177ok ($class->new($monster)->bsub( $monster),0);
178ok ($class->new($monster)->bmul(2)->bsstr(),
179 '2e+1234567890123456789012345678901234567890');
180
9b924220 181# mantissa
182$monster = '1234567890123456789012345678901234567890e2';
183ok ($class->new($monster)->mantissa(),
184 '123456789012345678901234567890123456789');
185
f9a08e12 186###############################################################################
b3abae2a 187# zero,inf,one,nan
ee15d750 188
394e6ffb 189$x = $class->new(2); $x->fzero(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
190$x = $class->new(2); $x->finf(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
191$x = $class->new(2); $x->fone(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
192$x = $class->new(2); $x->fnan(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
56b9c951 193
194###############################################################################
195# bone/binf etc as plain calls (Lite failed them)
196
197ok ($class->fzero(),0);
198ok ($class->fone(),1);
199ok ($class->fone('+'),1);
200ok ($class->fone('-'),-1);
201ok ($class->fnan(),'NaN');
202ok ($class->finf(),'inf');
203ok ($class->finf('+'),'inf');
204ok ($class->finf('-'),'-inf');
205ok ($class->finf('-inf'),'-inf');
61f5c3f5 206
56d9de68 207$class->accuracy(undef); $class->precision(undef); # reset
208
209###############################################################################
210# bug in bsstr()/numify() showed up in after-rounding in bdiv()
211
212$x = $class->new('0.008'); $y = $class->new(2);
213$x->bdiv(3,$y);
214ok ($x,'0.0027');
215
61f5c3f5 216###############################################################################
217# fsqrt() with set global A/P or A/P enabled on $x, also a test whether fsqrt()
218# correctly modifies $x
219
61f5c3f5 220
221$x = $class->new(12); $class->precision(-2); $x->fsqrt(); ok ($x,'3.46');
222
223$class->precision(undef);
224$x = $class->new(12); $class->precision(0); $x->fsqrt(); ok ($x,'3');
225
226$class->precision(-3); $x = $class->new(12); $x->fsqrt(); ok ($x,'3.464');
227
56d9de68 228{
229 no strict 'refs';
230 # A and P set => NaN
231 ${${class}.'::accuracy'} = 4; $x = $class->new(12);
232 $x->fsqrt(3); ok ($x,'NaN');
233 # supplied arg overrides set global
234 $class->precision(undef); $x = $class->new(12); $x->fsqrt(3); ok ($x,'3.46');
235 $class->accuracy(undef); $class->precision(undef); # reset for further tests
236}
237
238#############################################################################
13a12e00 239# can we call objectify (broken until v1.52)
240
56d9de68 241{
242 no strict;
243 $try =
244 '@args' . " = $class" . "::objectify(2,$class,4,5);".'join(" ",@args);';
245 $ans = eval $try;
246 ok ($ans,"$class 4 5");
247}
f9a08e12 248
990fb837 249#############################################################################
250# is_one('-') (broken until v1.64)
251
252ok ($class->new(-1)->is_one(),0);
253ok ($class->new(-1)->is_one('-'),1);
254
27e7b8bb 255#############################################################################
256# bug 1/0.5 leaving 2e-0 instead of 2e0
257
258ok ($class->new(1)->fdiv('0.5')->bsstr(),'2e+0');
259
394e6ffb 2601; # all done
ee15d750 261
262###############################################################################
263# Perl 5.005 does not like ok ($x,undef)
264
265sub ok_undef
266 {
267 my $x = shift;
268
269 ok (1,1) and return if !defined $x;
270 ok ($x,'undef');
271 }
272
273__DATA__
b3abae2a 274$div_scale = 40;
275&flog
990fb837 2760::NaN
277-1::NaN
278-2::NaN
279# base > 0, base != 1
2802:-1:NaN
2812:0:NaN
2822:1:NaN
283# log(1) is always 1, regardless of $base
2841::0
2851:1:0
2861:2:0
b3abae2a 287# this is too slow for the testsuite
79c55733 288#2:0.6931471805599453094172321214581765680755
b3abae2a 289#2.718281828:0.9999999998311266953289851340574956564911
290#$div_scale = 20;
291#2.718281828:0.99999999983112669533
990fb837 292# too slow, too
b3abae2a 293#123:4.8112184355
79c55733 294$div_scale = 14;
b3abae2a 295#10:0:2.302585092994
61f5c3f5 296#1000:0:6.90775527898214
297#100:0:4.60517018598809
990fb837 2982::0.69314718055995
61f5c3f5 299#3.1415:0:1.14470039286086
990fb837 300# too slow
61f5c3f5 301#12345:0:9.42100640177928
302#0.001:0:-6.90775527898214
b3abae2a 303# reset for further tests
304$div_scale = 40;
990fb837 3051::0
394e6ffb 306&frsft
b3abae2a 307NaNfrsft:2:NaN
394e6ffb 3080:2:0
3091:1:0.5
3102:1:1
3114:1:2
312123:1:61.5
31332:3:4
314&flsft
b3abae2a 315NaNflsft:0:NaN
394e6ffb 3162:1:4
3174:3:32
3185:3:40
3191:2:4
3200:5:0
ee15d750 321&fnorm
3221:1
323-0:0
324fnormNaN:NaN
325+inf:inf
326-inf:-inf
327123:123
328-123.4567:-123.4567
027dc388 329# invalid inputs
3301__2:NaN
3311E1__2:NaN
33211__2E2:NaN
333#1.E3:NaN
334.2E-3.:NaN
335#1e3e4:NaN
336.2E2:20
ee15d750 337&as_number
3380:0
3391:1
3401.2:1
3412.345:2
342-2:-2
343-123.456:-123
344-200:-200
56d9de68 345# test for bug in brsft() not handling cases that return 0
3460.000641:0
3470.0006412:0
3480.00064123:0
3490.000641234:0
3500.0006412345:0
3510.00064123456:0
3520.000641234567:0
3530.0006412345678:0
3540.00064123456789:0
3550.1:0
3560.01:0
3570.001:0
3580.0001:0
3590.00001:0
3600.000001:0
3610.0000001:0
3620.00000001:0
3630.000000001:0
3640.0000000001:0
3650.00000000001:0
990fb837 3660.12345:0
3670.123456:0
3680.1234567:0
3690.12345678:0
3700.123456789:0
ee15d750 371&finf
3721:+:inf
3732:-:-inf
3743:abc:inf
56d9de68 375&as_hex
376+inf:inf
377-inf:-inf
378hexNaN:NaN
3790:0x0
3805:0x5
381-5:-0x5
382&as_bin
383+inf:inf
384-inf:-inf
385hexNaN:NaN
3860:0b0
3875:0b101
388-5:-0b101
ee15d750 389&numify
56d9de68 390# uses bsstr() so 5 => 5e+0 to be compatible w/ Perls output
ee15d750 3910:0e+1
392+1:1e+0
3931234:1234e+0
394NaN:NaN
395+inf:inf
396-inf:-inf
56d9de68 397-5:-5e+0
398100:1e+2
399-100:-1e+2
ee15d750 400&fnan
401abc:NaN
4022:NaN
403-2:NaN
4040:NaN
405&fone
4062:+:1
407-2:-:-1
408-2:+:1
4092:-:-1
4100::1
411-2::1
412abc::1
4132:abc:1
414&fsstr
415+inf:inf
416-inf:-inf
417abcfsstr:NaN
56d9de68 418-abcfsstr:NaN
ee15d750 4191234.567:1234567e-3
56d9de68 420123:123e+0
421-5:-5e+0
422-100:-1e+2
ee15d750 423&fstr
424+inf:::inf
425-inf:::-inf
426abcfstr:::NaN
4271234.567:9::1234.56700
4281234.567::-6:1234.567000
42912345:5::12345
4300.001234:6::0.00123400
4310.001234::-8:0.00123400
4320:4::0
4330::-4:0.0000
434&fnorm
435inf:inf
436+inf:inf
437-inf:-inf
438+infinity:NaN
439+-inf:NaN
440abc:NaN
441 1 a:NaN
4421bcd2:NaN
44311111b:NaN
444+1z:NaN
445-1z:NaN
aef458a0 4460e999:0
4470e-999:0
448-0e999:0
449-0e-999:0
ee15d750 4500:0
451+0:0
452+00:0
453+0_0_0:0
454000000_0000000_00000:0
455-0:0
456-0000:0
457+1:1
458+01:1
459+001:1
460+00000100000:100000
461123456789:123456789
462-1:-1
463-01:-1
464-001:-1
465-123456789:-123456789
466-00000100000:-100000
467123.456a:NaN
468123.456:123.456
4690.01:0.01
470.002:0.002
471+.2:0.2
472-0.0003:-0.0003
473-.0000000004:-0.0000000004
474123456E2:12345600
475123456E-2:1234.56
476-123456E2:-12345600
477-123456E-2:-1234.56
4781e1:10
4792e-11:0.00000000002
480# excercise _split
481 .02e-1:0.002
482 000001:1
483 -00001:-1
484 -1:-1
485 000.01:0.01
486 -000.0023:-0.0023
487 1.1e1:11
488-3e111:-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
489-4e-1111:-0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004
490&fpow
9b924220 491NaN:1:NaN
4921:NaN:NaN
493NaN:-1:NaN
494-1:NaN:NaN
495NaN:-21:NaN
496-21:NaN:NaN
497NaN:21:NaN
49821:NaN:NaN
4990:0:1
5000:1:0
5010:9:0
5020:-2:inf
ee15d750 5032:2:4
5041:2:1
5051:3:1
506-1:2:1
507-1:3:-1
508123.456:2:15241.383936
5092:-2:0.25
5102:-3:0.125
511128:-2:0.00006103515625
512abc:123.456:NaN
513123.456:abc:NaN
514+inf:123.45:inf
515-inf:123.45:-inf
516+inf:-123.45:inf
517-inf:-123.45:-inf
9b924220 518-2:2:4
519-2:3:-8
520-2:4:16
521-2:5:-32
522-3:2:9
523-3:3:-27
524-3:4:81
525-3:5:-243
79c55733 526# 2 ** 0.5 == sqrt(2)
527# 1.41..7 and not 1.4170 since fallback (bsqrt(9) is '3', not 3.0...0)
5282:0.5:1.41421356237309504880168872420969807857
56b9c951 529#2:0.2:1.148698354997035006798626946777927589444
07d34614 530#6:1.5:14.6969384566990685891837044482353483518
56b9c951 531$div_scale = 20;
532#62.5:12.5:26447206647554886213592.3959144
533$div_scale = 40;
ee15d750 534&fneg
535fnegNaN:NaN
536+inf:-inf
537-inf:inf
538+0:0
539+1:-1
540-1:1
541+123456789:-123456789
542-123456789:123456789
543+123.456789:-123.456789
544-123456.789:123456.789
545&fabs
546fabsNaN:NaN
547+inf:inf
548-inf:inf
549+0:0
550+1:1
551-1:1
552+123456789:123456789
553-123456789:123456789
554+123.456789:123.456789
555-123456.789:123456.789
556&fround
557$round_mode = "trunc"
558+inf:5:inf
559-inf:5:-inf
5600:5:0
561NaNfround:5:NaN
562+10123456789:5:10123000000
563-10123456789:5:-10123000000
564+10123456789.123:5:10123000000
565-10123456789.123:5:-10123000000
566+10123456789:9:10123456700
567-10123456789:9:-10123456700
568+101234500:6:101234000
569-101234500:6:-101234000
570$round_mode = "zero"
571+20123456789:5:20123000000
572-20123456789:5:-20123000000
573+20123456789.123:5:20123000000
574-20123456789.123:5:-20123000000
575+20123456789:9:20123456800
576-20123456789:9:-20123456800
577+201234500:6:201234000
578-201234500:6:-201234000
579$round_mode = "+inf"
580+30123456789:5:30123000000
581-30123456789:5:-30123000000
582+30123456789.123:5:30123000000
583-30123456789.123:5:-30123000000
584+30123456789:9:30123456800
585-30123456789:9:-30123456800
586+301234500:6:301235000
587-301234500:6:-301234000
588$round_mode = "-inf"
589+40123456789:5:40123000000
590-40123456789:5:-40123000000
591+40123456789.123:5:40123000000
592-40123456789.123:5:-40123000000
593+40123456789:9:40123456800
594-40123456789:9:-40123456800
595+401234500:6:401234000
596-401234500:6:-401235000
597$round_mode = "odd"
598+50123456789:5:50123000000
599-50123456789:5:-50123000000
600+50123456789.123:5:50123000000
601-50123456789.123:5:-50123000000
602+50123456789:9:50123456800
603-50123456789:9:-50123456800
604+501234500:6:501235000
605-501234500:6:-501235000
606$round_mode = "even"
607+60123456789:5:60123000000
608-60123456789:5:-60123000000
609+60123456789:9:60123456800
610-60123456789:9:-60123456800
611+601234500:6:601234000
612-601234500:6:-601234000
613+60123456789.0123:5:60123000000
614-60123456789.0123:5:-60123000000
615&ffround
616$round_mode = "trunc"
617+inf:5:inf
618-inf:5:-inf
6190:5:0
620NaNffround:5:NaN
621+1.23:-1:1.2
622+1.234:-1:1.2
623+1.2345:-1:1.2
624+1.23:-2:1.23
625+1.234:-2:1.23
626+1.2345:-2:1.23
627+1.23:-3:1.230
628+1.234:-3:1.234
629+1.2345:-3:1.234
630-1.23:-1:-1.2
631+1.27:-1:1.2
632-1.27:-1:-1.2
633+1.25:-1:1.2
634-1.25:-1:-1.2
635+1.35:-1:1.3
636-1.35:-1:-1.3
637-0.0061234567890:-1:0.0
638-0.0061:-1:0.0
639-0.00612:-1:0.0
640-0.00612:-2:0.00
641-0.006:-1:0.0
642-0.006:-2:0.00
643-0.0006:-2:0.00
644-0.0006:-3:0.000
645-0.0065:-3:/-0\.006|-6e-03
646-0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
647-0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
6480.05:0:0
6490.5:0:0
6500.51:0:0
6510.41:0:0
652$round_mode = "zero"
653+2.23:-1:/2.2(?:0{5}\d+)?
654-2.23:-1:/-2.2(?:0{5}\d+)?
655+2.27:-1:/2.(?:3|29{5}\d+)
656-2.27:-1:/-2.(?:3|29{5}\d+)
657+2.25:-1:/2.2(?:0{5}\d+)?
658-2.25:-1:/-2.2(?:0{5}\d+)?
659+2.35:-1:/2.(?:3|29{5}\d+)
660-2.35:-1:/-2.(?:3|29{5}\d+)
661-0.0065:-1:0.0
662-0.0065:-2:/-0\.01|-1e-02
663-0.0065:-3:/-0\.006|-6e-03
664-0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
665-0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
6660.05:0:0
6670.5:0:0
6680.51:0:1
6690.41:0:0
670$round_mode = "+inf"
671+3.23:-1:/3.2(?:0{5}\d+)?
672-3.23:-1:/-3.2(?:0{5}\d+)?
673+3.27:-1:/3.(?:3|29{5}\d+)
674-3.27:-1:/-3.(?:3|29{5}\d+)
675+3.25:-1:/3.(?:3|29{5}\d+)
676-3.25:-1:/-3.2(?:0{5}\d+)?
677+3.35:-1:/3.(?:4|39{5}\d+)
678-3.35:-1:/-3.(?:3|29{5}\d+)
679-0.0065:-1:0.0
680-0.0065:-2:/-0\.01|-1e-02
681-0.0065:-3:/-0\.006|-6e-03
682-0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
683-0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
6840.05:0:0
6850.5:0:1
6860.51:0:1
6870.41:0:0
688$round_mode = "-inf"
689+4.23:-1:/4.2(?:0{5}\d+)?
690-4.23:-1:/-4.2(?:0{5}\d+)?
691+4.27:-1:/4.(?:3|29{5}\d+)
692-4.27:-1:/-4.(?:3|29{5}\d+)
693+4.25:-1:/4.2(?:0{5}\d+)?
694-4.25:-1:/-4.(?:3|29{5}\d+)
695+4.35:-1:/4.(?:3|29{5}\d+)
696-4.35:-1:/-4.(?:4|39{5}\d+)
697-0.0065:-1:0.0
698-0.0065:-2:/-0\.01|-1e-02
699-0.0065:-3:/-0\.007|-7e-03
700-0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
701-0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
7020.05:0:0
7030.5:0:0
7040.51:0:1
7050.41:0:0
706$round_mode = "odd"
707+5.23:-1:/5.2(?:0{5}\d+)?
708-5.23:-1:/-5.2(?:0{5}\d+)?
709+5.27:-1:/5.(?:3|29{5}\d+)
710-5.27:-1:/-5.(?:3|29{5}\d+)
711+5.25:-1:/5.(?:3|29{5}\d+)
712-5.25:-1:/-5.(?:3|29{5}\d+)
713+5.35:-1:/5.(?:3|29{5}\d+)
714-5.35:-1:/-5.(?:3|29{5}\d+)
715-0.0065:-1:0.0
716-0.0065:-2:/-0\.01|-1e-02
717-0.0065:-3:/-0\.007|-7e-03
718-0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
719-0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
7200.05:0:0
7210.5:0:1
7220.51:0:1
7230.41:0:0
724$round_mode = "even"
725+6.23:-1:/6.2(?:0{5}\d+)?
726-6.23:-1:/-6.2(?:0{5}\d+)?
727+6.27:-1:/6.(?:3|29{5}\d+)
728-6.27:-1:/-6.(?:3|29{5}\d+)
729+6.25:-1:/6.(?:2(?:0{5}\d+)?|29{5}\d+)
730-6.25:-1:/-6.(?:2(?:0{5}\d+)?|29{5}\d+)
731+6.35:-1:/6.(?:4|39{5}\d+|29{8}\d+)
732-6.35:-1:/-6.(?:4|39{5}\d+|29{8}\d+)
733-0.0065:-1:0.0
734-0.0065:-2:/-0\.01|-1e-02
735-0.0065:-3:/-0\.006|-7e-03
736-0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
737-0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
7380.05:0:0
7390.5:0:0
7400.51:0:1
7410.41:0:0
7420.01234567:-3:0.012
7430.01234567:-4:0.0123
7440.01234567:-5:0.01235
7450.01234567:-6:0.012346
7460.01234567:-7:0.0123457
7470.01234567:-8:0.01234567
7480.01234567:-9:0.012345670
7490.01234567:-12:0.012345670000
750&fcmp
751fcmpNaN:fcmpNaN:
752fcmpNaN:+0:
753+0:fcmpNaN:
754+0:+0:0
755-1:+0:-1
756+0:-1:1
757+1:+0:1
758+0:+1:-1
759-1:+1:-1
760+1:-1:1
761-1:-1:0
762+1:+1:0
763-1.1:0:-1
764+0:-1.1:1
765+1.1:+0:1
766+0:+1.1:-1
767+123:+123:0
768+123:+12:1
769+12:+123:-1
770-123:-123:0
771-123:-12:-1
772-12:-123:1
773+123:+124:-1
774+124:+123:1
775-123:-124:1
776-124:-123:-1
7770:0.01:-1
7780:0.0001:-1
7790:-0.0001:1
7800:-0.1:1
7810.1:0:1
7820.00001:0:1
783-0.0001:0:-1
784-0.1:0:-1
7850:0.0001234:-1
7860:-0.0001234:1
7870.0001234:0:1
788-0.0001234:0:-1
7890.0001:0.0005:-1
7900.0005:0.0001:1
7910.005:0.0001:1
7920.001:0.0005:1
7930.000001:0.0005:-1
7940.00000123:0.0005:-1
7950.00512:0.0001:1
7960.005:0.000112:1
7970.00123:0.0005:1
7981.5:2:-1
7992:1.5:1
8001.54321:234:-1
801234:1.54321:1
802# infinity
803-inf:5432112345:-1
804+inf:5432112345:1
805-inf:-5432112345:-1
806+inf:-5432112345:1
807-inf:54321.12345:-1
808+inf:54321.12345:1
809-inf:-54321.12345:-1
810+inf:-54321.12345:1
811+inf:+inf:0
812-inf:-inf:0
813+inf:-inf:1
814-inf:+inf:-1
815# return undef
816+inf:NaN:
817NaN:inf:
818-inf:NaN:
819NaN:-inf:
820&facmp
821fcmpNaN:fcmpNaN:
822fcmpNaN:+0:
823+0:fcmpNaN:
824+0:+0:0
825-1:+0:1
826+0:-1:-1
827+1:+0:1
828+0:+1:-1
829-1:+1:0
830+1:-1:0
831-1:-1:0
832+1:+1:0
833-1.1:0:1
834+0:-1.1:-1
835+1.1:+0:1
836+0:+1.1:-1
837+123:+123:0
838+123:+12:1
839+12:+123:-1
840-123:-123:0
841-123:-12:1
842-12:-123:-1
843+123:+124:-1
844+124:+123:1
845-123:-124:-1
846-124:-123:1
8470:0.01:-1
8480:0.0001:-1
8490:-0.0001:-1
8500:-0.1:-1
8510.1:0:1
8520.00001:0:1
853-0.0001:0:1
854-0.1:0:1
8550:0.0001234:-1
8560:-0.0001234:-1
8570.0001234:0:1
858-0.0001234:0:1
8590.0001:0.0005:-1
8600.0005:0.0001:1
8610.005:0.0001:1
8620.001:0.0005:1
8630.000001:0.0005:-1
8640.00000123:0.0005:-1
8650.00512:0.0001:1
8660.005:0.000112:1
8670.00123:0.0005:1
8681.5:2:-1
8692:1.5:1
8701.54321:234:-1
871234:1.54321:1
872# infinity
873-inf:5432112345:1
874+inf:5432112345:1
875-inf:-5432112345:1
876+inf:-5432112345:1
877-inf:54321.12345:1
878+inf:54321.12345:1
879-inf:-54321.12345:1
880+inf:-54321.12345:1
881+inf:+inf:0
882-inf:-inf:0
883+inf:-inf:0
884-inf:+inf:0
48b581a2 8855:inf:-1
886-1:inf:-1
8875:-inf:-1
888-1:-inf:-1
ee15d750 889# return undef
890+inf:facmpNaN:
891facmpNaN:inf:
892-inf:facmpNaN:
893facmpNaN:-inf:
894&fdec
895fdecNaN:NaN
896+inf:inf
897-inf:-inf
898+0:-1
899+1:0
900-1:-2
9011.23:0.23
902-1.23:-2.23
e745a66c 903100:99
904101:100
905-100:-101
906-99:-100
907-98:-99
90899:98
ee15d750 909&finc
910fincNaN:NaN
911+inf:inf
912-inf:-inf
913+0:1
914+1:2
915-1:0
9161.23:2.23
917-1.23:-0.23
e745a66c 918100:101
919-100:-99
920-99:-98
921-101:-100
92299:100
ee15d750 923&fadd
924abc:abc:NaN
925abc:+0:NaN
926+0:abc:NaN
13a12e00 927+inf:-inf:NaN
928-inf:+inf:NaN
ee15d750 929+inf:+inf:inf
930-inf:-inf:-inf
931baddNaN:+inf:NaN
932baddNaN:+inf:NaN
933+inf:baddNaN:NaN
934-inf:baddNaN:NaN
935+0:+0:0
936+1:+0:1
937+0:+1:1
938+1:+1:2
939-1:+0:-1
940+0:-1:-1
941-1:-1:-2
942-1:+1:0
943+1:-1:0
944+9:+1:10
945+99:+1:100
946+999:+1:1000
947+9999:+1:10000
948+99999:+1:100000
949+999999:+1:1000000
950+9999999:+1:10000000
951+99999999:+1:100000000
952+999999999:+1:1000000000
953+9999999999:+1:10000000000
954+99999999999:+1:100000000000
955+10:-1:9
956+100:-1:99
957+1000:-1:999
958+10000:-1:9999
959+100000:-1:99999
960+1000000:-1:999999
961+10000000:-1:9999999
962+100000000:-1:99999999
963+1000000000:-1:999999999
964+10000000000:-1:9999999999
965+123456789:+987654321:1111111110
966-123456789:+987654321:864197532
967-123456789:-987654321:-1111111110
968+123456789:-987654321:-864197532
9690.001234:0.0001234:0.0013574
970&fsub
971abc:abc:NaN
972abc:+0:NaN
973+0:abc:NaN
974+inf:-inf:inf
975-inf:+inf:-inf
13a12e00 976+inf:+inf:NaN
977-inf:-inf:NaN
ee15d750 978baddNaN:+inf:NaN
979baddNaN:+inf:NaN
980+inf:baddNaN:NaN
981-inf:baddNaN:NaN
982+0:+0:0
983+1:+0:1
984+0:+1:-1
985+1:+1:0
986-1:+0:-1
987+0:-1:1
988-1:-1:0
989-1:+1:-2
990+1:-1:2
991+9:+1:8
992+99:+1:98
993+999:+1:998
994+9999:+1:9998
995+99999:+1:99998
996+999999:+1:999998
997+9999999:+1:9999998
998+99999999:+1:99999998
999+999999999:+1:999999998
1000+9999999999:+1:9999999998
1001+99999999999:+1:99999999998
1002+10:-1:11
1003+100:-1:101
1004+1000:-1:1001
1005+10000:-1:10001
1006+100000:-1:100001
1007+1000000:-1:1000001
1008+10000000:-1:10000001
1009+100000000:-1:100000001
1010+1000000000:-1:1000000001
1011+10000000000:-1:10000000001
1012+123456789:+987654321:-864197532
1013-123456789:+987654321:-1111111110
1014-123456789:-987654321:864197532
1015+123456789:-987654321:1111111110
1016&fmul
1017abc:abc:NaN
1018abc:+0:NaN
1019+0:abc:NaN
1020+inf:NaNmul:NaN
1021+inf:NaNmul:NaN
1022NaNmul:+inf:NaN
1023NaNmul:-inf:NaN
1024+inf:+inf:inf
1025+inf:-inf:-inf
1026+inf:-inf:-inf
1027+inf:+inf:inf
1028+inf:123.34:inf
1029+inf:-123.34:-inf
1030-inf:123.34:-inf
1031-inf:-123.34:inf
1032123.34:+inf:inf
1033-123.34:+inf:-inf
1034123.34:-inf:-inf
1035-123.34:-inf:inf
1036+0:+0:0
1037+0:+1:0
1038+1:+0:0
1039+0:-1:0
1040-1:+0:0
1041+123456789123456789:+0:0
1042+0:+123456789123456789:0
1043-1:-1:1
1044-1:+1:-1
1045+1:-1:-1
1046+1:+1:1
1047+2:+3:6
1048-2:+3:-6
1049+2:-3:-6
1050-2:-3:6
1051+111:+111:12321
1052+10101:+10101:102030201
1053+1001001:+1001001:1002003002001
1054+100010001:+100010001:10002000300020001
1055+10000100001:+10000100001:100002000030000200001
1056+11111111111:+9:99999999999
1057+22222222222:+9:199999999998
1058+33333333333:+9:299999999997
1059+44444444444:+9:399999999996
1060+55555555555:+9:499999999995
1061+66666666666:+9:599999999994
1062+77777777777:+9:699999999993
1063+88888888888:+9:799999999992
1064+99999999999:+9:899999999991
10656:120:720
106610:10000:100000
b3abae2a 1067&fdiv-list
10680:0:NaN,NaN
10690:1:0,0
10709:4:2.25,1
10719:5:1.8,4
ee15d750 1072&fdiv
1073$div_scale = 40; $round_mode = 'even'
1074abc:abc:NaN
1075abc:+1:abc:NaN
1076+1:abc:NaN
1077-1:abc:NaN
10780:abc:NaN
1079+0:+0:NaN
1080+0:+1:0
1081+1:+0:inf
1082+3214:+0:inf
1083+0:-1:0
1084-1:+0:-inf
1085-3214:+0:-inf
1086+1:+1:1
1087-1:-1:1
1088+1:-1:-1
1089-1:+1:-1
1090+1:+2:0.5
1091+2:+1:2
1092123:+inf:0
1093123:-inf:0
1094+10:+5:2
1095+100:+4:25
1096+1000:+8:125
1097+10000:+16:625
1098+10000:-16:-625
1099+999999999999:+9:111111111111
1100+999999999999:+99:10101010101
1101+999999999999:+999:1001001001
1102+999999999999:+9999:100010001
1103+999999999999999:+99999:10000100001
1104+1000000000:+9:111111111.1111111111111111111111111111111
1105+2000000000:+9:222222222.2222222222222222222222222222222
1106+3000000000:+9:333333333.3333333333333333333333333333333
1107+4000000000:+9:444444444.4444444444444444444444444444444
1108+5000000000:+9:555555555.5555555555555555555555555555556
1109+6000000000:+9:666666666.6666666666666666666666666666667
1110+7000000000:+9:777777777.7777777777777777777777777777778
1111+8000000000:+9:888888888.8888888888888888888888888888889
1112+9000000000:+9:1000000000
1113+35500000:+113:314159.2920353982300884955752212389380531
1114+71000000:+226:314159.2920353982300884955752212389380531
1115+106500000:+339:314159.2920353982300884955752212389380531
1116+1000000000:+3:333333333.3333333333333333333333333333333
11172:25.024996000799840031993601279744051189762:0.07992009269196593320152084692285869265447
394e6ffb 1118123456:1:123456
ee15d750 1119$div_scale = 20
1120+1000000000:+9:111111111.11111111111
1121+2000000000:+9:222222222.22222222222
1122+3000000000:+9:333333333.33333333333
1123+4000000000:+9:444444444.44444444444
1124+5000000000:+9:555555555.55555555556
1125+6000000000:+9:666666666.66666666667
1126+7000000000:+9:777777777.77777777778
1127+8000000000:+9:888888888.88888888889
1128+9000000000:+9:1000000000
11291:10:0.1
11301:100:0.01
11311:1000:0.001
11321:10000:0.0001
11331:504:0.001984126984126984127
11342:1.987654321:1.0062111801179738436
394e6ffb 1135123456789.123456789123456789123456789:1:123456789.12345678912
ee15d750 1136# the next two cases are the "old" behaviour, but are now (>v0.01) different
1137#+35500000:+113:314159.292035398230088
1138#+71000000:+226:314159.292035398230088
1139+35500000:+113:314159.29203539823009
1140+71000000:+226:314159.29203539823009
1141+106500000:+339:314159.29203539823009
1142+1000000000:+3:333333333.33333333333
1143$div_scale = 1
1144# round to accuracy 1 after bdiv
1145+124:+3:40
394e6ffb 1146123456789.1234:1:100000000
ee15d750 1147# reset scale for further tests
1148$div_scale = 40
1149&fmod
61f5c3f5 1150+9:4:1
1151+9:5:4
1152+9000:56:40
1153+56:9000:56
1154# inf handling, see table in doc
11550:inf:0
11560:-inf:0
11575:inf:5
11585:-inf:5
1159-5:inf:-5
1160-5:-inf:-5
1161inf:5:0
1162-inf:5:0
1163inf:-5:0
1164-inf:-5:0
11655:5:0
1166-5:-5:0
b3abae2a 1167inf:inf:NaN
1168-inf:-inf:NaN
1169-inf:inf:NaN
1170inf:-inf:NaN
61f5c3f5 11718:0:8
1172inf:0:inf
1173# exceptions to reminder rule
1174-inf:0:-inf
1175-8:0:-8
11760:0:NaN
1177abc:abc:NaN
1178abc:1:abc:NaN
11791:abc:NaN
11800:0:NaN
11810:1:0
11821:0:1
11830:-1:0
1184-1:0:-1
11851:1:0
1186-1:-1:0
11871:-1:0
1188-1:1:0
11891:2:1
11902:1:0
11911000000000:9:1
11922000000000:9:2
11933000000000:9:3
11944000000000:9:4
11955000000000:9:5
11966000000000:9:6
11977000000000:9:7
11988000000000:9:8
11999000000000:9:0
120035500000:113:33
120171000000:226:66
1202106500000:339:99
12031000000000:3:1
120410:5:0
1205100:4:0
12061000:8:0
120710000:16:0
1208999999999999:9:0
1209999999999999:99:0
1210999999999999:999:0
1211999999999999:9999:0
1212999999999999999:99999:0
1213-9:+5:1
1214+9:-5:-1
1215-9:-5:-4
1216-5:3:1
1217-2:3:1
12184:3:1
12191:3:1
1220-5:-3:-2
1221-2:-3:-2
12224:-3:-2
12231:-3:-2
12244095:4095:0
1225100041000510123:3:0
1226152403346:12345:4321
122787654321:87654321:0
1228# now some floating point tests
1229123:2.5:0.5
12301230:2.5:0
1231123.4:2.5:0.9
1232123e1:25:5
b3abae2a 1233&ffac
1234Nanfac:NaN
1235-1:NaN
b282a552 1236+inf:inf
091c87b1 1237-inf:NaN
b3abae2a 12380:1
12391:1
12402:2
12413:6
12424:24
12435:120
12446:720
124510:3628800
124611:39916800
124712:479001600
990fb837 1248&froot
1249# sqrt()
1250+0:2:0
1251+1:2:1
1252-1:2:NaN
1253# -$x ** (1/2) => -$y, but not in froot()
1254-123.456:2:NaN
1255+inf:2:inf
1256-inf:2:NaN
12572:2:1.41421356237309504880168872420969807857
1258-2:2:NaN
12594:2:2
12609:2:3
126116:2:4
1262100:2:10
1263123.456:2:11.11107555549866648462149404118219234119
126415241.38393:2:123.4559999756998444766131352122991626468
12651.44:2:1.2
126612:2:3.464101615137754587054892683011744733886
12670.49:2:0.7
12680.0049:2:0.07
1269# invalid ones
12701:NaN:NaN
1271-1:NaN:NaN
12720:NaN:NaN
1273-inf:NaN:NaN
1274+inf:NaN:NaN
1275NaN:0:NaN
1276NaN:2:NaN
1277NaN:inf:NaN
1278NaN:inf:NaN
127912:-inf:NaN
128012:inf:NaN
1281+0:0:NaN
1282+1:0:NaN
1283-1:0:NaN
1284-2:0:NaN
1285-123.45:0:NaN
1286+inf:0:NaN
128712:1:12
1288-12:1:NaN
12898:-1:NaN
1290-8:-1:NaN
1291# cubic root
12928:3:2
1293-8:3:NaN
1294# fourths root
129516:4:2
129681:4:3
3a427a11 1297# see t/bigroot() for more tests
ee15d750 1298&fsqrt
1299+0:0
1300-1:NaN
1301-2:NaN
1302-16:NaN
1303-123.45:NaN
1304nanfsqrt:NaN
1305+inf:inf
1306-inf:NaN
394e6ffb 13071:1
13082:1.41421356237309504880168872420969807857
13094:2
13109:3
131116:4
1312100:10
1313123.456:11.11107555549866648462149404118219234119
131415241.38393:123.4559999756998444766131352122991626468
13151.44:1.2
1316# sqrt(1.44) = 1.2, sqrt(e10) = e5 => 12e4
13171.44E10:120000
13182e10:141421.356237309504880168872420969807857
b3abae2a 1319144e20:120000000000
61f5c3f5 1320# proved to be an endless loop under 7-9
132112:3.464101615137754587054892683011744733886
990fb837 13220.49:0.7
13230.0049:0.07
027dc388 1324&is_nan
1325123:0
1326abc:1
1327NaN:1
1328-123:0
1329&is_inf
1330+inf::1
1331-inf::1
1332abc::0
13331::0
1334NaN::0
1335-1::0
1336+inf:-:0
1337+inf:+:1
1338-inf:-:1
1339-inf:+:0
1340# it must be exactly /^[+-]inf$/
1341+infinity::0
1342-infinity::0
ee15d750 1343&is_odd
1344abc:0
13450:0
1346-1:1
1347-3:1
13481:1
13493:1
13501000001:1
13511000002:0
1352+inf:0
1353-inf:0
1354123.45:0
1355-123.45:0
13562:0
b3abae2a 1357&is_int
1358NaNis_int:0
13590:1
13601:1
13612:1
1362-2:1
1363-1:1
1364-inf:0
1365+inf:0
1366123.4567:0
1367-0.1:0
1368-0.002:0
ee15d750 1369&is_even
1370abc:0
13710:1
1372-1:0
1373-3:0
13741:0
13753:0
13761000001:0
13771000002:1
13782:1
1379+inf:0
1380-inf:0
1381123.456:0
1382-123.456:0
b3abae2a 13830.01:0
1384-0.01:0
1385120:1
13861200:1
1387-1200:1
ee15d750 1388&is_positive
13890:1
13901:1
1391-1:0
1392-123:0
1393NaN:0
1394-inf:0
1395+inf:1
1396&is_negative
13970:0
13981:0
1399-1:1
1400-123:1
1401NaN:0
1402-inf:1
1403+inf:0
1404&parts
14050:0 1
14061:1 0
1407123:123 0
1408-123:-123 0
1409-1200:-12 2
1410NaNparts:NaN NaN
1411+inf:inf inf
1412-inf:-inf inf
1413&exponent
14140:1
14151:0
1416123:0
1417-123:0
1418-1200:2
1419+inf:inf
1420-inf:inf
1421NaNexponent:NaN
1422&mantissa
14230:0
14241:1
1425123:123
1426-123:-123
1427-1200:-12
1428+inf:inf
1429-inf:-inf
1430NaNmantissa:NaN
1431&length
1432123:3
1433-123:3
14340:1
14351:1
143612345678901234567890:20
1437&is_zero
1438NaNzero:0
1439+inf:0
1440-inf:0
14410:1
1442-1:0
14431:0
1444&is_one
1445NaNone:0
1446+inf:0
1447-inf:0
14480:0
14492:0
14501:1
1451-1:0
1452-2:0
027dc388 1453&ffloor
ee15d750 14540:0
1455abc:NaN
1456+inf:inf
1457-inf:-inf
14581:1
1459-51:-51
1460-51.2:-52
146112.2:12
990fb837 14620.12345:0
14630.123456:0
14640.1234567:0
14650.12345678:0
14660.123456789:0
027dc388 1467&fceil
ee15d750 14680:0
1469abc:NaN
1470+inf:inf
1471-inf:-inf
14721:1
1473-51:-51
1474-51.2:-51
147512.2:13