zeroDivisor -- constructs the zero Weil divisor for the ring

• Usage:

  zeroDivisor(R)

• Inputs:
  • R, a ring,
• Outputs:
  • an instance of the type WeilDivisor,

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

i2 : D = zeroDivisor( R )

o2 = 0, the zero divisor

o2 : WeilDivisor on R