A machine-checked solution to the Jacobians challenge

25. abel weak solutions🔗

Weak/planar solution steps for the Abel engine: chain decompositions and piecewise planar solutions.

6 modules, 2,159 lines, under Jacobians/AbelWeak/.

References: Forster §20.4 · Forster §20.1–20.2.

  1. 25.1. Keystones
  2. 25.2. Builds on
  3. 25.3. AbelWeak
  4. 25.4. AbelWeak.AbelChains
  5. 25.5. AbelWeak.AbelCurveSolution
  6. 25.6. AbelWeak.AbelPieceSolution
  7. 25.7. AbelWeak.AbelPlanarPiece
  8. 25.8. AbelWeak.AbelWeakSolutions