Function convolution

pub fn convolution<M>(
    a: &[StaticModInt<M>],
    b: &[StaticModInt<M>],
) -> Vec<StaticModInt<M>>
where
    M: Modulus,