Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

It seems that you want to add relations to a poset until... it is not a poset anymore?

Unfortunately (for you and I), posets have been made to be immutable (i.e. you can't modify one once it is built). Fortunately (for you and I) you do not need to use posets. You can use directed graphs instead. And you can add/remove edges from a given DiGraph, and then I expect that what you want to ensure is that my_digraph.is_directed_acyclic returns True.