num::math::psd_operator

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

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

\(\langle x, Ax \rangle \ge 0\) on V: graph Laplacians and Gram matrices.