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

• Operator: *

• Usage:

  Q = P * C

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

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

o1 = P

o1 : Polyhedron

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

o2 = C

o2 : Cone

i3 : Q = P * C

o3 = Q

o3 : Polyhedron

i4 : (vertices Q,rays Q)

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

o4 : Sequence