generated at
Fourier–Motzkin消去法