Strategy => Elimination -- an option value for saturate which indicates that the saturation of (I:f) should be computed by eliminating z from (I,f*z-1), where z is a new variable.
![[top]](top.gif)
![[index]](index.gif)