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.

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)
Category Data, Math
Uploaded Thu Aug 7 10:52:03 UTC 2008 by MichalKonecny
Distributions NixOS:
Downloads 3767 total (13 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