Hi! could you please tell me which command I should use for contributing the buchberger algorithm to finding a groebner basis for an Ideal over a field like rational field? I found these commands but did'nt work..
sage: from sage.rings.polynomial.toy_buchberger import * sage: P.<a,b,c,e,f,g,h,i,j,k> = PolynomialRing(GF(32003),10) sage: I = sage.rings.ideal.Katsura(P,6)
sage: g1 = buchberger(I) sage: g2 = buchberger_improved(I) sage: g3 = I.groebner_basis()