Этот вопрос может относиться к любой системе компьютерной алгебры, которая имеет возможность вычислять базис Гребнера из набора полиномов (Mathematica, Singular, GAP, Macaulay2, MatLab и т. д.).
Я работаю с переопределенной системой полиномов, для которой слишком сложно вычислить полный базис Гребнера, однако для меня было бы полезно иметь возможность распечатать найденные элементы базиса Гребнера, чтобы я мог знать если конкретный многочлен находится в базисе Гребнера. Есть ли способ сделать это?