Help save net neutrality! Learn more.
Close

#1437 unsimplifed result from expand

closed
nobody
5
2009-06-23
2008-06-17
No

(%i52) (%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$

/* should be 1 */

(%i53) expand(%);
(%o53) %e^(2^(3/2)-2*sqrt(2))/2+1/2

(%i54) expand(%,0,0);
(%o54) 1

Discussion

  • Robert Dodier

    Robert Dodier - 2008-06-23
    • labels: --> Lisp Core - Simplification
     
  • Dan Gildea

    Dan Gildea - 2008-08-06

    Logged In: YES
    user_id=1797506
    Originator: NO

    seems to be a basic simplification problem.

    (%i8) 2^(1/2)*2 - 2*2^(1/2);
    (%o8) 2^(3/2)-2*sqrt(2)

    (%i9) 2^(3/2)-2*sqrt(2);
    (%o9) 0

     
  • Dieter Kaiser

    Dieter Kaiser - 2009-06-23

    With revision 1.80 of simp.lisp the example simplifies as expected:

    (%i6) %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$

    (%i7) expand(%);
    (%o7) 1

    Closing this bug report as fixed.

    Dieter Kaiser

     
  • Dieter Kaiser

    Dieter Kaiser - 2009-06-23
    • status: open --> closed
     

Log in to post a comment.