On Tuesday 14 August 2007, Michael Abshoff wrote:
> William Stein wrote:
>
>
> <SNIP>
>
> Hello,
>
> > I'll wait for the answers to the above questions. I would be fine
> > with including
> > scons in SAGE. I think it's already in one of the optional packages
> > (I can't remember
> > for sure though). It's just a little python program, after all.
> >
> > It would take an absolutely massive amount of convincing to even begin
> > to convince me to include the entire 17MB C++ boost library in SAGE.
>
> Well, PolyBori just about destroys any code out there for
> GBasis-computations over boolean rings including Magma's F4 as well as
> Faugere's F4 & F5. And it isn't only massively faster, but also needs
> substancially less RAM. Just for the presentation they did in March or so,
> I am not sure the MEGA paper had any benchmarks in them. Or ask Martin
> about the CTC examples. It is definitely worth it, espcially if one could
> cut down the amount of boost code needed to compile.
I think we can benefit in two ways from PolyBori
1.) just use it for GB calculations. This way we can just use the existing
Python-Boost wrapper, convert, calculate and convert back. In this scenario
we would just have to investigate which pieces of boost we need.
2.) use PolyBori as the backend for the native SAGE datatype. So if a user
constructs
F_2[x_1,...,x_n]/FieldIdeal
he/she gets QuotientRingElement_polybori just like he/she sometimes gets
MPolynomial_libsingular now. If we are going to do that, we will need to wrap
PolyBori again anyway to match our expected interface. However, in that case,
we still want to allow/reimplement the native boost-power interface because
some highlevel code of PolyBoRi is written in Python. If we can _replicate_
what is done using Boost with Cython -- I know we can, the question is how
long it takes -- the highlevel-code would still work. So in this scenario
we'll have to wrap twice.
I strongly favor the second option.
Martin
--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_www: http://www.informatik.uni-bremen.de/~malb
_jab: [EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
