[new package & bundle] Integrate the PolyBoRi framework

[malb]

PolyBoRi? is a framework for doing computation within the boolean ring, i.e. the ring

F_2[x_1,...,x_n]/<x_1^2+x_1,x_n^2+x_n>

From the benchmarks presented in  http://www.itwm.fraunhofer.de/zentral/download/berichte/bericht122.pdf it not only features very fast arithmetic in that ring but also a very fast Gröbner basis engine. PolyBoRi? is GPL'd and should be wrapped for SAGE.

[mabshoff]

Alexander Dreyer did comment on the build time of PolyBoRi?:

The essential part of PolyBoRi (using the built-ininterface) can be
built in about 3 minutes on a Intel(R) Xeon(R) CPU5148  @ 2.33GHz
(using one cpu only). I'll try to find the corresponding scons
commands for the spkg and the Sage-wrapper and give to to Burcin.

Best regards,
  Alexander

Cheers,

Michael

[mabshoff]

There is a new PolyBoRi package available at:

http://www.risc.uni-linz.ac.at/people/berocal/sage/polybori-0.1-r3.spkg

Changes are:
        - Alexander's changes to speed up the build process
        - Update to the latest CVS version
        - pass on MAKEOPTS to scons to allow parallel builds

Building the package takes 4 mins 20 seconds on a single Intel(R)
Pentium (R) D CPU 3.40GHz. Parallel make options (-jn) speed up the
build as expected.

Burcin 

[mabshoff]

Okay, I have stuck

 http://www.risc.uni-linz.ac.at/people/berocal/sage/polybori-0.1-r3.spkg

into 2.9.alpha2. Burcin, please send me a patch/bundle against some 2.9 release for the code that does the actual integrations with Sage.

Cheers,

Michael

[burcin]

New bundle against 2.9.alpha4:

 http://www.risc.uni-linz.ac.at/people/berocal/sage/polybori_wrapper-2.9.alpha4-20071204.hg

New package:

 http://www.risc.uni-linz.ac.at/people/berocal/sage/polybori-0.1-r5.spkg

Changes to the package:

r4 -> r5

* Make symlinks relative

r3 -> r4

* Remove popd, pushd from spkg-install

[mabshoff]

Ok, I updated the spkg as well applied the bundle. I also disabled doctests until you can send in the missing bits.

Cheers,

Michael

[burcin]

fix doctests in pbori.pyx

[mabshoff]

Merged in 2.9.alpha6. - Finally. Doctests pass.