Ich habe möglicherweise einen Fehler in MetaPost und MetaFont entdeckt, aber bevor ich ihn melde, möchte ich sicherstellen, dass es wirklich ein Fehler ist.
Intuitiv würde ich erwarten, dass, wenn zwei Pfade einen Schnittpunkt haben, es einen Schnittpunkt eines dieser Pfade mit der Umkehrung des anderen Pfades geben sollte.
Das folgende MetaPost/MetaFont-Programm zeigt jedoch, dass MetaPost/MetaFont anderer Meinung sind.
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
Übersehe ich etwas?
Antwort1
Zur Info: Jacko (ich weiß nicht, ob er Ihnen geschrieben hat) hat aus Ihrem Original ein einfacheres Beispiel erstellt, und wir planen, Knuth zu bitten, sich das Problem anzusehen, wenn er sich das nächste Mal die gesammelten Fehlerberichte ansieht (nächstes Jahr). Auf die eigentliche Frage haben wir keine Antwort :(. --best, karl (at tug dot org).