Recent changes to 517: is(x < inf) => truehttp://sourceforge.net/p/maxima/bugs/517/Recent changes to 517: is(x < inf) => trueenMon, 23 Feb 2004 23:22:18 -0000is(x < inf) => truehttp://sourceforge.net/p/maxima/bugs/517/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.
Stavros MacrakisMon, 23 Feb 2004 23:22:18 -0000http://sourceforge.netfdfbf4954a00c40f6d2d39712f49c5b30d417d53