Next: Функции и переменные пакета grobner, Previous: Top, Up: Top [Contents][Index]
Пакет grobner
предназначен для работы с базисами Гребнера в Maxima.
Учебные материалы по базисам Гребнера могут быть найдены по адресу
http://www.geocities.com/CapeCanaveral/Hall/3131/
Для использования, описанных ниже функций, необходимо загрузить пакет grobner.lisp.
load("grobner");
Демонстрация может быть запущена так
demo("grobner.demo");
или так
batch("grobner.demo")
Некоторые вычисления в данной демонстрации занимают длительное время, поэтому вывод демонстрации, записанный в файл grobner-demo.output, может быть обнаружен в той же директории, где расположена демонстрация.
Пакет написан
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
lex
чисто лексикографический, используется по умолчанию для сравнения порядка одночленов
grlex
порядок общей степени, совпадения разрешаются лексикографическим упорядочиванием
grevlex
общая степень, совпадения разрешаются обратным лексикографическим упорядочиванием
invlex
обратный лексикографический порядок
Next: Функции и переменные пакета grobner, Previous: Top, Up: Top [Contents][Index]