i1 : R = ZZ/11[x, y] o1 = R o1 : PolynomialRing |
i2 : D1 = divisor({3.4, -5.6}, {ideal(x), ideal(y)}, CoeffType => RR) o2 = 3.4*Div(x) + -5.6*Div(y) of R o2 : RDiv |
i3 : D2 = divisor({3/4, -8/5}, {ideal(y), ideal(x)}, CoeffType => QQ) o3 = 3/4*Div(y) + -8/5*Div(x) of R o3 : QDiv |
i4 : D1 - D2 o4 = -6.35*Div(y) + 5*Div(x) of R o4 : RDiv |