changeset 37352 | c4f393759c59 |
parent 37351 | f34699c3e98e |
child 37361 | 250f487b3034 |
child 37383 | 22757d15cd86 |
--- a/NEWS Mon Jun 07 11:27:08 2010 +0200 +++ b/NEWS Mon Jun 07 11:42:32 2010 +0200 @@ -3368,6 +3368,8 @@ * Real: proper support for ML code generation, including 'quickcheck'. Reals are implemented as arbitrary precision rationals. +* Real: new development using Cauchy Sequences. + * Hyperreal: Several constants that previously worked only for the reals have been generalized, so they now work over arbitrary vector spaces. Type annotations may need to be added in some cases; potential