Tag Line

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

Monday, July 9, 2012

PolyBoRi's Bug-fixing Release 0.8.2

We just released PolyBoRi 0.8.2 at
This is a bug-fixing release incorporating various patches contributed by the Sage community , lmonade, and the participants of the ELAGB workshop here in Kaiserslautern.This includes the following issues and features:
  • Dependencies of optional rpm package gui fixed
  • Fixed bug which prevented self-testing of polybori.plot
  • Build systems uses as few libs as possible for linking
  • Explicit name lookup of attributes from template base
  • Preprocessor misconception fixed (#if vs. #ifdef)
  • polybori.gbcore drops assumption ideal were a list (still assuming iteratable)
  • png generation via libm4ri (alternative to libgb)
We also experimented with alternative procedures for converting matrix-represented polynomial systems to binary-decision diagrams. This would improve the F4-like algorithms within PolyBoRi. While having fixed some minor issues we had to postpone major changes due to a serious performance regression :-( We hope to get back to this soon.

My best

Tuesday, June 19, 2012

PolyBoRi at YouTube

Michael Brickenstein was invited to speak at the ELAGB workshop here in Kaiserslautern. You can find his talk at YouTube:
We also recorded the other talks, see here for the complete list of videos and slides.

My best,

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

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:

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

With best regards,
  The PolyBoRi Team

Monday, March 5, 2012

Wanted: Applied Computer Algebra in Tech

Currently I'm about to support a student's projects for collecting and categorizing examples arising from technical applications of computer algebra. Our benchmark examples from formal verification of digital systems and cryptoanalysis mark a (proper) subset of these use cases. But from my experience such projects prosper from a wider example base.

Are there readers around which use computer algebra techniques in industrial, biological, medical, or chemical applications? Would you like to direct our attention to some examples from your area? Of course, one of our goals is proper citing of the contributed stuff as well as mentioning the contributor itself.

If you are interested to drop us a message at industrial@3r4u.de.

My best,

Tuesday, January 10, 2012

C++-ification for upcoming release

Developing PolyBoRi 0.8.1 started right after finishing double releases 0.8 and 0.7.2. Albeit, the next release will contain some new features, the main idea is to stabilize current functionality and to make it more reliable, extendable and sane.

The idea is to have proper C++ code of the specialized Gröbner routines. Therefore, we will learn from the experiences of the integration of PolyBoRi 0.8 in upcoming Sage and Singular.