Czy współrzędne punktów konstrukcyjnych mogą być dokładnie reprezentowane?
Chciałbym napisać program, który pozwala użytkownikom rysować punkty, linie i okręgi, jak przy użyciu prostoliniowości i kompasu. Potem chcę być w stanie odpowiedzieć na pytanie: „czy te trzy punkty są współliniowe?” Aby odpowiedzieć poprawnie, muszę unikać błędu zaokrąglania przy obliczaniu punktów.
czy to możliwe? Jak mogę reprezentować punkty w pamięci?
(Przejrzałem kilka niezwykłych bibliotek numerycznych, ale nie znalazłem niczego, co utrzymywałoby, że oferuje zarówno dokładne porównania arytmetyczne, jak i dokładne, które gwarantują zakończenie).