Safe Haskell	None
Language	Haskell98

Numeric.LAPACK.Orthogonal.Householder

Synopsis

data Householder vert horiz height width a
type General = Householder Big Big
type Tall = Householder Big Small
type Wide = Householder Small Big
type Square sh = Householder Small Small sh sh
mapExtent :: (C vertA, C horizA) => (C vertB, C horizB) => Map vertA horizA vertB horizB height width -> Householder vertA horizA height width a -> Householder vertB horizB height width a
fromMatrix :: (C vert, C horiz, C height, C width, Floating a) => Full vert horiz height width a -> Householder vert horiz height width a
determinant :: (C sh, Floating a) => Square sh a -> a
determinantAbsolute :: (C vert, C horiz, C height, C width, Floating a) => Householder vert horiz height width a -> RealOf a
leastSquares :: (C vert, C horiz, C height, Eq height, C width, Eq width, C nrhs, Floating a) => Householder horiz Small height width a -> Full vert horiz height nrhs a -> Full vert horiz width nrhs a
minimumNorm :: (C vert, C horiz, C height, Eq height, C width, Eq width, C nrhs, Floating a) => Householder vert Small width height a -> Full vert horiz height nrhs a -> Full vert horiz width nrhs a
data Transposition
- = NonTransposed
- | Transposed
data Conjugation
- = NonConjugated
- | Conjugated
data Inversion
- = NonInverted
- | Inverted
extractQ :: (C vert, C horiz, C height, C width, Floating a) => Householder vert horiz height width a -> Square height a
extractR :: (C vert, C horiz, C height, C width, Floating a) => Householder vert horiz height width a -> Full vert horiz height width a
multiplyQ :: (C vertA, C horizA, C widthA, C vertB, C horizB, C widthB, C height, Eq height, Floating a) => Inversion -> Householder vertA horizA height widthA a -> Full vertB horizB height widthB a -> Full vertB horizB height widthB a
tallExtractQ :: (C vert, C height, C width, Floating a) => Householder vert Small height width a -> Full vert Small height width a
tallExtractR :: (C vert, C height, C width, Floating a) => Householder vert Small height width a -> Upper width a
tallMultiplyQ :: (C vert, C horiz, C height, Eq height, C width, C fuse, Eq fuse, Floating a) => Householder vert Small height fuse a -> Full vert horiz fuse width a -> Full vert horiz height width a
tallMultiplyQAdjoint :: (C vert, C horiz, C height, C width, C fuse, Eq fuse, Floating a) => Householder horiz Small fuse height a -> Full vert horiz fuse width a -> Full vert horiz height width a
tallMultiplyR :: (C vertA, C vert, C horiz, C height, Eq height, C heightA, C widthB, Floating a) => Transposition -> Householder vertA Small heightA height a -> Full vert horiz height widthB a -> Full vert horiz height widthB a
tallSolveR :: (C vertA, C vert, C horiz, C height, C width, Eq width, C nrhs, Floating a) => Transposition -> Conjugation -> Householder vertA Small height width a -> Full vert horiz width nrhs a -> Full vert horiz width nrhs a

Documentation

data Householder vert horiz height width a Source #

Instances

(Storable a, C vert, C horiz, C height, C width, Show a, Show height, Show width) => Show (Householder vert horiz height width a) Source #
Instance details Defined in Numeric.LAPACK.Orthogonal.Private Methods showsPrec :: Int -> Householder vert horiz height width a -> ShowS # show :: Householder vert horiz height width a -> String # showList :: [Householder vert horiz height width a] -> ShowS #
(C vert, C horiz, C height, C width, Floating a) => Format (Householder vert horiz height width a) Source #
Instance details Defined in Numeric.LAPACK.Orthogonal.Private Methods format :: String -> Householder vert horiz height width a -> Box Source #

type General = Householder Big Big Source #

type Tall = Householder Big Small Source #

type Wide = Householder Small Big Source #

type Square sh = Householder Small Small sh sh Source #

mapExtent :: (C vertA, C horizA) => (C vertB, C horizB) => Map vertA horizA vertB horizB height width -> Householder vertA horizA height width a -> Householder vertB horizB height width a Source #

fromMatrix :: (C vert, C horiz, C height, C width, Floating a) => Full vert horiz height width a -> Householder vert horiz height width a Source #

determinant :: (C sh, Floating a) => Square sh a -> a Source #

determinantAbsolute :: (C vert, C horiz, C height, C width, Floating a) => Householder vert horiz height width a -> RealOf a Source #

leastSquares :: (C vert, C horiz, C height, Eq height, C width, Eq width, C nrhs, Floating a) => Householder horiz Small height width a -> Full vert horiz height nrhs a -> Full vert horiz width nrhs a Source #

