如何限制方程组中值的搜索范围？

Question

我正在尝试求解下面给出的方程式。

from sympy.solvers.solveset import nonlinsolve
x, y, z = symbols('x, y, z', real=True)
nonlinsolve([x*y - 1, 4*x**2 + y**2 - 5], [x, y], Interval(-1, 0))

我希望对“间隔”或某事的依赖性类似。和！我想为“ x”和“ y”使用不同的域

至少，我要：

sol = solve([x>=0, x<=3.15, cos(x), y], [x, y])

但是它给了我一个'And'对象，我不知道该怎么处理。

?= 0?≤3.15∧（?= ? / 2?= 3? / 2）

将来，我将有一些三角方程，并且必须限制变量，例如[-pi, pi]或[pi, 3pi]。