Differences between revisions 2 and 4 (spanning 2 versions)
⇤ ← Revision 2 as of 2008-11-14 13:41:51 →
Size: 1557
Editor: anonymous
Comment: converted to 1.6 markup
← Revision 4 as of 2008-12-27 19:41:35 → ⇥
Size: 3284
Editor: MichaelAbshoff
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings. 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.
Line 7: Line 15:
In addition to optimized data structures, PolyBoRi features a performant reference implementation for Gröbner basis computation, using an enhanced variant of the slimgb algorithm, which was implemented first in the computer algebra system Singular . The framework was developed and designed together with slimgb's original author. == Maintainers ==
Line 9: Line 17:
== License ==

GPL 3+

== SPKG Maintainers ==

Burcin Erocal [email protected]		  * Tim Abbott
 * Michael Abshoff
 * Martin Albrecht
 * Burcin Erocal
Line 19: Line 24:
Web site:

http://polybori.sourceforge.net/

Mailing list:

[email protected]		   * Author: The PolyBoRi Team
  * Email: [email protected] (Michael Brickenstein)
            [email protected] (Alexander Dreyer)
  * Website: http://polybori.sourceforge.net/
Line 29: Line 31:
Boost (package includes the required subset of boost headers, no compiled component necessary)
SCons		 None
Line 32: Line 33:
== Special Update/Build Instructions == == Releases ==
Line 34: Line 35:
=== 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
Line 35: Line 39:
=== 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
Line 36: Line 46:
== Changelog == === 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

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

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)

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

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