next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: divisor(..., IsGraded => ...)

divisor(..., IsGraded => ...) -- optional argument in the divisor constructor to specify that a module $O(D)$ is graded

Synopsis

Description

Construct a divisor D such that O(D) is isomorphic to M. If IsGraded is set to true, treat M as a graded module and hence the construction will function properly on a projective variety. Default value is false.

i1 : R = QQ[x,y,z];
i2 : D = divisor(R^{2}, IsGraded=>true)

o2 = 2*Div(x)

o2 : WeilDivisor on R
i3 : D = divisor(R^{-3}, IsGraded=>true)

o3 = -3*Div(x)

o3 : WeilDivisor on R
i4 : D = divisor(R^{2}, IsGraded=>false)

o4 = 0, the zero divisor

o4 : WeilDivisor on R

Further information

See also