Raphael, > Also, I read back in April that there was a plan to implement > Faugere's F4 algorithm. As the systems I want to solve are very large, > I would be particularly interested in that or any related tools that > are in development. (Anyone working on an XL variant?)
There is some work being done to implement F4 & F5 in Singular, which would then make it into Sage, but the work proceeds slowly. A working F5 implementation for Singular exists (I have a copy), but it's not very optimized and does not use linear algebra, and so it is a little slower than Singular's default slimgb. If I understand correctly, they are currently working on a complete revision of Singular's linear algebra, to allow for efficient implementations of F4 & F5. I've forwarded this email to Christian Eder, to whom we owe the current F5 implementation in Singular. He will correct me if I'm wrong, & perhaps comment further. regards john perry --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
