Revision history [back]

Looking at this example and your previous one, it seems to me that Groebner basis algorithms provided by Sage (singular, giac) are not powerful enough compared to the current state-of-art. It is possible that open-source software that are not (not yet, or not anymore) shipped with Sage can do the job. Could you please test the following two software and report if they succeed ?

• http://cocoa.dima.unige.it/
• https://faculty.math.illinois.edu/Macaulay2/

If one of them work, i might be tempted to package them for Sage and add an interface.