Unfortunately, Maxima does not currently know that a>b implies a>b-5 :
assume(a>b)$
is(a>b-5);
=> Maxima was unable to evaluate the predicate
Obviously this sort of thing should be improved.
On 8/1/06, none none <lots.of.mailing.lists at gmail.com> wrote:
>
> (%i1) assume(a > b);
> (%o1) [a > b]
> (%i3) max(a, b - 5);
> (%o3) max(b - 5, a)
>
> Surely maxima is able to see that 'max(b - 5, a)' is always 'a'?
>