From: SourceForge.net <noreply@so...>  20040223 23:33:24

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 