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);

[Maple Math]

> is(x,nonneg);

[Maple Math]

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

Maple Advisor Database R. Israel, 1997