pub fn convolve<M: NttFriendly>( a: Vec<StaticModInt<M>>, b: Vec<StaticModInt<M>> ) -> Vec<StaticModInt<M>>