next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: ZZ * BasicDiv

ZZ * BasicDiv -- Multiply a divisor by an integer

Synopsis

Description

Multiply a divisor by an integer

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