num::assume_psd

Defined in header <operator/properties.hpp>

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

Attach \(\langle x, Ax \rangle \geq 0\).