new to_poly_solver



On 11/29/08, Viktor T. Toth <vttoth at vttoth.com> wrote:

>  I'm attaching a diff for simp.lisp. Please let me know if this suffices.

Viktor, I've applied the patch w/ patch --reverse to revert the
changes to list arithmetic in the 5.17 release branch.

Thanks for your help,

Robert