I want to simplify linear equalities (in two variables) in mupad. For example, how can I simplify
c1 := b<=a and a<=0 and 0<=2*a+b+1 and 0<=a+b+1
The last inequality in this condition is superfluous. How can I bring mupad to simplify c1 to
c2 := b<=a and a<=0 and 0<=2*a+b+1 ?