Hello,
How to extract rows from the relation matrix of the distributive lattice? The example is given below
P=poset{{1,2},{3}}
distributiveLattice P
It gives the relation matrix
Relation Matrix: | 1 1 1 1 1 1 |
| 0 1 1 1 1 0 |
| 0 0 1 0 1 0 |
| 0 0 0 1 1 0 |
| 0 0 0 0 1 0 |
| 0 0 1 0 1 1 |
Thanks