Documentation

type Banded sub super vert horiz height width = Array (Banded sub super vert horiz height width)Source

type General sub super height width = Array (BandedGeneral sub super height width)Source

type Square sub super size = Array (BandedSquare sub super size)Source

type Upper super size = Square U0 super sizeSource

type Lower sub size = Square sub U0 sizeSource

type Diagonal size = Square U0 U0 sizeSource

fromList :: (Natural sub, Natural super, C height, C width, Storable a) => (UnaryProxy sub, UnaryProxy super) -> Order -> height -> width -> [a] -> General sub super height width aSource

squareFromList :: (Natural sub, Natural super, C size, Storable a) => (UnaryProxy sub, UnaryProxy super) -> Order -> size -> [a] -> Square sub super size aSource

lowerFromList :: (Natural sub, C size, Storable a) => UnaryProxy sub -> Order -> size -> [a] -> Lower sub size aSource

upperFromList :: (Natural super, C size, Storable a) => UnaryProxy super -> Order -> size -> [a] -> Upper super size aSource

mapExtent :: (C vertA, C horizA) => (C vertB, C horizB) => Map vertA horizA vertB horizB height width -> Banded super sub vertA horizA height width a -> Banded super sub vertB horizB height width aSource

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

takeDiagonal :: (Natural sub, Natural super, C sh, Floating a) => Square sub super sh a -> Vector sh aSource

toFull :: (Natural sub, Natural super, C vert, C horiz, C height, C width, Floating a) => Banded sub super vert horiz height width a -> Full vert horiz height width aSource

toLowerTriangular :: (Natural sub, C sh, Floating a) => Lower sub sh a -> Lower sh aSource

toUpperTriangular :: (Natural super, C sh, Floating a) => Upper super sh a -> Upper sh aSource

transpose :: (C vert, C horiz) => Banded sub super vert horiz height width a -> Banded super sub horiz vert width height aSource

adjoint :: (Natural super, Natural sub, C vert, C horiz, C width, C height, Floating a) => Banded sub super vert horiz height width a -> Banded super sub horiz vert width height aSource

multiplyVector :: (Natural sub, Natural super, C vert, C horiz, C height, C width, Eq width, Floating a) => Banded sub super vert horiz height width a -> Vector width a -> Vector height aSource

multiply :: (Natural subA, Natural superA, Natural subB, Natural superB, (subA :+: subB) ~ subC, (superA :+: superB) ~ superC, C vert, C horiz, C height, C width, C fuse, Eq fuse, Floating a) => Banded subA superA vert horiz height fuse a -> Banded subB superB vert horiz fuse width a -> Banded subC superC vert horiz height width aSource

multiplyFull :: (Natural sub, Natural super, C vert, C horiz, C height, C width, C fuse, Eq fuse, Floating a) => Banded sub super vert horiz height fuse a -> Full vert horiz fuse width a -> Full vert horiz height width aSource

height :: (C vert, C horiz) => Banded sub super vert horiz height width a -> heightSource

width :: (C vert, C horiz) => Banded sub super vert horiz height width a -> widthSource

solve :: (Natural sub, Natural super, C vert, C horiz, C sh, Eq sh, C nrhs, Floating a) => Square sub super sh a -> Full vert horiz sh nrhs a -> Full vert horiz sh nrhs aSource

determinant :: (Natural sub, Natural super, C sh, Floating a) => Square sub super sh a -> aSource