i1 : ncpLattice 3
o1 = Poset{cache => CacheTable{...8...} }
GroundSet => {012, 0/12, 02/1, 01/2, 0/1/2}
RelationMatrix => | 1 1 1 1 1 |
| 0 1 0 0 1 |
| 0 0 1 0 1 |
| 0 0 0 1 1 |
| 0 0 0 0 1 |
Relations => {{012, 0/12}, {012, 02/1}, {012, 01/2}, {0/12, 0/1/2}, {02/1, 0/1/2}, {01/2, 0/1/2}}
o1 : Poset
|