# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorGuest
• CommentTimeFeb 22nd 2022

There is a definition of the decimal rational numbers as a quotient of an equivalence relation over the product set $\mathbb{Z} \times \mathbb{N}$, where $(a, b) \sim (c, d)$ if $a \cdot 10^d = b \cdot 10^c$.

2. added a few more definitions to the page

anonymous

3. adding definition of the decimal rationals as a higher inductive type in homotopy type theory

Anonymous