Strategy => Bayer
-- an option value for saturate which
indicates that the method of Bayer's thesis should be used.
The method is to compute saturate(I,f) for I and f homogeneous,
add a new variable z, compute a groebner basis of (I,f-z) in reverse lex order,
divide by z, and finally replace z by f.