i4 : lcmLattice ideal (b^2-a*d, a*d-b*c, c^2-b*d)
o4 = Poset{cache => CacheTable{} }
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
GroundSet => {1, c , b*c, b*c , b , b c, b c , a*c*d, a*c d, a*b*d, a*b*c*d, a*b*c d, a*b d, a*b c*d, a*b c d, a d , a c*d , a c d , a b*d , a b*c*d , a b*c d , a b d , a b c*d , a b c d }
RelationMatrix => | 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 |
| 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 |
| 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 |
| 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 |
| 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 |
| 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 |
| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 |
| 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 |
| 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 |
| 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 |
| 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 |
| 0 0 0 0 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 0 0 0 0 0 1 1 |
| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
Relations => {{1, c }, {1, b*c}, {1, b*c }, {1, b }, {1, b c}, {1, b c }, {1, a*c*d}, {1, a*c d}, {1, a*b*d}, {1, a*b*c*d}, {1, a*b*c d}, {1, a*b d}, {1, a*b c*d}, {1, a*b c d}, {1, a d }, {1, a c*d }, {1, a c d }, {1, a b*d }, {1, a b*c*d }, {1, a b*c d }, {1, a b d }, {1, a b c*d }, {1, a b c d }, {c , b*c }, {c , b c }, {c , a*c d}, {c , a*b*c d}, {c , a*b c d}, {c , a c d }, {c , a b*c d }, {c , a b c d }, {b*c, b*c }, {b*c, b c}, {b*c, b c }, {b*c, a*b*c*d}, {b*c, a*b*c d}, {b*c, a*b c*d}, {b*c, a*b c d}, {b*c, a b*c*d }, {b*c, a b*c d }, {b*c, a b c*d }, {b*c, a b c d }, {b*c , b c }, {b*c , a*b*c d}, {b*c , a*b c d}, {b*c , a b*c d }, {b*c , a b c d }, {b , b c}, {b , b c }, {b , a*b d}, {b , a*b c*d}, {b , a*b c d}, {b , a b d }, {b , a b c*d }, {b , a b c d }, {b c, b c }, {b c, a*b c*d}, {b c, a*b c d}, {b c, a b c*d }, {b c, a b c d }, {b c , a*b c d}, {b c , a b c d }, {a*c*d, a*c d}, {a*c*d, a*b*c*d}, {a*c*d, a*b*c d}, {a*c*d, a*b c*d}, {a*c*d, a*b c d}, {a*c*d, a c*d }, {a*c*d, a c d }, {a*c*d, a b*c*d }, {a*c*d, a b*c d }, {a*c*d, a b c*d }, {a*c*d, a b c d }, {a*c d, a*b*c d}, {a*c d, a*b c d}, {a*c d, a c d }, {a*c d, a b*c d }, {a*c d, a b c d }, {a*b*d, a*b*c*d}, {a*b*d, a*b*c d}, {a*b*d, a*b d}, {a*b*d, a*b c*d}, {a*b*d, a*b c d}, {a*b*d, a b*d }, {a*b*d, a b*c*d }, {a*b*d, a b*c d }, {a*b*d, a b d }, {a*b*d, a b c*d }, {a*b*d, a b c d }, {a*b*c*d, a*b*c d}, {a*b*c*d, a*b c*d}, {a*b*c*d, a*b c d}, {a*b*c*d, a b*c*d }, {a*b*c*d, a b*c d }, {a*b*c*d, a b c*d }, {a*b*c*d, a b c d }, {a*b*c d, a*b c d}, {a*b*c d, a b*c d }, {a*b*c d, a b c d }, {a*b d, a*b c*d}, {a*b d, a*b c d}, {a*b d, a b d }, {a*b d, a b c*d }, {a*b d, a b c d }, {a*b c*d, a*b c d}, {a*b c*d, a b c*d }, {a*b c*d, a b c d }, {a*b c d, a b c d }, {a d , a c*d }, {a d , a c d }, {a d , a b*d }, {a d , a b*c*d }, {a d , a b*c d }, {a d , a b d }, {a d , a b c*d }, {a d , a b c d }, {a c*d , a c d }, {a c*d , a b*c*d }, {a c*d , a b*c d }, {a c*d , a b c*d }, {a c*d , a b c d }, {a c d , a b*c d }, {a c d , a b c d }, {a b*d , a b*c*d }, {a b*d , a b*c d }, {a b*d , a b d }, {a b*d , a b c*d }, {a b*d , a b c d }, {a b*c*d , a b*c d }, {a b*c*d , a b c*d }, {a b*c*d , a b c d }, {a b*c d , a b c d }, {a b d , a b c*d }, {a b d , a b c d }, {a b c*d , a b c d }}
o4 : Poset
|