next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: getPrimeList

getPrimeList -- Get the list of height-one primes in the support of a divisor

Synopsis

Description

Returns the list of height-one prime ideals corresponding to the components of a BasicDiv. Note that if you don’t call simplifyDiv, this can return primes with coefficient equal to zero.
i1 : R = QQ[x,y,u,v]/ideal(x*y-u*v)

o1 = R

o1 : QuotientRing
i2 : D = divisor(x)

o2 = 1*Div(v, x) + 1*Div(u, x) of R

o2 : WDiv
i3 : getPrimeList(D)

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

o3 : List
i4 : E = divisor(x*u)

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

o4 : WDiv
i5 : getPrimeList(E)

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

o5 : List

See also

Ways to use getPrimeList :