Simplifying Logarithms of Fractions

[trkern]

"KAS.parse("log(.1)").expr.simplify().print()" outputs "log_(10) (0.1)". Any chance of getting it to output "-1"?

Simplify correctly handles "-log(1/.1)", so this should be as simple as checking which of log(x) and -log(1/x) is simpler, and returning that.

Similarly for "KAS.parse("log_(9) (3)").expr.simplify().print()" which outputs "log_(9) (3)" but should output "1/2". Just check which of log_(a)(b) and 1/(log_(b)(a)) is simpler and return that, once you've handled log_(3)(9) (which also doesn't simplify).

[k4b7]

What you've suggested seems like pretty reasonable changes to make.