pub fn convolution_mul_mod2n<P: PrimeMod>(
a: Vec<ConstModInt<P>>,
b: Vec<ConstModInt<P>>,
) -> Vec<ConstModInt<P>>Expand description
$c_k = \sum_{i \times j = k \pmod {2^N}} a_i b_j$を満たす$c$を求める。
§Requirements
a.len() = b.len() = $2^N$
pub fn convolution_mul_mod2n<P: PrimeMod>(
a: Vec<ConstModInt<P>>,
b: Vec<ConstModInt<P>>,
) -> Vec<ConstModInt<P>>$c_k = \sum_{i \times j = k \pmod {2^N}} a_i b_j$を満たす$c$を求める。
a.len() = b.len() = $2^N$