... | ... | @@ -180,7 +180,7 @@ Issues: |
|
|
`toRational`. Provided any non-zero remainder is "smaller" than
|
|
|
the divisor, in some well-founded sense, Euclid's algorithm terminates.
|
|
|
- Defining `Ratio` also requires a canonical factorization of any
|
|
|
element as *x* as *u*`*`*y* where *u* is an invertible element
|
|
|
element as *x* as *y*`*`*u* where *u* is an invertible element
|
|
|
(or *unit*). Any such *y* is called an *associate* of *x*.
|
|
|
For integral types (but not others), this is similar to `signum` and
|
|
|
`abs`, but the general idea makes sense for any integral domain.
|
... | ... | |