Opened 15 years ago

Closed 14 years ago

#469 closed enhancement (fixed)

[new package & bundle] Integrate the PolyBoRi framework

Reported by: malb Owned by: burcin
Priority: major Milestone: sage-2.9
Component: packages: standard Keywords:
Cc: malb Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by mabshoff)

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.

Attachments (1)

fix_pbori_doctests.hg​ (1.5 KB) - added by burcin 14 years ago.
fix doctests in pbori.pyx

Download all attachments as: .zip

Change History (14)

comment:1 Changed 15 years ago by malb

  • Owner changed from was to malb

comment:2 Changed 15 years ago by burcin

  • Cc burcin added

comment:3 Changed 15 years ago by mabshoff

  • Description modified (diff)

comment:4 Changed 15 years ago by malb

  • Owner changed from malb to burcin

comment:5 Changed 15 years ago by malb

  • Cc malb added; burcin removed

comment:6 Changed 14 years ago by mabshoff

  • Milestone changed from sage-2.10.2 to sage-2.9

comment:7 Changed 14 years ago by 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

comment:8 Changed 14 years ago by 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

comment:9 Changed 14 years ago by 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

comment:10 Changed 14 years ago by mabshoff

  • Summary changed from Integrate the PolyBoRi framework to [partially merged] Integrate the PolyBoRi framework

comment:11 Changed 14 years ago by burcin

  • Status changed from new to assigned
  • Summary changed from [partially merged] Integrate the PolyBoRi framework to [new package & bundle] Integrate the PolyBoRi framework

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

comment:12 Changed 14 years ago by 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

Changed 14 years ago by burcin

fix doctests in pbori.pyx

comment:13 Changed 14 years ago by mabshoff

  • Resolution set to fixed
  • Status changed from assigned to closed

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

Note: See TracTickets for help on using tickets.