num::law::psd_on

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

template <class S>
struct psd_on : self_adjoint_on<S>;

The restriction of A to S is positive semidefinite.