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. 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 -~----------~----~----~----~------~----~------~--~---
