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}$