i3 : standardMonomialPoset(monomialIdeal(x^4, y^4, z^4, x*y*z), 3, 4)
o3 = Poset{cache => CacheTable{} }
3 3 3 2 2 2 2 2 2 2 3 2 3 3 3 2 2 2 2 3 3
GroundSet => {x , x y, x z, x y, x y , x z, x z , x*y , x*y , x*z , x*z , y , y z, y z, y z , y*z , y*z , z }
RelationMatrix => | 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
| 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
| 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
| 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 |
3 3 3 3 2 3 2 2 2 2 3 2 2 2 2 2 2 2 3 2 2 2 2 3 3 3 3 3 2 3 2 2 2 2 2 2 2 3 3 3 3 3
Relations => {{x , x y}, {x , x z}, {x y, x y}, {x y, x y }, {x z, x z}, {x z, x z }, {x*y , x y }, {x*y , x*y }, {x*z , x z }, {x*z , x*z }, {y , x*y }, {y , y z}, {y z, y z}, {y z, y z }, {y*z , y z }, {y*z , y*z }, {z , x*z }, {z , y*z }}
o3 : Poset
|