Fourier-Motzkin-Elimination