Elimination
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.
Go to
main index
.
Go to
concepts index
.