[Mlir-commits] [mlir] [MLIR][Presburger] Implement function to evaluate the number of terms in a generating function. (PR #78078)

[Arjun P]

================
@@ -59,9 +59,13 @@ class QuasiPolynomial : public PresburgerSpace {
   QuasiPolynomial operator*(const QuasiPolynomial &x) const;
   QuasiPolynomial operator/(const Fraction x) const;
 
-  // Removes terms which evaluate to zero from the expression.
+  // Removes terms which evaluate to zero and affine functions
+  // which are constant from the expression.
----------------
Superty wrote:

Clarify that it move folds constant affine functions in the product into the constant coefficient

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