ОБЪЕДИНЕННЫЙ   ИНСТИТУТ   ЯДЕРНЫХ   ИССЛЕДОВАНИЙ
lit БИБЛИОТЕКА   ПРОГРАММ   JINRLIB

BIBasis - пакет для вычисления булевых инволютивных базисов и базисов Грёбнера в системах компьютерной алгебры REDUCE и Macaulay2


Автор: М.В.Зинин
eng
Вы
counter
посетитель.

BIBasis - программный пакет, доступный в системах компьютерной алгебры REDUCE и Macaulay2. Позволяет вычислять булевы инволютивные базисы и базисы Грёбнера с помощью инволютивного алгоритма на основе деления Поммаре.
Поддерживаются 3 мономиальных упорядочивания: чисто лексикографическое, градуированное лексикографическое и градуированное обратное лексикографическое.

Имеется подробный документ (в формате .pdf), где описаны реализации и пользовательские интерфейсы пакета для каждой из систем. Также приводятся результаты сравнения пакета BIBasis с другими доступными в данных системах компьютерной алгебры пакетами и алгоритмами для построения булевых базисов Грёбнера.




home up e-mail