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.

Abstractions are provided via 4 type classes:

At all levels, all field operations are supported as well as some elementary operations, namely exp, sin and cos. Log and sqrt are planned to be added soon. End users are expected to work only with implementations of ERFnDomApprox.

Implementations of ERUnitFnBase:

By using the Chebyshev basis on domain [-1,1]^n, we gain simple and optimally rounding degree reduction as well as relatively simple handling of rounding in other operations.

Implementations of ERUnitFnApprox:

Implementations of ERFnDomApprox:

Simple examples of usage can be found in tests: Demo.hs.


Versions 0.3.0,,,, 0.4, 0.4.1, 0.4.2, 0.4.9,, 0.5,
Change log ChangeLog
Dependencies AERN-Real (==0.9.6), base, binary (>=0.4), containers [details]
License BSD3
Copyright (c) 2007-2008 Michal Konecny
Author Michal Konecny (Aston University)
Stability experimental
Category Data, Math
Uploaded Thu Aug 7 11:12:23 UTC 2008 by MichalKonecny
Distributions NixOS:
Downloads 3738 total (11 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]





Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees