Part of #103
Question
Port the EUPL-1.2 Halley and Newton L-solvers from clothoid-halley-coq v1.1.1 into modules/curve as Java 8, and add a PERF-GATE: t_Halley ≤ 1.15 × t_Newton on a small JTS-owned COMPOUNDCURVE+CLOTHOID fixture set (including the grammars-v4 #4847 ProRail example).
Cite version DOI 10.5281/zenodo.22059577. Keep an EUPL notice on the ported files. Do not raise the JTS baseline. Do not vendor coq/Distance.v or coq/CompoundCurveKoc.v (BSD-3-Clause Koc carve-out). Do not use closed v1.0.2.
From Which curve types must publish 1.15× numbers for the bar?.
Part of #103
Question
Port the EUPL-1.2 Halley and Newton L-solvers from clothoid-halley-coq v1.1.1 into
modules/curveas Java 8, and add a PERF-GATE:t_Halley ≤ 1.15 × t_Newtonon a small JTS-owned COMPOUNDCURVE+CLOTHOID fixture set (including the grammars-v4 #4847 ProRail example).Cite version DOI 10.5281/zenodo.22059577. Keep an EUPL notice on the ported files. Do not raise the JTS baseline. Do not vendor
coq/Distance.vorcoq/CompoundCurveKoc.v(BSD-3-Clause Koc carve-out). Do not use closed v1.0.2.From Which curve types must publish 1.15× numbers for the bar?.