Хм... а что он делает? Я знаю только алгоритм Берлекампа, который полиномы над полями вычетов на неприводимые множители раскладывает. Может оно?