next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SlackIdeals :: reducedSlackMatrix

reducedSlackMatrix -- a reduced slack matrix of a polytope

Synopsis

Description

Given a (symbolic) slack matrix of a polytope or of a matroid, or a list of vertex coordinates, matroid vectors, facet labels, or cone generators, it reduces it by removing the columns corresponding to simplicial facets outside of a flag.

i1 : V = {{0,0,0},{0,0,1},{1,0,0},{1,0,1},{0,1,0},{0,1,1}};
i2 : S = slackMatrix V;

Order of vertices is 
{{0, 0, 0}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}, {1, 0, 1}, {0, 1, 1}}

              6        5
o2 : Matrix QQ  <--- QQ
i3 : reducedSlackMatrix V

Order of vertices is 
{{0, 0, 0}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}, {1, 0, 1}, {0, 1, 1}}

o3 = | 0 0 1 1 |
     | 1 0 0 1 |
     | 0 1 0 1 |
     | 0 0 1 0 |
     | 1 0 0 0 |
     | 0 1 0 0 |

              6        4
o3 : Matrix QQ  <--- QQ
i4 : reducedSlackMatrix(3, S)

o4 = | 0 0 1 1 |
     | 1 0 0 1 |
     | 0 1 0 1 |
     | 0 0 1 0 |
     | 1 0 0 0 |
     | 0 1 0 0 |

              6        4
o4 : Matrix QQ  <--- QQ
i5 : R = QQ[x_1..x_30];
i6 : S = matrix {{0, 0, x_1, x_2, x_3, 0, x_4}, {x_5, x_6, 0, 0, x_7, x_8, 0}, {0, x_9, 0, x_10, x_11, 0, 0}, {x_12, 0, x_13, 0, x_14, 0, 0}, {0, 0, x_15, x_16, 0, x_17, x_18}, {x_19, x_20, 0, 0, 0, x_21, x_22}, {0, x_23, 0, x_24, 0, x_25, x_26}, {x_27, 0, x_28, 0, 0, x_29, x_30}};

             8       7
o6 : Matrix R  <--- R
i7 : redS = reducedSlackMatrix(3, S)

o7 = | 0    0    x_1  x_2  x_3  |
     | x_5  x_6  0    0    x_7  |
     | 0    x_9  0    x_10 x_11 |
     | x_12 0    x_13 0    x_14 |
     | 0    0    x_15 x_16 0    |
     | x_19 x_20 0    0    0    |
     | 0    x_23 0    x_24 0    |
     | x_27 0    x_28 0    0    |

             8       5
o7 : Matrix R  <--- R

See also

Ways to use reducedSlackMatrix :