org.jutil.math.matrix
Interface EigenvalueDecomposer

All Known Implementing Classes:

SchurEigenvalueDecomposer

public interface EigenvalueDecomposer

A class of objects that compute the eigenvalue factorization of a matrix.

Field Summary
static java.lang.String	CVS_REVISION

 

Method Summary
abstract  EigenvalueDecomposition	decompose(Matrix matrix)           Return an eigenvalue factorization of this matrix.

 

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION

decompose

public abstract EigenvalueDecomposition decompose(Matrix matrix)

Return an eigenvalue factorization of this matrix.

Parameters:

matrix - The matrix to decompose.

Specifications:

public behavior
requires matrix != null;
requires matrix.getNbRows() == matrix.getNbColumns();
requires (* matrix is not singular *);
ensures \result != null;
ensures (* \result.getEigenvectors().times(\result.lambda()).equals(matrix) *);
ensures (* (\forall int i; i>=1 && i<= matrix.getNbRows(); \result.getEigenvectors().times(\result.getEigenvector(i)).equals(\result.getEigenvector(i).times(\result.getEigenvalue(i))) *);
ensures \result .getEigenvectors().getNbRows() == matrix.getNbRows();
ensures \result .getEigenvectors().getNbColumns() == matrix.getNbColumns();