Как преобразовать log(a)/2 в log(sqrt(a))?

Question

Я старался logcontract(log(a)/2) но это оставило выражение без изменений. Как мне заставить Максиму сделать это?

Answer 1

К сожалению, нет удовлетворительного способа сделать это.

Правила упрощения Maxima работают только в одном направлении. Учитывая идентичность, например, f(a) = g(a), Maxima реализует либо f (a) -> g(a), либо g (a) -> f (a). Нет способа переключиться с одного на другой.

Учитывая правило f (a) -> g(a), его можно отключить, но оно неуклюже. Дайте мне знать, если вы хотите пойти по этому пути.