ineq: sum of identical inequalities is not inequality

I don't know what you are trying to get maxima to do,
but I suggest you separate out the right and left sides
of the inequalities before you do arithmetic.  What
does  (a>b)+(c<d)   mean??

Perhaps better:

If you convert your inequalities to a list of expressions
that are always positive, such as t-t2, t-t1, t2-t1, t-2, t1-2,
eliminating redundant ones, then maybe you can compute what
you want.  If you need to know, for example, if a point is in
the interior of a complicated region, I suggest that you do NOT
depend on "assume" to do the calculation.

Good luck.
RJF


Alexander Vidybida wrote:

>Is it possible to correct the ineq package in such a way that it will not fail 
>for identical inequalities? When I obtain a list of inequalities as an output 
>of a program, among them may occur identical, (C4),(D4), below. Then I need to 
>construct sum of any subset of those inequalities. But sum of two identical 
>inequalities is not an inequality, (C8)-(D10),(D13), below. This problem
>occurs for both old and new ineq packages. Appreciate any suggestions.
>
>(C4) Lims:LINEQ(L);
>(D4)           [t2 < t, t1 < t, t1 < t2, t1 < t, 2 < t, 2 < t1]
>(C5) Lims[1]+Lims[2];
>(D5)                             t2 + t1 < 2 t
>(C6) assume(Lims[1]+Lims[2])$ facts();
>(C7) 
>(D7)                         [- t2 - t1 + 2 t > 0]
>(C8) assume(Lims[2]+Lims[4])$ facts();
>(C9) 
>(D9)                     [- t2 - t1 + 2 t > 0, FALSE]
>(C10) Lims[2]+Lims[4];          
>(D10)                             2 (t1 < t)
>(C11) assume(t1<t)$
>(C12) is(Lims[1]+Lims[2]);
>(D12)                                TRUE
>(C13) is(Lims[2]+Lims[4]);
>
>*** - argument to LOGAND should be an integer: (4194304)
>The following restarts are available:
>R1 = Macsyma top-level
>
>1. Break [1]> 
>
>_______________________________________________
>Maxima mailing list
>Maxima@www.math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima
>  
>