[all-commits] [llvm/llvm-project] cfd51f: [MLIR][Presburger] Add LLL basis reduction (#75565)

[Abhinav271828 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cfd51fbadd19a7b83805a84cb5745f1350c798c4
      https://github.com/llvm/llvm-project/commit/cfd51fbadd19a7b83805a84cb5745f1350c798c4
  Author: Abhinav271828 <71174780+Abhinav271828 at users.noreply.github.com>
  Date:   2023-12-19 (Tue, 19 Dec 2023)

  Changed paths:
    M mlir/include/mlir/Analysis/Presburger/Fraction.h
    M mlir/include/mlir/Analysis/Presburger/Matrix.h
    M mlir/lib/Analysis/Presburger/Matrix.cpp
    M mlir/unittests/Analysis/Presburger/MatrixTest.cpp

  Log Message:
  -----------
  [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.