
:: 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  the enclosure to be used on the subdomain (but defined on the whole domain)
 > fa  function to improve by intersecting its subdomain
 > 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.

