Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Lattice of antichains in SAGE

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.