From: Dieter K. <cra...@us...> - 2009-08-31 23:09:26
|
Update of /cvsroot/maxima/maxima/tests In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv26057/tests Modified Files: rtest16.mac Log Message: Adding test to show simplification of the absolute value. Related bug report: BUG ID: 2842060 - unsimplified result from integrate Index: rtest16.mac =================================================================== RCS file: /cvsroot/maxima/maxima/tests/rtest16.mac,v retrieving revision 1.88 retrieving revision 1.89 diff -u -d -r1.88 -r1.89 --- rtest16.mac 28 Aug 2009 17:41:46 -0000 1.88 +++ rtest16.mac 31 Aug 2009 23:09:12 -0000 1.89 @@ -968,7 +968,7 @@ 'integrate(f(x),x,x[0],x[1]); /* - * BUG ID: 2840566 - defint fails to determine if one of its limit is real + * BUG ID: 2840566 - defint fails to determine if one of its limit is real */ (assume(b>0,c>0),done); @@ -977,5 +977,23 @@ integrate(x,x,0,sqrt(b^2+(b-c)^2)); (c^2-2*b*c+2*b^2)/2; +/* + * BUG ID: 2842060 - unsimplified result from integrate + */ + +/* The result for a general symbol x */ +integrate(1/x/sqrt(x^2-1),x); +-asin(1/abs(x)); + +(assume(x>0), done); +done; + +/* abs(x) simplifies to x for x>0 */ +integrate(1/x/sqrt(x^2-1),x); +-asin(1/x); + +(forget(x>0), done); +done; + end; end$ |