Tag Line

PolyBoRi was created by man. There are two developers. And they have a plan.“

Friday, March 16, 2012

Releasing PolyBoRi 0.8.1

Dear PolyBoRi users,
we are proud to announce that PolyBoRi 0.8.1 is available at
  https://sourceforge.net/projects/polybori/files/polybori/0.8.1/

We continue to follow the two major goals of the 0.8 branch: stability and compatibility. In addition, for improved supporting of external developers we partially restructured the sources of libpolybori_groebner.


The full changelog of release 0.8.1 reads as follows:
* fallback m4ri updated to release 20111203
* Merged Cudd with cudd 2.5.0
* Prefixed patched Cudd's function with pbori_
* ipbori is now an all-python script with fallback to plain python if
  IPython is not available
* Python interface utilizes shared libraries
* PolyBoRi's shared libraries are found via relative rpath
  (relative install-name on Darwin)
* introducing DEFAULT_*FLAGS
* Install/InstallAs fixes permissions
* ipbori -t runs PolyBoRi's doctests
* internal refactoring of ReductionStrategy and GroebnerStrategy started
* avoiding long long

Binary packages are available for recent OpenSuSE, Mandriva and Fedora as well as Debian and Ubuntu distributions. Just point your package manager here:
  http://download.opensuse.org/repositories/home:/AlexanderDreyer/PolyBoRi/

In addition the corresponding communities bundled preliminary spkgs
  http://trac.sagemath.org/sage_trac/ticket/12655
and Gentoo ebuild scripts are available via the lmonade project at http://www.lmona.de/ .

With best regards,
  The PolyBoRi Team

No comments:

Post a Comment