The calling sequence SetName(n) where SetName is one of Simplex, Hypercube, UniversalSet or EmptySet creates an $n$-dimensional polyhedral set with the default coordinate names.  Alternatively, SetName(n, varname) can be used to create sets whose coordinates are $[\mathrm{varname\_\_1}\,\mathrm{varname\_\_2}\cdots \mathrm{varname\_\_n}]$ or the coordinates can be specified explicitly using SetName(coords).

Simplex is the $n$-dimensional rectangular simplex that has $n+1$ facets.  Its vertices are formed of the unit vectors and the origin.

Hypercube is the $n$-dimensional hypercube that spans $\left[\mathrm{-1}..1\right]$ in each dimension.

The UniversalSet contains every point in $n$-dimensional space, while the EmptySet contains no points.

Hyperoctant, RandomSolid and RandomSet accept additional parameters.  The hyperoctant can be specified using oct, a vector of $n$ positive and/or negative ones.  The $i$th entry in oct selects whether the positive or negative half-space of the $i$th coordinate is used to form the hyperoctant.  The default is all positive ones, which corresponds to quadrant I in two dimensions and octant I in three dimensions.

RandomSolid generates a bounded polyhedral set with nv vertices by choosing random points near the surface of the $n$-sphere.  If the set's coordinates are not specified using RandomSolid(nv, optcoords), then the dimension of the space must be given with the call sequence RandomSolid(nv, n).  The number of vertices nv must be greater than the dimension of the space in order to generate a solid.

RandomSet generates a polyhedral set with nf faces.  The resultant figure may be bounded or unbounded, whereas RandomSolid always returns a bounded set.  As with RandomSolid, either the dimension of the space must be given using RandomSet(nf, n) or the coordinates must be given using RandomSet(nf, optcoords).

The Simplex, Hypercube, UniversalSet, and EmptySet commands were introduced in Maple 2015.

The Hyperoctant, RandomSolid, and RandomSet commands were introduced in Maple 2015.

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

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

$\mathrm{with}\left(\mathrm{ExampleSets}\right)$

$\left[\mathrm{Cube}\,\mathrm{Cuboctahedron}\,\mathrm{EmptySet}\,\mathrm{Hypercube}\,\mathrm{Hyperoctant}\,\mathrm{Octahedron}\,\mathrm{RandomSet}\,\mathrm{RandomSolid}\,\mathrm{Simplex}\,\mathrm{Tetrahedron}\,\mathrm{TruncatedOctahedron}\,\mathrm{TruncatedTetrahedron}\,\mathrm{UniversalSet}\right]$

$\mathrm{c2d}≔\mathrm{Hypercube}\left(2\right)\;$$\mathrm{Plot}\left(\mathrm{c2d}\right)$

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

$\mathrm{c3d}≔\mathrm{Hypercube}\left(\left[x\,y\,z\right]\right)\;$$\mathrm{Plot}\left(\mathrm{c3d}\right)$

$\mathrm{c3d}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x\,y\,z\right]\\ \mathrm{Relations}& \:& \left[-z\le 1\,z\le 1\,-y\le 1\,y\le 1\,-x\le 1\,x\le 1\right]\end{array}$

$\mathrm{c9d}≔\mathrm{Hypercube}\left(9\right)$

$\mathrm{c9d}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x_1\,x_2\,x_3\,x_4\,x_5\,x_6\,x_7\,x_8\,x_9\right]\\ \mathrm{Relations}& \:& \left[-x_9\le 1\,x_9\le 1\,-x_8\le 1\,x_8\le 1\,-x_7\le 1\,x_7\le 1\,-x_6\le 1\,x_6\le 1\,-x_5\le 1\,x_5\le 1\,\mathrm{and\; 8\; more\; constraints}\right]\end{array}$

$\mathrm{Plot}\left(\mathrm{Simplex}\left(2\right)\right)$

$\mathrm{Plot}\left(\mathrm{Simplex}\left(3\right)\right)$

$\mathrm{Plot}\left(\mathrm{UniversalSet}\left(3\right)\right)$

$\mathrm{Plot}\left(\mathrm{EmptySet}\left(3\right)\right)$

$\mathrm{rs1}≔\mathrm{RandomSolid}\left(5\,3\right)\;$$\mathrm{Plot}\left(\mathrm{rs1}\right)$

$\mathrm{rs1}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x_1\,x_2\,x_3\right]\\ \mathrm{Relations}& \:& \left[-x_1+\frac{426509332x_2}{461037817}+\frac{8386806574x_3}{6915567255}\le -\frac{28003359640307}{345778362750000}\,-x_1+\frac{32936243x_2}{12746351}-\frac{125966986x_3}{63731755}\le \frac{5011307193489}{1593293875000}\,-x_1+\frac{224815423x_2}{54353009}-\frac{1232092194x_3}{271765045}\le \frac{20073248209323}{3397063062500}\,x_1-\frac{128188828x_2}{19317675}+\frac{15716882x_3}{7429875}\le -\frac{8200820316371}{1609806250000}\,x_1-\frac{188443593x_2}{62042999}+\frac{7217249x_3}{62042999}\le -\frac{2873061543027}{1551074975000}\,x_1+\frac{113924267x_2}{75029215}-\frac{267572861x_3}{225087645}\le \frac{566378402797}{281359556250}\right]\end{array}$

$\mathrm{rs2}≔\mathrm{RandomSet}\left(5\,6\right)$

$\mathrm{rs2}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x_1\,x_2\,x_3\,x_4\,x_5\,x_6\right]\\ \mathrm{Relations}& \:& \left[-x_1-\frac{186001x_2}{195420}+\frac{8783x_3}{6514}+\frac{110119x_4}{32570}-\frac{182461x_5}{65140}+\frac{348733x_6}{195420}\le \frac{50000}{9771}\,-x_1+\frac{94447x_2}{369124}+\frac{198525x_3}{738248}-\frac{86981x_4}{105464}-\frac{114269x_5}{922810}-\frac{143431x_6}{3691240}\le \frac{125000}{92281}\,-x_1+\frac{209207x_2}{645435}+\frac{21607x_3}{717150}-\frac{207986x_4}{215145}+\frac{9772x_5}{18441}-\frac{181553x_6}{645435}\le \frac{200000}{129087}\,-x_1+\frac{225236x_2}{442655}-\frac{28740x_3}{88531}-\frac{352372x_4}{442655}-\frac{548553x_5}{442655}+\frac{554618x_6}{442655}\le \frac{200000}{88531}\,x_1-\frac{230877x_2}{273407}+\frac{699102x_3}{273407}-\frac{455608x_4}{273407}-\frac{412465x_5}{273407}+\frac{741463x_6}{2734070}\le \frac{1000000}{273407}\right]\end{array}$

$\mathrm{IsBounded}\left(\mathrm{rs2}\right)$

$\mathrm{false}$