@raph I'm just the peanut gallery here but I have to ask... what's going on at these two points, on the lower edge? normally I'd expect the simplification to be smoother, but these seem to be surprisingly sharp turns on a smooth section of the input curve? I had to double check, are the source and output curves swapped? (just asking because they jumped out, incredibly impressed with this work)
@bazzargh Good spotting! That probably deserves more investigation. The curve is technically continuous there (not visible in the bitmap rendering), and appears to be within error tolerance, but I'm not sure yet whether it's actually the solution that minimizes Fréchet distance or whether it's finding a case where the error metric is underestimated.
Fréchet is cool but doesn't guarantee smoothness, perhaps for rigorous work a more sophisticated error metric would be better.