Ask Your Question

Obtaining the subposet of dissectors of a poset

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

sagequstions gravatar image

Following 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

1 Answer

Sort by » oldest newest most voted

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

FrédéricC gravatar image

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 more

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


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

Seen: 168 times

Last updated: Jan 15 '18