# reesIdeal(...,Strategy=>...) -- Choose a strategy for the saturation step

## Synopsis

• Usage:
reesIdeal(...,Strategy => X)

## Description

where X is is one of Iterate, Linear, Bayer, Eliminate. These are described in the documentation node for saturate.

The Rees algebra S(M) of a submodule M of a free module (most importantly, an ideal in the ring), is equal to the symmetric algebra Sym_k(M) mod torsion. computing this torsion is the slow link in most of the programs in this package. The fastest way to compute it is usually by saturating the ideal defining the symmetric algebra with respect to an element in that ideal.

## Further information

• Default value: null
• Function: reesIdeal -- Compute the defining ideal of the Rees Algebra
• Option key: Strategy -- an optional argument