Revision history [back]
 | 1 | initial version |
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.
