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 object facets is a method function.