rectification; Abhyankar-Sathaye embedding problem; variable time-optimal problem; dispersing surface; bisector; pseudo-vertex; extreme point; curvature; singular set; Frene's trihedron; eikonal equation 