Possible fix: set complexsign to true in meqp-by-csign.
(%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))
Possible fix: set complexsign to true in meqp-by-csign.
Fixed by compar.lisp, CVS revision 1.42.
Log in to post a comment.