Data.Matrix.Tri

Stability	experimental
Maintainer	Patrick Perry <patperry@stanford.edu>

Description

Synopsis

data Tri a mn e = Tri UpLo Diag (a mn e)

data UpLo

= Upper

| Lower

data Diag

= Unit

| NonUnit

fromBase :: UpLo -> Diag -> a (m, n) e -> Tri a (m, n) e

toBase :: Tri a (m, n) e -> (UpLo, Diag, a (m, n) e)

mapTri :: (a (m, n) e -> b (m, n) e) -> Tri a (m, n) e -> Tri b (m, n) e

lower :: Matrix a => a (n, n) e -> Tri a (n, n) e

lowerFat :: Matrix a => a (m, n) e -> Tri a (m, m) e

lowerTall :: Matrix a => a (m, n) e -> Tri a (m, n) e

lowerU :: Matrix a => a (n, n) e -> Tri a (n, n) e

lowerUFat :: Matrix a => a (m, n) e -> Tri a (m, m) e

lowerUTall :: Matrix a => a (m, n) e -> Tri a (m, n) e

upper :: Matrix a => a (n, n) e -> Tri a (n, n) e

upperFat :: Matrix a => a (m, n) e -> Tri a (m, n) e

upperTall :: Matrix a => a (m, n) e -> Tri a (n, n) e

upperU :: Matrix a => a (n, n) e -> Tri a (n, n) e

upperUFat :: Matrix a => a (m, n) e -> Tri a (m, n) e

upperUTall :: Matrix a => a (m, n) e -> Tri a (n, n) e

coerceTri :: Tri a mn e -> Tri a mn' e

Documentation

data Tri a mn e

Source

Constructors

Tri UpLo Diag (a mn e)

Instances

Matrix a => Matrix (Tri a)

BLAS3 e => RMatrix (Tri (DMatrix s)) e

BLAS2 e => RMatrix (Tri (BMatrix s)) e

BLAS3 e => IMatrix (Tri (DMatrix Imm)) e

BLAS2 e => IMatrix (Tri (BMatrix Imm)) e

BLAS3 e => RSolve (Tri (DMatrix s)) e

BLAS2 e => RSolve (Tri (BMatrix s)) e

BLAS3 e => ISolve (Tri (DMatrix Imm)) e

BLAS2 e => ISolve (Tri (BMatrix Imm)) e

(Show (a ((,) m n) e), Matrix a) => Show (Tri a ((,) m n) e)

data UpLo

Source

Lower or upper triangular storage

Constructors

Upper
Lower

Instances

Eq UpLo

Show UpLo

data Diag

Source

Diagonal storage

Constructors

Unit
NonUnit

Instances

Eq Diag

Show Diag

fromBase :: UpLo -> Diag -> a (m, n) e -> Tri a (m, n) e

Source

toBase :: Tri a (m, n) e -> (UpLo, Diag, a (m, n) e)

Source

mapTri :: (a (m, n) e -> b (m, n) e) -> Tri a (m, n) e -> Tri b (m, n) e

Source

lower :: Matrix a => a (n, n) e -> Tri a (n, n) e

Source

lowerFat :: Matrix a => a (m, n) e -> Tri a (m, m) e

Source

lowerTall :: Matrix a => a (m, n) e -> Tri a (m, n) e

Source

lowerU :: Matrix a => a (n, n) e -> Tri a (n, n) e

Source

lowerUFat :: Matrix a => a (m, n) e -> Tri a (m, m) e

Source

lowerUTall :: Matrix a => a (m, n) e -> Tri a (m, n) e

Source

upper :: Matrix a => a (n, n) e -> Tri a (n, n) e

Source

upperFat :: Matrix a => a (m, n) e -> Tri a (m, n) e

Source

upperTall :: Matrix a => a (m, n) e -> Tri a (n, n) e

Source

upperU :: Matrix a => a (n, n) e -> Tri a (n, n) e

Source

upperUFat :: Matrix a => a (m, n) e -> Tri a (m, n) e

Source

upperUTall :: Matrix a => a (m, n) e -> Tri a (n, n) e

Source

coerceTri :: Tri a mn e -> Tri a mn' e

Source

Coerce the shape type.

Produced by Haddock version 2.3.0