Data.Number.ER.RnToRm.Approx.DomTransl

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

Documentation

data ERFnDomTranslApprox dtrbox varid ufa ira

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

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)