Changes between Version 8 and Version 9 of StandardClasses


Ignore:
Timestamp:
Sep 14, 2006 10:26:43 AM (9 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   {{{