NONNEGATIVE - Maple Help

type/NONNEGATIVE

test if constraint is of the form a >= 0

 Calling Sequence type(expr, 'NONNEGATIVE' )

Parameters

 expr - any expression

Description

 • This is a Boolean function to test if the expression is a constraint of the form  $0\le a$ .
 • This function is part of the simplex package and can only be used after performing the command with(simplex).

Examples

 > $\mathrm{with}\left(\mathrm{simplex}\right):$
 > $\mathrm{type}\left(-a\le 0,'\mathrm{NONNEGATIVE}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left(0\le a,'\mathrm{NONNEGATIVE}'\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left(a=0,'\mathrm{NONNEGATIVE}'\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{type}\left(0\le a+b,'\mathrm{NONNEGATIVE}'\right)$
 ${\mathrm{false}}$ (4)