Идеалы в Maple

[Padawan]

Есть ли в Maple (любой версии) команда, которая определяет принадлежит ли данный многочлен от нескольких переменных идеалу, заданному конечным числом своих образующих?

-- Вт окт 18, 2022 13:06:18 --

normalf -- нормальная форма многочлена по модулю идеала, оно? Если 0, то принадлежит? У меня стоит на ноутбуке Maple 7