PolyBoRi A C++ library to help you with your development.
Download

PolyBoRi Ranking & Summary

PolyBoRi Tags

math c++ library Algorithm mathematical Boolean polynomials extensible algorithm

PolyBoRi Description

PolyBoRi is a small, handy implementation as a C++ library specially designed for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings. On top of this C++-library we provide a Python interface. This 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.

PolyBoRi Related Software