QQ * Polyhedron -- rescales a polyhedron by a given positive factor

Synopsis

Operator: *
Usage:

Q = k * P
Inputs:
- k, a rational number, ZZ or QQ, strictly positive
- P, a convex polyhedron
Outputs:
- Q, a convex polyhedron

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