[Maxima-commits] CVS: maxima/tests rtest5.mac, 1.4, 1.5 testsuite.lisp, 1.46, 1.47

[Barton W. <wil...@us...>]

Update of /cvsroot/maxima/maxima/tests
In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv30837/tests

Modified Files:
	rtest5.mac testsuite.lisp 
Log Message:
o make tests less dependent on ratsimp and evaluation
o mark rtest5 #48 as a known failure

Index: rtest5.mac
===================================================================
RCS file: /cvsroot/maxima/maxima/tests/rtest5.mac,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- rtest5.mac	4 Apr 2005 00:47:46 -0000	1.4
+++ rtest5.mac	23 May 2007 00:15:00 -0000	1.5
@@ -18,32 +18,43 @@
 a*log(x^2*y^4)$
 logcontract(log(sqrt(x+1)+sqrt(x))+log(sqrt(x+1)-sqrt(x)));
 0$
+
 rootsconmode:false;
 false$
+
 rootscontract(x^(1/2)*y^(3/2));
 sqrt(x*y^3)$
+
 rootscontract(x^(1/2)*y^(1/4));
 sqrt(x)*y^(1/4)$
+
 rootsconmode:true;
 true$
-rootscontract(x^(1/2)*y^(1/4));
-sqrt(x*sqrt(y))$
-rootscontract(x^(1/2)*y^(1/3));
-sqrt(x)*y^(1/3)$
+
+expand(rootscontract(x^(1/2)*y^(1/4)) - sqrt(x*sqrt(y)),0,0);
+0$
+
+expand(rootscontract(x^(1/2)*y^(1/3)) - sqrt(x)*y^(1/3),0,0);
+0$
+
 rootsconmode:all;
 all$
-rootscontract(x^(1/2)*y^(1/4));
-(x^2*y)^(1/4)$
-rootscontract(x^(1/2)*y^(1/3));
-(x^3*y^2)^(1/6)$
+expand(rootscontract(x^(1/2)*y^(1/4)) - (x^2*y)^(1/4),0,0);
+0$
+
+expand(rootscontract(x^(1/2)*y^(1/3)) -(x^3*y^2)^(1/6),0,0);
+0$
+
 rootsconmode:false;
 false$
 rootscontract(sqrt(sqrt(x+1)+sqrt(x))*sqrt(sqrt(x+1)-sqrt(x)));
 1$
 rootsconmode:true;
 true$
+
 rootscontract(sqrt(sqrt(5)+5)-5^(1/4)*sqrt(sqrt(5)+1));
 0$
+
 kill(f,g,h,x,y);
 done$
 diff(sin(x)+x^3+2*x^2,x);
@@ -101,8 +112,17 @@
 log(log(x))$
 integrate(sin(2*x+3),x);
 -cos(2*x+3)/2$
+
+/* test fails because it's not simplified -- do ?print(integrate(%e^x*erf(x),x)) */
+
 integrate(%e^x*erf(x),x);
 %e^x*erf(x)-%e^(1/4)*erf(x-1/2)$
+
+/* Try again, but ratsimp -- it's not a mathematical error */
+
+ratsimp(integrate(%e^x*erf(x),x) - (%e^x*erf(x)-%e^(1/4)*erf(x-1/2)));
+0$
+
 integrate(x/(x^3+1),x);
 log(x^2-x+1)/6+atan((2*x-1)/sqrt(3))/sqrt(3)-log(x+1)/3$
 diff(%,x);