C++ Library that offers polynomials over boolean rings
Version: 0.6.3The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables.
Operating System: Mac OS X
As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library PolyBoRi provides a Python interface that allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for GrÃ¶bner base computation. PolyBoRi features a powerful reference implementation for Gröbner basis computation.