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 |