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?