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

isZeroDivisor -- Checks to see if the divisor is the zero divisor

Synopsis

Description

Returns true if the divisor is zero, otherwise it returns false.

i1 : R = QQ[x, y, z]

o1 = R

o1 : PolynomialRing
i2 : D = divisor({1, 2, -3, 4}, {ideal(x), ideal(y), ideal(z), ideal(y)})

o2 = -3*Div(z) + 6*Div(y) + 1*Div(x) of R

o2 : WDiv
i3 : isZeroDivisor( D )

o3 = false
i4 : R = QQ[x, y, z]

o4 = R

o4 : PolynomialRing
i5 : E = divisor({1, 2, -3, 4, 5, -9, 13, 2, -15}, {ideal(x), ideal(x), ideal(x), ideal(y), ideal(y), ideal(y), ideal(z), ideal(z), ideal(z)})

o5 = 0*Div(x) + 0*Div(z) + 0*Div(y) of R

o5 : WDiv
i6 : isZeroDivisor( E )

o6 = true

Ways to use isZeroDivisor :