[Paul Kellerman]

Итерационно-сдвиговая схема вычисления общего случая свертки многочленов
a(x) и b(x) степени <= m - 1 по модулю нормированного многочлена степени m:
g(x) = x^m + g[m-1]*x^(m - 1) + ... + g[0], заданных над простым полем GF(p).

При g(x) = x^m - 1, имеем циклическую свертку.
При g(x) = x^m, имеем усеченную линейную свертку.
При g(x) неприводимом над GF(p), имеем полевую свертку.

Буду рад комментариям, дополнениям, замечаниям.