summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichalKonecny <>2009-02-24 09:10:26 (GMT)
committerLuite Stegeman <luite@luite.com>2009-02-24 09:10:26 (GMT)
commit70c7767589f1b4b993563dd05fe47c9c6b668a29 (patch)
tree09c69054fe3a501aa7c9171a9a67c411d25aeef3
parent2bbd45fcf507f0956e0bfc3845af20aa1f230705 (diff)
version 0.4.9.10.4.9.1
-rw-r--r--AERN-RnToRm.cabal2
-rw-r--r--ChangeLog8
-rw-r--r--src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom.hs2
-rw-r--r--src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Enclosure.hs2
-rw-r--r--src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Division.hs2
-rw-r--r--src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Elementary.hs2
-rw-r--r--src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Generate.hs12
7 files changed, 13 insertions, 17 deletions
diff --git a/AERN-RnToRm.cabal b/AERN-RnToRm.cabal
index ce95d1f..a2dee5a 100644
--- a/AERN-RnToRm.cabal
+++ b/AERN-RnToRm.cabal
@@ -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
diff --git a/ChangeLog b/ChangeLog
index 584c5aa..56af5ad 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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
diff --git a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom.hs b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom.hs
index d236527..1d1ba9f 100644
--- a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom.hs
+++ b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom.hs
@@ -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
diff --git a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Enclosure.hs b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Enclosure.hs
index d6b9d3a..46eede1 100644
--- a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Enclosure.hs
+++ b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Enclosure.hs
@@ -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
diff --git a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Division.hs b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Division.hs
index 9d2198f..ae88609 100644
--- a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Division.hs
+++ b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Division.hs
@@ -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
diff --git a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Elementary.hs b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Elementary.hs
index 9e8f470..0ef00d8 100644
--- a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Elementary.hs
+++ b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Elementary.hs
@@ -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
diff --git a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Generate.hs b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Generate.hs
index 24a503e..6f9c74c 100644
--- a/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Generate.hs
+++ b/src/Data/Number/ER/RnToRm/UnitDom/ChebyshevBase/Polynom/Tests/Generate.hs
@@ -315,9 +315,9 @@ enclAtKeyPointsPointwiseBinaryDownUpConsistent ::
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 @@ enclAtKeyPointsPointwiseUnaryDownUpConsistent ::
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 @@ enclAtKeyPointsConsistent ::
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