A machine-checked solution to the Jacobians challenge

21. laurent tails🔗

Miranda Ch. VI Laurent-tail calculus: tail spaces, truncation maps, tail finiteness, and the first (tail) form of Riemann–Roch.

8 modules, 1,181 lines, under Jacobians/LaurentTail/.

References: Miranda Ch. VI · Miranda Lemma 2.6 · Miranda Ch. VI §2 · Miranda Lemma 2.3.

  1. 21.1. Keystones
  2. 21.2. Builds on
  3. 21.3. LaurentTail
  4. 21.4. LaurentTail.DimensionBookkeeping
  5. 21.5. LaurentTail.Finiteness
  6. 21.6. LaurentTail.LaurentCoeff
  7. 21.7. LaurentTail.LinearSystemFiniteDimensional
  8. 21.8. LaurentTail.RiemannRochFirstForm
  9. 21.9. LaurentTail.TailMap
  10. 21.10. LaurentTail.TailSpace