AERN-RnToRm 0.4.9 → 0.4.9.1

raw patch · 7 files changed

+13/−17 lines, 7 files

Files

• AERN-RnToRm.cabal +1/−1
• ChangeLog +2/−6
• src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom.hs +1/−1
• src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Enclosure.hs +1/−1
• src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Division.hs +1/−1
• src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Elementary.hs +1/−1
• src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Generate.hs +6/−6

@@ -1,5 +1,5 @@ Name:           AERN-RnToRm-Version:        0.4.9+Version:        0.4.9.1 Cabal-Version:  >= 1.2 Build-Type:     Simple License:        BSD3

@@ -1,15 +1,11 @@-0.4.9:+0.4.9.1: 24 February 2009: fixed errors in haddoc comments+0.4.9: 23 February 2009     * Added a quickcheck testing harness for the polynomial arithmetic core.     * Rewritten polynomial arithmetic core.     * Fixed many rounding errors affecting almost all operations.     * New operation: substitution into an enclosure of a *monotone* function.     * In enclosure arithmetic, now can set a limit on the size of each enclosure representation.       This is important for many-variate polynomials that tend to have very many terms.-      -0.4.3:-    * fixed two serious errors in exponentiation of PFEs-    * added composition of a monotone function approx with another function approx-      and implemented it for PFEs on individual domain boxes 0.4.2: 1 December 2008     * substantially improved division by a constant PFE (polynomial function enclosure)     * added proper handling of overflown coefficients

@@ -3,7 +3,7 @@ {-# LANGUAGE UndecidableInstances #-} {-|     Module      :  Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom-    Description :  polynoms in the Chebyshev basis of the 1st kind+    Description :  multivariate polynomials in the Chebyshev basis     Copyright   :  (c) 2007-2008 Michal Konecny     License     :  BSD3 

@@ -2,7 +2,7 @@ {-# LANGUAGE UndecidableInstances #-} {-|     Module      :  Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure-    Description :  (internal) field operations applied to polynomials  +    Description :  (internal) basic operations for primitive polynomial enclosures       Copyright   :  (c) 2007-2008 Michal Konecny     License     :  BSD3 

@@ -1,6 +1,6 @@ {-|     Module      :  Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Division-    Description :  (testing) properties of basic enclosure operations+    Description :  (testing) properties of polynomial enclosure division     Copyright   :  (c) 2007-2008 Michal Konecny     License     :  BSD3 

@@ -1,6 +1,6 @@ {-|     Module      :  Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary-    Description :  (testing) properties of basic enclosure operations+    Description :  (testing) properties of enclosure elementary operations     Copyright   :  (c) 2007-2008 Michal Konecny     License     :  BSD3 

@@ -315,9 +315,9 @@      DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb, Show testId) =>     String {-^ report file name -} ->     testId {-^ item to identify the random input given to the test -} ->-    ((ERInterval b) -> (ERInterval b) -> (ERInterval b)) ->+    ((ERInterval b) -> (ERInterval b) -> (ERInterval b))         {-^ this real approx operation has to return an inner approximation of the exact result set, -            ie each number that the approximation supports is in the maximal extension -}+            ie each number that the approximation supports is in the maximal extension -} ->     (ERChebPoly box b, ERChebPoly box b) {-^ enclosure of argument 1 -} ->     (ERChebPoly box b, ERChebPoly box b) {-^ enclosure of argument 2 -} ->     (ERChebPoly box b, ERChebPoly box b) {-^ alleged enclosure of result -} ->@@ -361,9 +361,9 @@      DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb, Show testId) =>     String {-^ report file name -} ->     testId {-^ item to identify the random input given to the test -} ->-    ((ERInterval b) -> (ERInterval b)) ->+    ((ERInterval b) -> (ERInterval b))         {-^ this real approx operation has to return an inner approximation of the exact result set, -            ie each number that the approximation supports is in the maximal extension -}+            ie each number that the approximation supports is in the maximal extension -} ->     (ERChebPoly box b, ERChebPoly box b) {-^ enclosure of argument -} ->     (ERChebPoly box b, ERChebPoly box b) {-^ alleged enclosure of result -} ->     Bool@@ -406,9 +406,9 @@      DomainBoxMappable boxb boxbb varid b [ERInterval b], Show boxb, Show testId) =>     String {-^ report file name -} ->     testId {-^ item to identify the random input given to the test -} ->-    (boxb -> (ERInterval b)) ->+    (boxb -> (ERInterval b))         {-^ this operation has to return an inner approximation of the exact result set, -            ie each number that the approximation supports is a solution in the maximal extension -}+            ie each number that the approximation supports is a solution in the maximal extension -} ->     [varid] {-^ variables to test over -} ->     (ERChebPoly box b, ERChebPoly box b) {-^ alleged enclosure of result -} ->     Bool