Use R ::= QQ[t,x,y];
I := Ideal(t^3x,t^4y);
Describe I;
Record[Type = IDEAL, Value = Record[Gens = [t^3  x, t^4  y]]]

GBasis(I);
[t^3  x, tx + y, t^2y  x^2, x^3  ty^2]

Describe(I);  the Groebner basis has been stored in I
Record[Type = IDEAL, Value = Record[Gens = [t^3  x, t^4  y],
GBasis = [t^3  x, tx + y, t^2y  x^2, x^3  ty^2]]]

I.GBasis;
[t^3  x, tx + y, t^2y  x^2, x^3  ty^2]

