facets -- Giving the facet inequalities of a cone or polyhedron.

Description

For a cone one matrix is returned.

For a polyhedron the affine inequalities are returned as a pair of two matrices, where the second matrix consists of a single row.

Please see V- and H-representation on the conventions we use for cones and polyhedra.

i1 : fC = facets posOrthant 2

o1 = | 1 0 |
     | 0 1 |

              2       2
o1 : Matrix ZZ  <-- ZZ

i2 : fP = facets hypercube 2

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

o2 : Sequence

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Polyhedra/documentation/documentation.m2:34:0.