Я оформляю эту статью об эллиптических кривых в Изабель. На странице 14 вы можете увидеть, как необходимо работать с базисом Грёбнера определенного полиномиального идеала.
У меня вопрос: как мне проверить, является ли множество S базисом Гребнера полиномиального идеала с Изабель? Я предполагаю, что проблема членства может быть легко решена с помощью команды алгебры ...
EDIT
Интересно, это делает метод алгебры? Цитирую ссылку:
Универсальные задачи над многомерными полиномами в (полу) -
кольцо / поле / IDOM; Возможности метода расширены в соответствии со свойствами этих структур. Для этого класса задач
метод полон только для алгебраически замкнутых полей, так как
Основной метод основан на Nullstellensatz Гильберта, где
эквивалентность имеет место только для алгебраически замкнутых полей.