R=QQ[x,y,z] f=z^2-x^4*y I=ideal(-x^3+z,-x^2+y) --does reduction with respect to a GB of I, even if you haven't given it one. f%I --how to find a GB in M2 I=ideal groebnerBasis I f%I