Math.LinearAlgebra.GramSchmidt

Compute a Gram-Schmidt orthogonal basis

Documentation

gramSchmidtBasis :: Fractional a => [[a]] -> [[a]]

Given a basis, return the Gram-Schmidt orhthogonal basis

gramSchmidtOrthogonalization :: Fractional a => [[a]] -> ([[a]], [[a]])

Given a basis, return the Gram-Schmidt orthogonalization, which is a tuple with the Gram-Schmidt orthogonal basis first, and the $mu_{i,j} = langle b_i, b^*_j rangle / langle b^*_j, b^*_j rangle$ triangular matrix second, for $1 leq j < i < n$.