Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project!

## [Maxima-commits] CVS: maxima/tests rtest_sign.mac,1.4,1.5

 [Maxima-commits] CVS: maxima/tests rtest_sign.mac,1.4,1.5 From: Dieter Kaiser - 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)0,abs(x)0,a>abs(x)]; + +sign(a-x); +pos; +sign(x-a); +neg; + +forget(abs(x)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)abs(x)]; + +is(x<1); +true; +sign(1-x); +pos; +sign(x-1); +neg; + +forget(abs(x)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]; + ```

 [Maxima-commits] CVS: maxima/tests rtest_sign.mac,1.4,1.5 From: Dieter Kaiser - 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)0,abs(x)0,a>abs(x)]; + +sign(a-x); +pos; +sign(x-a); +neg; + +forget(abs(x)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)abs(x)]; + +is(x<1); +true; +sign(1-x); +pos; +sign(x-1); +neg; + +forget(abs(x)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]; + ```