Revision history [back]
 | 1 | initial version |
You can use sympy:
sage: import sympy
sage: x = sympy.Symbol('x')
sage: ineq = sympy.exp(x) >= 5
sage: ineq
exp(x) >= 5
sage: type(ineq)
<class 'sympy.core.relational.StrictGreaterThan'>
sage: sympy.solve_univariate_inequality(ineq,x)
And(log(5) <= x, x < oo)
