Bugs item #903072, was opened at 20040223 18:22
Message generated for change (Settings changed) made by macrakis
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=903072&group_id=4933
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
>Summary: is(x < inf) = >true
Initial Comment:
Compare apparently assumes that everything is smaller
than inf:
is(x < inf) => true ??
is(1/x < inf) => true ??
is(tan(x)^2 < inf) => true ??
is(und < inf) => error OK
These are reasonable questions to ask, I think. Even if
we consider that expressions' values range over
standard, finite reals (and not inf/minf, which we reserve
for return results), comparing to infinity has a reasonable
mathematical interpretation, namely: is the expression
bounded by a finite value. Clearly x is not.
On the other hand, x <= inf should always be true, even
for x:'UND (which currently causes an error).
But perhaps we need a global theory of all this stuff.

You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=903072&group_id=4933
