Re: [P-1788]: Re objective == infinity
On 2012-09-28 18:15:20 +0100, N.M. Maclaren wrote:
> Right. So there are no closed unbounded intervals.
No, [1,+inf] is closed, because it is the complement of
the open set [-inf,1[. But it is not a compact.
> It does mean that certain functions may need to give an error if
> passed an infinity as an argument, but that's not a major problem.
Not sure what you mean here. Functions take intervals as inputs
(except constructors).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)