Attributes and properties
Attributes and properties of polyhedron a CddPolyhedron The function takes a polyhedron and reduces its defining inequalities (generators set) by deleting all redundant inequalities (generators). <#Include Label="Example3"> a CddPolyhedron The function takes a polyhedron and returns its reduced V-representation. a CddPolyhedron The function takes a polyhedron and returns its reduced H-representation. <#Include Label="Example4"> The dimension of the ambient space of the polyhedron(i.e., the space that contains P).

The dimension of the polyhedron, where the dimension, \mathrm{dim}(P), of a polyhedron P is the maximum number of affinely independent points in P minus 1.

The reduced generating vertices of the polyhedron

list The output is the reduced generating rays of the polyhedron a list The output is the reduced equalities of the polyhedron. The output is the reduced inequalities of the polyhedron. a list The output is an interior point in the polyhedron a list This function takes a H-represented polyhedron P and returns a list. Every entry in this list is a again a list, contains the dimension and linearity of the face defined as a polyhedron over the same system of inequalities. a list This function takes a H-represented polyhedron P and a positive integer d. The output is a list. Every entry in this list is the linearity of an d- dimensional face of P defined as a polyhedron over the same system of inequalities. a list This function takes a H-represented polyhedron P and returns a list. Every entry in this list is a again a list, contains the dimension, linearity of the face defined as a polyhedron over the same system of inequalities and an interior point in the face. a list This function takes a H-represented polyhedron P and a positive integer d. The output is a list. Every entry in this list is a again a list, contains the linearity of the face defined as a polyhedron over the same system of inequalities and an interior point in this face. a list This function takes a H-represented polyhedron P and returns a list. Every entry in this is the linearity of a facet defined as a polyhedron over the same system of inequalities. a list This function takes a H-represented polyhedron P and returns a list. Every entry in this is the linearity of a ray (1-dimensional face) defined as a polyhedron over the same system of inequalities. a list This function takes a H-represented polyhedron P and returns a list. Every entry in this list is the linearity of a vertex defined as a polyhedron over the same system of inequalities. true or false The output is true if the polyhedron is empty and false otherwise true or false The output is true if the polyhedron is cone and false otherwise true or false The output is true if the polyhedron is pointed and false otherwise <#Include Label="demo">