AERN-RnToRm-0.4.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
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,
RealFrac
b) =>
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
Source
Constructors
ERFnContext
erfnMaxDegree
::
Int
erfnCoeffGranularity
::
Granularity
Instances
Data
ERFnContext
Show
ERFnContext
Typeable
ERFnContext
Binary
ERFnContext
Produced by
Haddock
version 2.4.2