Use R::=QQ[x,y,z];
I:=Ideal(x-y^2,x^2+xy,y^3);
GBasis(I);
[x^2 + xy, -y^2 + x, -xy]
-------------------------------
Use Z::=ZZ[x,y,z];
I:=Ideal(x-y^2,x^2+xy,y^3);
-- WARNING: Coeffs are not in a field
-- GBasis-related computations could fail to terminate or be wrong
CharP.GBasisF1024(I);
-------------------------------
-- WARNING: Coeffs are not in a field
-- GBasis-related computations could fail to terminate or be wrong
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
[y^2 + 218x, x^2, xy]
-------------------------------
|