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

$\mathrm{with}\left(\mathrm{simplex}\right)\:$

$\mathrm{type}\left(-a\le 0\,'\mathrm{NONNEGATIVE}'\right)$

$\mathrm{true}$

$\mathrm{type}\left(0\le a\,'\mathrm{NONNEGATIVE}'\right)$

$\mathrm{true}$

$\mathrm{type}\left(a=0\,'\mathrm{NONNEGATIVE}'\right)$

$\mathrm{false}$

$\mathrm{type}\left(0\le a+b\,'\mathrm{NONNEGATIVE}'\right)$

$\mathrm{false}$