joinIdeal -- Computes the join of several ideals

Synopsis

• Usage:

  K = joinIdeal(I,J)

  K = joinIdeal L

• Inputs:
  • I, an ideal, An ideal of a ring R
  • J, an ideal, Another ideal of R
  • L, a list, A list of ideals in the same ring
• Optional inputs:
  • DegreeLimit => ..., default value {}
• Outputs:
  • K, an ideal, The join of the input ideals

Description

i1 : R = QQ[a,b,c,d]

o1 = R

o1 : PolynomialRing

i2 : I = ideal {a-d,b^2-c*d}

                    2
o2 = ideal (a - d, b  - c*d)

o2 : Ideal of R

i3 : J = ideal {a,b,c}

o3 = ideal (a, b, c)

o3 : Ideal of R

i4 : joinIdeal(I,J)

            2
o4 = ideal(b  - a*c)

o4 : Ideal of R

See also

• secant -- Computes the secant of an ideal