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.
Thank you in advance!!!