To add further to the log-problems:
is(2^(log(4)/log(2)) = 4);
Evaluation took 0.0030 seconds (0.0194 elapsed) using 1.508 KB.
(%o1) false
I'm using 5.15.0.
I think this definitely is a bug: The result may be "unknown",
but not false.
Oliver
On Sun, Apr 27, 2008 at 02:56:19AM +0100, Oliver Kullmann wrote:
> 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
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima