Advice: Positive does not include 0

The type or property positive in Maple (as in standard mathematical English, although not in some other languages) means > 0 , not >= 0 . For >= 0 you can use nonnegative . Similarly, negative means < 0 , while nonpositive means <= 0 . However, nonpositive does not work with assumptions.

Examples:

> assume(x >= 0);

> is(x,positive);

> is(x,nonnegative);

> is(x+1,positive);

> is(-x,negative);

> is(-x-1,negative);

> is(-x,nonpositive);

> is(-x <= 0);

See also: type/positive, type/nonnegative , assume

Maple Advisor Database R. Israel, 1997