Fedora 17 Update: polybori-0.8.0-6.fc17

-------------------------------------------------------------------------------- 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 --------------------------------------------------------------------------------