solve_diagnostics.hpp File Reference

Preserving host residual and backward-error evaluation at explicit precision. More...

#include <algorithm>
#include <uni20/core/math.hpp>
#include <uni20/linalg/refinement_info.hpp>
#include <uni20/tensor/access.hpp>
#include <uni20/tensor/tensor.hpp>
#include <vector>

Include dependency graph for solve_diagnostics.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	uni20::linalg::SolveDiagnosticsResult< S >
	Recomputed residual and per-RHS diagnostics, published together only on success. More...

Namespaces
namespace	uni20
namespace	uni20::linalg
namespace	uni20::linalg::refinement_detail

Concepts
concept	uni20::linalg::refinement_detail::HostMatrix

Functions
template<RealOrComplex To, RealOrComplex From> requires (Complex<To> == Complex<From>)
To	uni20::linalg::refinement_detail::convert (From const &value, Precision p)
template<RealOrComplex S>
SolveDiagnosticsResult< S >	uni20::linalg::refinement_detail::evaluate (DenseMatrix< S > const &a, DenseMatrix< S > const &b, DenseMatrix< S > const &x, Precision p)
template<RealOrComplex To, HostMatrix A> requires (Complex<To> == Complex<tensor_element_t<A>>)
std::optional< DenseMatrix< To > >	uni20::linalg::refinement_detail::pack (A const &input, Precision p, SolveInfo &info)
template<RealOrComplex S, refinement_detail::HostMatrix A, refinement_detail::HostMatrix B, refinement_detail::HostMatrix X> requires (Complex<S> == Complex<tensor_element_t<A>> && Complex<S> == Complex<tensor_element_t<B>> && Complex<S> == Complex<tensor_element_t<X>>)
SolveDiagnosticsResult< S >	uni20::linalg::solve_diagnostics_with_info (A const &a, B const &b, X const &x, Precision p)
	Evaluate b - A*x and normwise/componentwise backward error in scalar S at p.

Detailed Description

Preserving host residual and backward-error evaluation at explicit precision.