関数 solve は、ineq の等号が成立する点を正しく並べられる全ての場合について、1 変数の 1 つの不等式を解きます。

signum 関数を使用した例がいくつか追加されました。

assume(a,real);
solve(a*x < b, {x});

solve(a^2*x^2 >= 0, x);

solve(x+1/x > 0, x);

solve((x-1)*(x-2)*(x-3) < 0, x);

solve((x-1+a)*(x-2+a)*(x-3+a) < 0, {x});

solve(exp(x) > x+1);