Description
Computes the affine hull of a polyhedron. This is the affine subspace with the same dimension as the polyhedron, containing the polyhedron.
i1 : P = stdSimplex 3
o1 = {ambient dimension => 4 }
dimension of lineality space => 0
dimension of polyhedron => 3
number of facets => 4
number of rays => 0
number of vertices => 4
o1 : Polyhedron
|
i2 : Q = affineHull P
o2 = {ambient dimension => 4 }
dimension of lineality space => 3
dimension of polyhedron => 3
number of facets => 1
number of rays => 0
number of vertices => 1
o2 : Polyhedron
|
i3 : linSpace Q
o3 = | -1 -1 -1 |
| 1 0 0 |
| 0 1 0 |
| 0 0 1 |
4 3
o3 : Matrix ZZ <-- ZZ
|