The AERN-RnToRm package

[Tags:bsd3, library]

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 examples and a test suite can be run via the module in the folder tests.

Properties

Versions 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.10 && <0.10.1), base (==3.*), binary (>=0.4), containers, directory, filepath, html (>=1.0), QuickCheck (>=1.2 && <2), time [details]
License BSD3
Copyright (c) 2007-2009 Michal Konecny, Jan Duracz
Author Michal Konecny (Aston University)
Maintainer mikkonecny@gmail.com
Stability experimental
Category Data, Math
Home page http://www-users.aston.ac.uk/~konecnym/DISCERN
Uploaded Wed Jul 29 10:05:31 UTC 2009 by MichalKonecny
Distributions NixOS:0.5.0.1
Downloads 3438 total (34 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees