Changes between Version 12 and Version 13 of StandardClasses
- Timestamp:
- 06/04/07 02:35:10 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StandardClasses
v12 v13 52 52 Note that the `Float` and `Double` instances will not satisfy the usual axioms for these structures. 53 53 54 === The Real class === 55 Issues: 56 * The class assumes a mapping to `Rational`, but this cannot be defined for structures intermediate between the rationals and reals even though the operations of subclasses make sense for them, e.g. surds, computable reals. 57 54 58 === The Fractional class === 55 59 Issues:
