Safe Haskell | None |
---|

- solve :: (Natural offDiag, C size, Eq size, C vert, C horiz, C nrhs, Floating a) => Hermitian offDiag size a -> Full vert horiz size nrhs a -> Full vert horiz size nrhs a
- solveDecomposed :: (Natural offDiag, C size, Eq size, C vert, C horiz, C nrhs, Floating a) => Upper offDiag size a -> Full vert horiz size nrhs a -> Full vert horiz size nrhs a
- decompose :: (Natural offDiag, C size, Floating a) => Hermitian offDiag size a -> Upper offDiag size a
- determinant :: (Natural offDiag, C size, Floating a) => Hermitian offDiag size a -> RealOf a

# Documentation

solve :: (Natural offDiag, C size, Eq size, C vert, C horiz, C nrhs, Floating a) => Hermitian offDiag size a -> Full vert horiz size nrhs a -> Full vert horiz size nrhs aSource

solveDecomposed :: (Natural offDiag, C size, Eq size, C vert, C horiz, C nrhs, Floating a) => Upper offDiag size a -> Full vert horiz size nrhs a -> Full vert horiz size nrhs aSource

solve a b == solveDecomposed (decompose a) b solve (gramian u) b == solveDecomposed u b