 Consider a system formula_1 of formula_2 inequalities with formula_3 variables formula_4 to formula_5, with formula_5 the variable to be eliminated.The linear inequalities in the system can be grouped into three classes depending on the sign (positive, negative or null) of the coefficient for formula_5.The original system is thus equivalent to

Elimination consists in producing a system equivalent to formula_21.