PolyBoRi Files

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

PolyBoRi is a joint project of the following institutions
* Mathematisches Forschungsinstitut Oberwolfach (MFO), 
  Oberwolfach, Germany,
* University of Kaiserslautern, Department of Mathematics,
  Algebra, Geometry and Computer Algebra Group, 
  Kaiserslautern, Germany, and
* Fraunhofer Institute for Industrial Mathematics (ITWM),
  Department of System Analysis, Prognosis and Control,
  Kaiserslautern, Germany.

Release Name: 0.8.0
* improved standard-conformity, multiprocessing safety, and usability
* renamed subdirectory polybori to libpolybori
* new directory structure in libpolybori/include and groebner/include
* libgroebner renamed libpolybori_groebner
* using only part of CUDD (linked into libpolybori)
* officially introducing VariableBlock
* removed all global settings and BooleEnv itself
* added factories and RingContext to replace active/global ring
* improved multiprocessing and pickling
* added inSingleBlock/in_single_block to polynomials
* for avoiding name clashes Cudd's headers install into include/polybori/cudd
* Introducing WeakRingPtr for managing weak references to rings on C++ level
* python level: deprecated Ring changing routines change_ordering,
  set_variable_names, append_block, use extended arguments of Ring.__init__()
  and Ring.clone().
* ipython 0.11 compatibility established (hint from the Fedora team. Thanks!)
* libM4RI compatibility re-established (hint from Martin Albrecht. Thanks!)
* distributed targed uses world-readable permissions
* cluster.py: very experimental Python module for finding an overdetermined subset of equations