Numeric.LinearAlgebra.Sparse

Additive ring

class Additive f

Vector space

class VectorSpace f

Hilbert space (inner product)

class Hilbert f

Normed vector space

class Normed f

Norms and related results

squared 2-norm

L1 norm

Euclidean norm

Lp norm (p > 0)

infinity-norm

normalize w.r.t. p-norm (p finite)

Lp inner product (p > 0)

reciprocal

scale

FiniteDim : finite-dimensional objects

class FiniteDim f

HasData : accessing inner data (do not export)

class HasData f a

Sparse : sparse datastructures

class Sparse f a

Set : things that behave as sets (e.g. of which we can take the union and the intersection)

class Set f

Sparse Vector

data SpVector a

Create new sparse vector

fromListDenseSV

Outer vector product

Sparse Matrix

data SpMatrix a

multiply matrix by a scalar

Frobenius norm (sqrt of trace of M^T M)

Matrix metadata

type Rows

type Cols

type IxRow

type IxCol

Predicates

SpMatrix information

Non-zero elements in a row

Mandwidth bounds (min, max)

Sparse matrix builders

fromListDenseSM

Diagonal matrix

Identity matrix

Create Super- or sub- diagonal matrix

Sub-matrices

extractSubmatrixSM

Extract j'th column

Extract i'th row

Matrix stacking

Matrix element lookup

Misc. SpMatrix operations

countSubdiagonalNZSM

extractDiagonalDSM

subdiagIndicesSM

sparsify : remove almost-0 elements (i.e. if |x| < eps)

Rounding operations (!!!)

Primitive algebra operations

Matrix action on a vector

Matrix-matrix product

Matrix-matrix product, sparsified

matMatSparsified

Sparsified matrix products

Predicates

Condition number

conditionNumberSM

Householder transformation

Givens rotation matrix

firstNonZeroColumn

QR decomposition

Eigenvalue algorithms

All eigenvalues using QR algorithm

One eigenvalue and corresponding eigenvector, using Rayleigh iteration

Householder vector (G & VL Alg. 5.1.1, function `house`)

SVD

LINEAR SOLVERS : solve A x = b

CGS

data CGS

BiCSSTAB

LINEAR SOLVERS INTERFACE

data LinSolveMethod

Pretty printing of SpVector and SpMatrix

toDenseListClip

Pretty printer typeclass

class PrintDense a

Control primitives for bounded iteration with convergence check

normDiffConverged

Rounding operations

Random matrices and vectors

Misc. utilities

Bounds checking

type LB

type UB