|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This class represents an LU factorization of a matrix.
P*A = L*U
Field Summary | |
static java.lang.String |
CVS_REVISION
|
Method Summary | |
Matrix |
L()
private invariant L().sameDimensions(U()); private invariant P().sameDimensions(U()); public behavior post \result != null; post \result.isSquare(); post \result.isLowerTriangular(); post (\forall int i; i>=1 && i<=\result.getNbColumns(); elementAt(i,i) == 1); Return the L matrix of this LU factorization. |
Matrix |
P()
public behavior post \result != null; post \result.isPermutationMatrix(); Return the P matrix of this LU factorization. |
Matrix |
U()
public behavior post \result != null; post \result.isSquare(); post \result.isUpperTriangular(); Return the U matrix of this LU factorization. |
Field Detail |
public static final java.lang.String CVS_REVISION
Method Detail |
public Matrix L()
public Matrix U()
public Matrix P()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |