Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- 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)
- 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)
- 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
Documentation
values :: (C height, C width, Floating a) => General height width a -> Vector (Min height width) (RealOf a) Source #
valuesTall :: (C vert, C height, C width, Floating a) => Full vert Small height width a -> Vector width (RealOf a) Source #
valuesWide :: (C horiz, C height, C width, Floating a) => Full Small horiz height width a -> Vector height (RealOf a) Source #
decompose :: (C height, C width, Floating a) => General height width a -> (Square height a, Vector (Min height width) (RealOf a), Square width a) Source #
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) Source #
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) Source #
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 Source #
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) Source #
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) Source #
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) Source #