Changes between Version 8 and Version 9 of StandardClasses
 Timestamp:
 Sep 14, 2006 10:26:43 AM (9 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

StandardClasses
v8 v9 48 48 * (Could be further split with a monoid subclass.) 49 49 * A ringlike 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].) 50 51 Note that the `Float` and `Double` instances will not satisfy the usual axioms for these structures. 51 52 … … 57 58 * Add a division ringlike superclass adding these operations to the ringlike class. 58 59 (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.)60 60 * Add default 61 61 {{{