MacNeille completion for posets with Sage

klaaa
671 ●3 ●14 ●38

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?

1 Answer

Sort by » oldest newest most voted

5748 ●5 ●37 ●123

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

Please start posting anonymously - your entry will be published after you log in or create a new account.

1 follower

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

Seen: 79 times

Last updated: Feb 25 '22