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

[llvmlistbot at llvm.org]

================
@@ -99,6 +99,10 @@ QuasiPolynomial getCoefficientInRationalFunction(unsigned power,
                                                  ArrayRef<QuasiPolynomial> num,
                                                  ArrayRef<Fraction> den);
 
+/// Find the number of terms in the generating function corresponding to
+/// a polytope.
----------------
Abhinav271828 wrote:

> Btw, what will happen if the result is infinite?

Not sure, will check on paper

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