1557
Comment:
|
3292
update for polybori-0.5rc.p6
|
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 Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner 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 Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner 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