ring( D1 )
This function returns the ambient ring of a divisor.
i1 : R = QQ[x, y, z] / ideal(x * y - z^2 );
i2 : D = divisor({1, 2}, {ideal(x, z), ideal(y, z)}) o2 = 2*Div(y, z) + Div(x, z) o2 : WeilDivisor on R
i3 : ring( D ) o3 = R o3 : QuotientRing