move op/ipc{msg,sem}.t into lib/ipc_sysv.t
[p5sagit/p5-mst-13.2.git] / t / lib / complex.t
index c05f40f..2bb14f0 100755 (executable)
@@ -1,10 +1,11 @@
 #!./perl
 
-# $RCSfile$
+# $RCSfile: complex.t,v $
 #
 # Regression tests for the Math::Complex pacakge
-# -- Raphael Manfredi, September 1996
-# -- Jarkko Hietaniemi, March-April 1997
+# -- Raphael Manfredi  since Sep 1996
+# -- Jarkko Hietaniemi since Mar 1997
+# -- Daniel S. Lewart  since Sep 1997
 
 BEGIN {
     chdir 't' if -d 't';
@@ -13,10 +14,22 @@ BEGIN {
 
 use Math::Complex;
 
+$VERSION = sprintf("%s", q$Id: complex.t,v 1.8 1998/02/05 16:03:39 jhi Exp $ =~ /(\d+\.d+)/);
+
+my ($args, $op, $target, $test, $test_set, $try, $val, $zvalue, @set, @val);
+
 $test = 0;
 $| = 1;
-@script = ();
-my $eps = 1e-11;
+my @script = (
+    'my ($res, $s0,$s1,$s2,$s3,$s4,$s5,$s6,$s7,$s8,$s9,$s10, $z0,$z1,$z2);' .
+       "\n\n"
+);
+my $eps = 1e-13;
+
+if ($^O eq 'unicos') {         # For some reason root() produces very inaccurate
+    $eps = 1e-11;      # results in Cray UNICOS, and occasionally also
+}                      # cos(), sin(), cosh(), sinh().  The division
+                       # of doubles is the current suspect.
 
 while (<DATA>) {
        s/^\s+//;
@@ -49,16 +62,70 @@ while (<DATA>) {
        }
 }
 
+#
+
+sub test_mutators {
+    my $op;
+
+    $test++;
+push(@script, <<'EOT');
+{
+    my $z = cplx(  1,  1);
+    $z->Re(2);
+    $z->Im(3);
+    print 'not ' unless Re($z) == 2 and Im($z) == 3;
+EOT
+    push(@script, qq(print "ok $test\\n"}\n));
+
+    $test++;
+push(@script, <<'EOT');
+{
+    my $z = cplx(  1,  1);
+    $z->abs(3 * sqrt(2));
+    print 'not ' unless (abs($z) - 3 * sqrt(2)) < $eps and
+                        (arg($z) - pi / 4     ) < $eps and
+                        (Re($z) - 3           ) < $eps and
+                        (Im($z) - 3           ) < $eps;
+EOT
+    push(@script, qq(print "ok $test\\n"}\n));
+
+    $test++;
+push(@script, <<'EOT');
+{
+    my $z = cplx(  1,  1);
+    $z->arg(-3 / 4 * pi);
+    print 'not ' unless (arg($z) + 3 / 4 * pi) < $eps and
+                        (abs($z) - sqrt(2)   ) < $eps and
+                        (Re($z) + 1          ) < $eps and
+                        (Im($z) + 1          ) < $eps;
+EOT
+    push(@script, qq(print "ok $test\\n"}\n));
+}
+
+test_mutators();
+
+my $constants = '
+my $i    = cplx(0,  1);
+my $pi   = cplx(pi, 0);
+my $pii  = cplx(0, pi);
+my $pip2 = cplx(pi/2, 0);
+my $zero = cplx(0, 0);
+';
+
+push(@script, $constants);
+
+
 # test the divbyzeros
 
 sub test_dbz {
     for my $op (@_) {
        $test++;
 
-#      push(@script, qq(print "# '$op'\n";));
-       push(@script, qq(eval '$op';));
-       push(@script, qq(print 'not ' unless (\$@ =~ /Division by zero/);));
-       push(@script, qq(print "ok $test\n";));
+       push(@script, <<EOT);
+eval '$op';
+print 'not ' unless (\$@ =~ /Division by zero/);
+EOT
+        push(@script, qq(print "ok $test\\n";\n));
     }
 }
 
@@ -68,38 +135,40 @@ sub test_loz {
     for my $op (@_) {
        $test++;
 
-#      push(@script, qq(print "# '$op'\n";));
-       push(@script, qq(eval '$op';));
-       push(@script, qq(print 'not ' unless (\$@ =~ /Logarithm of zero/);));
-       push(@script, qq(print "ok $test\n";));
+       push(@script, <<EOT);
+eval '$op';
+print 'not ' unless (\$@ =~ /Logarithm of zero/);
+EOT
+        push(@script, qq(print "ok $test\\n";\n));
     }
 }
 
-my $minusi = cplx(0, -1);
-
 test_dbz(
         'i/0',
-#       'tan(pi/2)',   # may succeed thanks to floating point inaccuracies
-#       'sec(pi/2)',   # may succeed thanks to floating point inaccuracies
-        'csc(0)',
-        'cot(0)',
-        'atan(i)',
-        'atan($minusi)',
-        'asec(0)',
+        'acot(0)',
+        'acot(+$i)',
+#       'acoth(-1)',   # Log of zero.
+        'acoth(0)',
+        'acoth(+1)',
         'acsc(0)',
-        'acot(i)',
-        'acot($minusi)',
-#       'tanh(pi/2)',  # may succeed thanks to floating point inaccuracies
-#       'sech(pi/2)',  # may succeed thanks to floating point inaccuracies
-        'csch(0)',
-        'coth(0)',
-        'atanh(1)',
-        'asech(0)',
         'acsch(0)',
-        'acoth(1)',
+        'asec(0)',
+        'asech(0)',
+        'atan(-$i)',
+        'atan($i)',
+#       'atanh(-1)',   # Log of zero.
+        'atanh(+1)',
+        'cot(0)',
+        'coth(0)',
+        'csc(0)',
+        'tan($pip2)',
+        'csch(0)',
+        'tan($pip2)',
        );
 
 test_loz(
+        'log($zero)',
+        'acot(-$i)',
         'atanh(-1)',
         'acoth(-1)',
        );
@@ -107,12 +176,13 @@ test_loz(
 # test the 0**0
 
 sub test_ztz {
-       $test++;
+    $test++;
 
-#      push(@script, qq(print "# 0**0\n";));
-       push(@script, qq(eval 'cplx(0)**cplx(0)';));
-       push(@script, qq(print 'not ' unless (\$@ =~ /zero raised to the/);));
-       push(@script, qq(print "ok $test\n";));
+    push(@script, <<'EOT');
+eval 'cplx(0)**cplx(0)';
+print 'not ' unless ($@ =~ /zero raised to the zeroth/);
+EOT
+    push(@script, qq(print "ok $test\\n";\n));
 }
 
 test_ztz;
@@ -123,10 +193,11 @@ sub test_broot {
     for my $op (@_) {
        $test++;
 
-#      push(@script, qq(print "# root(2, $op)\n";));
-       push(@script, qq(eval 'root(2, $op)';));
-       push(@script, qq(print 'not ' unless (\$@ =~ /root must be/);));
-       push(@script, qq(print "ok $test\n";));
+       push(@script, <<EOT);
+eval 'root(2, $op)';
+print 'not ' unless (\$@ =~ /root must be/);
+EOT
+        push(@script, qq(print "ok $test\\n";\n));
     }
 }
 
@@ -173,11 +244,11 @@ sub test {
                        # check the op= works
                        push @script, <<EOB;
 {
-        my \$za = cplx(ref \$z0 ? \@{\$z0->cartesian} : (\$z0, 0));
+       my \$za = cplx(ref \$z0 ? \@{\$z0->cartesian} : (\$z0, 0));
 
        my (\$z1r, \$z1i) = ref \$z1 ? \@{\$z1->cartesian} : (\$z1, 0);
 
-        my \$zb = cplx(\$z1r, \$z1i);
+       my \$zb = cplx(\$z1r, \$z1i);
 
        \$za $op= \$zb;
        my (\$zbr, \$zbi) = \@{\$zb->cartesian};
@@ -187,7 +258,7 @@ EOB
                        $test++;
                        # check that the rhs has not changed
                        push @script, qq(print "not " unless (\$zbr == \$z1r and \$zbi == \$z1i););
-                       push @script, qq(print "ok $test\n";);
+                       push @script, qq(print "ok $test\\n";\n);
                        push @script, "}\n";
                }
        }
@@ -213,6 +284,9 @@ sub value {
        if (/^\s*\((.*),(.*)\)/) {
                return "cplx($1,$2)";
        }
+       elsif (/^\s*([\-\+]?(?:\d+(\.\d+)?|\.\d+)(?:[e[\-\+]\d+])?)/) {
+               return "cplx($1,0)";
+       }
        elsif (/^\s*\[(.*),(.*)\]/) {
                return "cplxe($1,$2)";
        }
@@ -249,6 +323,17 @@ sub check {
                print "# '$try' expected: '$expected' got: '$got' for $args\n";
        }
 }
+
+sub addsq {
+    my ($z1, $z2) = @_;
+    return ($z1 + i*$z2) * ($z1 - i*$z2);
+}
+
+sub subsq {
+    my ($z1, $z2) = @_;
+    return ($z1 + $z2) * ($z1 - $z2);
+}
+
 __END__
 &+;=
 (3,4):(3,4):(6,8)
@@ -372,13 +457,13 @@ __END__
 |'abs(z)':'r'
 |'acot(z)':'acotan(z)'
 |'acsc(z)':'acosec(z)'
-|'abs(acsc(z))':'abs(asin(1 / z))'
-|'abs(asec(z))':'abs(acos(1 / z))'
+|'acsc(z)':'asin(1 / z)'
+|'asec(z)':'acos(1 / z)'
 |'cbrt(z)':'cbrt(r) * exp(i * t/3)'
 |'cos(acos(z))':'z'
-|'cos(z) ** 2 + sin(z) ** 2':1
+|'addsq(cos(z), sin(z))':1
 |'cos(z)':'cosh(i*z)'
-|'cosh(z) ** 2 - sinh(z) ** 2':1
+|'subsq(cosh(z), sinh(z))':1
 |'cot(acot(z))':'z'
 |'cot(z)':'1 / tan(z)'
 |'cot(z)':'cotan(z)'
@@ -430,6 +515,20 @@ __END__
 |'atan(tan(z))':'z'
 |'atanh(tanh(z))':'z'
 
+&log
+(-2.0,0):(   0.69314718055995,  3.14159265358979)
+(-1.0,0):(   0               ,  3.14159265358979)
+(-0.5,0):(  -0.69314718055995,  3.14159265358979)
+( 0.5,0):(  -0.69314718055995,  0               )
+( 1.0,0):(   0               ,  0               )
+( 2.0,0):(   0.69314718055995,  0               )
+
+&log
+( 2, 3):(    1.28247467873077,  0.98279372324733)
+(-2, 3):(    1.28247467873077,  2.15879893034246)
+(-2,-3):(    1.28247467873077, -2.15879893034246)
+( 2,-3):(    1.28247467873077, -0.98279372324733)
+
 &sin
 (-2.0,0):(  -0.90929742682568,  0               )
 (-1.0,0):(  -0.84147098480790,  0               )
@@ -777,3 +876,4 @@ __END__
 ( 2,-3):(  0.14694666622553,  0.23182380450040)
 
 # eof
+