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