[MLIR][Presburger] Add LLL basis reduction (#75565)
Add a method for LLL basis reduction to the FracMatrix class. This needs an abs() method for Fractions, which is added to Fraction.h.
Loading
Please sign in to comment
Add a method for LLL basis reduction to the FracMatrix class. This needs an abs() method for Fractions, which is added to Fraction.h.