#48 strengthen inferences from assumptions

[Anonymous]

(%i1) assume(e>0,e<1);
(%o1) [e > 0, e < 1]

The following is OK:

(%i4) is(e^2<1);
(%o4) true

BUT the following is not OK:

(%i5) is(e^2<2);
(%o5) unknown

If it knows that e^2 is less than 1 then it should also know that e^2 is less than 2 (or any other number larger than 1) but it does not.

[Stavros Macrakis]

Logged In: YES
user_id=588346
Originator: NO

Though it's true that it would be nice if Maxima could determine that e^2<2, this is not an "incorrect result"; "unknown" means that Maxima cannot tell whether the relation is true.

So I have reclassified this as a feature request -- that is, a request that Maxima do a better job.

[Robert Dodier]

Logged In: YES
user_id=501686
Originator: NO

Attempted to make title more descriptive.