Revision history [back]

If you read the documentation for solve_ineq you'll see that if you call solve_ineq with an inequality as the argument, it's passed to Maxima assuming that it's a rational inequality (which this is certainly not). If you pass the inequality and variable as lists, Maxima is instructed to use the "Fourier elimination procedure" which can solve some general non-linear inequalities, but not this one unfortunately.

See "Case 1" and "Case 2" in the documentation for solve_ineq.