Description
Rescales the
Polyhedron by the strictly positive factor
k.
i1 : P = crossPolytope 3
o1 = P
o1 : Polyhedron
|
i2 : k = 3
o2 = 3
|
i3 : Q = k * P
o3 = Q
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
|