Подскажите, пожалуйста, существует ли алгоритм построения идеала произвольного алгебраического многообразия?
Имеется в виду следующая задача. Пусть многообразие

определяется конечной системой уравнений:

где

-многочлены. Нужно построить идеал

многообразия

т.е. множество всех многочленов, тождественно равных на
Если такой алгоритм есть, то где о нем можно почитать?