A machine-checked solution to the Jacobians challenge

8. residue calculus🔗

Planar residue calculus: resAt, Laurent coefficients of pair integrands, and Mittag-Leffler distributions of principal parts.

4 modules, 585 lines, under Jacobians/ResidueCalculus/.

References: Forster §17.1–17.2 · Forster §17.

  1. 8.1. Keystones
  2. 8.2. Builds on
  3. 8.3. ResidueCalculus
  4. 8.4. ResidueCalculus.FormCoeff
  5. 8.5. ResidueCalculus.FormTracePrincipalPart
  6. 8.6. ResidueCalculus.Residue