AERN-RnToRm-0.4: polynomial function enclosures (PFEs) approximating exact real functionsSource codeContentsIndex
Data.Number.ER.RnToRm.Approx.DomTransl
Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz
Description
Datatype translating enclosures from [-1,1]^n to any compact interval in R^n with non-empty interior.
Synopsis
data ERFnDomTranslApprox dtrbox varid ufa ira = ERFnDomTranslApprox {
erfnUnitApprox :: ufa
erfnDomTransl :: dtrbox
}
data DomTransl ira = DomTransl {
dtrDom :: ira
dtrFromUnitSlope :: ira
dtrFromUnitConst :: ira
dtrToUnitSlope :: ira
dtrToUnitConst :: ira
}
Documentation
data ERFnDomTranslApprox dtrbox varid ufa ira Source
Datatype translating enclosures from [-1,1]^n to any compact interval in R^n with non-empty interior using a bunch of linear maps, one for each dimension.
Constructors
ERFnDomTranslApprox
erfnUnitApprox :: ufa
erfnDomTransl :: dtrbox
show/hide Instances
Typeable4 ERFnDomTranslApprox
(ERUnitFnApprox box varid domra ranra ufa, DomainIntBox box varid domra, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, DomainBoxMappable box dtrbox varid domra (DomTransl domra), Eq dtrbox) => ERFnApprox box varid domra ranra (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, DomainIntBox box varid domra, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, DomainBoxMappable box dtrbox varid domra (DomTransl domra), Eq dtrbox) => ERFnDomApprox box varid domra ranra (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, Eq dtrbox) => Eq (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox) => Fractional (ERFnDomTranslApprox dtrbox varid ufa domra)
(Data dtrbox, Data ufa, Typeable varid, Typeable ira) => Data (ERFnDomTranslApprox dtrbox varid ufa ira)
(ERUnitFnApprox box varid domra ranra ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox) => Num (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, Ord ufa, Eq dtrbox) => Ord (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra) => Show (ERFnDomTranslApprox dtrbox varid ufa domra)
(Binary a, Binary b, Binary c, Binary d) => Binary (ERFnDomTranslApprox a b c d)
(ERUnitFnApprox box varid domra ranra ufa, ERApproxElementary ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox) => ERApproxElementary (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, ERIntApprox ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox) => ERIntApprox (ERFnDomTranslApprox dtrbox varid ufa domra)
(ERUnitFnApprox box varid domra ranra ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox) => ERApprox (ERFnDomTranslApprox dtrbox varid ufa domra)
data DomTransl ira Source

The canonical translation of any compact non-empty and non-singleton interval in R to and from the unit interval [-1,1].

This structure holds the two coefficients for both linear mappings.

Constructors
DomTransl
dtrDom :: irathe interval being mapped
dtrFromUnitSlope :: ira
dtrFromUnitConst :: ira
dtrToUnitSlope :: ira
dtrToUnitConst :: ira
show/hide Instances
Produced by Haddock version 2.1.0