i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing
i2 : D = realDivisor({1.7, -2.3}, {ideal(x+y+z), ideal(x)}) o2 = -2.3*Div(x) + 1.7*Div(x+y+z) of R o2 : RDiv