PolyBoRi Master Reference

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 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.

The structure of the framework is illustrated as follows.

Overview

Documentation

The documentation of the PolyBoRi framework and incorporated works can be accessed via the following documents.

PolyBoRi Tutorial Release 0.8-3

PolyBoRi: Main Page

Python: package polybori

External documents

Dive into Python

ipython Documentation

Further Reading

See the following references for the mathematical background of the PolyBoRi framework and related articles.

Links

PolyBoRi's home at SourceForge

PolyBoRi's project page at Fraunhofer ITWM

<i>PolyBoRi</i>,

Copyright © 2007-2012 The PolyBoRi, Team