Changes between Version 8 and Version 9 of StandardClasses


Ignore:
Timestamp:
Sep 14, 2006 10:26:43 AM (8 years ago)
Author:
ross@…
Comment:

note about naturals

Legend:

Unmodified
Added
Removed
Modified
  • StandardClasses

    v8 v9  
    4848 * (Could be further split with a monoid sub-class.) 
    4949 * A ring-like subclass adding `(*)` and `one`/`fromInteger`, with the existing `Num` class as a further subclass. 
     50 * (Could be further split with a semiring subclass, e.g. for [wiki:Natural natural numbers].) 
    5051Note that the `Float` and `Double` instances will not satisfy the usual axioms for these structures. 
    5152 
     
    5758 * Add a division ring-like superclass adding these operations to the ring-like class. 
    5859   (A division ring has the same operations as a field, but does not assume commutative multiplication, allowing structures such as quaternions.) 
    59  * (Could be further split with a semiring subclass.) 
    6060 * Add default 
    6161   {{{