pub fn reduced_convolution(a: &[Point], b: &[Point]) -> Vec<Conv>