PolyBoRi C++ Library that offers polynomials over boolean rings
Download

PolyBoRi Ranking & Summary

PolyBoRi Tags

Boolean polynomial Boolean monomial exponent vector boolean polynomial monomial

PolyBoRi Description

C++ Library that offers polynomials over boolean rings The 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. 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. Requirements: · Python What's New in This Release: · introduced parameter modified_linear_algebra for groebner_basis, · modifies, if linear algebra is modified or not, · not, that this option doesn't influence, if linear algebra is used at all. · rings have setVariableName and getVariableName now · rings have hash() method for getting a unique identifier · Standard constructor of BoolePolyRing does not activate · (unwanted side-effect removed)

PolyBoRi Related Software