Ask Your Question

MacNeille completion for posets with Sage

asked 2022-02-22 18:02:57 +0200

klaaa gravatar image

updated 2022-02-22 18:03:15 +0200

The Macneille completion of a poset can be calculated with sage using the command completion_by_cuts()

Question: Is there a way to see an explicit embedding of a poset P into its MacNeille completion using Sage?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2022-02-25 19:39:18 +0200

Max Alekseyev gravatar image

I believe an element p of P is mapped to frozenset(P.order_filter([p])) in P.completion_by_cuts().

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: 2022-02-22 18:02:57 +0200

Seen: 115 times

Last updated: Feb 25 '22