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