top I -- yields the intersection of top dimensional primary components of the module or ideal I.
For an example, see also component example.
If I is a submodule of (a quotient module) M, then a possibly larger submodule of M is returned. The method used is that of Eisenbud-Huneke-Vasconcelos, in their 1993 Inventiones Mathematicae paper. For a very brief description of the method used, see top-method.
See also:
Ways to use top :