Function convolution_mul_modp

pub fn convolution_mul_modp<P: PrimeMod>(
    a: Vec<ConstModInt<P>>,
    b: Vec<ConstModInt<P>>,
) -> Vec<ConstModInt<P>>

素数$P$に対して、$c_k = \sum_{i \times j = k \pmod P} a_i b_j$を満たす$c$を求める。

Requirements

f.len() = g.len()