On Wednesday 22 October 2008, Mike Hansen wrote: > Nicolas Thiery mentioned that F5 works for a class non-commutative > rings so that might be a reason for including it.
Hi there, I don't see why F5 would be better suited for non-commutative rings than the Buchberger (except for speed of course). The free algebras need quite some attention and I agree that some way of computing Gröbner bases in them is desired. 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 -~----------~----~----~----~------~----~------~--~---