Open Brandon-Rozek opened 2 weeks ago
Two subalgebras X and Y are order-dependent iff there exists an x in X and a y in Y such that x <= y or y <= x
We can then throw out any order-dependent pairs
I'm not 100% confident that this will speed up the checker since it's a quadratic time check. Would be useful to perform some experiments comparing before and after.
Two subalgebras X and Y are order-dependent iff there exists an x in X and a y in Y such that x <= y or y <= x
We can then throw out any order-dependent pairs