How to simplify inequalities

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 ?

Answer 1

[Apoorv Singh]

Hey Achim, this might help: https://in.mathworks.com/matlabcentral/fileexchange/7897-noredund-remove-redundant-linear-constraints-or-inequalities

[madhan ravi]

Apoorv the OP is dealing with MUPAD.

Answer 2

[Achim Clausing]

I guess this is what I am looking for. Unfortunately, I know little of Matlab. I do everything in Mupad.

Thanks anyway!