Data.Number.ER.RnToRm.UnitDom.Approx.IntervalOI

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

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)