Use to force the divisor to be a particular class (RWeilDivisor, QWeilDivisor, WeilDivisor) or to specify your own coefficients.
i1 : R = QQ[x,y,z]; |
i2 : D = divisor(x, CoeffType=>QQ) o2 = Div(x) o2 : QWeilDivisor on R |
i3 : D = divisor(y, CoeffType=>RR) o3 = Div(y) o3 : RWeilDivisor on R |
i4 : D = divisor(z, CoeffType=>ZZ) o4 = Div(z) o4 : WeilDivisor on R |
i5 : D = divisor(x+y, CoeffType=>(frac(QQ[s]/(s^2-2)))) o5 = Div(x+y) o5 : BasicDivisor on R |