Implement convolution

Author: qryxip

src/convolution.rs

@@ -1 +1,19 @@
+use crate::modint::{Modulus, RemEuclidU32, StaticModInt};
 
+fn convolution<M: Modulus>(a: &[StaticModInt<M>], b: &[StaticModInt<M>]) -> Vec<StaticModInt<M>> {
+    todo!();
+}
+
+fn convolution_integer<T: RemEuclidU32>(a: &[T], b: &[T], modulus: u32) -> Vec<T> {
+    todo!();
+}
+
+fn convolution_i64(a: &[i64], b: &[i64]) -> Vec<i64> {
+    todo!();
+}
+
+pub trait Convolution: Sized {
+    type Value;
+    const MODULUS: u32;
+    fn convolution(a: &[Self::Value], b: &[Self::Value]) -> Vec<Self::Value>;
+}