1 | initial version |
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.