... | ... | @@ -28,14 +28,14 @@ Structures further down and/or to the right are special cases of those further u |
|
|
<th> Commutative monoid
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>[ Group](http://en.wikipedia.org/wiki/Group)</th>
|
|
|
<tr><th>[ Group](http://en.wikipedia.org/wiki/Group_%28mathematics%29)</th>
|
|
|
<th>[ Abelian group](http://en.wikipedia.org/wiki/Abelian_group)</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th></th>
|
|
|
<th>[ Ring](http://en.wikipedia.org/wiki/Ring)</th>
|
|
|
<th>[ Ring](http://en.wikipedia.org/wiki/Ring_%28mathematics%29)</th>
|
|
|
<th>[ Commutative ring](http://en.wikipedia.org/wiki/Commutative_ring)</th></tr>
|
|
|
<tr><th></th>
|
|
|
<th>[ Domain](http://en.wikipedia.org/wiki/Domain)</th>
|
|
|
<th>[ Domain](http://en.wikipedia.org/wiki/Domain_%28ring_theory%29)</th>
|
|
|
<th>[ Integral domain](http://en.wikipedia.org/wiki/Integral_domain)</th></tr>
|
|
|
<tr><th></th>
|
|
|
<th></th>
|
... | ... | @@ -48,7 +48,7 @@ Structures further down and/or to the right are special cases of those further u |
|
|
<th>[ Euclidean domain](http://en.wikipedia.org/wiki/Euclidean_domain)</th></tr>
|
|
|
<tr><th></th>
|
|
|
<th>[ Division ring](http://en.wikipedia.org/wiki/Division_ring)</th>
|
|
|
<th>[ Field](http://en.wikipedia.org/wiki/Field)</th></tr></table>
|
|
|
<th>[ Field](http://en.wikipedia.org/wiki/Field_%28mathematics%29)</th></tr></table>
|
|
|
|
|
|
## The Num class
|
|
|
|
... | ... | |