7 Критерии

В ginv реализованны следующие критерии равества нулю S-полиномов:

Без критериев:
"Without"

Частичные критерии Бухбергера:
"C1", "CritPartially"

Полные критерии Бухбергера:
"C1C2C3", "C1C2C3C4"
Note: Для модульных упорядочений работает только цепочный (второй) критерий Бухбергера.



Подсекции