Data.Number.ER.RnToRm.UnitDom.Approx.Interval

A construction of an 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 ERFnInterval fb

Constructors

ERFnIntervalAny

Fields

erfnContext :: ERFnContext

ERFnInterval

Fields

erfnLowerNeg :: fb

erfnUpper :: fb

erfnContext :: ERFnContext

Instances

Typeable1 ERFnInterval

(ERUnitFnBaseElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERFnApprox boxra varid ra ra (ERFnInterval fb)

(ERUnitFnBaseElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERUnitFnApprox boxra varid ra ra (ERFnInterval fb)

ERUnitFnBase boxb boxra varid b ra fb => Eq (ERFnInterval fb)

(ERUnitFnBaseElementary boxb boxra varid b ra fb, Show varid, Show boxra) => Fractional (ERFnInterval fb)

Data fb => Data (ERFnInterval fb)

(ERUnitFnBaseElementary boxb boxra varid b ra fb, Show varid, Show boxra) => Num (ERFnInterval fb)

ERUnitFnBase boxb boxra varid b ra fb => Ord (ERFnInterval fb)

ERUnitFnBase boxb boxra varid b ra fb => Show (ERFnInterval fb)

(ERUnitFnBaseElementary boxb boxra varid b ra fb, ERApproxElementary ra, Show varid, Show boxra) => ERApproxElementary (ERFnInterval fb)

(ERUnitFnBaseElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERApprox (ERFnInterval fb)

(ERUnitFnBaseElementary boxb boxra varid b ra fb, Show varid, Show boxra) => ERIntApprox (ERFnInterval fb)

Binary a => Binary (ERFnInterval a)

ERUnitFnBase boxb boxra varid b ra fb => HTML (ERFnInterval fb)

data ERFnContext

Constructors

ERFnContext

Fields

erfnMaxDegree :: Int

erfnMaxSize :: Int

erfnCoeffGranularity :: Granularity

Instances

Data ERFnContext

Show ERFnContext

Typeable ERFnContext

Binary ERFnContext

erfnContextDefault :: ERFnContext

erfnContextUnify :: ERFnContext -> ERFnContext -> ERFnContext