|
MOOCHO (Single Doxygen Collection)
Version of the Day
|
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
|
MOOCHO (Single Doxygen Collection)
Version of the Day
|
Mix-in interface for all polymorphic symmetric matrices that support secant updating. More...
#include <AbstractLinAlgPack_MatrixSymSecant.hpp>
Classes | |
| class | UpdateFailedException |
| class | UpdateSkippedException |
Public Member Functions | |
| virtual void | secant_update (VectorMutable *s, VectorMutable *y, VectorMutable *Bs=NULL)=0 |
| Perform a secant update of the matrix. More... | |
 Public Member Functions inherited from AbstractLinAlgPack::MatrixSymInitDiag | |
| virtual | ~MatrixSymInitDiag () |
| virtual void | init_identity (const VectorSpace &space_diag, value_type alpha=1.0)=0 |
Initialize a n x n identity matrix scaled by alpha (where n = diag.dim()). More... | |
| virtual void | init_diagonal (const Vector &diag)=0 |
Initialize an n x n diagonal matrix (where n = diag.dim()). More... | |
Mix-in interface for all polymorphic symmetric matrices that support secant updating.
This interface is ment to be incorrporated in with a concrete AbstractLinAlgPack::MatrixOp object that can implement some secant updating method. Note that this is purely abstract interface\ and can be used in any application.
Note that the methods AbstractLinAlgPack::MatrixSymInitDiag::init_identity() and AbstractLinAlgPack::MatrixSymInitDiag::init_diagonal() do not state any postconditions on the state of this after they are performed. Subclasses of this interface also do not have adhere to the obvious strick postconditions that these methods suggest but they should do the "right thing" for the application. If the client needs the obvious strict postconditions for correct behavior, then the client is wise to test to see if this really is the identity matrix or is a diagonal matrix (these can be cheap tests).
Definition at line 65 of file AbstractLinAlgPack_MatrixSymSecant.hpp.
|
pure virtual |
Perform a secant update of the matrix.
The update is a secant update:
B_hat * s = y
It is assumed that ||B_hat - B|| (here B is the matrix before the update and B_hat is the matrix after the update) is not too large.
The update vectors s and y may be used for workspace and are therefore not gaurented to be preserved.
The vector Bs may be set by the client to B*s. This may help the implementing subclass from having to compute it also. Again, Bs may be used as workspace by subclass so it may change.
If the update is not performed then an UpdateSkippedException will be thrown with an informative error message enclosed.
If the update failed in catestrophic way and the state of this is invalid, then a UpdateFailedException will be thrown with an informative error message enclosed.
Subclasses may also throw other unspecified exceptions but they should all be derived from std::exception.
| s | [in/work] On input must be set to the s vector (see above). May be used as workspace. |
| y | [in/work] On input must be set to the y vector (see above) May be used as workspace. |
| Bs | [in/work] On input (if not NULL), Bs may be set to the B*s vector (see above). If Bs == NULL on input, then the subclass implementation will do without. May be used as workspace. |
Preconditions:
s != NULL (throw ???) s must be compatible with space_rows() of the underlying matrix.(throw ???) y != NULL (throw ???) y must be compatible with space_cols() of the underlying matrix.(throw ???) Bs != NULL] Bs must be compatible with space_cols() of the underlying matrix.(throw ???) Postconidtons:
(*this) * x y. In other words, we expect the secant condition will hold. In almost every application, this is required for correct behavior so clients should meet this condition. 
1.8.6