Python 不等式的辛右手边

我用辛解一个简单的不等式。解决它之后，我想将解决方案的右侧指定给一个新变量

from sympy.solvers.inequalities import reduce_rational_inequalities
from sympy import Symbol

x = Symbol('x', real=True)
sol = reduce_rational_inequalities([[x*0.2 >= 1]], x)
print type(sol), '\n', sol
>> <class 'sympy.core.relational.GreaterThan'> 
   x >= 5.0

---

有什么办法可以做到这一点吗？

这里不需要括号，

.rhs

是一个属性。你可以写：

rhs = sol.rhs

---

sol.rhs

将返回一个SymPy

Float

对象。

谢谢！我错过了代码中的

@属性

装饰程序。

rhs = sol.rhs