isZeroDivisor -- whether the divisor is the zero divisor

Usage:

isZeroDivisor(D)
Inputs:
- D, an instance of the type BasicDivisor,
Outputs:
- a Boolean value,

Description

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

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

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

o2 : WeilDivisor on R

i3 : isZeroDivisor( D )

o3 = false

i4 : R = QQ[x, y, z];

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 : WeilDivisor on R

i6 : isZeroDivisor( E )

o6 = true

Ways to use isZeroDivisor:

isZeroDivisor(BasicDivisor)

For the programmer

The object isZeroDivisor is a method function.

The source of this document is in WeilDivisors.m2:4180:0.