Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Buchberger Algorithm

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()

click to hide/show revision 2
No.2 Revision

Buchberger Algorithm

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.rings.ideal.Katsura(P,6)

sage: g1 = buchberger(I) sage: g2 = buchberger_improved(I) sage: g3 = I.groebner_basis()

I.groebner_basis()