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

• Operator: *

• Usage:

  Q = k * P

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

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