Мономиальный порядок
- Лексикографический порядок – это мономиальный порядок, основанный на лексикографическом сравнении показателей неопределенностей.
- Порядок исключения гарантирует, что одночлен с неопределенными значениями всегда будет больше, чем одночлен без них.
- Заказ на продукцию – это простой пример заказа на выбытие, объединяющий мономиальные порядки на непересекающихся множествах неопределенностей.
- Разные порядки могут привести к разным результатам и сложности вычисления базисов Гребнера.
- Градуированный обратный лексикографический порядок имеет репутацию метода, который почти всегда позволяет получить базисы Гребнера, которые проще всего вычислить.
Полный текст статьи: