Given a finite poset P in SAGE. Can one obtain the lattice of antichains or the lattice of order ideals of P as a lattice in SAGE? I just saw how to obtain those things as sets but not as posets.
1 | initial version |
Given a finite poset P in SAGE. Can one obtain the lattice of antichains or the lattice of order ideals of P as a lattice in SAGE? I just saw how to obtain those things as sets but not as posets.