|
Size: 934
Comment: converted to 1.6 markup
|
← Revision 5 as of 2017-03-22 01:50:07 ⇥
Size: 0
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = 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 == * http://polybori.sourceforge.net/ == Status == PolyBoRi 0.3.1 is included with Sage 3.0. See the [[http://www.sagemath.org/doc/html/ref/module-sage.rings.polynomial.pbori.html|reference manual]] for details. |
