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 |