AERN-RnToRm-0.4.9.1: polynomial function enclosures (PFEs) approximating exact real functions Source code Contents Index

Data.Number.ER.RnToRm.UnitDom.Approx.Interval Portability portable Stability experimental Maintainer mik@konecny.aow.cz

Description

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 Source

Constructors ERFnIntervalAny erfnContext :: ERFnContext ERFnInterval erfnLowerNeg :: fb erfnUpper :: fb erfnContext :: ERFnContext erfnGlobal :: ra Instances Typeable2 ERFnInterval (ERUnitFnBase boxb boxra varid b ra fb, Show varid, Show boxra) => ERFnApprox boxra varid ra ra (ERFnInterval fb ra) (ERUnitFnBase boxb boxra varid b ra fb, Show varid, Show boxra) => 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, Show varid, Show boxra) => Fractional (ERFnInterval fb ra) (Data fb, Data ra) => Data (ERFnInterval fb ra) (ERUnitFnBase boxb boxra varid b ra fb, Show varid, Show boxra) => 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, RealFrac b, Show varid, Show boxra) => ERApproxElementary (ERFnInterval fb ra) (ERUnitFnBase boxb boxra varid b ra fb, Show varid, Show boxra) => ERApprox (ERFnInterval fb ra) (ERUnitFnBase boxb boxra varid b ra fb, Show varid, Show boxra) => ERIntApprox (ERFnInterval fb ra) (Binary a, Binary b) => Binary (ERFnInterval a b) ERUnitFnBase boxb boxra varid b ra fb => HTML (ERFnInterval fb ra)

data ERFnContext Source

Constructors ERFnContext erfnMaxDegree :: Int erfnMaxSize :: Int erfnCoeffGranularity :: Granularity Instances Data ERFnContext Show ERFnContext Typeable ERFnContext Binary ERFnContext

Produced by Haddock version 2.4.2