BIBasis

BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gr”obner bases In this paper, we describe the BIBasis package designed for REDUCE and Macaulay2 computer algebra systems, which allows one to compute Boolean involutive bases and Gr”obner bases. The implementations and user interfaces of the package for both systems are described in the respective sections of the paper. Also, we present results of comparisons of BIBasis with other packages and algorithms for constructing Boolean Gr”obner bases available in the computer algebra systems.