ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 15 Jan 2020 09:45:59 +0100Lattice of antichains in SAGEhttps://ask.sagemath.org/question/49553/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.Tue, 14 Jan 2020 21:40:09 +0100https://ask.sagemath.org/question/49553/lattice-of-antichains-in-sage/Answer by FrédéricC for <p>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.</p>
https://ask.sagemath.org/question/49553/lattice-of-antichains-in-sage/?answer=49555#post-id-49555Like this
sage: P = posets.PentagonPoset()
sage: P.order_ideals_lattice? Wed, 15 Jan 2020 09:11:37 +0100https://ask.sagemath.org/question/49553/lattice-of-antichains-in-sage/?answer=49555#post-id-49555Comment by klaaa for <p>Like this</p>
<pre><code>sage: P = posets.PentagonPoset()
sage: P.order_ideals_lattice?
</code></pre>
https://ask.sagemath.org/question/49553/lattice-of-antichains-in-sage/?comment=49556#post-id-49556Thank you very much! This command seems not to be in the manual of SAGE for lattices yet: http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/posets/lattices.htmlWed, 15 Jan 2020 09:45:59 +0100https://ask.sagemath.org/question/49553/lattice-of-antichains-in-sage/?comment=49556#post-id-49556