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.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.