| ||||||||

| ||||||||

Description | ||||||||

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 Abstractions are provided via 4 type classes: -
`ERUnitFnBase`: generalises polynomials with floating point coefficients. (*Not exported here, used only internally.*) -
`ERFnApprox`: generalises functions enclosures on a certain unspecified domain. -
`ERUnitFnApprox`(extends`ERFnApprox`): generalises function graph enclosures on the domain`[-1,1]^n`. (*Not exported here, used only internally.*) -
`ERFnDomApprox`(extends`ERFnApprox`): generalises function enclosures over a specified and queriable domain box (instance of class`DomainBox`).
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 By using the Chebyshev basis on domain Implementations of Implementations of -
`ERFnDomTranslApprox`: builds a basic implementation using an instance of`ERUnitFnApprox`. -
`ERFnTuple`: extends another implementation of`ERFnDomApprox`to work with lists of functions simultaneously. -
`ERFnDomEdgesApprox`: separately enclose a function on its domain box as well as on all the domain's hyper-edges (including the corners) using another implementation of`ERFnDomApprox`. -
`ERFnPiecewise`: allows the domain box to be bisected to an arbitrary finite depth and uses another implementation of`ERFnDomApprox`to approximate the function on each segment.
| ||||||||

Documentation | ||||||||

module Data.Number.ER.RnToRm.DefaultRepr | ||||||||

module Data.Number.ER.RnToRm.Approx | ||||||||

Produced by Haddock version 2.1.0 |