Rational arithmetic machines have their uses. SAT solvers tend to have one insid... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Animats on Sept 16, 2024 \| parent \| context \| favorite \| on: Fractran: Computer architecture based on the multi... Rational arithmetic machines have their uses. SAT solvers tend to have one inside. That's because rational arithmetic is closed under addition, subtraction, multiplication and division.

eigenket on Sept 16, 2024 [–]

> That's because rational arithmetic is closed under addition, subtraction, multiplication and division.

Unless you divide by zero I guess

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact