Description
The
d-dimensional
hypercube with edge length 2*
s is the convex hull of all points in
{+/- s}^d in
QQ^d. If
s is omitted it is set to 1.
i1 : P = hypercube 3
o1 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 3
number of facets => 6
number of rays => 0
number of vertices => 8
o1 : Polyhedron
|
i2 : vertices P
o2 = | -1 1 -1 1 -1 1 -1 1 |
| -1 -1 1 1 -1 -1 1 1 |
| -1 -1 -1 -1 1 1 1 1 |
3 8
o2 : Matrix QQ <-- QQ
|