Data.Matrix.Algorithms

det :: forall a s. CommutativeRing a => EuclideanRing a => Pos s => Matrix s s a -> a

calculate the determinant for matrix.

inverse :: forall a s. Pos s => Field a => Matrix s s a -> Matrix s s a

Computes the multiplicative inverse of a regular matrix. The function uses Cramer's Rule for the computation.

cofactor :: forall a s. Pos s => EuclideanRing a => CommutativeRing a => Int -> Int -> Matrix s s a -> a

cofactorMatrix :: forall a s. Pos s => EuclideanRing a => Matrix s s a -> Matrix s s a

adjunct :: forall a s. Pos s => Field a => Matrix s s a -> Matrix s s a