MacNeille completion for posets with Sage

klaaa
691 ●4 ●17 ●41

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

6488 ●9 ●47 ●153

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 +0100

Seen: 125 times

Last updated: Feb 25 '22