simplifyDivisor -- Simplify the representation of a divisor on a curve.

Synopsis

• Usage:

  (E,Pts1)=simplifyDivisor(J,D,Pts)

• Inputs:

  • I, an ideal, of a projectively normal curve C
  • D, a list, a pair {D₀,D₁} of two effective divisors on C represented by their ideal
  • Pts, a list, of ideals of kk-rational points on C
• Outputs:

  • E, a list, a pair {E₀,E₁} of effective divisors given by their ideals, which represent the same class as D₀-D₁.
  • Pts1, a list, of ideals of the remaining kk-rational points on C

Description