Maxima Manual: Введение в пакет grobner

Next: Функции и переменные пакета grobner, Previous: Top, Up: Top [Contents][Index]

### 51.1 Введение в пакет grobner

Пакет `grobner` предназначен для работы с базисами Гребнера в Maxima.

Учебные материалы по базисам Гребнера могут быть найдены по адресу

http://www.geocities.com/CapeCanaveral/Hall/3131/

Для использования, описанных ниже функций, необходимо загрузить пакет `grobner.lisp`.

    load("grobner");

Демонстрация может быть запущена так

    demo("grobner.demo");

или так

    batch("grobner.demo")

Некоторые вычисления в данной демонстрации занимают длительное время, поэтому вывод демонстрации, записанный в файл `grobner-demo.output`, может быть обнаружен в той же директории, где расположена демонстрация.

#### 51.1.1 О пакете grobner

Пакет написан

Marek Rychlik

http://alamos.math.arizona.edu

и выпущен 2002-05-24 под лицензией General Public License (GPL) (см. файл `grobner.lisp`. Эта документация извлечена из файлов

`README`, `grobner.lisp`, `grobner.demo`, `grobner-demo.output`

Günter Nowak. Предложения по усовершенствованию документации можно обсудить в списке рассылки maxima-mailing-list maxima@math.utexas.edu. Код несколько устарел. Современные реализации используют быстрый алгоритм F4, описанный в

    A new efficient algorithm for computing Gröbner bases (F4)
    Jean-Charles Faugère
    LIP6/CNRS Université Paris VI
    January 20, 1999

#### 51.1.2 Реализации и допустимые способы упорядочивания одночленов в пакете grobner

- `lex`

  чисто лексикографический, используется по умолчанию для сравнения порядка одночленов

- `grlex`

  порядок общей степени, совпадения разрешаются лексикографическим упорядочиванием

- `grevlex`

  общая степень, совпадения разрешаются обратным лексикографическим упорядочиванием

- `invlex`

  обратный лексикографический порядок

Next: Функции и переменные пакета grobner, Previous: Top, Up: Top [Contents][Index]