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 erfnoiContext :: ERFnContext
ERFnIntervalOI
Fields erfnoiContext :: ERFnContext erfnoiOuter :: (fb, fb) erfnoiInner :: ((fb, fb), Bool)

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)