next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
ConvexInterface :: mPosHullFacesAndDuals

mPosHullFacesAndDuals -- Faces and their duals of positive hull.

Synopsis

Description

Returns a list of

- a Matrix A with the rays of the positive hull of L in its rows

- a Matrix Adual with the rays of the dual in its rows

- a list of lists with the faces of the positive hull sorted by increasing dimension.

Each face is a list with two elements. The first is a list of the vertices of the face, the second a list of the vertices of the dual face.

The rays of the faces are represented by the indices of the rows of A.

This uses the Convex functions posHull and faces.

The positive hull of L is required to be strictly convex and of full dimension.

i1 : L= {{0,1,1,0,0},{0,1,0,1,0},{0,1,0,0,0},{1,0,0,0,1},{1,0,-1,-1,-1},{1,0,0,0,0}};
i2 : L=apply(L,vector)

o2 = {| 0 |, | 0 |, | 0 |, | 1 |, | 1  |, | 1 |}
      | 1 |  | 1 |  | 1 |  | 0 |  | 0  |  | 0 |
      | 1 |  | 0 |  | 0 |  | 0 |  | -1 |  | 0 |
      | 0 |  | 1 |  | 0 |  | 0 |  | -1 |  | 0 |
      | 0 |  | 0 |  | 0 |  | 1 |  | -1 |  | 0 |

o2 : List
i3 : P=mPosHullFacesAndDuals(L)

o3 = {| 0 1 1  0  0  |, | 1 0 2  0  -1 |, {{{{}, {1, 2, 3, 4, 5, 6, 7, 8}}},
      | 0 1 0  1  0  |  | 1 0 0  2  -1 |
      | 0 1 0  0  0  |  | 1 0 0  0  1  |
      | 1 0 0  0  1  |  | 1 0 0  0  -1 |
      | 1 0 -1 -1 -1 |  | 0 1 1  -1 0  |
      | 1 0 0  0  0  |  | 0 1 -1 1  0  |
                        | 0 1 -1 -1 2  |
                        | 0 1 -1 -1 0  |
     ------------------------------------------------------------------------
     {{{1}, {2, 3, 4, 6, 7, 8}}, {{2}, {1, 3, 4, 5, 7, 8}}, {{3}, {1, 2, 3,
     ------------------------------------------------------------------------
     4}}, {{4}, {1, 2, 4, 5, 6, 8}}, {{5}, {1, 2, 3, 5, 6, 7}}, {{6}, {5, 6,
     ------------------------------------------------------------------------
     7, 8}}}, {{{3, 5}, {1, 2, 3}}, {{3, 4}, {1, 2, 4}}, {{2, 3}, {1, 3, 4}},
     ------------------------------------------------------------------------
     {{1, 3}, {2, 3, 4}}, {{5, 6}, {5, 6, 7}}, {{4, 6}, {5, 6, 8}}, {{2, 6},
     ------------------------------------------------------------------------
     {5, 7, 8}}, {{1, 6}, {6, 7, 8}}, {{4, 5}, {1, 2, 5, 6}}, {{2, 5}, {1, 3,
     ------------------------------------------------------------------------
     5, 7}}, {{2, 4}, {1, 4, 5, 8}}, {{1, 5}, {2, 3, 6, 7}}, {{1, 4}, {2, 4,
     ------------------------------------------------------------------------
     6, 8}}, {{1, 2}, {3, 4, 7, 8}}}, {{{3, 4, 5}, {1, 2}}, {{2, 3, 5}, {1,
     ------------------------------------------------------------------------
     3}}, {{2, 3, 4}, {1, 4}}, {{2, 4, 5}, {1, 5}}, {{1, 3, 5}, {2, 3}}, {{1,
     ------------------------------------------------------------------------
     3, 4}, {2, 4}}, {{1, 4, 5}, {2, 6}}, {{1, 2, 3}, {3, 4}}, {{1, 2, 5},
     ------------------------------------------------------------------------
     {3, 7}}, {{1, 2, 4}, {4, 8}}, {{4, 5, 6}, {5, 6}}, {{2, 5, 6}, {5, 7}},
     ------------------------------------------------------------------------
     {{2, 4, 6}, {5, 8}}, {{1, 5, 6}, {6, 7}}, {{1, 4, 6}, {6, 8}}, {{1, 2,
     ------------------------------------------------------------------------
     6}, {7, 8}}}, {{{2, 3, 4, 5}, {1}}, {{1, 3, 4, 5}, {2}}, {{1, 2, 3, 5},
     ------------------------------------------------------------------------
     {3}}, {{1, 2, 3, 4}, {4}}, {{2, 4, 5, 6}, {5}}, {{1, 4, 5, 6}, {6}},
     ------------------------------------------------------------------------
     {{1, 2, 5, 6}, {7}}, {{1, 2, 4, 6}, {8}}}, {{{1, 2, 3, 4, 5, 6}, {}}}}}

o3 : List

Ways to use mPosHullFacesAndDuals :