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.
Documentation
The documentation of the PolyBoRi framework and incorporated works can be
accessed via the following documents.
PolyBoRi Tutorial
Release 0.7-1
PolyBoRi: Main Page
CUDD: CU Decision Diagram Package
Release 2.4.1
External documents
Dive into Python
ipython Documentation
Further Reading
See the following references for the mathematical background of the PolyBoRi
framework.
- M. Brickenstein, A. Dreyer,
PolyBoRi: A Gröbner Basis Framework for Boolean
Polynomials,
Reports of Fraunhofer ITWM, No. 122,
Kaiserslautern, Germany, 2007.
- M. Brickenstein, A. Dreyer,
PolyBoRi: A framework for Gröbner basis computations with
Boolean polynomials,
Electronic Proceedings of the MEGA 2007 - Effective Methods in
Algebraic Geometry,
Strobl, Austria, June 2007.
- M. Brickenstein,
Slimgb: Gröbner Bases with Slim Polynomials,
Reports On Computer Algebra, Centre for Computer Algebra, University of
Kaiserslautern, Volume 25, September 2005
- Fabio Somenzi
CUDD: CU Decision Diagram Package Release 2.4.1
,
Department of Electrical and Computer Engineering,
University of Colorado at Boulder
-
Gregory V. Bard,
Accelerating Cryptanalysis with the Method of Four Russians
, Preprint July 22, 2006.
Links
PolyBoRi's home at
SourceForge
PolyBoRi's project page at Fraunhofer ITWM
Copyright © 2007-2008 The PolyBoRi Team