Minimal set of inequalities
I have a set of m linear inequalities in Rn, of the form
These are automatically generated from the specification of my problem. Many of them could be removed because they are implied by the others.
I would like to find the minimal set of inequalities,
such that a solution to the first problem is also a solution to the second, and vice versa.