org.jutil.math.matrix
Class AbstractSolver

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

Direct Known Subclasses:

LULinSolver, QRLeastSquaresSolver, QRLinSolver

public abstract class AbstractSolver

extends java.lang.Object

A helper class for classes that solve systems of equations using matrices. That often involves solve a triangular system at the end.

Constructor Summary

AbstractSolver()

 

Method Summary
Column	backSubstitute(Matrix R, Column b)           Solve the uppertriangular linear system of equations defined by R * x = b
Column	forwardSubstitute(Matrix L, Column b)           Solve the lowertriangular linear system of equations defined by L * x = b

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

AbstractSolver

public AbstractSolver()

backSubstitute

public Column backSubstitute(Matrix R,
                             Column b)

Solve the uppertriangular linear system of equations defined by R * x = b

Parameters:

R - The uppertriangular matrix containing the coefficients of the equations.

b - A column containing the right-hand sides of the equations.

Specifications:

public behavior
requires R != null;
requires b != null;
requires R.isSquare();
requires R.isUpperTriangular();
requires b.size() == R.getNbRows();
requires (* R is nonsingular *);
ensures (* R.times(\result).equals(b) *);

forwardSubstitute

public Column forwardSubstitute(Matrix L,
                                Column b)

Solve the lowertriangular linear system of equations defined by L * x = b

Parameters:

L - The lowertriangular matrix containing the coefficients of the equations.

b - A column containing the right-hand sides of the equations.

Specifications:

public behavior
requires L != null;
requires b != null;
requires L.isSquare();
requires L.isLowerTriangular();
requires b.size() == L.getNbRows();
requires (* L is nonsingular *);
ensures (* L.times(\result).equals(b) *);