| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.RnToRm.UnitDom.Approx.Interval
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 Source
Constructors
| ERFnIntervalAny | |
Fields | |
| ERFnInterval | |
Fields
| |
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 Source
Constructors
| ERFnContext | |
Fields | |