☰

Семантика пересечений в MetaPost/MetaFont

tag-icon • tag-icon metapost metafont
Семантика пересечений в MetaPost/MetaFont

Возможно, я обнаружил ошибку в MetaPost и MetaFont, но прежде чем сообщить о ней, я хотел бы убедиться, что это действительно ошибка.

С интуитивной точки зрения я бы ожидал, что если два пути имеют точку пересечения, то должно быть пересечение одного из этих путей и обратное пересечение другого пути.

Однако следующая программа MetaPost/MetaFont показывает, что MetaPost/MetaFont с этим не согласен.

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

Я что-то пропустил?

решение1

Для справки, Джеко (не знаю, писал ли он вам) сконструировал более простой пример из вашего оригинала, и мы планируем попросить Кнута рассмотреть эту проблему, когда он в следующий раз проверит накопленные отчеты об ошибках (в следующем году). У нас нет ответа на сам вопрос :(. --best, karl (at tug dot org).

Связанный контент