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 | |
(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) |
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 | |
|