#1373 1/sqrt(8) - sqrt(8) / 8 --/---> 0

closed
nobody
4
2009-06-23
2008-03-22
No

(%i17) 1/sqrt(8) - sqrt(8) / 8;
(%o17) 1/(2*sqrt(2))-1/2^(3/2)

(%i18) expand(%,0,0);
(%o18) 0

Here I think (%o17) is unsimplified--the expand(%,0,0)
shouldn't be required.

Discussion

  • Robert Dodier

    Robert Dodier - 2008-06-22
    • labels: 460522 --> Lisp Core - Simplification
     
  • Barton Willis

    Barton Willis - 2009-03-03

    Also:

    (%i45) sqrt(8) / 8;
    (%o45) 1/2^(3/2)

    (%i46) expand(%,0,0);
    (%o46) 1/(2*sqrt(2))

     
  • Dieter Kaiser

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

    Dieter Kaiser - 2009-06-23

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

    (%i14) 1/sqrt(8) - sqrt(8) / 8;
    (%o14) 0

    Closing this bug report as fixed.

    Dieter Kaiser

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks