Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI
Description
A construction of an outer/inner enclosure of a real function on the domain [-1,1]^n for some n using elements of some base (eg rational functions or polynomials).
Documentation
data ERFnIntervalOI fb Source
Constructors
ERFnIntervalOIAny | |
Fields | |
ERFnIntervalOI | |
Fields
|
Instances
Typeable1 ERFnIntervalOI | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERFnApprox boxra varid ra ra (ERFnIntervalOI fb) | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERUnitFnApprox boxra varid ra ra (ERFnIntervalOI fb) | |
(ERUnitFnBaseEncl boxb boxra varid b ra fb, ERUnitFnBaseIEncl boxb boxra varid b ra fb) => ERFnApproxApprox boxra varid ra (ERApproxOI ra) (ERFnIntervalOI fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Eq (ERFnIntervalOI fb) | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, Show varid, Show boxra) => Fractional (ERFnIntervalOI fb) | |
Data fb => Data (ERFnIntervalOI fb) | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, Show varid, Show boxra) => Num (ERFnIntervalOI fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Ord (ERFnIntervalOI fb) | |
ERUnitFnBase boxb boxra varid b ra fb => Show (ERFnIntervalOI fb) | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, ERApproxElementary ra, Show varid, Show boxra) => ERApproxElementary (ERFnIntervalOI fb) | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERApprox (ERFnIntervalOI fb) | |
(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERIntApprox (ERFnIntervalOI fb) | |
ERUnitFnBase boxb boxra varid b ra fb => ERApproxApprox (ERFnIntervalOI fb) | |
Binary a => Binary (ERFnIntervalOI a) | |
ERUnitFnBase boxb boxra varid b ra fb => HTML (ERFnIntervalOI fb) |