Re: Simplifying Logs

*To*: mathgroup at smc.vnet.net*Subject*: [mg113147] Re: Simplifying Logs*From*: Bob Hanlon <hanlonr at cox.net>*Date*: Fri, 15 Oct 2010 13:51:37 -0400 (EDT)*Reply-to*: hanlonr at cox.net

That would be written something like ComplexityFunction -> (100 LeafCount[#] + exprSize[#] &) Bob Hanlon ---- Raffy <adraffy at gmail.com> wrote: ============= On Oct 12, 11:39 pm, Themis Matsoukas <tmatsou... at me.com> wrote: > This works as expected and combines the logs: > > Simplify[Log[a] - Log[b], Assumptions -> {a > 0, b > 0}] > > Log[a/b] > > But this doesn't: > > Simplify[1 + Log[a] - Log[b], Assumptions -> {a > 0, b > 0}] > > 1 + Log[a] - Log[b] > > This seems inconsistent to me. I suppose I would like to see a CombineLog= s command in the future. > > Themis 1 + Log[a/b] // LeafCount === 8 1 + Log[a] - Log[b] // LeafCount === 8 ClearAll[exprSize]; exprSize[x_] := StringLength@ToString[Unevaluated[x], InputForm]; SetAttributes[exprSize,HoldFirst]; Caution: exprSize[1+1] ==> "1 + 1" ==> 5 1 + Log[a/b] // exprSize === 12 1 + Log[a] - Log[b] // exprSize === 19 Simplify[1 + Log[a] - Log[b], Assumptions -> {a > 0, b > 0}, ComplexityFunction -> exprSize] === 1 + Log[a/b] It would be great for Mathematica to support multiple complexity functions in case of a tie, similar to SortBy/GatherBy/SplitBy/etc. ie. ComplexityFunction -> {LeafCount, exprSize}