Singular and Sage Grobner bases

Question

Does the function grobner_basis in Sage (which I think comes from the implementation in Singular) compute a reduced Grobner base for an ideal? Or is it just a Grobner base with no special property ?

From the documentation: "Return the reduced Groebner basis of this ideal" — Keplerto, May 23 '23 at 19:59

score 1 · Answer 1 · answered May 23 '23 at 21:26

Run this code:

P.<a,b,c> = PolynomialRing(QQ,3, order='lex')
I = sage.rings.ideal.Katsura(P,3)

Now evaluate

I.groebner_basis?

to read the documentation. In answer to your question, it says "Return the reduced Groebner basis of this ideal." It also gives you choice of algorithms to use, most but not all coming from Singular.

tl;dr: RTFM

Singular and Sage Grobner bases

1 Answers1