lapack-0.5: Numerical Linear Algebra using LAPACK

Numeric.LAPACK.Matrix.BandedHermitianPositiveDefinite

Synopsis

# Documentation

class (C neg, C pos) => Semidefinite neg pos Source #

#### Instances

Instances details
 Source # Instance detailsDefined in Numeric.LAPACK.Matrix.Array.Hermitian Source # Instance detailsDefined in Numeric.LAPACK.Matrix.Array.Hermitian

assureFullRank :: (Semidefinite neg pos, C zero) => AnyHermitianP pack neg zero pos bands sh a -> AnyHermitianP pack neg False pos bands sh a Source #

assureAnyRank :: (Semidefinite neg pos, C zero) => AnyHermitianP pack neg True pos bands sh a -> AnyHermitianP pack neg zero pos bands sh a Source #

relaxSemidefinite :: (C neg, C zero, C pos) => AnyHermitianP pack neg False pos bands sh a -> AnyHermitianP pack neg zero pos bands sh a Source #

relaxIndefinite :: (C neg, C zero, C pos) => AnyHermitianP pack neg zero pos bands sh a -> Quadratic pack HermitianUnknownDefiniteness bands bands sh a Source #

assurePositiveDefiniteness :: (C neg, C zero, C pos) => AnyHermitianP pack neg zero pos bands sh a -> Quadratic pack HermitianPositiveDefinite bands bands sh a Source #

relaxDefiniteness :: (C neg, C zero, C pos) => Quadratic pack HermitianPositiveDefinite bands bands sh a -> AnyHermitianP pack neg zero pos bands sh a Source #

solve :: (Natural offDiag, C size, Eq size, Measure meas, C vert, C horiz, C nrhs, Floating a) => HermitianPosDef offDiag size a -> Full meas vert horiz size nrhs a -> Full meas vert horiz size nrhs a Source #

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

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

decompose :: (Natural offDiag, C size, Floating a) => HermitianPosDef offDiag size a -> Upper offDiag size a Source #

Cholesky decomposition

determinant :: (Natural offDiag, C size, Floating a) => HermitianPosDef offDiag size a -> RealOf a Source #