R=QQ[x,y,z,MonomialOrder=>Lex]
f1=x*y+z^2-2
f2=x^2-y*z
f3=x*z-y^2
I=ideal(f1,f2,f3)
gens gb I