construct polyhedral sets
PolyhedralSet(vertices, rays, coordinates)
list or set of linear equalities and non-strict inequalities with rational coefficients
list of lists or set of lists of rationals
(optional) list/set of list of rationals
(optional) list of names, coordinates of the set's ambient space
polyhedral set to copy
A polyhedral set can be created via its H-Representation by calling PolyhedralSet(system). If the set's coordinates are not supplied, they default to the indeterminates in system.
Alternatively, a polyhedral set can be created via its V-Representation by calling PolyhedralSet(vertices, rays, coordinates), supplying the set's vertices and extreme rays. The rays are an optional argument, required to represent unbounded sets. If coordinates is not specified, default coordinates names are generated for the set.
The set is reduced to its minimal representation by removing redundant relations, vertices that can be expressed of convex combinations of the other vertices and rays that are conical combinations of the other rays. The result is stored in a canonical form and will therefore likely have a different form than that used to create the set.
Polyhedral sets can be copied by calling PolyhedralSet
Create a set via a list of inequalities
ps ≔ PolyhedralSet⁡0≤x,0≤y
Specifying the coordinates explicitly controls their order and allows for the inclusion of additional coordinates not appearing in system
ps ≔ PolyhedralSet⁡0≤x,0≤y,x,y,z
Create a polyhedral set using its vertices and rays
ps ≔ PolyhedralSet⁡5,−5,−5,−5,−1,−1,1,−1
The PolyhedralSets[PolyhedralSet] command was introduced in Maple 2015.
For more information on Maple 2015 changes, see Updates in Maple 2015.
Download Help Document