Solving Linear Inequalities with Rational Coefficients