Reduce the number of type parameters

Author: qryxip

src/convolution.rs

@@ -11,10 +11,10 @@ use std::{
 };
 
 #[allow(clippy::many_single_char_names)]
-pub fn convolution<M: Modulus>(
-    a: &[StaticModInt<M>],
-    b: &[StaticModInt<M>],
-) -> Vec<StaticModInt<M>> {
+pub fn convolution<M>(a: &[StaticModInt<M>], b: &[StaticModInt<M>]) -> Vec<StaticModInt<M>>
+where
+    M: Modulus,
+{
     if a.is_empty() || b.is_empty() {
         return vec![];
     }
@@ -49,14 +49,12 @@ pub fn convolution<M: Modulus>(
     a
 }
 
-pub fn convolution_raw<
-    T: RemEuclidU32 + TryFrom<u32, Error = E> + Clone,
-    E: fmt::Debug,
+pub fn convolution_raw<T, M>(a: &[T], b: &[T]) -> Vec<T>
+where
+    T: RemEuclidU32 + TryFrom<u32> + Clone,
+    T::Error: fmt::Debug,
     M: Modulus,
->(
-    a: &[T],
-    b: &[T],
-) -> Vec<T> {
+{
     let a = a.iter().cloned().map(Into::into).collect::<Vec<_>>();
     let b = b.iter().cloned().map(Into::into).collect::<Vec<_>>();
     convolution::<M>(&a, &b)
@@ -110,9 +108,9 @@ pub fn convolution_i64(a: &[i64], b: &[i64]) -> Vec<i64> {
     let i2 = internal_math::inv_gcd(M1M3 as _, M2 as _).1;
     let i3 = internal_math::inv_gcd(M1M2 as _, M3 as _).1;
 
-    let c1 = convolution_raw::<i64, _, M1>(a, b);
-    let c2 = convolution_raw::<i64, _, M2>(a, b);
-    let c3 = convolution_raw::<i64, _, M3>(a, b);
+    let c1 = convolution_raw::<i64, M1>(a, b);
+    let c2 = convolution_raw::<i64, M2>(a, b);
+    let c3 = convolution_raw::<i64, M3>(a, b);
 
     c1.into_iter()
         .zip(c2)