AERN-RnToRm-0.5: polynomial function enclosures (PFEs) approximating exact real functions

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.Approx.DomTransl

Description

Datatype translating enclosures from [-1,1]^n to any compact interval in R^n with non-empty interior.

Synopsis

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 

Fields

erfnUnitApprox :: ufa
 
erfnDomTransl :: dtrbox
 

Instances

Typeable4 ERFnDomTranslApprox 
(DomainBoxMappable box dtrbox varid domra (DomTransl domra), ERFnApproxApprox box varid domra ranraa ufa) => ERFnApproxApprox box varid domra ranraa (ERFnDomTranslApprox dtrbox varid ufa domra) 
(ERUnitFnApprox box varid domra ranra ufa, DomainIntBox box varid domra, Show varid, Show box, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, DomainBoxMappable box dtrbox varid domra (DomTransl domra), Eq dtrbox, Ord dtrbox) => ERFnDomApprox box varid domra ranra (ERFnDomTranslApprox dtrbox varid ufa domra) 
(ERUnitFnApprox box varid domra ranra ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, DomainIntBox box varid domra, Show varid, Show box, DomainBoxMappable box dtrbox varid domra (DomTransl domra), Eq dtrbox, Ord dtrbox) => ERFnApprox 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 varid, Data ufa, Data 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) 
(ERUnitFnApprox box varid domra ranra ufa, ERApproxElementary ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox, Ord dtrbox) => ERApproxElementary (ERFnDomTranslApprox dtrbox varid ufa domra) 
(ERUnitFnApprox box varid domra ranra ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox, Ord dtrbox) => ERApprox (ERFnDomTranslApprox dtrbox varid ufa domra) 
(ERUnitFnApprox box varid domra ranra ufa, ERIntApprox ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox, Ord dtrbox) => ERIntApprox (ERFnDomTranslApprox dtrbox varid ufa domra) 
ERApproxApprox ufa => ERApproxApprox (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, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, DomainBoxMappable box dtrbox varid domra (DomTransl domra), HTML ufa) => HTML (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 

Fields

dtrDom :: ira

the interval being mapped

dtrFromUnitSlope :: ira
 
dtrFromUnitConst :: ira
 
dtrToUnitSlope :: ira
 
dtrToUnitConst :: ira
 

Instances

Typeable1 DomTransl 
ERIntApprox domra => Eq (DomTransl domra) 
Data ira => Data (DomTransl ira) 
ERIntApprox domra => Ord (DomTransl domra) 
ERIntApprox domra => Show (DomTransl domra) 
Binary a => Binary (DomTransl a) 
(ERIntApprox domra, HTML domra) => HTML (DomTransl domra)