minimumNorm :: (C vert, C horiz, C height, Eq height, C width, Eq width, C nrhs, Floating a) => Householder vert Small width height a -> Full vert horiz height nrhs a -> Full vert horiz width nrhs a Source #

HH.minimumNorm (HH.fromMatrix a) b
==
Ortho.minimumNorm (adjoint a) b

data Transposition Source #

Constructors

NonTransposed
Transposed

Instances

Bounded Transposition Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods minBound :: Transposition # maxBound :: Transposition #
Enum Transposition Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods succ :: Transposition -> Transposition # pred :: Transposition -> Transposition # toEnum :: Int -> Transposition # fromEnum :: Transposition -> Int # enumFrom :: Transposition -> [Transposition] # enumFromThen :: Transposition -> Transposition -> [Transposition] # enumFromTo :: Transposition -> Transposition -> [Transposition] # enumFromThenTo :: Transposition -> Transposition -> Transposition -> [Transposition] #
Eq Transposition Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods (==) :: Transposition -> Transposition -> Bool # (/=) :: Transposition -> Transposition -> Bool #
Show Transposition Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods showsPrec :: Int -> Transposition -> ShowS # show :: Transposition -> String # showList :: [Transposition] -> ShowS #

data Conjugation Source #

Constructors

NonConjugated
Conjugated

Instances

Bounded Conjugation Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods minBound :: Conjugation # maxBound :: Conjugation #
Enum Conjugation Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods succ :: Conjugation -> Conjugation # pred :: Conjugation -> Conjugation # toEnum :: Int -> Conjugation # fromEnum :: Conjugation -> Int # enumFrom :: Conjugation -> [Conjugation] # enumFromThen :: Conjugation -> Conjugation -> [Conjugation] # enumFromTo :: Conjugation -> Conjugation -> [Conjugation] # enumFromThenTo :: Conjugation -> Conjugation -> Conjugation -> [Conjugation] #
Eq Conjugation Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods (==) :: Conjugation -> Conjugation -> Bool # (/=) :: Conjugation -> Conjugation -> Bool #
Show Conjugation Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods showsPrec :: Int -> Conjugation -> ShowS # show :: Conjugation -> String # showList :: [Conjugation] -> ShowS #

data Inversion Source #

Constructors

NonInverted
Inverted

Instances

Bounded Inversion Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods minBound :: Inversion # maxBound :: Inversion #
Enum Inversion Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods succ :: Inversion -> Inversion # pred :: Inversion -> Inversion # toEnum :: Int -> Inversion # fromEnum :: Inversion -> Int # enumFrom :: Inversion -> [Inversion] # enumFromThen :: Inversion -> Inversion -> [Inversion] # enumFromTo :: Inversion -> Inversion -> [Inversion] # enumFromThenTo :: Inversion -> Inversion -> Inversion -> [Inversion] #
Eq Inversion Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods (==) :: Inversion -> Inversion -> Bool # (/=) :: Inversion -> Inversion -> Bool #
Show Inversion Source #
Instance details Defined in Numeric.LAPACK.Matrix.Private Methods showsPrec :: Int -> Inversion -> ShowS # show :: Inversion -> String # showList :: [Inversion] -> ShowS #

extractQ :: (C vert, C horiz, C height, C width, Floating a) => Householder vert horiz height width a -> Square height a Source #

extractR :: (C vert, C horiz, C height, C width, Floating a) => Householder vert horiz height width a -> Full vert horiz height width a Source #

multiplyQ :: (C vertA, C horizA, C widthA, C vertB, C horizB, C widthB, C height, Eq height, Floating a) => Inversion -> Householder vertA horizA height widthA a -> Full vertB horizB height widthB a -> Full vertB horizB height widthB a Source #

tallExtractQ :: (C vert, C height, C width, Floating a) => Householder vert Small height width a -> Full vert Small height width a Source #

tallExtractR :: (C vert, C height, C width, Floating a) => Householder vert Small height width a -> Upper width a Source #

tallMultiplyQ :: (C vert, C horiz, C height, Eq height, C width, C fuse, Eq fuse, Floating a) => Householder vert Small height fuse a -> Full vert horiz fuse width a -> Full vert horiz height width a Source #

tallMultiplyQAdjoint :: (C vert, C horiz, C height, C width, C fuse, Eq fuse, Floating a) => Householder horiz Small fuse height a -> Full vert horiz fuse width a -> Full vert horiz height width a Source #

tallMultiplyR :: (C vertA, C vert, C horiz, C height, Eq height, C heightA, C widthB, Floating a) => Transposition -> Householder vertA Small heightA height a -> Full vert horiz height widthB a -> Full vert horiz height widthB a Source #

tallSolveR :: (C vertA, C vert, C horiz, C height, C width, Eq width, C nrhs, Floating a) => Transposition -> Conjugation -> Householder vertA Small height width a -> Full vert horiz width nrhs a -> Full vert horiz width nrhs a Source #