[Mlir-commits] [mlir] [MLIR][Presburger] Add LLL basis reduction (PR #75565)

[Arjun P]

================
@@ -101,6 +101,8 @@ inline bool operator>=(const Fraction &x, const Fraction &y) {
   return compare(x, y) >= 0;
 }
 
+inline Fraction abs(const Fraction &f) { return Fraction(abs(f.num), f.den); }
----------------
Superty wrote:

Assert denominator is positive

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