Sympy：有没有办法收集和分解常数项

Question

如果我有这个表达：
x ² a ₂ -x ² b ₂ + 2xa ₁ -2xb ₁ + 12a ₀ -12b ₀

我怎么能给我这个？
x ² （a ₂ -b ₂ ）+ 2x（a ₁ - b ₁ ）+ 12（a ₀ -b ₀ ）

这是我的代码：

from sympy import sympify, factor_terms, collect
x = symbols('x', real=True)
a2, a1, a0  = symbols('a2 a1 a0', real = True, constant = True)
b2, b1, b0  = symbols('b2 b1 b0', real = True, constant = True)
c2, c1, c0  = symbols('c2 c1 c0', real = True, constant = True)

expr = sympify(x**2*a2 - x**2*b2 + 2*a1*x - 2*b1*x + 12*a0 - 12*b0)
f_expr = factor_terms(collect(expr, x))
display(f_expr)

返回：
x ² （a ₂ -b ₂ ）+ 2x（a ₁ - b ₁ ）+ 12a ₀ -12b ₀

我正在寻找的是一种收集常数项（ x ⁰ 的系数并能够将它们分解的东西）的方法。
x ² （a ₂ -b ₂ ）+ 2x（a ₁ - b ₁ ）+ 12（a ₀ -b ₀ ）

主要是为了让我可以用另一个变量替换差异。

f_expr.replace(a2 - b2, c2).replace(a1 - b1, c1).replace(a0 - b0, c0)

Answer 1

您必须做一些表情辩论才能使这种情况发生。但是进行代数替换更容易。不用替换a - b -> A而是执行a -> b + A：

>>> from sympy import var
>>> var('x:6')
(x0, x1, x2, x3, x4, x5)
>>> eq = 2*x0-2*x1+3*x2-3*x3+4*x4-4*x5
>>> eq
2*x0 - 2*x1 + 3*x2 - 3*x3 + 4*x4 - 4*x5
>>> eq.subs(dict(x0=x1+x,x2=x3+y,x4=x5+z))
2*x + 3*y + 4*z