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

Re: [P-1788]: Re objective == infinity



Baker Kearfott wrote:
> Does this mean we should revisit our decision that
> intervals are subsets of the set of real numbers?

Nick Maclaren pointed out the danger of "arbitrary subset",
but all we ever considered was intervals, bounded or not.

The use of Infinity as a bound is just a notation for unbounded,
and Motion 3 makes clear that the Infinity of Extended Reals is
never included as an element of an interval.

So I don't see a problem here.

Sorry I missed the ongoing discussions; it was a bit early for
my timezone...

Michel.
---Sent: 2012-09-28 14:50:21 UTC