By the way: Fourier elimination works for linear equalities or inequalities. The Maxima Fourier elimination code has a pre-processor that converts some nonlinear expressions to a linear form. --Barton