home *** CD-ROM | disk | FTP | other *** search
- * assume external
- assume(x > 1) assumes the variable x > 1 in real domain.
- By default, |x| < inf and all variables are complex, except that
- variables in inequalities are real, as usual only real numbers can be
- compared. e.g. x is complex in sin(x), but y is real in y > 1.
- You can restrict the domain of a variable by assuming the variable
- is even, odd, integer, real number, positive or negative.
- The assume() can be cleared by clear().
- See aslo: sign, isodd, iseven, isinteger, isreal, isnumber, clear.
- e.g. assume(x>0), assume(x>0, y<0), iseven(x):=1
-