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.


Upstream Contact




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

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

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

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)

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

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

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

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

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

polybori-0.3.1 (Burcin Erocal)

polybori-0.1-r7 (Ralf-Philipp Weinmann)

polybori-0.1-r6 (Michael Abshoff)

prior releases

spkg/polybori (last edited 2008-12-27 19:41:35 by MichaelAbshoff)