Cone * Polyhedron -- computes the direct product of a cone and a polyhedron

• Operator: *

• Usage:

  Q = C * P

• Inputs:
  • C, a convex rational cone
  • P, a convex polyhedron
• Outputs:
  • Q, a convex polyhedron

i1 : C = coneFromVData matrix {{1,2},{2,1}}

o1 = C

o1 : Cone

i2 : P =convexHull matrix {{1},{-1}}

o2 = P

o2 : Polyhedron

i3 : Q = C * P

o3 = Q

o3 : Polyhedron

i4 : (vertices Q,rays Q)

o4 = (| 0  |, | 2 1 |)
      | 0  |  | 1 2 |
      | 1  |  | 0 0 |
      | -1 |  | 0 0 |

o4 : Sequence