i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing
i2 : D = rationalDivisor({5/2, -3/5}, {ideal(x+y+z), ideal(x)}) o2 = -3/5*Div(x) + 5/2*Div(x+y+z) of R o2 : QDiv