Numeric.LAPACK.Permutation

Documentation

data Permutation sh

Instances

(C sh, Show sh) => Show (Permutation sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

showsPrec :: Int -> Permutation sh -> ShowS

show :: Permutation sh -> String

showList :: [Permutation sh] -> ShowS

Box (Permutation sh)

Defined in Numeric.LAPACK.Matrix.Type

Associated Types

type HeightOf (Permutation sh) :: Type

type WidthOf (Permutation sh) :: Type

Methods

height :: Matrix (Permutation sh) a -> HeightOf (Permutation sh)

width :: Matrix (Permutation sh) a -> WidthOf (Permutation sh)

C sh => FormatMatrix (Permutation sh)

Defined in Numeric.LAPACK.Matrix.Type

Methods

formatMatrix :: (Floating a, Output out) => String -> Matrix (Permutation sh) a -> out

C sh => Format (Permutation sh)

Defined in Numeric.LAPACK.Format

Methods

format :: Output out => String -> Permutation sh -> out

Indexed size => Indexed (Permutation size)

Defined in Numeric.LAPACK.Matrix.Indexed

Methods

(#!) :: Floating a => Matrix (Permutation size) a -> (Index (HeightOf (Permutation size)), Index (WidthOf (Permutation size))) -> a

C sh => SquareShape (Permutation sh)

Defined in Numeric.LAPACK.Matrix.Class

Methods

toSquare :: (HeightOf (Permutation sh) ~ sh0, Floating a) => Matrix (Permutation sh) a -> Square sh0 a

identityOrder :: (HeightOf (Permutation sh) ~ sh0, Floating a) => Order -> sh0 -> Matrix (Permutation sh) a

takeDiagonal :: (HeightOf (Permutation sh) ~ sh0, Floating a) => Matrix (Permutation sh) a -> Vector sh0 a

C shape => Complex (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Class

Methods

conjugate :: Floating a => Matrix (Permutation shape) a -> Matrix (Permutation shape) a

fromReal :: Floating a => Matrix (Permutation shape) (RealOf a) -> Matrix (Permutation shape) a

toComplex :: Floating a => Matrix (Permutation shape) a -> Matrix (Permutation shape) (ComplexOf a)

C shape => Power (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Multiply

Methods

square :: Floating a => Matrix (Permutation shape) a -> Matrix (Permutation shape) a

power :: Floating a => Int -> Matrix (Permutation shape) a -> Matrix (Permutation shape) a

C shape => MultiplySquare (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Multiply

Methods

transposableSquare :: (HeightOf (Permutation shape) ~ height, Eq height, C width, C horiz, C vert, Floating a) => Transposition -> Matrix (Permutation shape) a -> Full vert horiz height width a -> Full vert horiz height width a

squareFull :: (HeightOf (Permutation shape) ~ height, Eq height, C width, C horiz, C vert, Floating a) => Matrix (Permutation shape) a -> Full vert horiz height width a -> Full vert horiz height width a

fullSquare :: (WidthOf (Permutation shape) ~ width, Eq width, C height, C horiz, C vert, Floating a) => Full vert horiz height width a -> Matrix (Permutation shape) a -> Full vert horiz height width a

C shape => MultiplyVector (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Multiply

Methods

matrixVector :: (WidthOf (Permutation shape) ~ width, Eq width, Floating a) => Matrix (Permutation shape) a -> Vector width a -> Vector (HeightOf (Permutation shape)) a

vectorMatrix :: (HeightOf (Permutation shape) ~ height, Eq height, Floating a) => Vector height a -> Matrix (Permutation shape) a -> Vector (WidthOf (Permutation shape)) a

C shape => Inverse (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Divide

Methods

inverse :: Floating a => Matrix (Permutation shape) a -> Matrix (Permutation shape) a

C shape => Solve (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Divide

Methods

solve :: (HeightOf (Permutation shape) ~ height, Eq height, C width, C horiz, C vert, Floating a) => Transposition -> Matrix (Permutation shape) a -> Full vert horiz height width a -> Full vert horiz height width a

solveRight :: (HeightOf (Permutation shape) ~ height, Eq height, C width, C horiz, C vert, Floating a) => Matrix (Permutation shape) a -> Full vert horiz height width a -> Full vert horiz height width a

solveLeft :: (WidthOf (Permutation shape) ~ width, Eq width, C height, C horiz, C vert, Floating a) => Full vert horiz height width a -> Matrix (Permutation shape) a -> Full vert horiz height width a

C shape => Determinant (Permutation shape)

Defined in Numeric.LAPACK.Matrix.Divide

Methods

determinant :: Floating a => Matrix (Permutation shape) a -> a

(C shapeA, Eq shapeA, shapeA ~ shapeB, C shapeB) => Multiply (Permutation shapeA) (Permutation shapeB)

Defined in Numeric.LAPACK.Matrix.Multiply

Associated Types

type Multiplied (Permutation shapeA) (Permutation shapeB) :: Type

Methods

matrixMatrix :: Floating a => Matrix (Permutation shapeA) a -> Matrix (Permutation shapeB) a -> Matrix (Multiplied (Permutation shapeA) (Permutation shapeB)) a

(C sh, Show sh) => Show (Matrix (Permutation sh) a)

Defined in Numeric.LAPACK.Matrix.Type

Methods

showsPrec :: Int -> Matrix (Permutation sh) a -> ShowS

show :: Matrix (Permutation sh) a -> String

showList :: [Matrix (Permutation sh) a] -> ShowS

type HeightOf (Permutation sh)

Defined in Numeric.LAPACK.Matrix.Type

type HeightOf (Permutation sh) = sh

type WidthOf (Permutation sh)

Defined in Numeric.LAPACK.Matrix.Type

type WidthOf (Permutation sh) = sh

newtype Matrix (Permutation sh) a

Defined in Numeric.LAPACK.Matrix.Type

newtype Matrix (Permutation sh) a = Permutation (Permutation sh)

newtype Shape sh

Constructors

Shape sh

Instances

Eq sh => Eq (Shape sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

(==) :: Shape sh -> Shape sh -> Bool

(/=) :: Shape sh -> Shape sh -> Bool

Show sh => Show (Shape sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

showsPrec :: Int -> Shape sh -> ShowS

show :: Shape sh -> String

showList :: [Shape sh] -> ShowS

C sh => C (Shape sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

size :: Shape sh -> Int

uncheckedSize :: Shape sh -> Int

C sh => Indexed (Shape sh)

Defined in Numeric.LAPACK.Permutation.Private

Associated Types

type Index (Shape sh) :: Type

Methods

indices :: Shape sh -> [Index (Shape sh)]

offset :: Shape sh -> Index (Shape sh) -> Int

uncheckedOffset :: Shape sh -> Index (Shape sh) -> Int

inBounds :: Shape sh -> Index (Shape sh) -> Bool

sizeOffset :: Shape sh -> (Int, Index (Shape sh) -> Int)

uncheckedSizeOffset :: Shape sh -> (Int, Index (Shape sh) -> Int)

C sh => InvIndexed (Shape sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

indexFromOffset :: Shape sh -> Int -> Index (Shape sh)

uncheckedIndexFromOffset :: Shape sh -> Int -> Index (Shape sh)

type Index (Shape sh)

Defined in Numeric.LAPACK.Permutation.Private

type Index (Shape sh) = Element sh

newtype Element sh

Constructors

Element CInt

Instances

Eq (Element sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

(==) :: Element sh -> Element sh -> Bool

(/=) :: Element sh -> Element sh -> Bool

Show (Element sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

showsPrec :: Int -> Element sh -> ShowS

show :: Element sh -> String

showList :: [Element sh] -> ShowS

Storable (Element sh)

Defined in Numeric.LAPACK.Permutation.Private

Methods

sizeOf :: Element sh -> Int

alignment :: Element sh -> Int

peekElemOff :: Ptr (Element sh) -> Int -> IO (Element sh)

pokeElemOff :: Ptr (Element sh) -> Int -> Element sh -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Element sh)

pokeByteOff :: Ptr b -> Int -> Element sh -> IO ()

peek :: Ptr (Element sh) -> IO (Element sh)

poke :: Ptr (Element sh) -> Element sh -> IO ()

size :: Permutation sh -> sh

identity :: C sh => sh -> Permutation sh

data Inversion

Constructors

NonInverted

Inverted

Instances

Bounded Inversion

Defined in Numeric.LAPACK.Matrix.Modifier

Methods

minBound :: Inversion

maxBound :: Inversion

Enum Inversion

Defined in Numeric.LAPACK.Matrix.Modifier

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

Defined in Numeric.LAPACK.Matrix.Modifier

Methods

(==) :: Inversion -> Inversion -> Bool

(/=) :: Inversion -> Inversion -> Bool

Show Inversion

Defined in Numeric.LAPACK.Matrix.Modifier

Methods

showsPrec :: Int -> Inversion -> ShowS

show :: Inversion -> String

showList :: [Inversion] -> ShowS

Semigroup Inversion

Defined in Numeric.LAPACK.Matrix.Modifier

Methods

(<>) :: Inversion -> Inversion -> Inversion

sconcat :: NonEmpty Inversion -> Inversion

stimes :: Integral b => b -> Inversion -> Inversion

Monoid Inversion

Defined in Numeric.LAPACK.Matrix.Modifier

Methods

mempty :: Inversion

mappend :: Inversion -> Inversion -> Inversion

mconcat :: [Inversion] -> Inversion

fromPivots :: C sh => Inversion -> Vector (Shape sh) (Element sh) -> Permutation sh

toPivots :: C sh => Inversion -> Permutation sh -> Vector sh (Element sh)

toMatrix :: (C sh, Floating a) => Permutation sh -> Square sh a

data Sign

Constructors

Positive

Negative

Instances

Bounded Sign

Defined in Numeric.LAPACK.Permutation.Private

Methods

minBound :: Sign

maxBound :: Sign

Enum Sign

Defined in Numeric.LAPACK.Permutation.Private

Methods

succ :: Sign -> Sign

pred :: Sign -> Sign

toEnum :: Int -> Sign

fromEnum :: Sign -> Int

enumFrom :: Sign -> [Sign]

enumFromThen :: Sign -> Sign -> [Sign]

enumFromTo :: Sign -> Sign -> [Sign]

enumFromThenTo :: Sign -> Sign -> Sign -> [Sign]

Eq Sign

Defined in Numeric.LAPACK.Permutation.Private

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Show Sign

Defined in Numeric.LAPACK.Permutation.Private

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Semigroup Sign

Defined in Numeric.LAPACK.Permutation.Private

Methods

(<>) :: Sign -> Sign -> Sign

sconcat :: NonEmpty Sign -> Sign

stimes :: Integral b => b -> Sign -> Sign

Monoid Sign

Defined in Numeric.LAPACK.Permutation.Private

Methods

mempty :: Sign

mappend :: Sign -> Sign -> Sign

mconcat :: [Sign] -> Sign

determinant :: C sh => Permutation sh -> Sign

numberFromSign :: Floating a => Sign -> a

numberFromSign s == (-1)^fromEnum s

transpose :: C sh => Permutation sh -> Permutation sh

inversionFromTransposition :: Transposition -> Inversion

multiply :: (C sh, Eq sh) => Permutation sh -> Permutation sh -> Permutation sh

apply :: (C vert, C horiz, C height, Eq height, C width, Floating a) => Inversion -> Permutation height -> Full vert horiz height width a -> Full vert horiz height width a