A C++ Library providing polynomials over boolean rings is now available. This software enables users to perform polynomial algebraic operations, with a focus on boolean rings. It offers multiple features and functionalities that allow for easy and efficient polynomial calculations.
PolyBoRi is an exceptional software library that centers on C++ and offers a broad spectrum of high-level data types, such as Boolean polynomials, monomials, and exponent vectors. It also provides data types for the underlying polynomial rings and subsets of powerset for Boolean variables. The internal storage method for polynomial structures in PolyBoRi is binary decision diagrams, which is unique and efficient.
The Python interface of PolyBoRi is another unique feature that allows parsing of complex polynomial systems. The software library also boasts sophisticated and expandable strategies for Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner basis computation, allowing ease-of-use and adroitness in generating Gröbner bases. Overall, PolyBoRi is a remarkable software library with multiple features and a strong reference implementation.
The Python interface of PolyBoRi is another unique feature that allows parsing of complex polynomial systems. The software library also boasts sophisticated and expandable strategies for Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner basis computation, allowing ease-of-use and adroitness in generating Gröbner bases. Overall, PolyBoRi is a remarkable software library with multiple features and a strong reference implementation.
What's New
Version 0.6.3: N/A