Obtaining the subposet of dissectors of a poset

Poset

asked 2018-01-14 19:25:58 +0200

sagequstions
175 ●1 ●5 ●14

Following http://citeseerx.ist.psu.edu/viewdoc/... on page 3, the set of Dissectors Dis(P) of a poset P is defined as the subposet of P of elements x such that the order filter generated by x has a complement which is a principal order ideal. Is there an easy way to obtain this poset via Sage and calculate its width?

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2018-01-15 14:57:35 +0200

FrédéricC

5125 ●3 ●43 ●111

updated 2018-01-15 14:57:49 +0200

Maybe like that

sage: P = posets.PentagonPoset()
sage: [u for u in P if len(P.panyushev_complement([u]))==1]
[1, 3]
sage: P.subposet([u for u in P if len(P.panyushev_complement([u]))==1])
Finite poset containing 2 elements

edit flag offensive delete link

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: 2018-01-14 19:25:58 +0200

Seen: 168 times

Last updated: Jan 15 '18

Obtaining the subposet of dissectors of a poset edit

1 Answer