OAI/Geometry/SurfaceImmersion/Correction/CompactPolynomialSolver.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Build the actual polynomial phase solver from compact geometric data. All coefficient profiles precede the amplitude and frequency parameters.

  1. theorem OAI.ClosedSurfaceR4.JetPolynomial.Perturbation.compact_polynomial_solve_data line 15