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

[Arjun P]

================
@@ -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.
----------------
Superty wrote:

Is "corresponding to a polytope" a constraint? Otherwise, don't mention it

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