Looking for the latest version? Download polybori-0.8.3.tar.gz (2.2 MB)
Home / polybori / 0.8.2
Name Modified Size Downloads / Week Status
Parent folder
readme.txt 2012-07-09 1.5 kB 0
polybori_0.8.2.debian.tar.gz 2012-07-09 2.7 MB 0
PolyBoRi-0.8.2-0.src.rpm 2012-07-09 2.0 MB 0
polybori-0.8.2.tar.gz 2012-07-09 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.2 * Dependencies of optional rpm package gui fixed * Fixed bug which prevented self-testing of polybori.plot * Build systems uses as few libs as possible for linking * Explicit name lookup of attributes from template base * Preprocessor misconception fixed (#if vs. #ifdef) * polybori.gbcore drops assumption ideal were a list (still assuming iteratable) * png generation via libm4ri (alternative to libgb)
Source: readme.txt, updated 2012-07-09

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