sympy 的 `simplify()` 并非万能，对可提取公因式的多项式（如 `m*a + m*b + n*a + n*b`）往往无动于衷；此时应改用语义明确的 `factor()` 函数，它专为因式分解设计，能直接输出最简乘积形式 `(a + b)*(m + n)`。
在符号计算中，简化（simplification）是一个宽泛概念：simplify() 会综合尝试多种策略（如三角恒等、幂次合并、展开后约简等），目标是使表达式“更简洁”，但其启发式判断并不总以因式分解为优先方向。因此，当你的目标明确是提取公共因子、重组为乘积形式时，应当主动选择更精准的函数——factor()。
factor() 是 SymPy 中专用于多项式因式分解的核心函数，支持单变量与多变量表达式，能自动识别并提取线性组合中的公因结构。例如：
from sympy import factor from sympy.abc import a, b, m, n expr = m*a + m*b + n*a + n*b result = factor(expr) print(result) # 输出: (a + b)*(m + n)
它甚至能处理更复杂的情形，如含幂次、负号或嵌套项：
from sympy import symbols, factor
x, y, z = symbols('x y z')
expr2 = x**2*y - x**2*z + y**2*z - y**3
print(factor(expr2)) # 输出: (x - y)*(x + y)*(y - z)⚠️ 注意事项：
- factor() 要求输入为多项式表达式（polynomial）；若含分式、三角函数、对数等非多项式成分，可能报错或返回原式，此时可先用 expand() 或 together() 预处理；
- 对于超大规模表达式（数十个变量、高次项），factor() 可能较慢，此时可结合 collect() 指定关键变量分步降维，再对系数调用 factor；
- 若需进一步控制因式分解粒度（如只在有理数域分解、或指定扩展域），可使用 factor(..., domain='QQ') 或 extension=[sqrt(2)] 等参数。
总结：不要依赖 simplify() 解决所有简化问题。明确目标——是化简长度？合并同类项？还是因式分解？——然后选用对应函数：expand()（展开）、collect()（按变量聚类）、factor()（乘积分解）、cancel()（分式约简）。这种“语义驱动”的函数选择，才是高效使用 SymPy 的关键实践。
