Revision history [back]

You can call the grobner package in maxima within Sage. Here is one option:

maxima('load(grobner)')
ans=maxima('poly_buchberger([x^2+y^2,x*y-y^2],[x,y])')
ans

You can see the other options in the grobner package here.

There may be a wrapper for these options already written into Sage, but I haven't found it.