A machine-checked solution to the Jacobians challenge

7. paths and integrals🔗

Smooth paths and loops, path line integrals of 1-forms, primitives along paths, and perturbing loops off a finite bad set.

7 modules, 4,611 lines, under Jacobians/Path/.

References: Forster §§1–2 · Forster §1 · Forster §§10–12 · Forster §10.5.

  1. 7.1. Keystones
  2. 7.2. Builds on
  3. 7.3. Path
  4. 7.4. Path.CotangentCoeff
  5. 7.5. Path.LineIntegral
  6. 7.6. Path.LoopOffBranch
  7. 7.7. Path.Primitive
  8. 7.8. Path.SmoothPath
  9. 7.9. Path.SmoothPathCore