next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Divisor :: getAmbientRing

getAmbientRing -- Get the ambient ring of a divisor

Synopsis

Description

Returns the ambient ring of a divisor.

i1 : R = QQ[x, y, z] / ideal(x * y - z^2 )

o1 = R

o1 : QuotientRing
i2 : D = divisor({1, 2}, {ideal(x, z), ideal(y, z)})

o2 = 1*Div(x, z) + 2*Div(y, z) of R

o2 : WDiv
i3 : getAmbientRing( D )

o3 = R

o3 : QuotientRing

If the divisor was created with the Unsafe option there may be more than one ambient ring. This function then returns one of those ambient rings.

Ways to use getAmbientRing :