On Wed, Oct 22, 2008 at 12:53 PM, Martin Albrecht <[EMAIL PROTECTED]> wrote: > > On Wednesday 22 October 2008, Simon King wrote: >> Dear Team, >> >> at SD 10, Martin Albrecht and I implemented the F5 algorithm according >> to John Perry's pseudocode. The two implementations are at >> http://wiki.sagemath.org/days10/CodingSprint >> attachment f5.py (Martin's pure python implementation) respectively >> f5.pyx (my cython implementation). >> >> These are only toy implementations that clearly can't compete with >> Singular: >> f5.pyx f5.py >> Cyclic-6 8.78s 22.44s >> Katsura-5 lex 93.85s 428.52s >> Katsura-7 degrevlex 4.21s 7.86s > > btw. Singular: 0.3, 0.02, 0.35 > >> Nevertheless: There already is a toy implementation of Buchberger's >> algorithm in Sage. So, do you think the toy-F5 shall be included as >> well? > > The question is: What purpose would such an implementation have: > (a) educational (i.e. quite read-able/hack-able code) > (b) coverage (i.e. provide GB calculations for fields Singular doesn't > support) > > The current toy Buchberger provides both (which is probably unfortunate). If > (a) is the focus then I guess my code is more suitable while the above timing > suggest to use Simon's code if (b) is desired.
My vote would be for both to be included and SImon's code to be attached (ie, the default). But maybe f5.py could use a bit more documentation in some parts (since it is for educational uses)? > > Cheers, > Martin > > PS: I suspect that there is some memleak in my code, contributing to the > exceptionally poor performance. I never got around checking this. > > > -- > 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 [email protected] 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
