我正在使用python 2.7和sympy . 我想解决一个等式，但考虑到变量的值受到约束（并非整数变量的所有值），例如 -25 <= a <= 25 .
我该怎么做呢？
My code
from sympy import *
from sympy import sin
from sympy.solvers import solve
a, b, c, d = symbols('a b c d')
print solve(cos(a)*sin(b) - sin(a)*cos(b)*cos(d - c), a, b, c, d)
1 回答
我发现你可以为求解器提供一组方程，例如：
sp.solve（[cos（a）* sin（b） - sin（a）* cos（b）* cos（d - c），a 25]，a，b，c，d）
也就是说，参数是可迭代的 .
但是，为了实现我最终需要的东西，我必须使用不等式求解器 .