This module bundles some of the most important functionality of the AERN-RnToRm package. It is intended to be imported *qualified*.
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:
|Produced by Haddock version 2.4.2|