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

[Arjun P]

================
@@ -711,6 +711,15 @@ 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.,
+  // no equality holds for the relation.
+  // If there are no variables, it always returns true.
+  // If there is at least one variable and the space is empty, it returns false.
+  bool isFullDim();
----------------
Superty wrote:

space is empty? you mean the the relation

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