i1 : R = QQ[x,y] o1 = R o1 : PolynomialRing |
i2 : D = divisor(x) o2 = 1*Div(x) of R o2 : WDiv |
i3 : E = rationalDivisor({1/2}, {ideal(x)}) o3 = 1/2*Div(x) of R o3 : QDiv |
i4 : F = realDivisor({0.5}, {ideal(x)}) o4 = .5*Div(x) of R o4 : RDiv |
i5 : 7*D o5 = 7*Div(x) of R o5 : WDiv |
i6 : 2*E o6 = 1*Div(x) of R o6 : QDiv |
i7 : 6*F o7 = 3*Div(x) of R o7 : RDiv |