This command computes the vertices and rays of the polyhedral set polyset.  It returns two lists, the first being the vertices of the set and the second its rays.  Either list could be empty, depending on the set and the options specified.

The available options are:

The method = enumeration option (default) computes a set's V-Representation by recursively computing its facets until its minimal dimensional faces have been calculated.  The vertices and rays are then inferred and returned.  The method = duality option computes the set's V-Representation using its polar dual.  This method is applicable to bounded polyhedral sets that contain the origin in their interior.

The vertextype option selects whether or not the vertices returned by VerticesAndRays are strict vertices of polyset.  The default vertextype = extremepoints returns only vertices that are extreme points of polyset, while vertextype = vrepresentation return the vertices necessary to form a V-Representation of polyset.  With vertextype = vrepresentation, this command will return vertices even if the set does not have any extreme points, i.e. when Faces(polyset, dimension = 0) returns an empty list.  This option has no effect on sets that have vertices.

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

$\mathrm{octa}≔\mathrm{ExampleSets}:-\mathrm{Octahedron}\left(\right)$

$\mathrm{octa}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x_1\,x_2\,x_3\right]\\ \mathrm{Relations}& \:& \left[-x_1-x_2-x_3\le 1\,-x_1-x_2+x_3\le 1\,-x_1+x_2-x_3\le 1\,-x_1+x_2+x_3\le 1\,x_1-x_2-x_3\le 1\,x_1-x_2+x_3\le 1\,x_1+x_2-x_3\le 1\,x_1+x_2+x_3\le 1\right]\end{array}$

$\mathrm{VerticesAndRays}\left(\mathrm{octa}\right)$

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

$H≔\mathrm{PolyhedralSet}\left(\left[1\le x\right]\,\left[x\,y\right]\right)\:$

$v,r≔\mathrm{VerticesAndRays}\left(H\right)$

$v,r≔\left[\right],\left[\left[0\,1\right]\,\left[0\,\mathrm{-1}\right]\,\left[1\,0\right]\right]$

$v,r≔\mathrm{VerticesAndRays}\left(H\,\mathrm{vertextype}=\mathrm{vrepresentation}\right)$

$v,r≔\left[\left[1\,0\right]\right],\left[\left[0\,1\right]\,\left[0\,\mathrm{-1}\right]\,\left[1\,0\right]\right]$

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

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