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

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

---