 |
 |
 |
pyginv Руководство пользователя |
 |
 |
 |
7 Критерии
В ginv реализованны следующие критерии равества нулю S-полиномов:
- Без критериев:
"Without"
- Частичные критерии Бухбергера:
"C1"
, "CritPartially"
- Полные критерии Бухбергера:
"C1C2C3"
, "C1C2C3C4"
Note:
Для модульных упорядочений работает только цепочный (второй)
критерий Бухбергера.