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

[Arjun P]

================
@@ -217,6 +217,10 @@ class PresburgerRelation {
   /// redundencies.
   PresburgerRelation simplify() const;
 
+  /// Return true if any of the disjuncts is full-dimensional
+  /// (see IntegerRelation::isFullDim()).
----------------
Superty wrote:

write a standalone explanation here please

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