Sympy 求解器排除结果

Question

我想知道 Sympy 是否有可能解决这种简单的方程式，尤其是这个：

sol = solve(x**2)

但条件如下：

• 溶胶[0] < n (n is a real number )
• 溶胶[0] != n
• 米< sol[0] < n (m is a real number too)

如果我可以为

提出相同的条件

Product( k, (k, 1, 3) ).doit()

如果可能的话还有其他的。

谢谢。

阅读文档数小时，一无所获。

查看 stackoverflow 和互联网上的其他地方

我有点不是专家所以我找到了那些但不确定它是否回答了我的问题因为我不明白他们说的是什么：

• sympy消除或机会不希望的结果
• 无论如何我可以排除一些 sympy 求解器的解决方案吗？
• SymPy 与假设的集成
• 用 SymPy 假设一个符号介于 0 和 1 之间？

Answer 1

你的问题太笼统，不好回答。您要解决的是单变量表达式吗？您期望封闭形式的解决方案吗？您可以使用

solveset

并为其提供搜索解决方案的域，

>>> from sympy import *
>>> from sympy.abc import x,n
>>> solveset(x**2-1, x, Interval(0,3))
{1}
>>> solveset(x**2-1, x, (x<3).as_set())
{-1, 1}

我不知道你想用产品做什么，但是

>>> Product( k, (k, 1, 3) ).doit() < n
6 < n
>>> Product( k, (k, 1, 3) ).doit() < 1
False