Numeric.LAPACK.Matrix.BandedHermitian

Documentation

type BandedHermitian offDiag size = Array (BandedHermitian offDiag size)

data Transposition

Constructors

NonTransposed

Transposed

Instances

Bounded Transposition

Enum Transposition

Eq Transposition

Show Transposition

fromList :: (Natural offDiag, C size, Storable a) => UnaryProxy offDiag -> Order -> size -> [a] -> BandedHermitian offDiag size a

identity :: (C sh, Floating a) => sh -> Diagonal sh a

diagonal :: (C sh, Floating a) => Vector sh (RealOf a) -> Diagonal sh a

takeDiagonal :: (Natural offDiag, C size, Floating a) => BandedHermitian offDiag size a -> Vector size (RealOf a)

toHermitian :: (Natural offDiag, C size, Floating a) => BandedHermitian offDiag size a -> Hermitian size a

toBanded :: (Natural offDiag, C size, Floating a) => BandedHermitian offDiag size a -> Square offDiag offDiag size a

multiplyVector :: (Natural offDiag, C size, Eq size, Floating a) => Transposition -> BandedHermitian offDiag size a -> Vector size a -> Vector size a

multiplyFull :: (Natural offDiag, C vert, C horiz, C height, Eq height, C width, Eq width, Floating a) => Transposition -> BandedHermitian offDiag height a -> Full vert horiz height width a -> Full vert horiz height width a

covariance :: (C size, Eq size, Floating a, Natural sub, Natural super) => Square sub super size a -> BandedHermitian (sub :+: super) size a

sumRank1 :: (Natural k, Indexed sh, Floating a) => Order -> sh -> [(RealOf a, (Index sh, StaticVector (Succ k) a))] -> BandedHermitian k sh a

eigenvalues :: (Natural offDiag, C sh, Floating a) => BandedHermitian offDiag sh a -> Vector sh (RealOf a)

eigensystem :: (Natural offDiag, C sh, Floating a) => BandedHermitian offDiag sh a -> (Square sh a, Vector sh (RealOf a))

For symmetric eigenvalue problems, eigensystem and schur coincide.