i1 : R = QQ[x,y] o1 = R o1 : PolynomialRing
i2 : D = divisor(x^2*y) o2 = 1*Div(y) + 2*Div(x) of R o2 : WDiv
i3 : (5/6)*D o3 = 5/3*Div(x) + 5/6*Div(y) of R o3 : QDiv