AERN-RnToRm-0.5: polynomial function enclosures (PFEs) approximating exact real functions

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.RnToRm.Approx.PieceWise

Description

Arbitrary precision piece-wise something (eg linear, polynomial, rational) enclosures of functions R^n->R^m.

The type of approximation within segments is specified by an instance of ERFnDomApprox.

The piece-wise construction defines another instance of ERFnDomApprox.

Synopsis

Documentation

data ERFnPiecewise box varid domra fa Source

Arbitrary precision piece-wise something (eg linear, polynomial, rational) enclosures of functions R^n->R^m.

The type of approximation within segments is specified by an instance of ERFnDomApprox.

The piece-wise construction defines another instance of ERFnDomApprox.

Constructors

ERFnPiecewise (BisectionTree box varid domra fa) 

Instances

Typeable4 ERFnPiecewise 
(ERFnDomApprox box varid domra ranra fa, ERIntApprox fa, Show box, DomainBoxMappable box box varid domra domra) => ERFnDomApprox box varid domra ranra (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, ERIntApprox fa, DomainBoxMappable box box varid domra domra, Show box) => ERFnApprox box varid domra ranra (ERFnPiecewise box varid domra fa) 
ERFnDomApprox box varid domra ranra fa => Eq (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Fractional (ERFnPiecewise box varid domra fa) 
(Data box, Data varid, Data domra, Data fa) => Data (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Num (ERFnPiecewise box varid domra fa) 
ERFnDomApprox box varid domra ranra fa => Ord (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, VariableID varid) => Show (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, ERApproxElementary fa, VariableID varid) => ERApproxElementary (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, VariableID varid) => ERApprox (ERFnPiecewise box varid domra fa) 
(ERFnDomApprox box varid domra ranra fa, ERIntApprox fa, VariableID varid) => ERIntApprox (ERFnPiecewise box varid domra fa) 
(Binary a, Binary b, Binary c, Binary d) => Binary (ERFnPiecewise a b c d) 
(ERFnDomApprox box varid domra ranra fa, ERIntApprox fa, HTML fa) => HTML (ERFnPiecewise box varid domra fa)