Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Branch & bound for not everywhere defiend constraints

John Pryce schrieb:


On 7 Sep 2009, at 17:21, Nate Hayes wrote:

This requires two NaIs: "TotallyUndefined" and "PossiblyUndefined". For
example, sqrt([-10,-4]) should return a "TotallyUndefined" NaI, while
sqrt([-3,5]) should return a "PossiblyUndefined" NaI.
What is the difference between "f is TotallyUndefined over X" and "evaluation of f(X) gives Empty"? 

presumably, in a NaI mode, f(X) is empty only when X is already empty.



Arnold Neumaier