select rat[x,y,z,s,t;'invlex]$
h:=ideal(s*t^2+1-x,t^2+4*s*t-t-y,6*t*s^2-s-z)$
statgb := 1$
k:=standard(h)$