ORMS - PolyBoRi

Oberwolfach References on Mathematical Software

PolyBoRi

Summary

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.

Authors

Alexander Dreyer, Michael Brickenstein

Links

Status

projectstatus   officially approved by the authors

Available via

Operating Systems

Programming Languages

License

GPL

Technical Category

Package or library

Screenshot 1

ZDD structure of polynomials.

screenshot
Download pdf description