... | @@ -294,3 +294,10 @@ Issues: |
... | @@ -294,3 +294,10 @@ Issues: |
|
|
|
|
|
- The class groups together the trigonometric operation `atan2` with
|
|
- The class groups together the trigonometric operation `atan2` with
|
|
operations on the components of floating-point numbers.
|
|
operations on the components of floating-point numbers.
|
|
|
|
|
|
|
|
## Proposals
|
|
|
|
|
|
|
|
|
|
|
|
1. add new subclasses for groups, rings, division rings and Euclidean domains, as above.
|
|
|
|
1. as 1, plus additional subclasses that do not assume negation (monoid, semiring, etc).
|
|
|
|
This would make most sense if we had [natural numbers](natural). |