如何将 log(a)/2 转换为 log(sqrt(a))?

How to transform log(a)/2 into log(sqrt(a))?

我试过 logcontract(log(a)/2) 但它没有改变表达式。我怎样才能让 Maxima 做到这一点?

不幸的是,没有令人满意的方法来实现它。

Maxima 的简化规则只适用于一个方向。给定一个身份,例如f(a) = g(a),Maxima 实现 f(a) --> g(a) 或 g(a) --> f(a)。无法从一个切换到另一个。

给定规则 f(a) --> g(a),可以禁用它,但它很笨拙。如果您想走那条路,请告诉我。