num::law::spd_on

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

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

The restriction of A to S is positive definite, as PCG on S needs.