pub fn convolution_mul_modp<const M: u32, const PR: u32>(
a: Vec<ConstModInt<M>>,
b: Vec<ConstModInt<M>>,
ntt: &NTT<M, PR>,
) -> Vec<ConstModInt<M>>Expand description
素数$P$に対して、$c_k = \sum_{i \times j = k \pmod P} a_i b_j$を満たす$c$を求める。
pub fn convolution_mul_modp<const M: u32, const PR: u32>(
a: Vec<ConstModInt<M>>,
b: Vec<ConstModInt<M>>,
ntt: &NTT<M, PR>,
) -> Vec<ConstModInt<M>>素数$P$に対して、$c_k = \sum_{i \times j = k \pmod P} a_i b_j$を満たす$c$を求める。