A machine-checked solution to the Jacobians challenge

12. meromorphic trace🔗

Surface-level trace of meromorphic functions/forms along a degree-d map and the argument principle on X (zeros = poles for div f = 0 log-derivative traces).

5 modules, 5,837 lines, under Jacobians/MeromorphicTrace/.

References: Forster §10 · Forster §§4 · Forster §4.22 · Miranda Lemma 3.2.

  1. 12.1. Keystones
  2. 12.2. Builds on
  3. 12.3. MeromorphicTrace
  4. 12.4. MeromorphicTrace.MeromorphicTrace
  5. 12.5. MeromorphicTrace.TraceForm
  6. 12.6. MeromorphicTrace.TracePullback
  7. 12.7. MeromorphicTrace.TraceResidue