python - Sympy:求解分数

Question

我有一个方程，我需要解它的分数。我有更复杂的公式需要求解，但这里是一个最小的示例:采用以下简单函数 Y = X*a。我想求解 Y/X，所以我期望 Y/X =a。这是代码，它生成一组空答案

from sympy import *
X,Y,a = symbols('X Y a')
testEq = Eq(Y,X*a)
solve(testEq,Y/X)

我想我误解了一些东西，感谢任何帮助!

Answer 1

solve 函数可以求解子表达式，前提是子表达式“按原样”出现在正在求解的方程中。例如，在以下代码中，solve 返回 testEq 的空解，但返回 testEq2 的正确解，这是重新排列的同一方程就 Y/X 而言。

from sympy import *
X,Y,a = symbols('X Y a')
testEq = Eq(Y,X*a)
solve(testEq,Y/X)
testEq2 = Eq( Y/X, a )
sol = solve(testEq2,Y/X)

这一点也不奇怪，也不无道理。如果您查看 solve 函数的源代码，它使用类似

的代码

>>> testEq.has( Y/X ) # returns False
>>> testEq2.has( Y/X ) # returns True

检查我们正在求解的符号(或 sympy 对象)是否存在于方程中。如果 SymPy 必须检查将表达式的符号组合成子表达式的所有可能方式，那么对于可以通过其他方式轻松实现的东西(例如求解 Y 并除以 X，在此示例中)。

符号计算包可以帮助我们处理复杂的数学方程。但它们并不能替代人类智力。通常，我们需要引导这些包来帮助它们以我们想要的形式给出答案，同时解决它们的局限性。