AERN-Real 0.9.6 → 0.9.6.1

raw patch · 2 files changed

+15/−33 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• AERN-Real.cabal +11/−33
• ChangeLog +4/−0

@@ -1,5 +1,5 @@ Name:           AERN-Real-Version:        0.9.6+Version:        0.9.6.1 Cabal-Version:  >= 1.2 Build-Type:     Simple License:        BSD3@@ -13,41 +13,19 @@ Tested-with:    GHC ==6.8.2 Description:     Datatypes and abstractions for approximating exact real numbers-    and a basic arithmetic over such approximations.  The design is-    inspired to some degree by Mueller's iRRAM and Lambov's RealLib-    (both are C++ libraries for exact real arithmetic).-    .-    Abstractions are provided via 4 type classes:-    .-    * ERRealBase: abstracts floating point numbers-    .-    * ERApprox: abstracts neighbourhoods of real numbers-    .-    * ERIntApprox: abstracts neighbourhoods of real numbers that are known to be intervals-    .-    * ERApproxElementary: abstracts real number approximations that support elementary operations-    .-    For ERRealBase we give several implementations.  The default is -    an arbitrary precision floating point type that uses Double-    for lower precisions and an Integer-based simulation for higher-    precisions.  Rational numbers can be used as one of the alternatives.-    Augustsson's Data.Number.BigFloat can be easily wrapped as an instance-    of ERRealBase except that it uses a different method to control precision.-    .-    ERIntApprox is implemented via outwards-rounded arbitrary precision interval arithmetic.  -    Any instance of ERRealBase can be used for the endpoints of the intervals.+    and a basic arithmetic over such approximations.  +    The main datatype is interval with arbitrary precision endpoints+    supported by safely rounding field and elementary operations+    whose precision can be increased arbitrarily, so that they+    all converge to the exact operations.     .-    ERApproxElementary is implemented generically for any implementation-    of ERIntApprox.  This way some of the most common elementary operations are provided, -    notably: sqrt, exp, log, sin, cos, atan.  These operations converge -    to an arbitrary precision and also work well over larger intervals without-    excessive wrapping.+    The design of the library is inspired to some degree +    by Mueller's iRRAM and Lambov's RealLib+    (both are C++ libraries for exact real arithmetic).     .-    There is also some support for generic Taylor series, interval Newton method-    and simple numerical integration.+    For an architectural overview, see module "Data.Number.ER.Real".     .-    Simple examples of usage can be found in tests/Demo.hs.-    +    Simple examples of usage can be found in module @Demo.hs@ in folder @tests@. Extra-source-files:     ChangeLog tests/Demo.hs 

@@ -1,3 +1,7 @@+0.9.6.1: 7 August 2008+    * revamped package description to make it much shorter and linked it+      to the main module+ 0.9.6: 7 August 2008     * improved domain box class interface and implementation     * fixed broken domain box splitting function