A machine-checked solution to the Jacobians challenge

29. riemann roch🔗

The Riemann–Roch theorem: l(D) − l(K−D) = deg D + 1 − g with the canonical divisor K, plus deg K = 2g−2, l(K) = g, and the single-simple-pole consequence for genus 0.

1 modules, 163 lines, under Jacobians/RiemannRoch/.

References: Miranda Ch. VI.

  1. 29.1. Keystones
  2. 29.2. Builds on
  3. 29.3. RiemannRoch