[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:

> I'm asking why do polytopes/polyhedrons come in when we are talking about generating functions?

If the generating function does not correspond to a polytope, the answer may not be finite

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