Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2008-04-05 15:21:44 →
Size: 932
Editor: MartinAlbrecht
Comment:
← Revision 4 as of 2008-11-14 13:42:11 → ⇥
Size: 934
Editor: anonymous
Comment: converted to 1.6 markup
Deletions are marked like this. Additions are marked like this.
Line 13: Line 13:
See the [http://www.sagemath.org/doc/html/ref/module-sage.rings.polynomial.pbori.html reference manual] for details. See the [[http://www.sagemath.org/doc/html/ref/module-sage.rings.polynomial.pbori.html|reference manual]] for details.

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."

(http://polybori.sourceforge.net/)

Website

Status

PolyBoRi 0.3.1 is included with Sage 3.0.

See the reference manual for details.