Fedora 17 Update: polybori-0.8.0-6.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-2116
2012-02-21 17:39:30
--------------------------------------------------------------------------------

Name        : polybori
Product     : Fedora 17
Version     : 0.8.0
Release     : 6.fc17
URL         : http://polybori.sourceforge.net/
Summary     : Framework for Boolean Rings
Description :
PolyBoRi is a special purpose computer algebra system for computations
in Boolean Rings.  The core is a C++ library, which provides high-level
data types for Boolean polynomials and related structures.  As a unique
approach, binary decision diagrams are used as internal storage type for
polynomial structures.  On top of this, we provide a Python interface
for parsing of complex polynomial systems, as well as for sophisticated
and extendable strategies for Gröbner base computation.

--------------------------------------------------------------------------------
Update Information:

The polybori package was merely rebuilt against a new version of cudd.  The upstream release notes for cudd are as follows:

Release 2.5.0 of Cudd introduces the ability to set timeouts.  The function that is interrupted returns NULL (which the application must be prepared to handle,) but the BDDs are uncorrupted and the invoking program can continue to use the manager.

In addition, reordering is now aware of timeouts, so that it gives up when a timeout is approaching to give the invoking program a chance to obtain some results.

The response time to the timeout is not immediate, though most of the time it is well below one second.  Checking for timeouts has a small overhead. In experiments, less than 1% has been observed on average.

Creation of BDD managers with many variables (e.g., tens or hundreds of thousands) is now much more efficient.  Computing small supports of BDDs when there are many variables is also much more efficient, but this has been at the cost of separating the function for BDDs and ADDs (Cudd_Support) from that for ZDDs (Cudd_zddSupport).

The C++ interface has undergone a major upgrade.

The handling of variable groups in reordering has been much improved.  (Thanks to Arie Gurfinkel for a very detailed bug report!)  A handful of other bugs have been fixed as well.
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update polybori' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------