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.