![[top]](top.gif)
![[index]](index.gif)
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.