Data.Matrix.Tri

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

Description

Synopsis

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

data UpLo

= Upper

| Lower

data Diag

= Unit

| NonUnit

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

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

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

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

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

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

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

Documentation

data Tri a nn e

Source

Constructors

Tri UpLo Diag e (a nn e)

Instances

Matrix a => Matrix (Tri a)

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

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

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

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

Num e => Scalable (Tri a nn) e

(Show (a mn e), Show e, Num e) => Show (Tri a mn 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 -> e -> a (n, n) e -> Tri a (n, n) e

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

Produced by Haddock version 2.3.0