Issue: Order polytope construction from cyclic posets yields invalid polytopes
Issue: Order polytope construction from cyclic posets yields invalid polytopes: a task in LegoFlow-SWE (Harbor dataset). When a Poset is created with a relation set containing a directed cycle (e.g., 0 ≤ 1 , 1 ≤ 2 , 2 ≤ 0 ), constructing an OrderPolytope from that Poset leads to undefined or…
The task
When a `Poset` is created with a relation set containing a directed cycle (e.g., `0 ≤ 1`, `1 ≤ 2`, `2 ≤ 0`), constructing an `OrderPolytope` from that `Poset` leads to undefined or incorrect geometric behaviour. The `Poset` constructor should validate that the relation graph is acyclic and throw an exception with a…
Part of Lego-X/LegoFlow-SWE.