$K$ 変数の多項式 $f, g$ が与えられ、積 $fg$ を $\bmod (1 - x_1^{N_1}, \ldots, 1 - x_K^{N_K})$ で求める。