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

• Function: ring

• Usage:

  ring( D1 )

• Inputs:
  • D1, an instance of the type BasicDivisor,
• Outputs:
  • a ring,

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