From: Dieter K. <cra...@us...> - 2009-05-22 10:54:02
|
Update of /cvsroot/maxima/maxima/tests In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv3177 Modified Files: rtest_sign.mac Log Message: Adding some examples for assumptions abs(x)<a, a is a positive expression. The examples test the extension learn-abs. Index: rtest_sign.mac =================================================================== RCS file: /cvsroot/maxima/maxima/tests/rtest_sign.mac,v retrieving revision 1.4 retrieving revision 1.5 diff -u -d -r1.4 -r1.5 --- rtest_sign.mac 15 Mar 2009 21:15:23 -0000 1.4 +++ rtest_sign.mac 22 May 2009 10:53:53 -0000 1.5 @@ -726,3 +726,150 @@ pnz; csign(imagpart(z)); pnz; + +/* + * Examples for assumptions with abs(x)<a, a is positive + * + */ + +kill(all); +done; + +assume(abs(x)<1); +[abs(x)<1]; + +sign(1-x); +pos; +sign(2-x); +pos; +sign(x-1); +neg; +sign(x-2); +neg; + +forget(abs(x)<1); +[abs(x)<1]; + +facts(); +[]; + +assume(a>0,abs(x)<a); +[a>0,a>abs(x)]; + +sign(a-x); +pos; +sign(x-a); +neg; + +forget(abs(x)<a); +[a>abs(x)]; + +facts(); +[a>0]; + +assume(a*abs(x)<1); +[a*abs(x)<1]; + +sign(1/a-x); +pos; +sign(x-1/a); +neg; + +forget(a*abs(x)<1); +[a*abs(x)<1]; + +assume(abs(x)<2*a+1); +[2*a-abs(x)+1>0]; + +sign(2*a+1-x); +pos; +sign(2*a+1+x); +pos; +sign(a*(2*a+1-x)); +pos; + +forget(abs(x)<2*a+1); +[2*a-abs(x)+1>0]; + +facts(); +[a>0]; + +assume(b>0,b<1); +[b>0,b<1]; + +assume(abs(x)<b); +[b>abs(x)]; + +is(x<1); +true; +sign(1-x); +pos; +sign(x-1); +neg; + +forget(abs(x)<b); +[b>abs(x)]; + +facts(); +[a>0,b>0,1>b]; + +assume(sin(abs(x)) < 1); +[sin(abs(x))<1]; + +sign(1-sin(x)); +pos; +sign(2-sin(x)); +pos; +sign(sin(x)-1); +neg; +sign(sin(x)-2); +neg; + +forget(sin(abs(x)) < 1); +[sin(abs(x))<1]; + +assume(cos(abs(x)) < 1); +[cos(abs(x))<1]; + +sign(1-cos(x)); +pos; +sign(2-cos(x)); +pos; +sign(cos(x)-1); +neg; +sign(cos(x)-2); +neg; + +forget(cos(abs(x)) < 1); +[cos(abs(x))<1]; + +assume(abs(sin(x)) < 1); +[abs(sin(x))<1]; + +sign(1-sin(x)); +pos; +sign(2-sin(x)); +pos; +sign(sin(x)-1); +neg; +sign(sin(x)-2); +neg; + +forget(abs(sin(x)) < 1); +[abs(sin(x))<1]; + +assume(abs(cos(x)) < 1); +[abs(cos(x))<1]; + +sign(1-cos(x)); +pos; +sign(2-cos(x)); +pos; +sign(cos(x)-1); +neg; +sign(cos(x)-2); +neg; + +forget(abs(cos(x)) <1); +[abs(cos(x))<1]; + |