Sympy：化简平方根

Sympy 似乎无法简化涉及变量平方的平方根的表达式：

In [28]: a = x**2
In [29]: b = a**(1/2)
In [30]: b
Out[30]: 
    0.5
⎛ 2⎞   
⎝x ⎠   
In [31]: b.simplify()
Out[31]: 
    0.5
⎛ 2⎞   
⎝x ⎠   

我无法将此与其他变体一起使用simplify，特别是我会认为b.powsimp()应该管用。

In [32]: b.powsimp()
Out[32]: 
    0.5
⎛ 2⎞   
⎝x ⎠   

有谁知道为什么这不起作用，或者我做错了什么？

你的例子有两个问题。

First sqrt(x**2)==x仅适用于positive实数。

二、对于SymPy1/2 and 0.5不是同一件事。第一个是Rational例如，第二个是float实例。

最后举个例子：

>>> x = Symbol('x', real=True)
>>> (x**2)**(1./2)
∣x∣**1.0
>>> (x**2)**(S(1)/2) # S() is short for sympify()
∣x∣

sympify将 python 对象转换为更合适的 SymPy 对象。