removeLowestDimension

removeLowestDimension I -- I an ideal or submodule of a free module. Yields the intersection of the primary components of I, excepting those of lowest dimension (and thus returns the ambient free module of I (or unit ideal), if I is pure dimensional).

For an example,

See also component example.

Computes one free resolution, and some homology groups, but no projections or determinants are used.For a very brief description of the method used, see top-method.

See also top, saturate, quotient, radical, and decompose.

Go to main index.

Go to concepts index.