Am Dienstag, den 16.06.2009, 07:58 -0400 schrieb Raymond Toy:
Here is a further example from the bug report "unsimplifed result from
expand" - ID: 1996354:
(%i7) (%e^(-2*sqrt(2))*(%e^(2*sqrt(2))+2*%e^sqrt(2)+1)^2)/16+(%
e^(-2*sqrt(2))*(%e^(2*sqrt(2))
-2*%e^sqrt(2)+1)^2)/16-(%e^(-2*sqrt(2))*(%e^(2*sqrt(2))-1)^2)/8;
(%o7) %e^-2^(3/2)*(%e^2^(3/2)+2*%e^sqrt(2)+1)^2/16
+%e^-2^(3/2)*(%e^2^(3/2)-2*%e^sqrt(2)+1)^2/16
-%e^-2^(3/2)*(%e^2^(3/2)-1)^2/8
(%i8) expand(%);
(%o8) 1
This example will simplify as expected to 1 with the improved code,
because we will have:
(%i10) sqrt(2)*2 - 2*sqrt(2);
(%o10) 0
Dieter Kaiser