From: Wolfgang J. <wje...@us...> - 2004-11-28 04:45:27
|
Update of /cvsroot/maxima/maxima/share/sym In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1558 Modified Files: testsuite.lisp symtest.mac Log Message: The result of the first example for `direct' is correct. Index: testsuite.lisp =================================================================== RCS file: /cvsroot/maxima/maxima/share/sym/testsuite.lisp,v retrieving revision 1.2 retrieving revision 1.3 diff -u -d -r1.2 -r1.3 --- testsuite.lisp 27 Nov 2004 16:20:53 -0000 1.2 +++ testsuite.lisp 28 Nov 2004 02:42:47 -0000 1.3 @@ -5,5 +5,4 @@ ;;; of the test problems that are expected to fail, e.g. ;;; ("testfile.mac" 7 9 13). -;; Have still to check if this is really an error. -(setf *testsuite-files* '(("symtest.mac" 11))) +(setf *testsuite-files* '("symtest.mac")) Index: symtest.mac =================================================================== RCS file: /cvsroot/maxima/maxima/share/sym/symtest.mac,v retrieving revision 1.3 retrieving revision 1.4 diff -u -d -r1.3 -r1.4 --- symtest.mac 27 Nov 2004 16:20:53 -0000 1.3 +++ symtest.mac 28 Nov 2004 02:42:47 -0000 1.4 @@ -36,8 +36,10 @@ 2*a^3*b*x^4*y$ expand(direct([z^2-e1*z+e2,z^2-f1*z+f2],z,b*v+a*u,[[u,v],[a,b]])); -/* ??? We get here y instead of z */ -z^2-e1*f1*z-4*e2*f2+e1^2*f2+e2*f1^2$ +/* The docs have here z instead of y, but the code (in direct.lisp) + shows that y is alway used as dummy variable for the resulting + polynomial. So this is a typo in the docs. */ +y^2-e1*f1*y-4*e2*f2+e1^2*f2+e2*f1^2$ /* The other examples for `direct' are ok. */ expand(direct([z^3-e1*z^2+e2*z-e3,z^2-f1*z+f2],z,b*v+a*u,[[u,v],[a,b]])); y^6-2*e1*f1*y^5-6*e2*f2*y^4+2*e1^2*f2*y^4+2*e2*f1^2*y^4+e1^2*f1^2*y^4 |