removeLowestDimension I -- removes the components of I of lower dimension
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:
Ways to use removeLowestDimension :