num::math::self_adjoint_operator

Defined in header <core/math/concepts.hpp>

template <class Op, class V = domain_t<Op>>
concept self_adjoint_operator =
    linear_operator<Op, V, V> && claims<Op, law::self_adjoint>;

\(A = A^*\) on V: real spectrum. The precondition for MINRES and Lanczos.