This command displays all of the known details for a given set, including the dimension of its ambient space, the dimension of the set, and its defining relations.

The Display command will always print the full list of relations of a polyhedral set, while the number of relations printed upon evaluation of a polyhedral set is limited according to PolyhedralSets[PrintLevel].

The argument p controls whether the output is rendered as 2-D Math (typeset = true), or 1-D Math (typeset = false).  The default matches the context in which the command is issued.

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

$\mathrm{PrintLevel}\left(1\right)\:$$c≔\mathrm{ExampleSets}:-\mathrm{Cube}\left(\right)$

$c≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x_1\,x_2\,x_3\right]\\ \mathrm{Relations}& \:& \left[-x_3\le 1\,\mathrm{and\; 5\; more\; constraints}\right]\end{array}$

$\mathrm{Display}\left(c\right)$

$$\begin{gathered} \text{PolyhedralSet}\:\{\begin{array}{lll}\text{Set ID}& \:& 728\\ \text{Coordinates}& \:& \left[x_1\,x_2\,x_3\right]\\ \text{Dimension of Space}& \:& 3\\ \text{Dimension of Set}& \:& 3\\ \text{\# of Equalities}& \:& 0\\ \text{\# of Inequalities}& \:& 6\\ \text{Relations}& \:& \[\mathrm{-1}\le x_3\, \\ \phantom{\[}{x}_3\le 1\, \\ \phantom{\[}\mathrm{-1}\le x_2\, \\ \phantom{\[}{x}_2\le 1\, \\ \phantom{\[}\mathrm{-1}\le x_1\, \\ \phantom{\[}{x}_1\le 1\]\\ \text{Vertices}& \:& \text{not previously calculated}\\ \text{Rays}& \:& \text{not previously calculated}\\ \text{Bounded}& \:& \text{not previously calculated}\\ \text{Volume}& \:& \text{not previously calculated}\end{array} \end{gathered}$$

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

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

$\mathrm{Display}\left(c\right)$

$$\begin{gathered} \text{PolyhedralSet}\:\{\begin{array}{lll}\text{Set ID}& \:& 728\\ \text{Coordinates}& \:& \left[x_1\,x_2\,x_3\right]\\ \text{Dimension of Space}& \:& 3\\ \text{Dimension of Set}& \:& 3\\ \text{\# of Equalities}& \:& 0\\ \text{\# of Inequalities}& \:& 6\\ \text{Relations}& \:& \[\mathrm{-1}\le x_3\, \\ \phantom{\[}{x}_3\le 1\, \\ \phantom{\[}\mathrm{-1}\le x_2\, \\ \phantom{\[}{x}_2\le 1\, \\ \phantom{\[}\mathrm{-1}\le x_1\, \\ \phantom{\[}{x}_1\le 1\]\\ \text{Vertices}& \:& \[\left[\mathrm{-1}\,\mathrm{-1}\,\mathrm{-1}\right]\, \\ \phantom{\[}\left[\mathrm{-1}\,\mathrm{-1}\,1\right]\, \\ \phantom{\[}\left[\mathrm{-1}\,1\,\mathrm{-1}\right]\, \\ \phantom{\[}\left[\mathrm{-1}\,1\,1\right]\, \\ \phantom{\[}\left[1\,\mathrm{-1}\,\mathrm{-1}\right]\, \\ \phantom{\[}\left[1\,\mathrm{-1}\,1\right]\, \\ \phantom{\[}\left[1\,1\,\mathrm{-1}\right]\, \\ \phantom{\[}\left[1\,1\,1\right]\]\\ \text{Rays}& \:& \left[\right]\\ \text{Bounded}& \:& \mathrm{true}\\ \text{Volume}& \:& \text{not previously calculated}\end{array} \end{gathered}$$

$\mathrm{Display}\left(c\,'\mathrm{typeset}'='\mathrm{false}'\right)$

Set ID:                 728
Coordinates:            [x[1], x[2], x[3]]
Number of coordinates:  3
Dimension of set:       3
Number of equalities:   0
Number of inequalities: 6
Relations:              [-x[3] <= 1,
                         x[3] <= 1,
                         -x[2] <= 1,
                         x[2] <= 1,
                         -x[1] <= 1,
                         x[1] <= 1]
Vertices:               [[-1, -1, -1],
                         [-1, -1, 1],
                         [-1, 1, -1],
                         [-1, 1, 1],
                         [1, -1, -1],
                         [1, -1, 1],
                         [1, 1, -1],
                         [1, 1, 1]]
Rays:                   []
Bounded:                true
Volume:                 not previously calculated

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

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