Martin, > The right thing to do from my perspective is to ask Christian if he wants > help. John, can you make Christian aware of this thread?
I sent him a copy of the email I posted. Now that I think of it, it would be nice to send him a link to this conversation, too. > Another option is to think about an F4/F5 combination (which is not > F5/Matrix), maybe we can do that at Sage Days in San Diego? It is my > understanding that John already thought about it. I must have expressed myself badly when we discussed that. I have thought about it only minimally, and since I tried to implement it in Maple. Since that was much slower than my polynomial implementation of F5 in Maple, which itself is something like 120 times slower than the toy implementation of F5 in Singular, I gave up & haven't thought about it since then. My biggest question ATM would be: how, aside from an implementation of Faugere's two criteria, and similarly top-reduction, would an F5/ Matrix different from F4? IIRC F4 requires homogenization and uses the same selection criterion for critical pairs (all pairs of minimal degree). Should we start a new thread for this? john On Oct 23, 4:52 am, Martin Albrecht <[EMAIL PROTECTED]> wrote: > Hi there, > > to me it seems this thread took a wrong turn (from "toy" to "performance"). > Neither my nor Simon's implementation will be competitive by any standards > without massive effort resulting in a complete rewrite. This kind of rewrite > seems futile to me because Christian is working on a Singular kernel > implementation already. > > The right thing to do from my perspective is to ask Christian if he wants > help. John, can you make Christian aware of this thread? I'm not sure whether > I'll have a lot of time in the near future, but I'm eager to help. Another > benefit of this approach is that one doesn't need to beat SlimGB for the > benchmark provided by Michael as then F5 would be integrated into the > heuristic structure of Singular ;-) > > Another option is to think about an F4/F5 combination (which is not > F5/Matrix), maybe we can do that at Sage Days in San Diego? It is my > understanding that John already thought about it. > > Cheers, > 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
