floor(log(4)/log(2)) = 1 ??



Hi,

floor(log(4) / log(2));
Evaluation took 0.21 seconds (0.24 elapsed) using 3.675 MB.
(%o141)                                          1

I don't find that very impressive.

Furthermore, I couldn't find any simplification rule which
would yield log(4) / log(2) = 2 ??

I would assume that some rule does know that.
What seems to me absolutely indispensable is
a general "simplify"-function, which in some reasonable
way applies *all* simplification rules (without fear
that it takes a bit longer --- finding out about
such errors etc. takes much longer :-().

Oliver