org.jutil.math.matrix
Class DefaultSchurDecomposition

java.lang.Object
  |
  +--org.jutil.math.matrix.DefaultSchurDecomposition

All Implemented Interfaces:

SchurDecomposition

public class DefaultSchurDecomposition

extends java.lang.Object

implements SchurDecomposition

A class of schur decompositions of a matrix.

Specifications inherited from interface SchurDecomposition

public invariant Q().getNbColumns() == R().getNbColumns();

Field Summary
static java.lang.String	CVS_REVISION

 

Constructor Summary

DefaultSchurDecomposition(Matrix R, Matrix Q)           Initialize a new DefaultSchurDecomposition with the given R and Q matrices.

 

Method Summary
Matrix	Q()           See superclass
Matrix	R()           See superclass

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION

DefaultSchurDecomposition

public DefaultSchurDecomposition(Matrix R,
                                 Matrix Q)

Initialize a new DefaultSchurDecomposition with the given R and Q matrices.

Parameters:

R - The R matrix of the Schur decomposition.

Q - The Q matrix of the Schur decomposition.

Specifications:

public behavior
requires R != null;
requires R.isUpperTriangular();
requires Q != null;
ensures R().equals(R);
ensures Q().equals(Q);

R

public Matrix R()

See superclass

Specifications inherited from overridden method in interface SchurDecomposition:

public behavior
ensures \result != null;
ensures \result .isUpperTriangular();
ensures \result .isSquare();

Q

public Matrix Q()

See superclass

Specifications inherited from overridden method in interface SchurDecomposition:

public behavior
ensures \result != null;
ensures \result .isSquare();