Looking for the latest version? Download polybori-0.8.3.tar.gz (2.2 MB)
Home / polybori / 0.8.1
Name Modified Size Downloads / Week Status
Parent folder
readme.txt 2012-03-16 1.6 kB 0
polybori_0.8.1.debian.tar.gz 2012-03-16 2.7 MB 0
PolyBoRi-0.8.1-0.src.rpm 2012-03-16 2.0 MB 0
polybori-0.8.1.tar.gz 2012-03-16 2.7 MB 0
Totals: 4 Items   7.5 MB
PolyBoRi: 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. PolyBoRi is a joint project of the following institutions * Mathematisches Forschungsinstitut Oberwolfach (MFO), Oberwolfach, Germany, * University of Kaiserslautern, Department of Mathematics, Algebra, Geometry and Computer Algebra Group, Kaiserslautern, Germany, and * Fraunhofer Institute for Industrial Mathematics (ITWM), Department of System Analysis, Prognosis and Control, Kaiserslautern, Germany. Release Name: 0.8.1 * fallback m4ri updated to release 20111203 * Merged Cudd with cudd 2.5.0 * Prefixed patched Cudd's function with pbori_ * ipbori is now an all-python script with fallback to plain python if IPython is not available * Python interface utilizes shared libraries * PolyBoRi's shared libraries are found via relative rpath (relative install-name on Darwin) * introducing DEFAULT_*FLAGS * Install/InstallAs fixes permissions * ipbori -t runs PolyBoRi's doctests * internal refactoring of ReductionStrategy and GroebnerStrategy started * avoiding long long
Source: readme.txt, updated 2012-03-16

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks