Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- 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 a Source #
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 Source #
solve a b == solveDecomposed (decompose a) b solve (gramian u) b == solveDecomposed u b