如何用 sympy 求解器判断变量是否固定？

Question

我正在编写一个脚本来尝试求解二次形式，高度怀疑变量的值只能是 1 或 -1。我可以使用 SymPy 轻松获得此限制，但在许多情况下，1 或 -1 在至少一个解决方案集中起作用。我想知道是否有任何变量的值是固定的或只有 1 个解。

可悲的是，求解奇异变量不能与其他自由变量一起正常工作。手动查看答案是有效的，但它可能会导致变量数量的运行时间呈指数级增长。有人知道如何轻松检查 SymPy 中单个变量是否具有固定值吗？

Answer 1

如果变量

x

在表达式中是“固定”的（即，从您的描述来看，它有一个有理值），它将显示为因子

x-n

，其中

n

是某个数值表达式。尝试考虑你的表情

from sympy.abc import *
from sympy import *
>>> factor(-a*x + a + x**2 - x)
(-a + x)*(x - 1)