next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
BIBasis :: BIBasis

BIBasis -- Involutive Pommaret basis in a Boolean ring


BIBasis is the package which implements the methods for constructing the reduced Pommaret and Gröbner bases in a Boolean ring for a given polynomial Ideal.

Some references:



This documentation describes version 0.6.3 of BIBasis.

Source code

The source code from which this documentation is derived is in the file BIBasis.m2.


  • Functions and commands
    • biBasis -- constructs a reduced Boolean Gröbner basis for the given Ideal, if the second argument is true (default), and reduced Boolean Pommaret basis otherwise.
  • Symbols
    • toGroebner (missing documentation)