Description
The
d-dimensional
crossPolytope with diameter
s is the convex hull of
+/- s times the standard basis in
QQ^d. If
s is omitted it is set to 1.
i1 : P = crossPolytope(3,3/2)
o1 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 3
number of facets => 8
number of rays => 0
number of vertices => 6
o1 : Polyhedron
|
i2 : vertices P
o2 = | -3/2 3/2 0 0 0 0 |
| 0 0 -3/2 3/2 0 0 |
| 0 0 0 0 -3/2 3/2 |
3 6
o2 : Matrix QQ <-- QQ
|