Alexander, as I said:
> > > There is an "ineq" share file, but that is just for convenience in
> > > *manipulating* inequalities, allowing e.g. x*(a<b) => x*a<x*b (if
> > > x>0).
That is, loading ineq will not help in evaluating inequalities. The
strengths and weaknesses of is/sign/asksign all come directly from the
Lisp code in Maxima.
As you observe, Maxima is not very strong in evaluating inequalities.
Improving that will take some work. In particular, there is currently
no general-purpose deduction mechanism that would allow Maxima to use
axioms directly -- it currently operates entirely though algorithmic
logic. Perhaps you would be interested in contributing to one of these
areas?
-s