Macaulay2 » Documentation
Packages » LatticePolytopes :: ambientHalfspaces
next | previous | forward | backward | up | index | toc

ambientHalfspaces -- gives the defining halfspaces of a polytope

Synopsis

Description

ambientHalfspaces is a function. It provides the halfspace description 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

Ways to use ambientHalfspaces :

For the programmer

The object ambientHalfspaces is a method function.