sympy 的 `simplify()` 并非万能，面对可提取公因式的多项式（如 `m*a + m*b + n*a + n*b`），它常无法自动合并为紧凑的乘积形式；此时应优先使用专用函数 `factor()`，它专为代数因式分解设计，效果显著且稳定。
在符号计算中，“简化”一词具有多重含义：simplify() 试图综合权衡表达式的长度、运算符数量、嵌套深度等指标，返回一个“整体更简洁”的形式——但这种通用策略往往忽略明显的代数结构（如公共因子或平方差）。而 factor() 则目标明确：将表达式严格分解为不可约因式的乘积（在有理数域或指定扩展域内），特别擅长识别形如 a·m + a·n + b·m + b·n 这类可重组为 (a + b)(m + n) 的结构。
✅ 正确用法示例：
from sympy import factor, symbols
a, b, m, n = symbols('a b m n')
expr = m*a + m*b + n*a + n*b
factored = factor(expr)
print(factored) # 输出: (a + b)*(m + n)⚠️ 注意事项：
- factor() 默认在有理数域 ℚ 上分解，若表达式含无理数（如 sqrt(2)）或复数，可传入 extension 参数，例如 factor(expr, extension=[sqrt(2)])；
- 对含三角函数、指数或对数的混合表达式，factor() 可能不适用，此时可先用 trigsimp() 或 powsimp() 预处理；
- 若需控制分解粒度（如仅对某变量分组），可结合 collect() 与 factor()：先 collect(expr, [a, b]) 得到 a*(m + n) + b*(m + n)，再对其系数整体 factor()；
- 相比之下，simplify() 更适合处理冗余函数调用（如 sin(x)**2 + cos(x)**2）、分数化简或自动恒等变形，而非结构重组。
? 小结：当你的目标是“提取公因式”“合并同类项成乘积”或“还原代数恒等式结构”时，请果断放弃 simplify()，改用 factor()——它是 SymPy 中实现深度代数压缩最直接、最可靠的选择。
