-----maxima-bounces at math.utexas.edu wrote: ----- >>?There?is?also?fourier_elim;?but?I?have?no?idea?what?it?does. Fourier elimination is Gauss elimination for linear inequalities; see, for example, http://en.wikipedia.org/wiki/Fourier-Motzkin_elimination. Barton