Polyhedron + Cone -- computes the Minkowski sum of a polyhedron and a cone

Synopsis

• Operator: +

• Usage:

  Q = P + C

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

Description

Computes the Minkowski sum of P and C. This is the polyhedron P + C = {p + c | p in P, c in C}. Note that P and C have to lie in the same ambient space.

See also minkowskiSum.

i1 : P = hypercube 2

o1 = P

o1 : Polyhedron

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

o2 = C

o2 : Cone

i3 : Q = P + C

o3 = Q

o3 : Polyhedron

i4 : (vertices Q,rays Q)

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

o4 : Sequence