AERN-RnToRm: polynomial function enclosures (PFEs) approximating exact real functions

[ bsd3, data, deprecated, library, math ] [ Propose Tags ]
Deprecated

AERN-RnToRm provides datatypes and abstractions for approximating functions of type D -> R^m where D is a bounded interval in R^n with non-empty interior.

The main datatype are function enclosures whose boundaries are piece-wise polynomial with a bounded degree. (This degree can be set arbitrarily high or as low as 0.) This datatype is supported by safely rounding operations whose precision can be increased arbitrarily, so that they all converge to the exact operations. Field operations, integration, maximisation and some elementary operations (namely exp, sin, cos) are among those already implemented.

For an architectural overview, see module Data.Number.ER.RnToRm.

A mathematical description of the very basics as well as a brief comparison with Taylor Models is included in the paper http://www-users.aston.ac.uk/~konecnym/papers/cfv08.html.

Simple examples of usage can be found in folder tests.

Modules

[Last Documentation]

  • Data
    • Number
      • ER
        • Data.Number.ER.RnToRm
          • Data.Number.ER.RnToRm.Approx
            • Data.Number.ER.RnToRm.Approx.DomEdges
            • Data.Number.ER.RnToRm.Approx.DomTransl
            • Data.Number.ER.RnToRm.Approx.PieceWise
            • Data.Number.ER.RnToRm.Approx.Tuple
          • Data.Number.ER.RnToRm.BisectionTree
            • Data.Number.ER.RnToRm.BisectionTree.Integration
            • Data.Number.ER.RnToRm.BisectionTree.Path
          • Data.Number.ER.RnToRm.DefaultRepr
          • Data.Number.ER.RnToRm.TestingDefs
          • UnitDom
            • Data.Number.ER.RnToRm.UnitDom.Approx
              • Data.Number.ER.RnToRm.UnitDom.Approx.Interval
            • Data.Number.ER.RnToRm.UnitDom.Base
            • ChebyshevBase
              • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Basic
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Bounds
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Compose
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Division
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Elementary
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Enclosure
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Eval
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Integration
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Reduce
                • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Ring
                • Tests
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Bounds
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Compose
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Division
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Elementary
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Enclosure
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Generate
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Reduce
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Ring
                  • Data.Number.ER.RnToRm.UnitDom.ChebyshevBase.Polynom.Tests.Run

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.3.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.4, 0.4.1, 0.4.2, 0.4.9, 0.4.9.1, 0.5, 0.5.0.1
Change log ChangeLog
Dependencies AERN-Real (>=0.9.9), base (>=3 && <4), binary (>=0.4), containers, directory, filepath, html (>=1.0), QuickCheck (>=1.2 && <2), time [details]
License BSD-3-Clause
Copyright (c) 2007-2008 Michal Konecny
Author Michal Konecny (Aston University)
Maintainer mik@konecny.aow.cz
Category Data, Math
Uploaded by MichalKonecny at 2009-02-23T16:40:58Z
Distributions
Reverse Dependencies 3 direct, 0 indirect [details]
Downloads 11027 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-02 [all 6 reports]