Description
Rescales the
Polyhedron by the strictly positive factor
k.
i1 : P = crossPolytope 3
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 : k = 3
o2 = 3
|
i3 : Q = k * P
o3 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 3
number of facets => 8
number of rays => 0
number of vertices => 6
o3 : Polyhedron
|
i4 : vertices Q
o4 = | -3 3 0 0 0 0 |
| 0 0 -3 3 0 0 |
| 0 0 0 0 -3 3 |
3 6
o4 : Matrix QQ <-- QQ
|