**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