标签： maxima
我尝试了logcontract(log(a)/2)但是它保持了表达式不变。我如何让Maxima这样做？
logcontract(log(a)/2)
答案 0 :(得分：0)
不幸的是，没有令人满意的方法来实现这一点。
Maxima的简化规则仅适用于一个方向。鉴于身份，例如f（a）= g（a），Maxima实现f（a） - ＆gt; g（a）或g（a） - > F A）。没有办法从一个切换到另一个。
给定规则f（a） - ＆gt; g（a），可以禁用它，但它很笨拙。如果你想走这条路，请告诉我。