Lattice of antichains in SAGE

lattice_poset

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

klaaa
691 ●4 ●17 ●41

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 +0100

FrédéricC

5206 ●3 ●43 ●114

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 +0100 )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 +0100

Seen: 197 times

Last updated: Jan 15 '20

Lattice of antichains in SAGE edit