Efficient and reliable computation of results for mathematical functions
AssigneeInternational Business Machines Corporation
InventorJohn Robert Ehrman
Life of this patent
Estimating the term…
Abstract
For efficient computation of results for mathematical functions, a method receives a mathematical function call. The call includes a plurality of arguments for which a range of computable results for the mathematical function of the function call varies with respect to the values for the arguments. The method determines whether executing the mathematical function using the plurality of arguments will produce a result within the range of computable results. The method further aborts the mathematical function call prior to initiating execution of the mathematical function in response to determining that the values for the plurality of arguments produce a result outside the range of computable results.
Claims18
A method for efficient computation of results for mathematical functions, the method comprising:
- receiving, by user of a processor, a mathematical function call, the call comprising a plurality of arguments for which a range of computable results for the mathematical function of the function call varies with respect to the values for the arguments;
- determining whether executing the mathematical function using the plurality of arguments will produce a result within the range of computable results;
- and
- aborting the mathematical function call prior to initiating execution of the mathematical function in response to determining that the values for the plurality of arguments produce a result outside the range of computable results.
A method for efficient computation of results for mathematical functions, the method comprising:
- receiving, by use of a processor, a mathematical function call, the call comprising a plurality of arguments for which a range of computable results for the mathematical function of the function call varies with respect to the values for the arguments;
- determining whether executing the mathematical function using the plurality of arguments will produce a result within the range of computable results;
- aborting the mathematical function call prior to initiating execution of the mathematical function in response to determining that the values for the plurality of arguments produce a result outside the range of computable results;
- wherein the plurality of arguments comprise a first argument value and a second argument value and the range of computable results defines at least one boundary value for the second argument value, the boundary value varying as the first argument value varies;
- and
- reading a first value associated with a first argument of the mathematical function and a second value associated with a second argument;
- retrieving a boundary value from a repository of predefined boundary values defined for the mathematical function over a domain of the first argument, the boundary value retrieved using the first value;
- and
- determining whether the second value satisfies the boundary value.
Dependencies are inferred from the claim text.