Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Datatype translating enclosures from [-1,1]^n
to any compact
interval in R^n
with non-empty interior.
- 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.
ERFnDomTranslApprox | |
|
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) => ERFnDomApprox 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) => 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) => ERApproxElementary (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) | |
(ERUnitFnApprox box varid domra ranra ufa, ERIntApprox ufa, DomainBoxMappable dtrbox box varid (DomTransl domra) domra, Eq dtrbox) => ERIntApprox (ERFnDomTranslApprox dtrbox varid ufa domra) | |
(Binary a, Binary b, Binary c, Binary d) => Binary (ERFnDomTranslApprox a b c d) |
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.
DomTransl | |
|