num::math::spd_operator

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

template <class Op, class V = domain_t<Op>>
concept spd_operator = psd_operator<Op, V> && claims<Op, law::spd>;

\(\langle x, Ax \rangle > 0\) on V: invertible. The precondition for CG.