[Mlir-commits] [mlir] [MLIR][Presburger][WIP] Implement vertex enumeration and chamber decomposition for polytope generating function computation. (PR #78987)

[Kunwar Grover]

================
@@ -711,6 +711,13 @@ class IntegerRelation {
   /// return `this \ set`.
   PresburgerRelation subtract(const PresburgerRelation &set) const;
 
+  // Remove equalities which have only zero coefficients.
+  void removeTrivialEqualities();
----------------
Groverkss wrote:

Isn't this already implemented somewhere in IntegerRelation?

https://github.com/llvm/llvm-project/pull/78987