Ask Your Question

Obtaining the subposet of dissectors of a poset

asked 2018-01-14 12:25:58 -0500

maresage 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 07:57:35 -0500

FrédéricC gravatar image

updated 2018-01-15 07:57:49 -0500

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 12:25:58 -0500

Seen: 27 times

Last updated: Jan 15