next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
ReesAlgebra :: reesIdeal(..., Strategy => ...)

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

Synopsis

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 Symk(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

See also