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.


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 10:52:03 UTC 2008
Uploaded byMichalKonecny
Downloads937 total (119 in last 30 days)

Modules

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