i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing
i2 : D = divisor({1,0,-2}, {ideal(x), ideal(y), ideal(z)}) o2 = -2*Div(z) + 0*Div(y) + 1*Div(x) of R o2 : WDiv
i3 : simplifyDiv(D) o3 = 1*Div(x) + -2*Div(z) of R o3 : WDiv