Multiply a real divisor by a real number
i1 : R = ZZ/31[x, y, z] / ideal(x * y - z^2 ) o1 = R o1 : QuotientRing |
i2 : D = divisor({1.2, -3.4}, {ideal(x, z), ideal(y, z)}, CoeffType=>RR) o2 = 1.2*Div(x, z) + -3.4*Div(y, z) of R o2 : RDiv |
i3 : (7.8) * D o3 = 9.36*Div(x, z) + -26.52*Div(y, z) of R o3 : RDiv |