Use R ::= QQ[t,x,y,z];
I := Ideal(t^3-x,t^4-y,t^5-z);
$gb.Start_GBasis(I); -- start the Interactive Groebner Framework
$gb.Step(I); -- take one step towards computing the Groebner basis
I.GBasis; -- the Groebner basis so far
[t^3 - x]
-------------------------------
$gb.Complete(I); -- finish the computation
I.GBasis;
[t^3 - x, -tx + y, -ty + z, -y^2 + xz, -x^2 + tz, t^2z - xy]
-------------------------------
ReducedGBasis(I);
[t^3 - x, tx - y, ty - z, y^2 - xz, x^2 - tz, t^2z - xy]
-------------------------------
|