Алгоритм построения аннулятора полилинейной рекуррентной последовательности над конечным коммутативным кольцом

Предлагается алгоритм, который строит систему образующих аннулятора полилинейной рекуррентной последовательности над конечным коммутативным кольцом с единицей. Трудоемкость алгоритма есть $O(l^3)$, где $l$ – число элементов последовательности, необходимое для однозначного построения аннулятора.
Работа выполнена при поддержке грантом Президента Российской Федерации по поддержке научных школ НШ 4.2008.10.