next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: RR * RDiv

RR * RDiv -- Multiply a real divisor by a real number

Synopsis

Description

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