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.


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:07:52 UTC 2008 by MichalKonecny
Downloads3094 total (63 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