[Mlir-commits] [mlir] [MLIR][Presburger] Add simplify function (PR #69107)

[Kunwar Grover]

================
@@ -724,6 +741,10 @@ class IntegerRelation {
   /// Returns the number of variables eliminated.
   unsigned gaussianEliminateVars(unsigned posStart, unsigned posLimit);
 
+  /// Perform a Gaussian elimination operation to reduce all equations to
+  /// standard form. The return value indicates if anything was modified.
----------------
Groverkss wrote:

Returns whether the constraint system was modified.

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