ambientHalfspaces -- gives the defining halfspaces of a polytope

Synopsis

• Usage:

  (A,b) = ambientHalfspaces(P)

• Inputs:
  • P, a convex polyhedron
• Outputs:
  • a sequence, (A,b) where A is a a matrix and b is a column vector of class a matrix where each row corresponds to a halfspace.

Description

ambientHalfspaces is a function. It provides the halfspace desription of a polytope in the ambient space. The function halfspaces instead gives the halfspace description in the affine span of the polytope.

i1 : halfspaces(convexHull matrix{{0,1},{0,0}})

o1 = (| -1 0 |, | 0 |)
      | 1  0 |  | 1 |

o1 : Sequence

i2 : ambientHalfspaces(convexHull matrix{{0,1},{0,0}})

o2 = (| -1 0  |, | 0 |)
      | 1  0  |  | 1 |
      | 0  1  |  | 0 |
      | 0  -1 |  | 0 |

o2 : Sequence