Hi! I got some answer from the Singular team.
> So, they do not claim that slimgb works over the integers. Indeed, slimgb apparently is designed for coefficients that form a field. Therefore, calling slimgb on an integer example will, in future, result in an error message. To wrap it up: I.groebner_basis() does yield the correct answer (internally, the right algorithm is chosen automatically). If you want to choose one particular algorithm, do I.groebner_basis(algorithm='libsingular:std') or I.groebner_basis(algorithm='singular:std') It would be a mistake to do I.groebner_basis(algorithm='libsingular:slimgb') since slimgb isn't made for this case. Cheers, Simon -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
