|
:: String | indentification of caller location for easier debugging
| -> fa | | -> fa | | Check internal consistency and report problem if any.
|
|
|
|
:: fa | this parameter is not used except for type checking
| -> domra | | -> ranra | |
|
|
|
:: fa | this parameter is not used except for type checking
| -> ranra | | -> domra | |
|
|
|
Get the internal degree of quality (usually polynomial degree)
of the approximation.
|
|
|
Set an upper bound on the degree of this function approximation.
This reduces the degree immediately if necessary and also
affects all operations performed with this value later.
|
|
|
Get the current uppend bound on the degree associated
with this function approximation.
|
|
|
Give a close upper bound of the precision of the range
at the best approximated point in the domain.
|
|
getRangeApprox :: fa -> ranra | Source |
|
Find some upper and lower bounds of the function over [-1,1]^n.
|
|
|
Combine several functions with the same domain into one tuple function.
|
|
|
Reveal how many functions are bundled together.
|
|
applyTupleFn :: ([fa] -> [fa]) -> (fa -> fa) | Source |
|
Modify a tuple of functions in a way
that does not treat the tuple elements uniformly.
|
|
|
Find close upper and lower bounds of the volume of the entire enclosure.
A negative volume means that the enclosure is certainly inconsistent.
|
|
scale :: ranra -> fa -> fa | Source |
|
Multiply a function approximation by a real number approximation.
|
|
|
:: EffortIndex | | -> box | the subdomain; defined by clipping the range of some variables
| -> fa | function to improve by intersecting its subdomain
| -> fa | the enclosure to be used on the subdomain (but defined on the whole domain)
| -> fa | | Intersect one enclosure by another but only on a box within its domain.
|
|
|
intersectMeasureImprovement | Source |
|
|
|
eval :: box -> fa -> [ranra] | Source |
|
Evaluate the function at the given point.
|
|
partialEval :: box -> fa -> fa | Source |
|
Fix some variables in the function to the given exact values.
|
|
|
:: fa | enclosure of f
| -> Map varid fa | specifies the variables to substitute and for each such variable v,
gives an exact enclosure of a function f_v to substitute for v
| -> fa | enclosure of f[v |-> f_v]
BEWARE: Enclosure is probably incorrect where values of f_v are outside the domain of v in f.
| A simple and limited composition of functions.
It is primarily intended to be used for precomposition with affine functions.
|
|