Looking for the latest version? Download polybori-0.8.3.tar.gz (2.2 MB)
Home / polybori / 0.8.0
Name Modified Size Downloads / Week Status
Parent folder
readme.txt 2011-09-07 2.2 kB 0
polybori_0.8.0.debian.tar.gz 2011-09-07 2.3 MB 0
PolyBoRi-0.8.0-0.src.rpm 2011-09-07 1.7 MB 0
polybori-0.8.0.tar.gz 2011-09-07 2.3 MB 0
Totals: 4 Items   6.3 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.0 * improved standard-conformity, multiprocessing safety, and usability * renamed subdirectory polybori to libpolybori * new directory structure in libpolybori/include and groebner/include * libgroebner renamed libpolybori_groebner * using only part of CUDD (linked into libpolybori) * officially introducing VariableBlock * removed all global settings and BooleEnv itself * added factories and RingContext to replace active/global ring * improved multiprocessing and pickling * added inSingleBlock/in_single_block to polynomials * for avoiding name clashes Cudd's headers install into include/polybori/cudd * Introducing WeakRingPtr for managing weak references to rings on C++ level * python level: deprecated Ring changing routines change_ordering, set_variable_names, append_block, use extended arguments of Ring.__init__() and Ring.clone(). * ipython 0.11 compatibility established (hint from the Fedora team. Thanks!) * libM4RI compatibility re-established (hint from Martin Albrecht. Thanks!) * distributed targed uses world-readable permissions * cluster.py: very experimental Python module for finding an overdetermined subset of equations
Source: readme.txt, updated 2011-09-07

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