From: Barton W. <wil...@us...> - 2007-11-16 20:34:31
|
Update of /cvsroot/maxima/maxima/src In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv19240 Modified Files: compar.lisp Log Message: Fix for bug 1827488 -- "Not assuming not equal to" Index: compar.lisp =================================================================== RCS file: /cvsroot/maxima/maxima/src/compar.lisp,v retrieving revision 1.30 retrieving revision 1.31 diff -u -d -r1.30 -r1.31 --- compar.lisp 15 Oct 2007 02:45:48 -0000 1.30 +++ compar.lisp 16 Nov 2007 20:34:24 -0000 1.31 @@ -827,7 +827,7 @@ (defun meqp-by-csign (z a b) (let ((sgn) ($niceindicespref `((mlist) ,(gensym) ,(gensym) ,(gensym)))) (setq z ($niceindices z)) - (setq sgn (csign z)) + (setq sgn (csign (sratsimp z))) (cond ((eq '$zero sgn) t) ((eq sgn t) (setq z ($rectform z)) @@ -897,7 +897,7 @@ ((and (op-equalp a 'lambda) (op-equalp b 'lambda)) (lambda-meqp a b)) (($setp a) (set-meqp a b)) - (t (meqp-by-csign (equal-facts-simp ($ratsimp (sub a b))) a b))))))) + (t (meqp-by-csign (equal-facts-simp (sratsimp (sub a b))) a b))))))) ;; Two arrays are equal (according to MEQP) ;; if (1) they have the same dimensions, |