This is done by ''saturating'' the equations by the degeneracy conditions, which may be done by using the elimination property of Gröbner bases.
The '''saturation''' with respect to ''f'' of an ideal ''I'' in ''R'' is the inverse image of <math>R_fI</math> under the canonical map from ''R'' to <math>R_f.