topComponents(Ideal) -- compute top dimensional component

Synopsis

• Usage:

  topComponents I

• Function: topComponents
• Inputs:

  • I, an ideal
• Outputs:

  • I, an ideal, which is the intersection of the primary components of I having the greatest Krull dimension

Description

i1 : R=ZZ/32003[a..c];

i2 : I=intersect(ideal(a,b),ideal(b,c),ideal(c,a),ideal(a^2,b^3,c^4));

o2 : Ideal of R

i3 : topComponents I

o3 = ideal (b*c, a*c, a*b)

o3 : Ideal of R

See also

• topComponents(Module) -- compute top dimensional component
• removeLowestDimension -- remove components of lowest dimension
• saturate -- saturation of ideal or submodule
• quotient -- quotient or division
• radical -- the radical of an ideal
• component example