Turn a Weil divisor into a rational divisor (or do nothing to a rational divisor).
i1 : R = ZZ/5[x] o1 = R o1 : PolynomialRing |
i2 : D = divisor(x) o2 = 1*Div(x) of R o2 : WDiv |
i3 : E = toQDiv(D) o3 = 1*Div(x) of R o3 : QDiv |
i4 : toQDiv(E) o4 = 1*Div(x) of R o4 : QDiv |