[Mlir-commits] [mlir] [mlir][presburger] Optimize the compilation time for calculating bounds of an Integer Relation (PR #164199)

[donald chen]

cxy-1993 wrote:

> I probably won't be able to look at this for a few more weeks, sorry. I would suggest adding some more documentation explaining what irrelevant means though. Is there a geometric interpretation of the definition? Maybe it makes sense to explain it with reference to Fourier motzkin?
> 
> The implementation could also use some more documentation. Thanks!

I have now added detailed information regarding the function's mechanism and usage. Please let me know if you feel anything further is needed. Thank you for your time.

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