I have a set of linear constraints in the form of $c_i x \ge d_i$ and I need to identify if an additional constraint is redundant with respect of the previously mentioned set.
Here I found a similar question, however it is not clear to me how to use Gaussian elimination to identify the redundant constraint.
Do you have any hints on this?
See my answer to this MO question.