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

[Arjun P]

================
@@ -84,6 +85,17 @@ ConeH getDual(ConeV cone);
 GeneratingFunction unimodularConeGeneratingFunction(ParamPoint vertex, int sign,
                                                     ConeH cone);
 
+/// Find the solution of a set of equations that express affine constraints
+/// between a set of variables and a set of parameters. The solution expresses
+/// each variable as an affine function of the parameters.
+/// If there is no solution, return std::null.
----------------
Superty wrote:

why is this called findVertex? I don't see any reference to vertices in the documentation above.

(I know it's used for finding vertices. but what the function does is solve parametric linear equations, so it should be called that.)

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