Function min_plus_convolution_near_convex_scan 

pub fn min_plus_convolution_near_convex_scan<T>(
    a: &[T],
    b: &[T],
    convex_a: &[T],
    convex_b: &[T],
    delta: T,
) -> Vec<T>
where
    T: Signed,

Computes exact near-convex convolution by scanning witness-relevant pairs.

Each witness must be convex and satisfy witness[i] <= input[i] <= witness[i] + delta.

Panics

Panics if a witness is invalid or an input is non-finite.