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

[Arjun P]

================
@@ -217,6 +217,11 @@ class PresburgerRelation {
   /// redundencies.
   PresburgerRelation simplify() const;
 
+  /// Return true if any of the disjuncts is full-dimensional.
+  /// We find if a disjunct is full-dimensional by checking if it is flat
+  /// along the dimension of any of its inequalities.
----------------
Superty wrote:

I meant, just explain what full-dimensional is and say that it checks with the given relation is full-dimensional

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