next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Divisor :: isWeilDivisor

isWeilDivisor -- whether a rational/real divisor is in actuality a Weil divisor

Synopsis

Description

Check if a rational/real divisor is a Weil divisor

i1 : R = QQ[x, y, z];
i2 : D1 = divisor({1/1, 2/2, -6/3}, {ideal(x), ideal(y), ideal(z)}, CoefficientType=>QQ)

o2 = Div(x) + Div(y) + -2*Div(z)

o2 : QWeilDivisor on R
i3 : D2 = divisor({1/2, 3/4, 5/6}, {ideal(y), ideal(z), ideal(x)}, CoefficientType=>QQ)

o3 = 5/6*Div(x) + 1/2*Div(y) + 3/4*Div(z)

o3 : QWeilDivisor on R
i4 : isWeilDivisor( D1 )

o4 = true
i5 : isWeilDivisor( D2 )

o5 = false

See also

Ways to use isWeilDivisor :

For the programmer

The object isWeilDivisor is a method function.