#include <ostream>
#include "codac2_Matrix.h"
#include "codac2_IntervalMatrix.h"

Include dependency graph for codac2_inversion.h:

Functions
template<LeftOrRightInv O = LEFT_INV, typename OtherDerived, typename OtherDerived_>
IntervalMatrix	codac2::inverse_correction (const Eigen::MatrixBase< OtherDerived > &A, const Eigen::MatrixBase< OtherDerived_ > &B)
	Correct the approximation of the inverse \(\mathbf{B}\approx\mathbf{A}^{-1}\) of a square matrix \(\mathbf{A}\) by providing a reliable enclosure \([\mathbf{A}^{-1}]\).

template<typename OtherDerived>
IntervalMatrix	codac2::inverse_enclosure (const Eigen::MatrixBase< OtherDerived > &A)
	Enclosure of the inverse of a (non-singular) matrix expression, possibly an interval matrix.

IntervalMatrix	codac2::infinite_sum_enclosure (const IntervalMatrix &A, double &mrad)
	Compute an upper bound of \(\left([\mathbf{A}]+[\mathbf{A}]^2+[\mathbf{A}]^3+\dots\right)\), with \([\mathbf{A}]\) a matrix of intervals as an "error term" (uses only bounds on coefficients).

Detailed Description

Namespaces