- status: open --> closed
I thought that expand returned a simplified expression; maybe it does not:
(%i241) (1-sqrt(5))^3-4*(1-sqrt(5))^2+8;
(%o241) (1-sqrt(5))^3-4*(1-sqrt(5))^2+8
(%i242) expand(%);
(%o242) 5^(3/2)-5^(3/2)
(%i243) expand(%,0,0);
(%o243) 0
Ratexpand crunches this to zero without the additional simplification:
(%i244) ratexpand((1-sqrt(5))^3-4*(1-sqrt(5))^2+8);
(%o244) 0
Dieter also reports the bug (http://www.math.utexas.edu/pipermail/maxima/2011/024700.html)
(%i4) sqrt(2)+sqrt(2)+sqrt(2);
(%o4) 2^(3/2)+sqrt(2)
Fixed in simp.lisp.
The simplification v*a^(c+n)+w*a^(c+m) -> (v*a^n+w*a^m)*a^c has been implemented,
a, v, w, and (n-m) are integers.
See also the added tests in rtest16.mac:
Closing this bug report as fixed.
Dieter Kaiser