Function nalgebra_sparse::proptest::coo_no_duplicates

pub fn coo_no_duplicates<T>(
    value_strategy: T,
    rows: impl Into<DimRange>,
    cols: impl Into<DimRange>,
    max_nonzeros: usize
) -> impl Strategy<Value = CooMatrix<T::Value>>where
    T: Strategy + Clone + 'static,
    T::Value: Scalar,

A strategy for producing COO matrices without duplicate entries.

The values of the matrix are picked from the provided value_strategy, while the size of the generated matrices is determined by the ranges rows and cols. The number of explicitly stored entries is bounded from above by max_nonzeros. Note that the matrix might still contain explicitly stored zeroes if the value strategy is capable of generating zero values.