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.


Versions0.3.0,,,, 0.4, 0.4.1, 0.4.2, 0.4.9,, 0.5,
Change logChangeLog
DependenciesAERN-Real (==0.9.6), base, binary (>=0.4), containers [details]
Copyright(c) 2007-2008 Michal Konecny
AuthorMichal Konecny (Aston University)
CategoryData, Math
UploadedThu Aug 7 11:12:23 UTC 2008 by MichalKonecny
Downloads3354 total (33 in last 30 days)
0 []
StatusDocs 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


Maintainers' corner

For package maintainers and hackage trustees