diff --git a/AERN-RnToRm.cabal b/AERN-RnToRm.cabal --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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 @@ 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