[next][previous][up][top][index]
search for:

top -- compute the top dimensional components

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:

  • removeLowestDimension -- remove components of lower dimension
  • saturate -- saturation of ideal or submodule
  • quotient -- ideal or submodule quotient
  • radical -- compute the radical of an ideal
  • Ways to use top :

  • top Ideal
  • top Module

  • [next][previous][up][top][index]
    search for: