Одним из способов обойти проблему точности вычислений является переход к конечным полям. Все результаты, полученные ранее, справедливы не только над полем комплексных чисел, но и над любым другим полем, в частности над конечными полями
, где
- простое число. Мультипликативная группа поля
- циклическая и имеет порядок
, следовательно, для существования корней степени
из 1 необходимо и достаточно, чтобы
делилось на
. Конечный результат операции должен однозначно восстанавливаться по своему остатку от деления на p. Например, при перемножении многочленов степени m и k, с целочисленными коэффициентами по абсолютной величине меньшими d получится многочлен степени m+k, коэффициенты которого целочисленные и по абсолютной величине не превосходят
. Для вычисления произведения многочленов с помощью дискретного преобразования Фурье мы должны выбрать n больше, чем m+k, и найти простое число p, удовлетворяющее условиям:
1. p-1 делится на n.
2. p больше чем 2(m+k)d2.
Кроме того, надо найти первообразный корень из 1 степени n по модулю p.