Hi, Singular definitely does have an issue with incorrect Grobner bases due to overflow. I've been in contact with the Singular team, and they do consider this to be a bug that they will fix. In general they want Singular to either give a correct answer or give an error message, no matter how Singular is used or misused, even if that isn't the case right now. For now and until Singular and someone at the Sage end does the work on this, Sage has proof=false for its Grobner bases.
Oh and no worries - I'm not offended. Cheers Bjarke --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
