Closed Brandon-Rozek closed 2 weeks ago
In Issue #9, we discard models when either top or bottom exist in either subalgebra. This doesn't quite work. Instead we should toss out subalgebras if bottom is in the left or top is in the right subalgebra.
In Issue #9, we discard models when either top or bottom exist in either subalgebra. This doesn't quite work. Instead we should toss out subalgebras if bottom is in the left or top is in the right subalgebra.