Patent ID: 8468190
Filing Date: 2013-06-18
Classification: G06F

Abstract:
1. A machine executed method to evaluate a metacomplex interval expression to return a metacomplex interval guaranteed to include all image points of evaluation, with an efficacy test result, by comparing a metric representing a difference between safe interval rounding and unsafe interval rounding against a predetermined efficacy cutoff value, comprising: (A) specifying, by a machine executing stored instructions, an evaluation sequence of interval operators, interval operands, and postimage intervals, for an interval expression, including branchcut criteria for said interval operands which require auxiliary branchcut information, (B) selecting, by the machine executing stored instructions, at least one dual interval operator from a dual interval operator pool, (C) evaluating, by the machine executing stored instructions, a dual postimage interval by applying said at least one dual interval operator of said dual interval operator pool, as directed by the evaluation sequence, (D) comparing, by the machine executing stored instructions, an efficacy cutoff value to an efficacy metric of the dual postimage interval, and (E) determining, by the machine executing stored instructions, a final dual postimage interval after applying a result of said comparing of said efficacy cutoff value, (F) returning, via a dual evaluator operating on the machine, the final dual postimage interval.