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

isDivReduced -- Check if a divisor is reduced

Synopsis

Description

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

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

o1 = R

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

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

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

o3 = 1*Div(z) + 1*Div(y) + 1*Div(x) of R

o3 : WDiv
i4 : isDivReduced( D1 )

o4 = false
i5 : isDivReduced( D2 )

o5 = true

Ways to use isDivReduced :