AERN-RnToRm-0.5.0.1: polynomial function enclosures (PFEs) approximating exact real functions

Portabilityportable
Stabilityexperimental
Maintainermik@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 
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)