org.jutil.math.matrix
Interface QRDecomposer
- All Known Implementing Classes:
- HouseholderQRDecomposer
- public interface QRDecomposer
A class of objects that compute the QR factorization of a matrix.
CVS_REVISION
public static final java.lang.String CVS_REVISION
decompose
public abstract QRDecomposition decompose(Matrix matrix)
Return a QR factorization of this matrix.
- Parameters:
matrix - The matrix to decompose.
- Specifications:
-
public behavior
requires matrix != null;
requires matrix.getNbRows() >= matrix.getNbColumns();
ensures \result != null;
ensures (* \result.Q().times(\result.R()).equals(matrix) *);
ensures \result .R().getNbRows() == matrix.getNbRows();
ensures \result .R().getNbColumns() == matrix.getNbColumns();