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 nonneg .
Examples:
> assume(x >= 0);
> is(x,positive);
> is(x,nonneg);
See also: type/positive, type/nonneg , assume
Maple Advisor Database R. Israel, 1997