Sympy指数运算法则未生效？含符号指数的代数计算问题

Sympy默认的化简逻辑不会自动合并u**n / u或u**n * u这类同底数幂的运算，需要通过专门的函数触发：

1. 使用powsimp()函数 #

这是专门用于简化幂运算的函数，默认会合并同底数的幂项：

from sympy import *
u, n = symbols('u n')

# 化简除法表达式
expr_div = u**n / u
print(powsimp(expr_div))  # 输出: u**(n-1)

# 化简乘法表达式
expr_mul = u**n * u
print(powsimp(expr_mul))  # 输出: u**(n+1)

2. 使用expand_power_exp()函数 #

该函数会展开指数的乘积形式，同样能实现同底数幂的合并：

from sympy import *
u, n = symbols('u n')

print(expand_power_exp(u**n / u))  # 输出: u**(n-1)
print(expand_power_exp(u**n * u))  # 输出: u**(n+1)

额外说明 #

如果u可能为0、负数，或者n为非整数，指数运算法则不一定成立，Sympy会保持原式避免错误。若能确定u是正数，可以在定义符号时添加约束，此时默认化简就会自动合并：

u = symbols('u', positive=True)
n = symbols('n')

print(u**n / u)  # 自动输出: u**(n-1)
print(u**n * u)  # 自动输出: u**(n+1)

内容的提问来源于stack exchange，提问作者underflow