|
A function enclosure with no information about the function's values.
|
|
|
Construct a constant enclosure for a tuple of functions.
|
|
|
:: [ranra] | values at 0
| -> Map varid ([ranra]) | ascents of each base vector
| -> fa | | Construct the exact enclosure of an affine function on [-1,1]^n.
|
|
|
volume :: [varid] -> fa -> ranra | Source |
|
Find close upper and lower bounds of the volume of the entire enclosure.
A negative volume means that the enclosure is certainly inconsistent.
Explicitly specify the variables to identify the dimension of the domain.
|
|
intersectMeasureImprovement | Source |
|
:: EffortIndex | | -> [varid] | | -> fa | | -> fa | | -> (fa, ranra) | enclosure intersection and measurement of improvement analogous to the one
returned by the pointwise RA.intersectMeasureImprovement
| Intersect two enclosures and measure the global improvement as one number.
(Use RA.intersectMeasureImprovement defined in module Data.Number.ER.Real.Approx
to measure the improvement using a function enclosure.)
Explicitly specify the variables to identify the dimension of the domain.
|
|
|
|
:: EffortIndex | how hard to try
| -> fa | function to integrate
| -> varid | x = variable to integrate by
| -> domra | origin in terms of x; this has to be exact!
| -> fa | values at origin
| -> fa | | Safely integrate a [-1,1]^n -> R^m function enclosure
with some initial condition (origin and function at origin).
|
|