blas-0.5: Bindings to the BLAS library Source code Contents Index

Test.QuickCheck.Matrix.Tri.Dense Stability experimental Maintainer Patrick Perry <patperry@stanford.edu>

Description

Synopsis

triMatrix :: (BLAS1 e, Arbitrary e) => UpLo -> Diag -> (Int, Int) -> Gen (Matrix (m, n) e) isTriIndex :: UpLo -> Diag -> (Int, Int) -> Bool data TriMatrix m n e = TriMatrix (Tri Matrix (m, n) e) (Matrix (m, n) e) data TriMatrixMV m n e = TriMatrixMV (Tri Matrix (m, n) e) (Matrix (m, n) e) (Vector n e) data TriMatrixMM m k n e = TriMatrixMM (Tri Matrix (m, k) e) (Matrix (m, k) e) (Matrix (k, n) e) data TriMatrixSV m n e = TriMatrixSV (Tri Matrix (m, n) e) (Vector m e) data TriMatrixSM m k n e = TriMatrixSM (Tri Matrix (m, k) e) (Matrix (m, n) e)

Documentation

triMatrix :: (BLAS1 e, Arbitrary e) => UpLo -> Diag -> (Int, Int) -> Gen (Matrix (m, n) e) Source

isTriIndex :: UpLo -> Diag -> (Int, Int) -> Bool Source

data TriMatrix m n e Source

A triangular matrix and an equivalent dense matrix Constructors TriMatrix (Tri Matrix (m, n) e) (Matrix (m, n) e) Instances BLAS1 e => Show (TriMatrix m n e) (Arbitrary e, BLAS1 e) => Arbitrary (TriMatrix m n e)

data TriMatrixMV m n e Source

A triangular matrix, and equivalent dense matrix, and a vector in their domain. Constructors TriMatrixMV (Tri Matrix (m, n) e) (Matrix (m, n) e) (Vector n e) Instances BLAS1 e => Show (TriMatrixMV m n e) (Arbitrary e, BLAS1 e) => Arbitrary (TriMatrixMV m n e)

data TriMatrixMM m k n e Source

A triangular matrix, and equivalent dense matrix, and a matrix in their domain. Constructors TriMatrixMM (Tri Matrix (m, k) e) (Matrix (m, k) e) (Matrix (k, n) e) Instances BLAS1 e => Show (TriMatrixMM m k n e) (Arbitrary e, BLAS1 e) => Arbitrary (TriMatrixMM m k n e)

data TriMatrixSV m n e Source

A triangular matrix and a vector in its range Constructors TriMatrixSV (Tri Matrix (m, n) e) (Vector m e) Instances BLAS1 e => Show (TriMatrixSV m n e) (Arbitrary e, BLAS3 e) => Arbitrary (TriMatrixSV m n e)

data TriMatrixSM m k n e Source

A triangular matrix and a matrix in its range Constructors TriMatrixSM (Tri Matrix (m, k) e) (Matrix (m, n) e) Instances BLAS1 e => Show (TriMatrixSM m k n e) (Arbitrary e, BLAS3 e) => Arbitrary (TriMatrixSM m k n e)

Produced by Haddock version 2.3.0