Numeric.LAPACK.Singular

Documentation

values :: (C height, C width, Floating a) => General height width a -> Vector (Min height width) (RealOf a)

valuesTall :: (C vert, C height, C width, Floating a) => Full vert Small height width a -> Vector width (RealOf a)

valuesWide :: (C horiz, C height, C width, Floating a) => Full Small horiz height width a -> Vector height (RealOf a)

decompose :: (C height, C width, Floating a) => General height width a -> (Square height a, Vector (Min height width) (RealOf a), Square width a)

decomposeTall :: (C vert, C height, C width, Floating a) => Full vert Small height width a -> (Full vert Small height width a, Vector width (RealOf a), Square width a)

 let (u,s,vt) = Singular.decomposeTall a
 in a  ==  u ##*# Matrix.scaleRowsReal s vt

decomposeWide :: (C horiz, C height, C width, Floating a) => Full Small horiz height width a -> (Square height a, Vector height (RealOf a), Full Small horiz height width a)

 let (u,s,vt) = Singular.decomposeWide a
 in a  ==  u #*## Matrix.scaleRowsReal s vt

determinantAbsolute :: (C height, C width, Floating a) => General height width a -> RealOf a

leastSquaresMinimumNormRCond :: (C vert, C horiz, C height, Eq height, C width, C nrhs, Floating a) => RealOf a -> Full horiz vert height width a -> Full vert horiz height nrhs a -> (Int, Full vert horiz width nrhs a)

pseudoInverseRCond :: (C vert, C horiz, C height, C width, Floating a) => RealOf a -> Full vert horiz height width a -> (Int, Full horiz vert width height a)

decomposePolar :: (C vert, C horiz, C height, C width, Floating a) => Full vert horiz height width a -> (Full vert horiz height width a, Hermitian width a)

type family RealOf x