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.
