logoalt Hacker News

CyLithyesterday at 10:17 PM2 repliesview on HN

Does this use integer coordinates or floating point coordinates?


Replies

threatripperyesterday at 10:36 PM

It uses exact rational coordinates, not floating-point coordinates in the verified core. See: https://github.com/schildep/verified-polygon-intersection/bl...

show 1 reply