prymCanonicalEmbedding -- Compute the Prym canonical image

Synopsis

• Usage:

  prymCanonicalEmbedding(I,D)

• 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 ideals such that D₀-D₁ is two torsion in Pic C
• Outputs:

  • an ideal, the defining ideal of the image of C under K_C+D₀-D₁

Description