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 ra

Constructors

ERFnIntervalAny

Fields

erfnContext :: ERFnContext

ERFnInterval

Fields

erfnUpper :: fb

erfnLowerNeg :: fb

erfnContext :: ERFnContext

erfnGlobal :: ra

Instances

Typeable2 ERFnInterval

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

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

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

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

(Data fb, Data ra) => Data (ERFnInterval fb ra)

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

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

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

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

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

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

(Binary a, Binary b) => Binary (ERFnInterval a b)

data ERFnContext

Constructors

ERFnContext

Fields

erfnMaxDegree :: Int

erfnCoeffGranularity :: Granularity

Instances

Data ERFnContext

Show ERFnContext

Typeable ERFnContext

Binary ERFnContext