primes -- get the list of height-one primes in the support of a divisor

Synopsis

• Usage:

  primes( D1 )

• Inputs:
  • D1, an instance of the type BasicDivisor,
• Outputs:
  • a list,

Description

i1 : R = QQ[x,y,u,v]/ideal(x*y-u*v);

i2 : D = divisor(x)

o2 = Div(v, x) + Div(u, x)

o2 : WeilDivisor on R

i3 : primes(D)

o3 = {ideal (v, x), ideal (u, x)}

o3 : List

i4 : E = divisor(x*u)

o4 = Div(v, x) + Div(u, y) + 2*Div(u, x)

o4 : WeilDivisor on R

i5 : primes(E)

o5 = {ideal (v, x), ideal (u, y), ideal (u, x)}

o5 : List

i6 : F = divisor({0}, {ideal(x,u)})

o6 = 0*Div(x, u)

o6 : WeilDivisor on R

i7 : primes(F)

o7 = {ideal (x, u)}

o7 : List

i8 : primes(cleanSupport F)

o8 = {}

o8 : List

i9 : primes(1*F)

o9 = {}

o9 : List

See also

• coefficients(BasicDivisor) -- get the list of coefficients of a divisor
• gbs -- get the list of Groebner bases corresponding to the height-one primes in the support of a divisor