Looking for the latest version? Download polybori-0.8.3.tar.gz (2.2 MB)
Home / polybori / 0.7.1
Name Modified Size Downloads / Week Status
Parent folder
readme.txt 2011-04-27 2.1 kB 0
polybori-0.7.1.tar.gz 2011-04-27 2.4 MB 0
Totals: 2 Items   2.4 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.7.1: * Fixed building on Solaris with gcc 4.6.0 (broken default flags) * Spec file for RPM updated (added PolyGUI, splitted doc and python package off), PolyBoRi revision number added to rpm version * Version number handling simplified * ll_red_nf code fixed to compile with -O0 again * More routines in aes.py and gbcore.py not active ring-dependent anymore * scons CONFFILE=/path/to/file.conf stores the build configuration Release Name: 0.7.0: * Polynomials, monomials, variables, and BooleSets now own a reference to a fully-functionally BoolePolyRing (including ordering) * Orderings can work independently from ring * Simplified interface: remove *Assign() variants from diagrams * Added polybori.nf.simple_nf * Simplification of declare_ring in ipbori * Rename BoolePolynomials::reducibleBy -> BoolePolynomials::firstReducibleBy * Unittests for libpolybori are available, covering 98% of libpolybori * Added experimental PolyGUI * declare_ring uses global context per default
Source: readme.txt, updated 2011-04-27

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