我正在尝试进行通用子表达式替换。
我想将 x*y
形式的任何表达式完全替换为 c
。
请注意,x
和y
可以是表达式中的任何符号。
在下面的代码中,我使用 Wild 来实现这一点,但显然我无法只使用 Wild 匹配符号,而不是子表达式 - 即使使用 isinstance=[sp.Symbol]
。
import sympy as sp
a, b, c = sp.symbols('a b c')
f= a*b - b
x = sp.Wild('x', isinstance=[sp.Symbol])
y = sp.Wild('y', isinstance=[sp.Symbol])
expr = f.replace(x*y, c)
这导致了以下结果,
print expr
c
预期的答案是:c - b
非常感谢您的帮助!
谢谢!
最佳答案
isinstance
不是 Wild
的真正参数。
您正在寻找的参数是properties
。虽然它似乎没有记录,但该参数采用一个函数列表,这些函数应该适用于匹配的表达式。您可以使用它来将符号与
In [7]: f= a*b - b
In [14]: y = sp.Wild('y', properties=[lambda x: isinstance(x, Symbol)])
In [15]: x = sp.Wild('x', properties=[lambda x: isinstance(x, Symbol)])
In [16]: f.replace(x*y, c)
Out[16]: -b + c
关于python - Sympy:使用 Wild 符号替换,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36168011/