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.


Properties

Versions0.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
DependenciesAERN-Real (==0.9.6), base (<3), binary (>=0.4) or
AERN-Real (==0.9.6), base (>=3), binary (>=0.4), containers
LicenseBSD3
Copyright(c) 2007-2008 Michal Konecny
AuthorMichal Konecny (Aston University)
Maintainermik@konecny.aow.cz
Stabilityexperimental
CategoryData, Math
Upload dateThu Aug 7 11:12:23 UTC 2008
Uploaded byMichalKonecny
Downloads1293 total (129 in last 30 days)

Modules

[Index]

Flags

NameDescriptionDefault
containers-in-baseDisabled

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees