i4 : resolutionPoset monomialIdeal(x,y,z)
o4 = Poset{cache => CacheTable{...2...} }
GroundSet => {{0, 0, {0, 0}}, {1, 0, x}, {1, 1, y}, {1, 2, z}, {2, 0, x*y}, {2, 1, x*z}, {2, 2, y*z}, {3, 0, x*y*z}}
RelationMatrix => | 1 1 1 1 1 1 1 1 |
| 0 1 0 0 1 1 0 1 |
| 0 0 1 0 1 0 1 1 |
| 0 0 0 1 0 1 1 1 |
| 0 0 0 0 1 0 0 1 |
| 0 0 0 0 0 1 0 1 |
| 0 0 0 0 0 0 1 1 |
| 0 0 0 0 0 0 0 1 |
Relations => {{{0, 0, {0, 0}}, {1, 0, x}}, {{0, 0, {0, 0}}, {1, 1, y}}, {{0, 0, {0, 0}}, {1, 2, z}}, {{1, 0, x}, {2, 0, x*y}}, {{1, 0, x}, {2, 1, x*z}}, {{1, 1, y}, {2, 0, x*y}}, {{1, 1, y}, {2, 2, y*z}}, {{1, 2, z}, {2, 1, x*z}}, {{1, 2, z}, {2, 2, y*z}}, {{2, 0, x*y}, {3, 0, x*y*z}}, {{2, 1, x*z}, {3, 0, x*y*z}}, {{2, 2, y*z}, {3, 0, x*y*z}}}
o4 : Poset
|