Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Auxiliary functions for use in test for polynomial enclosure arithmetic.
Documentation
:: (ERUnitFnBase boxb boxra varid b ra fb, Show boxra, Show testId) | |
=> String | report file name |
-> testId | item to identify the random input given to the test |
-> fb | |
-> fb | |
-> Bool |
fbAtKeyPointsPointwiseBinaryDownUpConsistentSource
:: (ERUnitFnBase boxb boxra varid b ra fb, Show boxra, Show testId) | |
=> String | report file name |
-> testId | item to identify the random input given to the test |
-> (ra -> ra -> ra) | |
-> fb | |
-> fb | |
-> (fb, fb) | |
-> Bool |
enclAtKeyPointsPointwiseBinaryInnerInOuterSource
:: (ERUnitFnBaseEncl boxb boxra varid b ra fb, Show boxra, Show testId) | |
=> String | report file name |
-> testId | item to identify the random input given to the test |
-> (ra -> ra -> ra) | this real approx operation has to return an *inner* approximation of the exact result set, ie each number that the approximation supports is in the maximal extension |
-> (fb, fb) | enclosure of argument 1 |
-> (fb, fb) | enclosure of argument 2 |
-> (fb, fb) | alleged enclosure of result |
-> Bool |
enclAtKeyPointsPointwiseUnaryInnerInOuterSource
:: (ERUnitFnBaseEncl boxb boxra varid b ra fb, Show boxra, Show testId) | |
=> String | report file name |
-> testId | item to identify the random input given to the test |
-> (ra -> ra) | this real approx operation has to return an inner approximation of the exact result set, ie each number that the approximation supports is in the maximal extension |
-> (fb, fb) | enclosure of argument |
-> (fb, fb) | alleged enclosure of result |
-> Bool |
enclAtKeyPointsConsistentSource
:: (ERUnitFnBaseEncl boxb boxra varid b ra fb, Show boxra, Show testId) | |
=> String | report file name |
-> testId | item to identify the random input given to the test |
-> (boxra -> ra) | this operation has to return an inner approximation of the exact result set, ie each number that the approximation supports is a solution in the maximal extension |
-> [varid] | variables to test over |
-> (fb, fb) | alleged enclosure of result |
-> Bool |