python - Sympy:使用 Wild 符号替换

Question

我正在尝试进行通用子表达式替换。

我想将 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

非常感谢您的帮助!

谢谢!

Answer 1

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