num::assume_spd

Defined in header <operator/properties.hpp>

template <class T>
with_law<T, law::spd> assume_spd(T A, call_site site = {});

Attach \(\langle x, Ax \rangle > 0\), which CG, PCG and Cholesky require.