This function yields the intersection of the primary components of M except those of lowest dimension, and thus returns the ambient free module of M (or unit ideal) if M is pure dimensional. For a very brief description of the method used, see topComponents.
As an example we remove the lowest dimensional component of an ideal I:
|
|
|
The object removeLowestDimension is a method function.