Алгоритм поиска корней многочленов с коэффициентами из кольца k[x,y]

Построен детерминированный алгоритм поиска корней многочленов одной переменной с коэффициентами из кольца k[x,y], где k – произвольное поле. Алгоритм имеет полиномиальные временную и емкостную сложности и может рассматриваться как распространение алгоритма Рота-Рукенштейна [2] поиска корней многочленов с коэффициентами из кольца k[x] на случай многочленов с коэффициентами из k[x,y].