next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Divisor :: ring(BasicDivisor)

ring(BasicDivisor) -- get the ambient ring of a divisor

Synopsis

Description

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