Es posible que haya descubierto un error en MetaPost y MetaFont, pero antes de informarlo, me gustaría asegurarme de que realmente se trata de un error.
Desde un punto de vista intuitivo, esperaría que si dos caminos tienen un punto de intersección, entonces debería haber una intersección de uno de estos caminos y el reverso del otro camino.
Sin embargo, el siguiente programa MetaPost/MetaFont muestra que MetaPost/MetaFont no está de acuerdo.
path pa, pb; pair ta, tb;
pa = (6.51782,19.85922)..controls (1.38812,14.72952) and (-1.67604,7.1873)
..(-1.67604,-0.64035)..controls (-0.65317,-0.04979) and (0.36969,0.54076)
..(1.39256,1.13132)..controls (1.39256,8.95897) and (4.8107,15.6466)
..cycle;
pb = (-1.67339,-0.64497)..controls (-1.57977,-0.80708) and (-1.48618,-0.96921)
..(-1.39256,-1.13132)..controls (-1.39256,-0.91154) and (-1.39026,-0.69205)
..(-1.38567,-0.47285);
ta = pb intersectiontimes pa;
tb = (reverse pb) intersectiontimes pa;
show ta; % (1.99997,1.09459), so there's an intersection
show tb; % (-1,-1), so there's no intersection
end
¿Me estoy perdiendo de algo?
Respuesta1
Para que conste, Jacko (no sé si le escribió) ha construido un ejemplo más simple a partir de su original, y planeamos pedirle a Knuth que analice el problema la próxima vez que revise los informes de errores acumulados (el próximo año). No tenemos respuesta a la pregunta real :(. --mejor, karl (en tug punto org).