Question: Find a *reduced* grobner basis?

Hello, everyone! I would like to find a the unique, reduced grobner basis of a particular ideal. I know that gsolve in the old with(grobner) package would return this, but I can't decipher the documentation of the new with(Groebner) package to figure out how to do it.

If I have a list of polynomials and a given monomial order, I know that I can call:


my_gb := Basis(my_I, my_ord)

which returns a grobner basis of the ideal my_I. However, what I am really interested in doing is checking if two ideals are equal. In order to do this, I would like to check that the unique, reduced grobner basis of each ideal is the same.

Any thoughts?

Thank you in advance!!!


Please Wait...