Numeric.LAPACK.Permutation

Documentation

data Permutation sh

Instances

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

Box (Permutation sh)

(C sh, Eq sh) => MultiplySame (Permutation sh)

C sh => FormatMatrix (Permutation sh)

C sh => Format (Permutation sh)

Indexed size => Indexed (Permutation size)

C shape => Power (Permutation shape)

C shape => MultiplySquare (Permutation shape)

C shape => MultiplyVector (Permutation shape)

C shape => Inverse (Permutation shape)

C shape => Solve (Permutation shape)

C shape => Determinant (Permutation shape)

C sh => SquareShape (Permutation sh)

C shape => Complex (Permutation shape)

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

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

newtype Shape sh

Constructors

Shape sh

Instances

Eq sh => Eq (Shape sh)

Show sh => Show (Shape sh)

C sh => C (Shape sh)

C sh => Indexed (Shape sh)

C sh => InvIndexed (Shape sh)

newtype Element sh

Constructors

Element CInt

Instances

Eq (Element sh)

Show (Element sh)

Storable (Element sh)

size :: Permutation sh -> sh

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

data Inversion

Constructors

NonInverted

Inverted

Instances

Bounded Inversion

Enum Inversion

Eq Inversion

Show Inversion

Monoid Inversion

Semigroup 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

Enum Sign

Eq Sign

Show Sign

Monoid Sign

Semigroup 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