A new `EdgeRefinement(pred)` to speed up the `MaxLengthDiscretization` of `Polygon`.
A new
EdgeRefinement(pred)to speed up theMaxLengthDiscretizationofPolygon.