isReduced -- whether a divisor is reduced

Synopsis

This function returns true if the divisor is reduced (all coefficients equal to 1), otherwise it returns false.

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

i2 : D1 = divisor(x^2 * y^3 * z)

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

o2 : WeilDivisor on R

i3 : D2 = divisor(x * y * z)

o3 = Div(y) + Div(z) + Div(x)

o3 : WeilDivisor on R

i4 : isReduced( D1 )

o4 = false

i5 : isReduced( D2 )

o5 = true