#1534 is equal bug

closed
None
5
2009-01-19
2008-11-29
No

(%i6) e : sqrt(1-x^2);
(%o6) sqrt(1-x^2)

(%i7) ec : conjugate(e);
(%o7) conjugate(sqrt(1-x^2))

Wrong:

(%i8) is(equal(e,ec));
(%o8) true

The user documentation for equal says that equal will
examine ratsimp(e-ec); but

(%i5) ratsimp(e-ec);
(%o5) sqrt(1-x^2)-conjugate(sqrt(1-x^2))

Discussion

  • Barton Willis

    Barton Willis - 2009-01-19

    Possible fix: set complexsign to true in meqp-by-csign.

     
  • Barton Willis

    Barton Willis - 2009-01-19
    • assigned_to: nobody --> willisbl
     
  • Barton Willis

    Barton Willis - 2009-01-19

    Fixed by compar.lisp, CVS revision 1.42.

     
  • Barton Willis

    Barton Willis - 2009-01-19
    • status: open --> closed
     

Log in to post a comment.

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks