Lattice of antichains in SAGE

lattice_poset

asked 2020-01-14 21:40:09 +0200

klaaa
671 ●3 ●14 ●38

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.

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2020-01-15 09:11:37 +0200

FrédéricC

5125 ●3 ●43 ●111

Like this

sage: P = posets.PentagonPoset()
sage: P.order_ideals_lattice?

edit flag offensive delete link

Comments

Thank you very much! This command seems not to be in the manual of SAGE for lattices yet: http://doc.sagemath.org/html/en/refer...

klaaa ( 2020-01-15 09:45:59 +0200 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-01-14 21:40:09 +0200

Seen: 158 times

Last updated: Jan 15 '20

Lattice of antichains in SAGE edit