[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();
+
+  // Verify whether the relation is full-dimensional, i.e.,
+  // has the same number of dimensions as the number of variables.
----------------
Groverkss wrote:

I don't think this is the correct definition of full dim. Doesn't it mean that no dimension is projected?

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