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