polybori | index ../../../../lib/python2.6/dist-packages/polybori/__init__.py |
The PolyBoRi package implements a framework for computations with Polynomials in Boolean Ring.
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.
The description of the latter can be found in the description of the 'dynamic' submodule, as well as in the doxygen-based documentation.
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 Groebner base computation.
PolyBoRi features a powerful reference implementation for Groebner basis computation.
AUTHOR:
The PolyBoRi Team, 2007-2008
REFERENCES:
M. Brickenstein, A. Dreyer, G. Greuel, M. Wedler, O. Wienand,
New developments in the theory of Groebner bases and applications
to formal Verification, Preprint at http://arxiv.org/abs/0801.1177
M. Brickenstein, A. Dreyer, PolyBoRi:
A Groebner Basis Framework for Boolean Polynomials,
Reports of Fraunhofer ITWM, No. 122, Kaiserslautern, Germany, 2007.
http://www.itwm.fraunhofer.de/zentral/download/berichte/bericht122.pdf
M. Brickenstein, A. Dreyer, PolyBoRi:
A framework for Groebner basis computations with Boolean polynomials,
Electronic Proceedings of the MEGA 2007 - Effective Methods in Algebraic Geometry, Strobl, Austria, June 2007.
http://www.ricam.oeaw.ac.at/mega2007/electronic/electronic.html
Functions | ||
|
Data | ||
block_dlex = polybori.dynamic.PyPolyBoRi.OrderCode.block_dlex block_dp_asc = polybori.dynamic.PyPolyBoRi.OrderCode.block_dp_asc dlex = polybori.dynamic.PyPolyBoRi.OrderCode.dlex dp_asc = polybori.dynamic.PyPolyBoRi.OrderCode.dp_asc k = 4 lp = polybori.dynamic.PyPolyBoRi.OrderCode.lp modules = {'StringIO': <module 'StringIO' from '/usr/lib/python2.6/StringIO.pyc'>, 'UserDict': <module 'UserDict' from '/usr/lib/python2.6/UserDict.pyc'>, '__builtin__': <module '__builtin__' (built-in)>, '__future__': <module '__future__' from '/usr/lib/python2.6/__future__.pyc'>, '__main__': <module '__main__' from 'doc/python/genpythondoc.py'>, '_abcoll': <module '_abcoll' from '/usr/lib/python2.6/_abcoll.pyc'>, '_codecs': <module '_codecs' (built-in)>, '_collections': <module '_collections' (built-in)>, '_random': <module '_random' (built-in)>, '_sre': <module '_sre' (built-in)>, ...} |