Description
hyperplanes returns the defining affine hyperplanes for a polyhedron
P. The output is
(N,w), where the source of
N has the dimension of the ambient space of
P and
w is a one column matrix in the target space of
N such that
P = {p in H  N*p = w} where
H is the intersection of the defining affine halfspaces.
For a cone
C the output is the matrix
N, that is the same matrix as before but
w is omitted since it is 0, so
C = {c in H  N*c = 0} and
H is the intersection of the defining linear halfspaces.
i1 : P = stdSimplex 2
o1 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 2
number of facets => 3
number of rays => 0
number of vertices => 3
o1 : Polyhedron

i2 : hyperplanes P
o2 = ( 1 1 1 ,  1 )
o2 : Sequence

i3 : C = posHull matrix {{1,2,4},{2,3,5},{3,4,6}}
o3 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of the cone => 2
number of facets => 2
number of rays => 2
o3 : Cone

i4 : hyperplanes C
o4 =  1 2 1 
1 3
o4 : Matrix ZZ < ZZ
