Commit 2023-06-05 09:43 6ece4302

feat: allow cancel_denoms to handle equalities and inequalities over fields (#4176) Previously it assumed a linear order, due perhaps to its historical origins as a linarith internal. We also allow canceling in inequalities, ne.