Get the list of coefficients of a BasicDiv (or a WDiv, QDiv or RDiv).
i1 : R = QQ[x,y,u,v]/ideal(x*y-u*v) o1 = R o1 : QuotientRing |
i2 : D = divisor(x) o2 = 1*Div(v, x) + 1*Div(u, x) of R o2 : WDiv |
i3 : getCoeffList(D) o3 = {1, 1} o3 : List |
i4 : E = divisor(x*u) o4 = 1*Div(u, y) + 1*Div(v, x) + 2*Div(u, x) of R o4 : WDiv |
i5 : getCoeffList(E) o5 = {1, 1, 2} o5 : List |
i6 : F = rationalDivisor({1/2, -2/3}, {ideal(x,u), ideal(x,v)}) o6 = 1/2*Div(x, u) + -2/3*Div(x, v) of R o6 : QDiv |
i7 : getCoeffList(F) 1 2 o7 = {-, - -} 2 3 o7 : List |
i8 : G = realDivisor({0.5, -0.667}, {ideal(x,u), ideal(x,v)}) o8 = .5*Div(x, u) + -.667*Div(x, v) of R o8 : RDiv |
i9 : getCoeffList(G) o9 = {.5, -.667} o9 : List |