PolyBoRi

Description

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 Groener base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.

Maintainers

• Tim Abbott
• Michael Abshoff
• Martin Albrecht
• Burcin Erocal

Upstream Contact

• Author: The PolyBoRi Team

• Email: [email protected] (Michael Brickenstein)

  • [email protected] (Alexander Dreyer)

• Website: http://polybori.sourceforge.net/

Dependencies

None

Releases

polybori-0.5rc.p6 (Michael Abshoff, November 30th, 2008)

• Apply patch by Alexander Dreyer to fix manpage permission issues (#4321)
• Fix permission issues for boost includes

polybori-0.5rc.p4 (Michael Abshoff, September 9th, 2008)

• only force a rebuild of the PolyBoRi extension if the Sage library has been installed

polybori-0.5rc.p3 (Michael Abshoff, September 7th, 2008)

• Delete dynamic libs to force static linking
• touch pbori.pyx to force a rebuild of the extension

polybori-0.5rc.p2 (Michael Abshoff, September 6th, 2008)

• Backport PolyBoRi 0.3.x fixes

polybori-0.5rc.p1 (Martin Albrecht, September 1st, 2008)

• make PolyBoRi use the dynamic libm4ri

polybori-0.5rc.p0 (Martin Albrecht, September 1st, 2008)

• fixed build problems.

polybori-0.5rc (Tim Abbott, Jul 10, 2008)

• update to PolyBoRi-0.5rc release.

• Remove patches for problems fixed upstream.

polybori-0.3.1.p3 (Michael Abshoff, William Stein, May 17, 2008)

• cygwin support by patching cpu_stat.c (this should be upstreamed)
• Cygwin support by modifying SConstruct

polybori-0.3.1.p2 (Michael Abshoff, April 26th, 2008)

• remove dead link (fixes #3017)

polybori-0.3.1.p1 (Michael Abshoff, April 11th, 2008)

• Update CCuddCore.h - fixes memory leak (Alexander Dreyer - see #2822)
• Fix "Invalid read" cause by linking multiple dynamic libraries (Michael Abshoff, #2822
• add -fPIC to the default build flags in custom.py

polybori-0.3.1.p0 (Michael Abshoff, April 9th, 2008)

• add debug info the the default build flags
• fix OSX 10.4 specific build issue (#2865)

polybori-0.3.1 (Burcin Erocal)

• update to PolyBoRi-0.3.1 release

• remove patches required for the previous version
• reset hg repository

polybori-0.1-r7 (Ralf-Philipp Weinmann)

• pulled in memleak fix in groebner/src/nf.cc from PolyBoRi repo

• comment changes on precomputed Groebner base tables pulled in from repo
  • these remove claims about possible patents.

polybori-0.1-r6 (Michael Abshoff)

• add ENV = os.environ to SConstruct (fixes #1553)

prior releases

• lost in the dark ages