明らかに重複している直線を追加できないようにしたい。点の時にはすでに「点を加える」では追加できないようになっているが、「交点」などのモードでは未対応だ。
問題は、「たまたま一致しているのか、本質的に重なっているのか」を判別する点にある。作図の最初のほうを手繰って、自由点を見つけ出し、これをパーターブ(微動)させることにより判定することにする。これはシンデレラでは「自動定理証明機能」として実装されているもの(の一部。)
(11月15日)あはら
とりあえず簡単な方法で、自由点を右や上に少し動かして座標計算をしなおして、それでも一致しているような2直線は同じものとみなす、とした。接ベクトルの理屈から言って3方向に動かしてみるのは意味がない。複素方向にも少し動かしてみたい気もするが、計算が正しくなされるかギモンなので、とりあえずペンディング。
それで、平行線を引く部分に実装したところ、一応思い通りに動いた。
それで、平行線を引く部分に実装したところ、一応思い通りに動いた。
(12月13日)阿原
線を引くところには全部装着してみた。とりあえずうまく動くようだ。
(12月14日阿原)
(12月14日阿原)