toRWeilDivisor -- create a R-divisor from a Q or Weil divisor

• Usage:

  toRWeilDivisor( D1 )

  toRWeilDivisor( E1 )

• Inputs:
  • D1, an instance of the type WeilDivisor,
  • E1, an instance of the type QWeilDivisor,
  • E1, an instance of the type RWeilDivisor,
• Outputs:
  • an instance of the type RWeilDivisor,

i1 : R = ZZ/5[x,y];

i2 : D = divisor({2, 0, -4}, {ideal(x), ideal(y), ideal(x-y)})

o2 = -4*Div(x-y) + 2*Div(x) + 0*Div(y)

o2 : WeilDivisor on R

i3 : E = (1/2)*D

o3 = -2*Div(x-y) + Div(x)

o3 : QWeilDivisor on R

i4 : F = toRWeilDivisor(D)

o4 = -4*Div(x-y) + 2*Div(x)

o4 : RWeilDivisor on R

i5 : G = toRWeilDivisor(E)

o5 = -2*Div(x-y) + Div(x)

o5 : RWeilDivisor on R

i6 : F == 2*G

o6 = true