num::debug::verify_psd_sample

Defined in header <algebra/debug.hpp>

template <class Op, class VectorType>
void verify_psd_sample(const Op &A, idx n,
                       std::source_location loc = std::source_location::current());

Sampled test for positive semidefiniteness \(\langle x, A x \rangle \geq 0\), which admits a null space as Gram matrices and graph Laplacians need.