Closed WrathfulSpatula closed 3 years ago
I was confused, by the best approach to this: this is equivalent to setting the separability threshold to (1-1/Sqrt(2))/2. That's how this should be done, while users are allowed to separate even more aggressively.
This fixes #727, by leaving basis change up to
TrySeparate()
rather thanProbBase()
.