There is an undocumented user-contributed feature of Maxima for rational inequalities: solve_rat_ineq().
Here are few examples of its capabilities and limitations:
There is an undocumented user-contributed feature of Maxima for rational inequalities: solve_rat_ineq().
Here are few examples of its capabilities and limitations: