num::debug::verify_linearity_sample

Defined in header <algebra/debug.hpp>

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

Sampled test for linearity \(A(\alpha x + \beta y) = \alpha A x + \beta A y\), which every law presupposes.