Thread Subject: Constraint Reduction

Hello everyone,

I am working out a problem by hand which basically consists of determining the constraints that a function must satisfy on a lattice in order to have a specific property. I have now written down quite a few constraints, but I am having a bit of trouble reducing them down (i.e. some will be redundant or meaningless). I am wondering if there is any way Matlab can take a system of inequalities and reduce it down. Here are all the constraints (the letters a-f represent the values of the function at the vertices of the lattice)

c >= a
c >= a + b
c >= b
d >= b
a >= b
b >= c + a
e >= c
c >= d + b
f >= d
d >= e + c
d >= e + f
e >= f + d
e >= f
a + d >= b + c
b + e >= c + d
c + f >= d + e

It seems like somewhat of an overwhelming task once one starts doing it by hand, so it would be great if Matlab could help reduce it.

Thanks