Fwd: new to_poly_solver



Barton, thanks for your message.

About the list arithmetic stuff, I am inclined to revert it in the 5.17
release branch, so the 5.17 releases will have the previous listarith
behavior. Let's continue to iron out the bugs in the development
version (cvs main trunk).

Can someone tell me which commits implement new listarith
behavior? I can try to puzzle it out but I suspect it would be
faster if someone could just tell me.

best

Robert Dodier

---------- Forwarded message ----------
From: Barton Willis <willisb at unk.edu>
Date: Nov 29, 2008 7:50 AM
Subject: new to_poly_solver
To: Robert Dodier <robert.dodier at gmail.com>

<snip>

 And by the way: we do have a few recent bugs with listarith; Viktor and
 Volker van Nek know about these bugs--our testsuite doesn't catch them:

 (%i1) listarith : false;

 (%o1)                              false
 (%i2) e : [x*(x+1)]-[x^2 + x];

                                            2
 (%o2)                       [x (x + 1)] - [x  + x]
 (%i3) expand(e);

 (%o3)                                 [0]
 (%i4) factor(e);

 (%o4)                                  0
 (%i5) [a] - [a] - [0];

 (%o5)                              [0] - [0]
 (%i6) ev(%);

 (%o6)                                 [0]

 I think (%o4) is worrisome--do several hunks of code handle list
 arithmetic?

 (%i7) build_info();

 Maxima version: 5.16post
 Maxima build date: 17:7 11/26/2008
 host type: i686-pc-mingw32
 lisp-implementation-type: SBCL
 lisp-implementation-version: 1.0.22


 Barton