This command computes the characteristic cone of the polyhedral set polyset, returning the result as a new PolyhedralSet.

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

$c≔\mathrm{ExampleSets}:-\mathrm{Cube}\left(\left[x\,y\,z\right]\right)\:$$\mathrm{c\_cone}≔\mathrm{CharacteristicCone}\left(c\right)$

$\mathrm{c\_cone}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x\,y\,z\right]\\ \mathrm{Relations}& \:& \left[z=0\,y=0\,x=0\right]\end{array}$

$\mathrm{ps}≔\mathrm{PolyhedralSet}\left(\left[10\le x+y\right]\right)\:$$\mathrm{ps\_verts},\mathrm{ps\_rays}≔\mathrm{VerticesAndRays}\left(\mathrm{ps}\right)\:$$\mathrm{ps\_rays}$

$\left[\left[1\,\mathrm{-1}\right]\,\left[\mathrm{-1}\,1\right]\,\left[1\,1\right]\right]$

$\mathrm{ps\_cone}≔\mathrm{CharacteristicCone}\left(\mathrm{ps}\right)\:$$\mathrm{ps\_cone\_verts},\mathrm{ps\_cone\_rays}≔\mathrm{VerticesAndRays}\left(\mathrm{ps\_cone}\right)\:$$\mathrm{ps\_cone\_rays}$

$\left[\left[1\,\mathrm{-1}\right]\,\left[\mathrm{-1}\,1\right]\,\left[1\,1\right]\right]$

$\mathrm{evalb}\left(\mathrm{ps\_rays}=\mathrm{ps\_cone\_rays}\right)$

$\mathrm{true}$

The PolyhedralSets[CharacteristicCone] command was introduced in Maple 2015.

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