This repository was archived by the owner on Jun 17, 2026. It is now read-only.

7 lines (5 loc) · 157 Bytes

data.rat

The rational numbers.

basic : the rationals as a field
order : the order relations and the sign function