IsEmpty returns true if the polyhedral set polyset is the empty set, false otherwise.

IsUniversalSet returns true if the polyhedral set polyset is the universal set, false otherwise.

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

$\mathrm{p\_empty}≔\mathrm{PolyhedralSet}\left(\left[1\le x\,x\le -1\right]\right)\:$$\mathrm{IsEmpty}\left(\mathrm{p\_empty}\right)$

$\mathrm{true}$

$\mathrm{p\_left}≔\mathrm{PolyhedralSet}\left(\left[1\le x\right]\right)\:$$\mathrm{p\_right}≔\mathrm{PolyhedralSet}\left(\left[x\le 1\right]\right)\:$$\mathrm{IsUniversalSet}\left(\mathrm{ConvexHull}\left(\mathrm{p\_left}\,\mathrm{p\_right}\right)\right)$

$\mathrm{true}$

The PolyhedralSets[IsEmpty] and PolyhedralSets[IsUniversalSet] commands were introduced in Maple 2015.

For more information on Maple 2015 changes, see Updates in Maple 2015.