[all-commits] [llvm/llvm-project] f08fe1: [MLIR][Presburger] Implement matrix inverse (#67382)

[Abhinav271828 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f08fe1f1dd64d754064d1094704ee2938c25c325
      https://github.com/llvm/llvm-project/commit/f08fe1f1dd64d754064d1094704ee2938c25c325
  Author: Abhinav271828 <71174780+Abhinav271828 at users.noreply.github.com>
  Date:   2023-10-20 (Fri, 20 Oct 2023)

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

  Log Message:
  -----------
  [MLIR][Presburger] Implement matrix inverse (#67382)

Shift the `determinant()` function from LinearTransform to Matrix.
Implement a FracMatrix class, inheriting from Matrix<Fraction>, for inverses.
Implement inverse for FracMatrix and intInverse for IntMatrix.
Make Matrix internals protected instead of private so that Int/FracMatrix can access them.