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: |
Description (last modified by )
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)
Change History (14)
comment:1 Changed 15 years ago by
- Owner changed from was to malb
comment:2 Changed 15 years ago by
- Cc burcin added
comment:3 Changed 15 years ago by
- Description modified (diff)
comment:4 Changed 15 years ago by
- Owner changed from malb to burcin
comment:5 Changed 15 years ago by
- Cc malb added; burcin removed
comment:6 Changed 14 years ago by
- Milestone changed from sage-2.10.2 to sage-2.9
comment:7 Changed 14 years ago by
comment:8 Changed 14 years ago by
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
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
- Summary changed from Integrate the PolyBoRi framework to [partially merged] Integrate the PolyBoRi framework
comment:11 Changed 14 years ago by
- 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
Ok, I updated the spkg as well applied the bundle. I also disabled doctests until you can send in the missing bits.
Cheers,
Michael
comment:13 Changed 14 years ago by
- Resolution set to fixed
- Status changed from assigned to closed
Merged in 2.9.alpha6. - Finally. Doctests pass.
Alexander Dreyer did comment on the build time of PolyBoRi?:
Cheers,
Michael