| Safe Haskell | None |
|---|
Numeric.LAPACK.Permutation
- data Permutation sh
- newtype Shape sh = Shape sh
- newtype Element sh = Element CInt
- size :: Permutation sh -> sh
- identity :: C sh => sh -> Permutation sh
- data Inversion
- = NonInverted
- | Inverted
- 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
- determinant :: C sh => Permutation sh -> Sign
- numberFromSign :: Floating a => Sign -> a
- 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
Documentation
data Permutation sh Source
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) |
Constructors
| Shape sh |
size :: Permutation sh -> shSource
identity :: C sh => sh -> Permutation shSource
Constructors
| NonInverted | |
| Inverted |
fromPivots :: C sh => Inversion -> Vector (Shape sh) (Element sh) -> Permutation shSource
determinant :: C sh => Permutation sh -> SignSource
numberFromSign :: Floating a => Sign -> aSource
numberFromSign s == (-1)^fromEnum s
transpose :: C sh => Permutation sh -> Permutation shSource
multiply :: (C sh, Eq sh) => Permutation sh -> Permutation sh -> Permutation shSource