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 ?

  • $\begingroup$ From the documentation: "Return the reduced Groebner basis of this ideal" $\endgroup$
    – Keplerto
    Commented May 23, 2023 at 19:59

1 Answer 1


Run this code:

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

Now evaluate


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


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .