i2 : dilworthLattice P
o2 = Poset{cache => CacheTable{...3...} }
GroundSet => {{0, 4}, {0, 1}, {0, 3}, {2, 4}, {2, 3}, {5, 4}}
RelationMatrix => | 1 0 0 1 0 1 |
| 1 1 1 1 1 1 |
| 1 0 1 1 1 1 |
| 0 0 0 1 0 1 |
| 0 0 0 1 1 1 |
| 0 0 0 0 0 1 |
Relations => {{{0, 4}, {2, 4}}, {{0, 4}, {5, 4}}, {{0, 1}, {0, 4}}, {{0, 1}, {0, 3}}, {{0, 1}, {2, 4}}, {{0, 1}, {2, 3}}, {{0, 1}, {5, 4}}, {{0, 3}, {0, 4}}, {{0, 3}, {2, 4}}, {{0, 3}, {2, 3}}, {{0, 3}, {5, 4}}, {{2, 4}, {5, 4}}, {{2, 3}, {2, 4}}, {{2, 3}, {5, 4}}}
o2 : Poset
|