First time here? Check out the FAQ!
answered 2022-02-25 19:39:18 +0100
I believe an element p of P is mapped to frozenset(P.order_filter([p])) in P.completion_by_cuts().
p
P
frozenset(P.order_filter([p]))
P.completion_by_cuts()